Package evaluation of LocalSearchSolvers on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T16:03:29.253 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.65s ################################################################################ # Installation # Installing LocalSearchSolvers... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [2b10edaa] + LocalSearchSolvers v0.4.9 Updating `~/.julia/environments/v1.11/Manifest.toml` [66dad0bd] + AliasTables v1.1.3 [00ebfdb7] + CSTParser v3.4.3 ⌅ [a80b9123] + CommonMark v0.8.16 [34da2185] + Compat v4.16.0 [4b67e4b5] + CompositionalNetworks v0.5.9 [e37357d9] + ConstraintCommons v0.2.3 [5800fd60] + ConstraintDomains v0.3.15 [30f324ab] + Constraints v0.5.8 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.7.0 [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.5 [b4f34e82] + Distances v0.10.12 [ffbed154] + DocStringExtensions v0.9.4 [e2ba6199] + ExprTools v0.1.10 [c27321d9] + Glob v1.3.1 [313cdc1a] + Indexing v1.1.1 [842dd82b] + InlineStrings v1.4.3 [d8418881] + Intervals v1.10.0 [41ab1584] + InvertedIndices v1.3.1 [92d709cd] + IrrationalConstants v0.2.4 [82899510] + IteratorInterfaceExtensions v1.0.0 [682c06a0] + JSON v0.21.4 ⌅ [98e50ef6] + JuliaFormatter v1.0.62 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2b10edaa] + LocalSearchSolvers v0.4.9 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.15 [e1d29d7a] + Missings v1.2.0 [78c3b35d] + Mocking v0.8.1 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.1 [c18a7f1d] + PatternFolds v0.2.6 [2dfb63ee] + PooledArrays v1.4.3 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [6c6a2e73] + Scratch v1.2.1 [91c51154] + SentinelArrays v1.4.8 [a2af1166] + SortingAlgorithms v1.2.1 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.0 [2913bbd2] + StatsBase v0.34.4 [892a3eda] + StringManipulation v0.4.1 [dc5dba14] + TZJData v1.5.0+2025b [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [1c621080] + TestItems v1.0.0 [f269a46b] + TimeZones v1.21.3 [0796e94c] + Tokenize v0.5.29 [9602ed7d] + Unrolled v0.1.5 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [b27032c2] + LibCURL v0.6.4 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.2.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] + LibCURL_jll v8.6.0+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.6+0 [14a3606d] + MozillaCACerts_jll v2023.12.12 [4536629a] + OpenBLAS_jll v0.3.27+1 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.59.0+0 [3f19e933] + p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.42s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 28.57s ################################################################################ # Testing # Testing LocalSearchSolvers Status `/tmp/jl_6jjWoI/Project.toml` [4c88cf16] Aqua v0.8.11 [4b67e4b5] CompositionalNetworks v0.5.9 [5800fd60] ConstraintDomains v0.3.15 [30f324ab] Constraints v0.5.8 [85a47980] Dictionaries v0.4.5 [682c06a0] JSON v0.21.4 [50d2b5c4] Lazy v0.15.1 [2b10edaa] LocalSearchSolvers v0.4.9 [bac558e1] OrderedCollections v1.8.0 [f8b46487] TestItemRunner v1.1.0 [1c621080] TestItems v1.0.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_6jjWoI/Manifest.toml` [66dad0bd] AliasTables v1.1.3 [4c88cf16] Aqua v0.8.11 [00ebfdb7] CSTParser v3.4.3 ⌅ [a80b9123] CommonMark v0.8.16 [34da2185] Compat v4.16.0 [4b67e4b5] CompositionalNetworks v0.5.9 [e37357d9] ConstraintCommons v0.2.3 [5800fd60] ConstraintDomains v0.3.15 [30f324ab] Constraints v0.5.8 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [85a47980] Dictionaries v0.4.5 [b4f34e82] Distances v0.10.12 [ffbed154] DocStringExtensions v0.9.4 [e2ba6199] ExprTools v0.1.10 [c27321d9] Glob v1.3.1 [313cdc1a] Indexing v1.1.1 [842dd82b] InlineStrings v1.4.3 [d8418881] Intervals v1.10.0 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [82899510] IteratorInterfaceExtensions v1.0.0 [682c06a0] JSON v0.21.4 ⌅ [98e50ef6] JuliaFormatter v1.0.62 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2b10edaa] LocalSearchSolvers v0.4.9 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.15 [e1d29d7a] Missings v1.2.0 [78c3b35d] Mocking v0.8.1 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.1 [c18a7f1d] PatternFolds v0.2.6 [2dfb63ee] PooledArrays v1.4.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [43287f4e] PtrArrays v1.3.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [6c6a2e73] Scratch v1.2.1 [91c51154] SentinelArrays v1.4.8 [a2af1166] SortingAlgorithms v1.2.1 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.0 [2913bbd2] StatsBase v0.34.4 [892a3eda] StringManipulation v0.4.1 [dc5dba14] TZJData v1.5.0+2025b [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.0 [f8b46487] TestItemRunner v1.1.0 [1c621080] TestItems v1.0.0 [f269a46b] TimeZones v1.21.3 [0796e94c] Tokenize v0.5.29 [9602ed7d] Unrolled v0.1.5 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... 54 ambiguities found. To get a list, set `broken = false`. ┌ Warning: Both iteration and time limits are disabled. Optimization runs will run infinitely. └ @ LocalSearchSolvers ~/.julia/packages/LocalSearchSolvers/SFF5k/src/options.jl:80 ┌ Info: └ Loop 1 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 2.0 < 9.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {14 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 1, 8 = 1, 9 = 2, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 2 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {14 = 3, 12 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 1, 8 = 1, 9 = 2, 10 = 4, 11 = 4, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 3 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: Tabu list: {14 = 2, 12 = 3, 7 = 4} [ Info: best_swap : [11] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 4 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {14 = 1, 12 = 2, 7 = 3, 10 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 5 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_9 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {12 = 1, 7 = 2, 10 = 7, 5 = 8} [ Info: best_values: [2, 1, 3, 4] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 6 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {7 = 2, 10 = 7, 5 = 7, 1 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 7 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {7 = 1, 10 = 6, 5 = 6, 1 = 7, 6 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 3, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 8 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 6.0 < 8.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {10 = 5, 5 = 5, 1 = 6, 6 = 3, 3 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 3, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 9 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 5.0 < 6.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {10 = 4, 5 = 4, 1 = 5, 6 = 2, 3 = 3, 9 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 2, 4 = 3, 5 = 4, 6 = 4, 7 = 1, 8 = 3, 9 = 1, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 10 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {9 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 3, 3 = 2, 4 = 3, 5 = 4, 6 = 4, 7 = 1, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 11 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_4 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {9 = 3, 3 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 2, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 4, 7 = 1, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 12 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: cost = best_cost = 8.0 [ Info: Tabu list: {9 = 2, 3 = 3, 7 = 8} [ Info: best_values: [1, 2, 3, 4] [ Info: vals: {1 = 2, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 4, 7 = 1, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 13 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: cost = best_cost = 8.0 [ Info: Tabu list: {9 = 1, 3 = 2, 7 = 7, 8 = 8} [ Info: best_values: [3, 1, 2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 3, 9 = 1, 10 = 4, 11 = 4, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 14 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = 11.0 < 12.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 3, 9 = 1, 10 = 4, 11 = 4, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 15 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {2 = 3, 8 = 4} [ Info: best_values: [1, 2] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 4, 11 = 4, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 16 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Tabu list: {2 = 2, 8 = 3, 11 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 17 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = 7.0 < 9.0 [ Info: Tabu list: {2 = 1, 8 = 2, 11 = 3, 7 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 18 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = best_cost = 6.0 [ Info: Tabu list: {8 = 1, 11 = 2, 7 = 3, 9 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 19 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 5.0 < 6.0 [ Info: Tabu list: {11 = 2, 7 = 3, 9 = 3, 13 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 20 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {11 = 1, 7 = 2, 9 = 2, 13 = 3, 14 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 21 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Tabu list: {7 = 1, 9 = 1, 13 = 2, 14 = 7, 2 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 22 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: Compute costs: selected var(s) x_6 ⇆ x_8 [ Info: Compute costs: selected var(s) x_6 ⇆ x_14 [ Info: Compute costs: selected var(s) x_6 ⇆ x_1 [ Info: Tabu list: {13 = 2, 14 = 7, 2 = 7, 6 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 23 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {13 = 1, 14 = 6, 2 = 6, 6 = 7, 10 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 24 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: Compute costs: selected var(s) x_8 ⇆ x_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: Tabu list: {14 = 5, 2 = 5, 6 = 6, 10 = 7, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 25 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {14 = 4, 2 = 4, 6 = 5, 10 = 6, 8 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 26 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {14 = 3, 2 = 3, 6 = 4, 10 = 5, 8 = 6, 13 = 7, 9 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 27 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {14 = 2, 2 = 2, 6 = 3, 10 = 4, 8 = 5, 13 = 6, 9 = 7, 1 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 28 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {14 = 1, 2 = 1, 6 = 2, 10 = 3, 8 = 4, 13 = 5, 9 = 6, 1 = 7, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 29 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Compute costs: selected var(s) x_3 ⇆ x_4 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {6 = 2, 10 = 3, 8 = 4, 13 = 4, 9 = 5, 1 = 6, 7 = 7, 3 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 30 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {6 = 1, 10 = 2, 8 = 3, 13 = 3, 9 = 4, 1 = 5, 7 = 6, 3 = 7, 14 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 31 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Tabu list: {10 = 1, 8 = 2, 13 = 2, 9 = 3, 1 = 4, 7 = 5, 3 = 6, 14 = 7, 2 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 32 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: Compute costs: selected var(s) x_6 ⇆ x_8 [ Info: Compute costs: selected var(s) x_6 ⇆ x_14 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_1 [ Info: Tabu list: {8 = 1, 13 = 1, 9 = 2, 1 = 3, 7 = 4, 3 = 5, 14 = 6, 2 = 7, 6 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 33 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {9 = 1, 1 = 2, 7 = 3, 3 = 4, 14 = 5, 2 = 6, 6 = 7, 10 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 34 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {1 = 2, 7 = 3, 3 = 4, 14 = 4, 2 = 5, 6 = 6, 10 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 35 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {1 = 1, 7 = 2, 3 = 3, 14 = 3, 2 = 4, 6 = 5, 10 = 6, 13 = 7, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 36 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_9 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {7 = 1, 3 = 2, 14 = 2, 2 = 3, 6 = 4, 10 = 5, 13 = 6, 4 = 7, 5 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 3, 5 = 4, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 2, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 37 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = 9.0 < 11.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 3, 5 = 4, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 38 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 7.0 < 9.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {11 = 3, 4 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 2, 5 = 4, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 39 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_8 [ Info: Compute costs: selected var(s) x_6 ⇆ x_14 [ Info: Compute costs: selected var(s) x_6 ⇆ x_1 [ Info: cost = best_cost = 7.0 [ Info: Tabu list: {11 = 2, 4 = 3, 6 = 8} [ Info: best_values: [3, 1, 2, 4] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 2, 5 = 4, 6 = 4, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 40 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_9 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 7.0 [ Info: Tabu list: {11 = 1, 4 = 2, 6 = 7, 5 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 41 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = best_cost = 6.0 [ Info: Tabu list: {4 = 1, 6 = 6, 5 = 7, 1 = 4} [ Info: best_values: [1, 3] [ Info: vals: {1 = 1, 2 = 3, 3 = 3, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 42 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {6 = 6, 5 = 7, 1 = 3, 9 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 3, 3 = 3, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 43 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 4.0 < 6.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: cost = best_cost = 4.0 [ Info: Tabu list: {6 = 5, 5 = 6, 1 = 2, 9 = 7, 2 = 4} [ Info: best_swap : [6, 1] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 1, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 44 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: cost = 2.0 < 4.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {6 = 4, 5 = 5, 1 = 1, 9 = 6, 2 = 3, 10 = 4} [ Info: best_swap : [13] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 45 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Compute costs: selected var(s) x_12 ⇆ x_4 [ Info: Compute costs: selected var(s) x_12 ⇆ x_16 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_15 [ Info: Compute costs: selected var(s) x_12 ⇆ x_11 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: Tabu list: {6 = 3, 5 = 4, 9 = 5, 2 = 2, 10 = 3, 12 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 46 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {6 = 2, 5 = 3, 9 = 4, 2 = 1, 10 = 2, 12 = 7, 14 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 47 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Tabu list: {6 = 1, 5 = 2, 9 = 3, 10 = 1, 12 = 6, 14 = 7, 16 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 48 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Compute costs: selected var(s) x_15 ⇆ x_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_16 [ Info: Compute costs: selected var(s) x_15 ⇆ x_7 [ Info: Compute costs: selected var(s) x_15 ⇆ x_11 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {5 = 2, 9 = 2, 12 = 5, 14 = 6, 16 = 7, 15 = 4} [ Info: best_swap : [11] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 49 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {5 = 1, 9 = 1, 12 = 4, 14 = 5, 16 = 6, 15 = 3, 11 = 4} [ Info: best_swap : [15] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 50 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {12 = 4, 14 = 5, 16 = 5, 15 = 2, 11 = 3, 13 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 51 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {12 = 3, 14 = 4, 16 = 4, 15 = 1, 11 = 2, 13 = 7, 9 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 52 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {12 = 2, 14 = 3, 16 = 3, 11 = 1, 13 = 6, 9 = 7, 10 = 8} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 3, 5 = 3, 6 = 1, 7 = 1, 8 = 3, 9 = 4, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 53 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: Tabu list: {7 = 4} [ Info: best_swap : [5, 4, 8] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 3, 7 = 4, 8 = 3, 9 = 2, 10 = 2, 11 = 1, 12 = 3, 13 = 4, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 54 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {9 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 3, 7 = 4, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 4, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 55 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {9 = 3, 14 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 1, 7 = 4, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 4, 14 = 3, 15 = 4, 16 = 4} ┌ Info: └ Loop 56 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Tabu list: {9 = 2, 14 = 3, 7 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 4, 14 = 3, 15 = 4, 16 = 4} ┌ Info: └ Loop 57 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {9 = 1, 14 = 2, 7 = 3, 4 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 4, 14 = 3, 15 = 4, 16 = 4} ┌ Info: └ Loop 58 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Tabu list: {14 = 1, 7 = 2, 4 = 7, 16 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 4, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 59 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 5.0 < 7.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Tabu list: {7 = 2, 4 = 7, 16 = 3, 13 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 60 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {7 = 1, 4 = 6, 16 = 2, 13 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 61 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Tabu list: {4 = 5, 16 = 1, 13 = 2, 1 = 7, 2 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 62 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: Compute costs: selected var(s) x_8 ⇆ x_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: cost = best_cost = 4.0 [ Info: Tabu list: {4 = 4, 13 = 1, 1 = 6, 2 = 3, 8 = 8} [ Info: best_values: [3, 1, 2, 4] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 2, 8 = 4, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 63 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Compute costs: selected var(s) x_3 ⇆ x_4 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ Info: cost = 3.0 < 4.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {4 = 3, 1 = 6, 2 = 3, 8 = 7, 3 = 4} [ Info: best_swap : [7] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 64 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Compute costs: selected var(s) x_12 ⇆ x_4 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_16 [ Info: Compute costs: selected var(s) x_12 ⇆ x_15 [ Info: Compute costs: selected var(s) x_12 ⇆ x_11 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: Tabu list: {4 = 2, 1 = 5, 2 = 2, 8 = 6, 3 = 3, 12 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 65 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: Tabu list: {4 = 1, 1 = 4, 2 = 1, 8 = 5, 3 = 2, 12 = 7, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 66 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Tabu list: {1 = 3, 8 = 5, 3 = 2, 12 = 6, 7 = 7, 16 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 67 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 0.0 < 3.0 [ Info: Tabu list: {1 = 2, 8 = 4, 3 = 1, 12 = 5, 7 = 6, 16 = 7, 4 = 4} [ Info: best_values: [1] ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 16-element Dictionary{Int64, Int64}: │ 1 │ 3 │ ⋮ │ ⋮ │ 16 │ 2 │ has_solution(s) = true │ s.rc_report = RemoteChannel{Channel{Nothing}}(1, 1, 4) │ s.rc_sol = RemoteChannel{Channel{Union{LocalSearchSolvers.EmptyPool, LocalSearchSolvers._Pool}}}(1, 1, 5) │ s.rc_stop = RemoteChannel{Channel{Nothing}}(1, 1, 6) └ length(s.remotes) = 0 ┌ Info: Remote stop: report best pool │ best_values(s.pool) = │ 16-element Dictionary{Int64, Int64}: │ 1 │ 3 │ 2 │ 4 │ ⋮ │ ⋮ │ 16 │ 2 └ length(s.remotes) = 0 [ Info: Dict(:model_and_run => 17.313585996627808, :remote_stop => 1.867805004119873, :total_run => 17.313585996627808, :init => 6.862550973892212, :threads_start => 5.692900896072388, :model => 0.0, :local_run => 2.8795549869537354, :remote_start => 0.01077413558959961) 81-element Dictionary{Int64, Int64}: 1 │ 9 2 │ 0 3 │ 8 4 │ 0 5 │ 0 6 │ 0 7 │ 0 8 │ 0 9 │ 0 10 │ 3 11 │ 0 12 │ 0 13 │ 0 14 │ 2 15 │ 0 16 │ 0 17 │ 9 18 │ 7 19 │ 0 20 │ 0 21 │ 0 22 │ 0 23 │ 0 24 │ 0 25 │ 8 26 │ 0 27 │ 0 28 │ 0 29 │ 0 30 │ 1 31 │ 4 32 │ 0 33 │ 0 34 │ 5 35 │ 2 36 │ 0 37 │ 0 38 │ 4 39 │ 9 40 │ 7 41 │ 0 42 │ 2 43 │ 3 44 │ 8 45 │ 0 46 │ 0 47 │ 2 48 │ 6 49 │ 0 50 │ 0 51 │ 3 52 │ 1 53 │ 0 54 │ 0 55 │ 0 56 │ 0 57 │ 7 58 │ 0 59 │ 0 60 │ 0 61 │ 0 62 │ 0 63 │ 0 64 │ 4 65 │ 9 66 │ 0 67 │ 0 68 │ 6 69 │ 0 70 │ 0 71 │ 0 72 │ 5 73 │ 0 74 │ 0 75 │ 0 76 │ 0 77 │ 0 78 │ 0 79 │ 2 80 │ 0 81 │ 3 ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 81-element Dictionary{Int64, Int64}: │ 1 │ 9 │ ⋮ │ ⋮ │ 81 │ 3 │ has_solution(s) = false │ s.rc_report = RemoteChannel{Channel{Nothing}}(1, 1, 7) │ s.rc_sol = RemoteChannel{Channel{Union{LocalSearchSolvers.EmptyPool, LocalSearchSolvers._Pool}}}(1, 1, 8) │ s.rc_stop = RemoteChannel{Channel{Nothing}}(1, 1, 9) └ length(s.remotes) = 0 ┌ Warning: debugging remote stop │ nworkers() = 1 │ length(s.remotes) = 0 └ @ LocalSearchSolvers ~/.julia/packages/LocalSearchSolvers/SFF5k/src/solvers/main.jl:125 ┌ Info: Remote stop: report best pool │ best_values(s.pool) = │ 81-element Dictionary{Int64, Int64}: │ 1 │ 9 │ 2 │ 4 │ ⋮ │ ⋮ │ 81 │ 3 └ length(s.remotes) = 0 81-element Dictionary{Int64, Int64}: 1 │ 9 2 │ 7 3 │ 8 4 │ 2 5 │ 3 6 │ 9 7 │ 4 8 │ 6 9 │ 2 10 │ 3 11 │ 2 12 │ 9 13 │ 1 14 │ 2 15 │ 8 16 │ 2 17 │ 9 18 │ 7 19 │ 3 20 │ 2 21 │ 7 22 │ 3 23 │ 8 24 │ 2 25 │ 8 26 │ 3 27 │ 8 28 │ 2 29 │ 7 30 │ 1 31 │ 4 32 │ 5 33 │ 3 34 │ 5 35 │ 2 36 │ 4 37 │ 9 38 │ 4 39 │ 9 40 │ 7 41 │ 1 42 │ 2 43 │ 3 44 │ 8 45 │ 5 46 │ 4 47 │ 2 48 │ 6 49 │ 9 50 │ 7 51 │ 3 52 │ 1 53 │ 6 54 │ 2 55 │ 9 56 │ 1 57 │ 7 58 │ 9 59 │ 4 60 │ 7 61 │ 4 62 │ 3 63 │ 7 64 │ 4 65 │ 9 66 │ 4 67 │ 9 68 │ 6 69 │ 3 70 │ 9 71 │ 8 72 │ 5 73 │ 9 74 │ 9 75 │ 1 76 │ 3 77 │ 9 78 │ 1 79 │ 2 80 │ 1 81 │ 3 LocalSearchSolvers.TimeStamps(1.744128465556418e9, 1.744128468555459e9, 1.744128470380043e9, 1.744128470380095e9, 1.744128470380098e9, 1.744128478556259e9, 1.744128478611529e9) ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 5-element Dictionary{Int64, Int64}: │ 1 │ 20 │ ⋮ │ ⋮ │ 5 │ 1 │ has_solution(s) = false │ s.rc_report = RemoteChannel{Channel{Nothing}}(1, 1, 10) │ s.rc_sol = RemoteChannel{Channel{Union{LocalSearchSolvers.EmptyPool, LocalSearchSolvers._Pool}}}(1, 1, 11) │ s.rc_stop = RemoteChannel{Channel{Nothing}}(1, 1, 12) └ length(s.remotes) = 0 ┌ Warning: debugging remote stop │ nworkers() = 1 │ length(s.remotes) = 0 └ @ LocalSearchSolvers ~/.julia/packages/LocalSearchSolvers/SFF5k/src/solvers/main.jl:125 ┌ Info: Remote stop: report best pool │ best_values(s.pool) = │ 5-element Dictionary{Int64, Int64}: │ 1 │ 20 │ 2 │ 8 │ ⋮ │ ⋮ │ 5 │ 1 └ length(s.remotes) = 0 [ Info: Results golomb! [ Info: Values: {1 = 20, 2 = 8, 3 = 17, 4 = 15, 5 = 1} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 20, 2 = 8, 3 = 17, 4 = 15, 5 = 1} ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 1 │ ⋮ │ ⋮ │ 6 │ 4 │ has_solution(s) = false │ s.rc_report = RemoteChannel{Channel{Nothing}}(1, 1, 13) │ s.rc_sol = RemoteChannel{Channel{Union{LocalSearchSolvers.EmptyPool, LocalSearchSolvers._Pool}}}(1, 1, 14) │ s.rc_stop = RemoteChannel{Channel{Nothing}}(1, 1, 15) └ length(s.remotes) = 0 ┌ Warning: debugging remote stop │ nworkers() = 1 │ length(s.remotes) = 0 └ @ LocalSearchSolvers ~/.julia/packages/LocalSearchSolvers/SFF5k/src/solvers/main.jl:125 ┌ Info: Remote stop: report best pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 1 │ 2 │ 3 │ ⋮ │ ⋮ │ 6 │ 4 └ length(s.remotes) = 0 [ Info: Results mincut! [ Info: Values: {1 = 1, 2 = 3, 3 = 3, 4 = 0, 5 = 4, 6 = 4} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 1, 2 = 3, 3 = 3, 4 = 0, 5 = 4, 6 = 4} ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 0 │ ⋮ │ ⋮ │ 6 │ 5 │ has_solution(s) = false │ s.rc_report = RemoteChannel{Channel{Nothing}}(1, 1, 16) │ s.rc_sol = RemoteChannel{Channel{Union{LocalSearchSolvers.EmptyPool, LocalSearchSolvers._Pool}}}(1, 1, 17) │ s.rc_stop = RemoteChannel{Channel{Nothing}}(1, 1, 18) └ length(s.remotes) = 0 ┌ Warning: debugging remote stop │ nworkers() = 1 │ length(s.remotes) = 0 └ @ LocalSearchSolvers ~/.julia/packages/LocalSearchSolvers/SFF5k/src/solvers/main.jl:125 ┌ Info: Remote stop: report best pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 0 │ 2 │ 2 │ ⋮ │ ⋮ │ 6 │ 5 └ length(s.remotes) = 0 [ Info: Results 1-mincut! [ Info: Values: {1 = 0, 2 = 2, 3 = 3, 4 = 4, 5 = 5, 6 = 1} [ Info: Sol (val): 2.0 [ Info: Sol (vals): {1 = 0, 2 = 2, 3 = 0, 4 = 4, 5 = 2, 6 = 5} ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 0 │ ⋮ │ ⋮ │ 6 │ 1 │ has_solution(s) = true │ s.rc_report = RemoteChannel{Channel{Nothing}}(1, 1, 19) │ s.rc_sol = RemoteChannel{Channel{Union{LocalSearchSolvers.EmptyPool, LocalSearchSolvers._Pool}}}(1, 1, 20) │ s.rc_stop = RemoteChannel{Channel{Nothing}}(1, 1, 21) └ length(s.remotes) = 0 ┌ Warning: debugging remote stop │ nworkers() = 1 │ length(s.remotes) = 0 └ @ LocalSearchSolvers ~/.julia/packages/LocalSearchSolvers/SFF5k/src/solvers/main.jl:125 ┌ Info: Remote stop: report best pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 0 │ 2 │ 4 │ ⋮ │ ⋮ │ 6 │ 1 └ length(s.remotes) = 0 [ Info: Results 2-mincut! [ Info: Values: {1 = 4, 2 = 1, 3 = 3, 4 = 5, 5 = 0, 6 = 2} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 0, 2 = 4, 3 = 3, 4 = 2, 5 = 5, 6 = 1} [ Info: Dict(:model_and_run => 15.006387948989868, :remote_stop => 0.006218910217285156, :total_run => 15.006387948989868, :init => 0.00047087669372558594, :threads_start => 2.2172927856445312e-5, :model => 0.0, :local_run => 14.999674081802368, :remote_start => 1.9073486328125e-6) Test Summary: | Pass Broken Total Time LocalSearchSolvers.jl | 211 1 212 3m55.2s Testing LocalSearchSolvers tests passed Testing completed after 250.54s PkgEval succeeded after 302.11s