Package evaluation of LocalSearchSolvers on Julia 1.13.0-DEV.417 (813bcf3aa6*) started at 2025-04-22T03:44:38.498 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.98s ################################################################################ # Installation # Installing LocalSearchSolvers... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [2b10edaa] + LocalSearchSolvers v0.4.9 Updating `~/.julia/environments/v1.13/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.16 [e1d29d7a] + Missings v1.2.0 [78c3b35d] + Mocking v0.8.1 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.2 [c18a7f1d] + PatternFolds v0.2.6 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.2 [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.7.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [b27032c2] + LibCURL v0.6.4 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.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.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.12.1+1 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2024.12.31 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.0.16+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.12.0+0 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.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.11s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 38.18s ################################################################################ # Testing # Testing LocalSearchSolvers Status `/tmp/jl_5fEFvZ/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_5fEFvZ/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.16 [e1d29d7a] Missings v1.2.0 [78c3b35d] Mocking v0.8.1 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.2 [c18a7f1d] PatternFolds v0.2.6 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.2 [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.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.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.12.0 [f489334b] StyledStrings 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.3.0+1 [deac9b47] LibCURL_jll v8.12.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.0.16+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... 55 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 = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 3.0 < 8.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = 2.0 < 3.0 [ Info: Tabu list: {12 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 1, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 3, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 2 (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 = 4 [ Info: cost = 7.0 < 9.0 [ Info: Tabu list: {12 = 3, 10 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 1, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 3 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = 6.0 < 7.0 [ Info: Tabu list: {12 = 2, 10 = 3, 7 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 1, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 4 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 4.0 < 6.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {12 = 1, 10 = 2, 7 = 3, 2 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 1, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 5 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 3.0 < 4.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {10 = 1, 7 = 2, 2 = 3, 3 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 1, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 6 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ Info: cost = best_cost = 3.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 = 3.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 = 3.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {7 = 2, 2 = 3, 3 = 3, 4 = 8} [ Info: best_values: [1, 2, 3, 4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 7 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 2.0 < 3.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {7 = 1, 2 = 2, 3 = 2, 4 = 7, 8 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 8 (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: cost = best_cost = 2.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: Tabu list: {2 = 1, 3 = 1, 4 = 6, 8 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 9 (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: 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 = 2.0 [ Info: Tabu list: {4 = 6, 8 = 3, 1 = 7, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 10 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {4 = 5, 8 = 2, 1 = 6, 7 = 7, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 11 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ 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: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {4 = 4, 8 = 1, 1 = 5, 7 = 6, 2 = 3, 5 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 12 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {4 = 3, 1 = 4, 7 = 5, 2 = 2, 5 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 13 (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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Tabu list: {4 = 2, 1 = 3, 7 = 4, 2 = 1, 5 = 6, 6 = 3, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 14 (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 = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {4 = 1, 1 = 2, 7 = 3, 5 = 5, 6 = 2, 8 = 7, 3 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 15 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {1 = 2, 7 = 2, 5 = 4, 6 = 1, 8 = 6, 3 = 7, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 16 (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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.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 = 1, 5 = 3, 8 = 5, 3 = 6, 2 = 3, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 17 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {5 = 3, 8 = 5, 3 = 5, 2 = 2, 4 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 18 (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: 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 = 2.0 [ Info: Tabu list: {5 = 2, 8 = 4, 3 = 4, 2 = 1, 4 = 6, 6 = 3, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 19 (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: cost = best_cost = 2.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: Tabu list: {5 = 1, 8 = 3, 3 = 3, 4 = 5, 6 = 2, 7 = 7, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 20 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {8 = 2, 3 = 2, 4 = 4, 6 = 1, 7 = 6, 1 = 7, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 21 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ 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: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {8 = 1, 3 = 1, 4 = 3, 7 = 6, 1 = 7, 2 = 4, 5 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ 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 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {4 = 3, 7 = 6, 1 = 6, 2 = 3, 5 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 23 (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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Tabu list: {4 = 2, 7 = 5, 1 = 5, 2 = 2, 5 = 6, 6 = 3, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 24 (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 = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {4 = 1, 7 = 4, 1 = 4, 2 = 1, 5 = 5, 6 = 2, 8 = 7, 3 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 25 (satisfaction) [ Info: Selected x = 9 [ 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 = 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: {7 = 3, 1 = 3, 5 = 4, 6 = 1, 8 = 6, 3 = 7, 9 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 26 (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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {7 = 2, 1 = 2, 5 = 3, 8 = 6, 3 = 7, 9 = 8, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 27 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {7 = 1, 1 = 1, 5 = 2, 8 = 5, 3 = 6, 9 = 7, 4 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 28 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {5 = 1, 8 = 4, 3 = 5, 9 = 6, 4 = 6, 6 = 3, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 29 (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: cost = best_cost = 2.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: Tabu list: {8 = 4, 3 = 5, 9 = 6, 4 = 5, 6 = 2, 2 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 30 (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: 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 = 2.0 [ Info: Tabu list: {8 = 3, 3 = 4, 9 = 5, 4 = 4, 6 = 1, 2 = 2, 1 = 7, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 31 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ 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: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {8 = 2, 3 = 3, 9 = 4, 4 = 3, 2 = 1, 1 = 6, 7 = 7, 5 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ 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 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {8 = 1, 3 = 2, 9 = 3, 4 = 2, 1 = 5, 7 = 6, 5 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 33 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {3 = 2, 9 = 2, 4 = 1, 1 = 4, 7 = 5, 5 = 6, 6 = 3, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 34 (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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Tabu list: {3 = 1, 9 = 1, 1 = 3, 7 = 4, 5 = 5, 6 = 2, 2 = 3, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ 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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.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 = 3, 7 = 4, 5 = 4, 6 = 1, 2 = 2, 8 = 7, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 36 (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 = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {1 = 2, 7 = 3, 5 = 3, 2 = 1, 8 = 6, 4 = 7, 3 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 37 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {1 = 1, 7 = 2, 5 = 2, 8 = 5, 4 = 6, 3 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 38 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {7 = 2, 5 = 1, 8 = 4, 4 = 5, 3 = 6, 6 = 3, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 39 (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: cost = best_cost = 2.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: Tabu list: {7 = 1, 8 = 3, 4 = 4, 3 = 5, 6 = 2, 2 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 40 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ 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: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {8 = 2, 4 = 3, 3 = 4, 6 = 1, 2 = 2, 1 = 7, 5 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 41 (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: 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 = 2.0 [ Info: Tabu list: {8 = 1, 4 = 2, 3 = 3, 2 = 2, 1 = 7, 5 = 8, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 42 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {4 = 1, 3 = 2, 2 = 1, 1 = 6, 5 = 7, 7 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 43 (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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Tabu list: {3 = 1, 1 = 6, 5 = 7, 7 = 7, 6 = 3, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 44 (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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.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 = 5, 5 = 6, 7 = 6, 6 = 2, 8 = 7, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 45 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {1 = 4, 5 = 5, 7 = 5, 6 = 1, 8 = 6, 4 = 7, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 46 (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 = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {1 = 3, 5 = 4, 7 = 4, 8 = 5, 4 = 6, 2 = 3, 3 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 47 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {1 = 2, 5 = 3, 7 = 3, 8 = 4, 4 = 5, 2 = 2, 3 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 48 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 2 [ 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: 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: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {1 = 1, 5 = 2, 7 = 2, 8 = 3, 4 = 4, 2 = 1, 3 = 6, 6 = 3, 14 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 49 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 3 [ 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: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {5 = 1, 7 = 1, 8 = 2, 4 = 3, 3 = 5, 6 = 2, 14 = 7, 13 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 50 (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: cost = best_cost = 2.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: Tabu list: {7 = 1, 8 = 2, 4 = 2, 3 = 4, 6 = 1, 14 = 6, 13 = 7, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 51 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ 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: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {8 = 1, 4 = 1, 3 = 3, 14 = 5, 13 = 6, 1 = 7, 5 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 52 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {4 = 1, 3 = 3, 14 = 4, 13 = 5, 1 = 6, 5 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 53 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {3 = 2, 14 = 3, 13 = 4, 1 = 5, 5 = 6, 6 = 3, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 54 (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: 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 = 2.0 [ Info: Tabu list: {3 = 1, 14 = 2, 13 = 3, 1 = 4, 5 = 5, 6 = 2, 2 = 3, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 55 (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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {14 = 1, 13 = 2, 1 = 3, 5 = 4, 6 = 1, 2 = 2, 7 = 7, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 56 (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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Tabu list: {13 = 2, 1 = 3, 5 = 4, 2 = 1, 7 = 6, 4 = 7, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 57 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {13 = 1, 1 = 2, 5 = 3, 7 = 5, 4 = 6, 8 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 58 (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 = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {1 = 2, 5 = 2, 7 = 4, 4 = 5, 8 = 6, 6 = 3, 3 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 59 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {1 = 1, 5 = 1, 7 = 3, 4 = 4, 8 = 5, 6 = 2, 3 = 7, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 60 (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: 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: {7 = 2, 4 = 3, 8 = 4, 6 = 1, 3 = 6, 2 = 3, 12 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 61 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ 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: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {7 = 1, 4 = 2, 8 = 3, 3 = 6, 2 = 3, 12 = 8, 5 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 62 (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: cost = best_cost = 2.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: Tabu list: {4 = 1, 8 = 2, 3 = 5, 2 = 2, 12 = 7, 5 = 7, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 63 (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: 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 = 2.0 [ Info: Tabu list: {8 = 1, 3 = 4, 2 = 1, 12 = 6, 5 = 6, 1 = 7, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 64 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {3 = 4, 2 = 1, 12 = 6, 5 = 5, 1 = 6, 7 = 7, 6 = 4} [ Info: best_swap : [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 65 (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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Tabu list: {3 = 3, 12 = 5, 5 = 4, 1 = 5, 7 = 6, 6 = 3, 8 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 66 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {3 = 2, 12 = 4, 5 = 3, 1 = 4, 7 = 5, 6 = 2, 8 = 7, 2 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 67 (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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {3 = 1, 12 = 3, 5 = 2, 1 = 3, 7 = 4, 6 = 1, 8 = 6, 2 = 3, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 2, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 68 (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: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Tabu list: {12 = 2, 5 = 1, 1 = 2, 7 = 3, 8 = 6, 2 = 3, 4 = 8, 16 = 8} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 1, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 69 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {14 = 4} [ Info: best_values: [1, 4] [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 1, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 70 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {14 = 3, 2 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 1, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 71 (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 = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: Compute costs: selected var(s) x_11 ⇆ x_7 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_9 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: cost = best_cost = 10.0 [ Info: Tabu list: {14 = 2, 2 = 3, 11 = 8} [ Info: best_values: [3, 1, 2, 4] [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 1, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 72 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ 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 = 1, 2 = 2, 11 = 7, 8 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 1, 5 = 2, 6 = 1, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 73 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ 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: 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: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {2 = 1, 11 = 6, 8 = 3, 3 = 8} [ Info: best_values: [1, 2, 3, 4] [ Info: vals: {1 = 1, 2 = 3, 3 = 3, 4 = 1, 5 = 2, 6 = 1, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 74 (satisfaction) [ Info: Selected x = 7 [ 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 = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = 7.0 < 9.0 [ Info: Tabu list: {11 = 6, 8 = 3, 3 = 7, 7 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 3, 3 = 3, 4 = 1, 5 = 2, 6 = 1, 7 = 4, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 75 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = 6.0 < 7.0 [ Info: Tabu list: {11 = 5, 8 = 2, 3 = 6, 7 = 3, 4 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 4, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 76 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Compute costs: selected var(s) x_12 ⇆ x_4 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_16 [ Info: Compute costs: selected var(s) x_12 ⇆ x_15 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_11 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: cost = best_cost = 6.0 [ Info: Tabu list: {11 = 4, 8 = 1, 3 = 5, 7 = 2, 4 = 3, 12 = 8} [ Info: best_values: [2, 3] [ Info: vals: {1 = 1, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 4, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 77 (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: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: cost = 5.0 < 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {11 = 3, 3 = 4, 7 = 1, 4 = 2, 12 = 7, 1 = 4} [ Info: best_swap : [9] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 1, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 78 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ 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 = 5.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {11 = 2, 3 = 3, 4 = 2, 12 = 7, 1 = 3, 8 = 8} [ Info: best_values: [3, 2] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 79 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: cost = 2.0 < 5.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: {11 = 1, 3 = 2, 4 = 1, 12 = 6, 1 = 2, 8 = 7, 7 = 4} [ Info: best_swap : [11] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 80 (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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = best_cost = 2.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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Tabu list: {3 = 1, 12 = 6, 1 = 2, 8 = 6, 7 = 3, 2 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 81 (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: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {12 = 5, 1 = 1, 8 = 5, 7 = 2, 2 = 7, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 82 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ 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: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = best_cost = 2.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: {12 = 4, 8 = 5, 7 = 2, 2 = 6, 4 = 7, 3 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 83 (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 = 3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: cost = best_cost = 2.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: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {12 = 3, 8 = 4, 7 = 1, 2 = 5, 4 = 6, 3 = 7, 1 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 84 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 3 [ 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 = 2.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: cost = best_cost = 2.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: {12 = 2, 8 = 3, 2 = 4, 4 = 5, 3 = 6, 1 = 7, 6 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 85 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 3 [ 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 = 2.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 = 2.0 [ Info: Tabu list: {12 = 1, 8 = 2, 2 = 3, 4 = 4, 3 = 5, 1 = 6, 6 = 7, 7 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 86 (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 = 2.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {8 = 1, 2 = 2, 4 = 3, 3 = 4, 1 = 5, 6 = 6, 7 = 7, 5 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 87 (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: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Tabu list: {2 = 2, 4 = 3, 3 = 3, 1 = 4, 6 = 5, 7 = 6, 5 = 7, 15 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 4, 10 = 1, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 4} ┌ Info: └ Loop 88 (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 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 1, 9 = 4, 10 = 1, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 4} ┌ Info: └ Loop 89 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = 9.0 < 10.0 [ Info: Tabu list: {8 = 3, 15 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 1, 9 = 4, 10 = 1, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 3, 16 = 4} ┌ Info: └ Loop 90 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = 8.0 < 9.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: {8 = 2, 15 = 3, 13 = 4} [ Info: best_swap : [10] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 4, 15 = 3, 16 = 4} ┌ Info: └ Loop 91 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 6.0 < 8.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Tabu list: {8 = 1, 15 = 2, 13 = 3, 14 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 92 (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 = 3 [ Info: cost = 5.0 < 6.0 [ Info: Tabu list: {15 = 1, 13 = 2, 14 = 3, 1 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 93 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: cost = 2.0 < 5.0 [ Info: Tabu list: {13 = 2, 14 = 3, 1 = 3, 6 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 4, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 94 (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: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: Tabu list: {13 = 1, 14 = 2, 1 = 2, 6 = 3, 7 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 4, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 95 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ 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: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: Tabu list: {14 = 1, 1 = 1, 6 = 2, 7 = 7, 8 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 4, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 96 (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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {6 = 2, 7 = 7, 8 = 7, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 4, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 97 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: Compute costs: selected var(s) x_11 ⇆ x_7 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {6 = 1, 7 = 6, 8 = 6, 4 = 7, 11 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 4, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 98 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 2 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_7 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_11 [ Info: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Tabu list: {7 = 5, 8 = 5, 4 = 6, 11 = 7, 15 = 8} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 2, 9 = 4, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 99 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {4 = 8} [ Info: best_values: [2, 1, 3, 4] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 2, 9 = 4, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 100 (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 = 2 [ Info: cost = 10.0 < 12.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Tabu list: {4 = 7, 9 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 2, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 101 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_16 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: cost = best_cost = 10.0 [ Info: Tabu list: {4 = 6, 9 = 3, 8 = 8} [ Info: best_values: [2, 1, 3, 4] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 102 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {4 = 5, 9 = 2, 8 = 7, 2 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 103 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: cost = 7.0 < 8.0 [ Info: Tabu list: {4 = 4, 9 = 1, 8 = 6, 2 = 3, 16 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 104 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = 6.0 < 7.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: cost = best_cost = 6.0 [ Info: Tabu list: {4 = 3, 8 = 5, 2 = 2, 16 = 3, 7 = 4} [ Info: best_swap : [4, 3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 105 (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 = 3 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_8 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_14 [ Info: Compute costs: selected var(s) x_6 ⇆ x_1 [ Info: Tabu list: {4 = 2, 8 = 4, 2 = 1, 16 = 2, 7 = 3, 6 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 106 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ 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 ⇆ x_4 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ 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: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {4 = 1, 8 = 3, 16 = 1, 7 = 2, 6 = 7, 3 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 107 (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: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_9 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Tabu list: {8 = 3, 7 = 1, 6 = 6, 3 = 7, 5 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 108 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ 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: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {8 = 2, 6 = 6, 3 = 7, 5 = 7, 4 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 109 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 5.0 < 6.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {8 = 1, 6 = 5, 3 = 6, 5 = 6, 4 = 7, 7 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 110 (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: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: cost = best_cost = 5.0 [ 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: Tabu list: {6 = 4, 3 = 5, 5 = 5, 4 = 6, 7 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 4, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 111 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 2.0 < 5.0 [ Info: Tabu list: {6 = 3, 3 = 4, 5 = 4, 4 = 5, 7 = 2, 1 = 7, 8 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 112 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {6 = 2, 3 = 3, 5 = 3, 4 = 4, 7 = 1, 1 = 6, 8 = 3, 14 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 113 (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: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {6 = 1, 3 = 2, 5 = 2, 4 = 3, 1 = 5, 8 = 2, 14 = 7, 13 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 114 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ 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: {3 = 2, 5 = 2, 4 = 2, 1 = 4, 8 = 1, 14 = 6, 13 = 7, 9 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 115 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {3 = 1, 5 = 1, 4 = 1, 1 = 3, 14 = 5, 13 = 6, 9 = 7, 2 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 116 (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: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {4 = 1, 1 = 3, 14 = 4, 13 = 5, 9 = 6, 2 = 7, 10 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 117 (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 = 3 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: cost = best_cost = 2.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: Tabu list: {1 = 2, 14 = 3, 13 = 4, 9 = 5, 2 = 6, 10 = 7, 6 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 118 (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: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Tabu list: {1 = 1, 14 = 2, 13 = 3, 9 = 4, 2 = 5, 10 = 6, 6 = 7, 5 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 119 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ 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: 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: {14 = 1, 13 = 2, 9 = 3, 2 = 4, 10 = 5, 6 = 6, 5 = 7, 4 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 120 (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: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {13 = 2, 9 = 3, 2 = 4, 10 = 4, 6 = 5, 5 = 6, 4 = 7, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 121 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {13 = 1, 9 = 2, 2 = 3, 10 = 3, 6 = 4, 5 = 5, 4 = 6, 1 = 7, 14 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 122 (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: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Tabu list: {9 = 1, 2 = 2, 10 = 2, 6 = 3, 5 = 4, 4 = 5, 1 = 6, 14 = 7, 15 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 123 (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: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {2 = 1, 10 = 1, 6 = 2, 5 = 3, 4 = 4, 1 = 5, 14 = 6, 15 = 7, 13 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 124 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ 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: {6 = 1, 5 = 2, 4 = 3, 1 = 4, 14 = 5, 15 = 6, 13 = 7, 9 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 125 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {5 = 2, 4 = 3, 1 = 4, 14 = 4, 15 = 5, 13 = 6, 9 = 7, 2 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 126 (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: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {5 = 1, 4 = 2, 1 = 3, 14 = 3, 15 = 4, 13 = 5, 9 = 6, 2 = 7, 10 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 127 (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 = 3 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: cost = best_cost = 2.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: Tabu list: {4 = 1, 1 = 2, 14 = 2, 15 = 3, 13 = 4, 9 = 5, 2 = 6, 10 = 7, 6 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 128 (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: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Tabu list: {1 = 1, 14 = 1, 15 = 2, 13 = 3, 9 = 4, 2 = 5, 10 = 6, 6 = 7, 5 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 3, 12 = 4, 13 = 3, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 129 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {1 = 4} [ Info: best_values: [1, 4] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 3, 12 = 4, 13 = 3, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 130 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {1 = 3, 7 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 3, 12 = 4, 13 = 3, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 131 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_16 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_15 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_11 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: cost = best_cost = 10.0 [ Info: Tabu list: {1 = 2, 7 = 3, 12 = 8} [ Info: best_values: [4, 1, 2, 3] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 132 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: cost = 9.0 < 10.0 [ 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 = 1, 7 = 2, 12 = 7, 16 = 4} [ Info: best_swap : [11] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 2, 15 = 3, 16 = 3} ┌ Info: └ Loop 133 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {7 = 1, 12 = 6, 16 = 3, 14 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 3, 16 = 3} ┌ Info: └ Loop 134 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = 7.0 < 8.0 [ Info: Tabu list: {12 = 6, 16 = 3, 14 = 3, 15 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 135 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {12 = 5, 16 = 2, 14 = 2, 15 = 3, 13 = 8} [ Info: best_values: [3, 1, 2, 4] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 136 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ 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: Tabu list: {12 = 4, 16 = 1, 14 = 1, 15 = 2, 13 = 7, 5 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 137 (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: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: cost = 5.0 < 7.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: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {12 = 3, 15 = 2, 13 = 7, 5 = 7, 1 = 4} [ Info: best_swap : [4] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 138 (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: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ 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: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {12 = 2, 15 = 1, 13 = 6, 5 = 6, 1 = 3, 9 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 139 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: cost = best_cost = 5.0 [ 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: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Tabu list: {12 = 1, 13 = 5, 5 = 5, 1 = 2, 9 = 7, 16 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 140 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: Compute costs: selected var(s) x_14 = 4 [ 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: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: cost = best_cost = 5.0 [ 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: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {13 = 5, 5 = 4, 1 = 1, 9 = 6, 16 = 7, 14 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 141 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Compute costs: selected var(s) x_15 ⇆ x_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_16 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_7 [ Info: Compute costs: selected var(s) x_15 ⇆ x_11 [ Info: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Tabu list: {13 = 4, 5 = 3, 9 = 5, 16 = 6, 14 = 7, 15 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 142 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: Compute costs: selected var(s) x_11 ⇆ x_7 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: cost = 3.0 < 5.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: Tabu list: {13 = 3, 5 = 2, 9 = 4, 16 = 5, 14 = 6, 15 = 7, 11 = 4} [ Info: best_swap : [12] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 1, 12 = 2, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 143 (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 = 3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ 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: Tabu list: {13 = 2, 5 = 1, 9 = 3, 16 = 4, 14 = 5, 15 = 6, 11 = 3, 1 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 1, 12 = 2, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 144 (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: 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: {13 = 1, 9 = 2, 16 = 3, 14 = 4, 15 = 5, 11 = 2, 1 = 7, 10 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 1, 12 = 2, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 145 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: cost = best_cost = 3.0 [ 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: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Tabu list: {9 = 2, 16 = 2, 14 = 3, 15 = 4, 11 = 1, 1 = 6, 10 = 7, 5 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 1, 12 = 2, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 146 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {9 = 1, 16 = 1, 14 = 2, 15 = 3, 1 = 5, 10 = 6, 5 = 7, 13 = 8} [ Info: best_values: [3, 1, 2, 4] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 1, 12 = 2, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 147 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ 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: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ 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: {14 = 2, 15 = 3, 1 = 4, 10 = 5, 5 = 6, 13 = 7, 3 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 1, 12 = 2, 13 = 4, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 148 (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: cost = best_cost = 3.0 [ 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: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {14 = 1, 15 = 2, 1 = 3, 10 = 4, 5 = 5, 13 = 6, 3 = 7, 9 = 8} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 1, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 3, 11 = 1, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 149 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ 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 = 10.0 < 11.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 1, 3 = 1, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 3, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 150 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {11 = 3, 9 = 4} [ Info: best_values: [2, 4] [ Info: vals: {1 = 2, 2 = 1, 3 = 1, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 151 (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 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: cost = 8.0 < 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: 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: Tabu list: {11 = 2, 9 = 3, 1 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 152 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {11 = 1, 9 = 2, 1 = 3, 3 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 3, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 153 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = 5.0 < 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {9 = 1, 1 = 2, 3 = 3, 13 = 4} [ Info: best_swap : [9] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 154 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {1 = 2, 3 = 3, 13 = 3, 7 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 1, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 155 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: cost = 2.0 < 4.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {1 = 1, 3 = 2, 13 = 2, 7 = 3, 6 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 156 (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: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Tabu list: {3 = 1, 13 = 1, 7 = 2, 6 = 3, 5 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 157 (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 = 3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {7 = 2, 6 = 3, 5 = 7, 1 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 158 (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: 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: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {7 = 1, 6 = 2, 5 = 6, 1 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 159 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ 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: {6 = 1, 5 = 5, 1 = 6, 13 = 7, 9 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 160 (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 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {5 = 5, 1 = 6, 13 = 6, 9 = 7, 10 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 161 (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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: Compute costs: selected var(s) x_6 ⇆ x_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: cost = best_cost = 2.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: Tabu list: {5 = 4, 1 = 5, 13 = 5, 9 = 6, 10 = 7, 6 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 162 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {5 = 3, 1 = 4, 13 = 4, 9 = 5, 10 = 6, 6 = 7, 14 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 163 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {5 = 2, 1 = 3, 13 = 3, 9 = 4, 10 = 5, 6 = 6, 14 = 7, 2 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 164 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 3 [ 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: 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: {5 = 1, 1 = 2, 13 = 2, 9 = 3, 10 = 4, 6 = 5, 14 = 6, 2 = 7, 12 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 165 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 2 [ 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: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Tabu list: {1 = 1, 13 = 1, 9 = 2, 10 = 3, 6 = 4, 14 = 5, 2 = 6, 12 = 7, 15 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 166 (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: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Tabu list: {9 = 2, 10 = 3, 6 = 4, 14 = 4, 2 = 5, 12 = 6, 15 = 7, 5 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 167 (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 = 3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {9 = 1, 10 = 2, 6 = 3, 14 = 3, 2 = 4, 12 = 5, 15 = 6, 5 = 7, 1 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 168 (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: 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: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {10 = 1, 6 = 2, 14 = 2, 2 = 3, 12 = 4, 15 = 5, 5 = 6, 1 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 169 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ 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: {6 = 1, 14 = 1, 2 = 2, 12 = 3, 15 = 4, 5 = 5, 1 = 6, 13 = 7, 9 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 170 (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 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: cost = best_cost = 2.0 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {2 = 1, 12 = 2, 15 = 3, 5 = 4, 1 = 5, 13 = 6, 9 = 7, 10 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 171 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {12 = 2, 15 = 3, 5 = 4, 1 = 4, 13 = 5, 9 = 6, 10 = 7, 14 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 172 (satisfaction) [ Info: Selected x = 2 [ 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 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {12 = 1, 15 = 2, 5 = 3, 1 = 3, 13 = 4, 9 = 5, 10 = 6, 14 = 7, 2 = 8} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 3, 9 = 4, 10 = 4, 11 = 4, 12 = 2, 13 = 1, 14 = 3, 15 = 4, 16 = 4} ┌ Info: └ Loop 173 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Tabu list: {16 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 3, 9 = 4, 10 = 4, 11 = 4, 12 = 2, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 174 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {16 = 3, 8 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 1, 9 = 4, 10 = 4, 11 = 4, 12 = 2, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 175 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Tabu list: {16 = 2, 8 = 3, 10 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 1, 9 = 4, 10 = 2, 11 = 4, 12 = 2, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 176 (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 = 4.0 < 7.0 [ Info: Tabu list: {16 = 1, 8 = 2, 10 = 3, 6 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 4, 7 = 2, 8 = 1, 9 = 4, 10 = 2, 11 = 4, 12 = 2, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 177 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 3.0 < 4.0 [ Info: Tabu list: {8 = 1, 10 = 2, 6 = 3, 12 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 4, 7 = 2, 8 = 1, 9 = 4, 10 = 2, 11 = 4, 12 = 4, 13 = 1, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 178 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_7 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_9 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: cost = best_cost = 3.0 [ Info: Tabu list: {10 = 2, 6 = 3, 12 = 3, 11 = 8} [ Info: best_values: [4, 1, 2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 4, 13 = 2, 14 = 2, 15 = 4, 16 = 4} ┌ Info: └ Loop 179 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 7.0 < 9.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {13 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 4} ┌ Info: └ Loop 180 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = 6.0 < 7.0 [ Info: Tabu list: {13 = 3, 16 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 3} ┌ Info: └ Loop 181 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 3.0 < 6.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Tabu list: {13 = 2, 16 = 3, 6 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 3} ┌ Info: └ Loop 182 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 0.0 < 3.0 [ Info: Tabu list: {13 = 1, 16 = 2, 6 = 3, 12 = 4} [ Info: best_values: [1] ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 16-element Dictionary{Int64, Int64}: │ 1 │ 4 │ ⋮ │ ⋮ │ 16 │ 3 │ 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 │ 4 │ 2 │ 3 │ ⋮ │ ⋮ │ 16 │ 3 └ length(s.remotes) = 0 [ Info: Dict(:model_and_run => 16.06472396850586, :remote_stop => 1.5407729148864746, :total_run => 16.06472396850586, :init => 6.676006078720093, :threads_start => 5.377340793609619, :model => 0.0, :local_run => 2.4625861644744873, :remote_start => 0.008018016815185547) 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 │ 5 │ ⋮ │ ⋮ │ 81 │ 3 └ length(s.remotes) = 0 81-element Dictionary{Int64, Int64}: 1 │ 9 2 │ 7 3 │ 8 4 │ 1 5 │ 2 6 │ 7 7 │ 2 8 │ 6 9 │ 7 10 │ 3 11 │ 4 12 │ 5 13 │ 1 14 │ 2 15 │ 6 16 │ 7 17 │ 9 18 │ 7 19 │ 6 20 │ 1 21 │ 2 22 │ 7 23 │ 4 24 │ 9 25 │ 8 26 │ 3 27 │ 1 28 │ 8 29 │ 4 30 │ 1 31 │ 4 32 │ 1 33 │ 8 34 │ 5 35 │ 2 36 │ 7 37 │ 9 38 │ 4 39 │ 9 40 │ 7 41 │ 1 42 │ 2 43 │ 3 44 │ 8 45 │ 3 46 │ 2 47 │ 2 48 │ 6 49 │ 4 50 │ 1 51 │ 3 52 │ 1 53 │ 8 54 │ 7 55 │ 5 56 │ 4 57 │ 7 58 │ 1 59 │ 6 60 │ 2 61 │ 3 62 │ 9 63 │ 8 64 │ 4 65 │ 9 66 │ 5 67 │ 1 68 │ 6 69 │ 1 70 │ 3 71 │ 3 72 │ 5 73 │ 3 74 │ 2 75 │ 9 76 │ 4 77 │ 6 78 │ 1 79 │ 2 80 │ 3 81 │ 3 LocalSearchSolvers.TimeStamps(1.745293773091071e9, 1.745293775946122e9, 1.745293776891371e9, 1.745293776891496e9, 1.745293776891516e9, 1.745293785950792e9, 1.745293785982308e9) ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 5-element Dictionary{Int64, Int64}: │ 1 │ 18 │ ⋮ │ ⋮ │ 5 │ 10 │ 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 │ 18 │ 2 │ 1 │ ⋮ │ ⋮ │ 5 │ 10 └ length(s.remotes) = 0 [ Info: Results golomb! [ Info: Values: {1 = 18, 2 = 1, 3 = 6, 4 = 9, 5 = 10} [ Info: Sol (val): 2.0 [ Info: Sol (vals): {1 = 18, 2 = 1, 3 = 6, 4 = 9, 5 = 10} ┌ 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, 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 │ 0 │ 2 │ 1 │ ⋮ │ ⋮ │ 6 │ 5 └ length(s.remotes) = 0 [ Info: Results mincut! [ Info: Values: {1 = 0, 2 = 1, 3 = 2, 4 = 2, 5 = 3, 6 = 5} [ Info: Sol (val): 2.0 [ Info: Sol (vals): {1 = 0, 2 = 1, 3 = 2, 4 = 2, 5 = 3, 6 = 5} ┌ Info: Remote stop: report main pool │ best_values(s.pool) = │ 6-element Dictionary{Int64, Int64}: │ 1 │ 1 │ ⋮ │ ⋮ │ 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 │ 1 │ 2 │ 0 │ ⋮ │ ⋮ │ 6 │ 5 └ length(s.remotes) = 0 [ Info: Results 1-mincut! [ Info: Values: {1 = 0, 2 = 3, 3 = 1, 4 = 4, 5 = 5, 6 = 2} [ Info: Sol (val): 2.0 [ Info: Sol (vals): {1 = 1, 2 = 0, 3 = 0, 4 = 2, 5 = 1, 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 │ 5 │ ⋮ │ ⋮ │ 6 │ 1 └ length(s.remotes) = 0 [ Info: Results 2-mincut! [ Info: Values: {1 = 1, 2 = 2, 3 = 5, 4 = 4, 5 = 5, 6 = 1} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 0, 2 = 5, 3 = 4, 4 = 2, 5 = 3, 6 = 1} [ Info: Dict(:model_and_run => 15.009767055511475, :remote_stop => 0.0055389404296875, :total_run => 15.009767055511475, :init => 0.0007181167602539062, :threads_start => 5.793571472167969e-5, :model => 0.0, :local_run => 15.00344705581665, :remote_start => 5.0067901611328125e-6) Test Summary: | Pass Broken Total Time LocalSearchSolvers.jl | 211 1 212 4m07.4s Testing LocalSearchSolvers tests passed Testing completed after 279.36s PkgEval succeeded after 345.68s