Package evaluation of ConstraintModels on Julia 1.13.0-DEV.791 (d5209bd37d*) started at 2025-07-04T17:27:33.797 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.9s ################################################################################ # Installation # Installing ConstraintModels... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [841a6ec5] + ConstraintModels v0.1.8 Updating `~/.julia/environments/v1.13/Manifest.toml` [47edcb42] + ADTypes v1.15.0 [79e6a3ab] + Adapt v4.3.0 [4fba245c] + ArrayInterface v7.19.0 [6e4b80f9] + BenchmarkTools v1.6.0 ⌅ [a3809bfe] + CBLS v0.1.12 [49dc2e85] + Calculus v0.5.2 ⌅ [523fee87] + CodecBzip2 v0.7.2 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.17.0 ⌅ [4b67e4b5] + CompositionalNetworks v0.2.7 ⌅ [5800fd60] + ConstraintDomains v0.2.5 [841a6ec5] + ConstraintModels v0.1.8 ⌅ [30f324ab] + Constraints v0.2.5 [187b0558] + ConstructionBase v1.6.0 [864edb3b] + DataStructures v0.18.22 ⌅ [85a47980] + Dictionaries v0.3.29 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [a0c0ee7d] + DifferentiationInterface v0.7.1 [ffbed154] + DocStringExtensions v0.9.5 ⌅ [86b6b26d] + Evolutionary v0.10.1 [6a86dc24] + FiniteDiff v2.27.0 ⌅ [f6369f11] + ForwardDiff v0.10.38 ⌅ [cd3eb016] + HTTP v0.9.17 [313cdc1a] + Indexing v1.1.1 [83e8ac13] + IniFile v0.5.1 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 ⌅ [7d188eb4] + JSONSchema v0.3.4 ⌅ [4076af6c] + JuMP v0.21.5 [50d2b5c4] + Lazy v0.15.1 ⌅ [2b10edaa] + LocalSearchSolvers v0.3.12 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 ⌅ [b8f27783] + MathOptInterface v0.9.22 [739be429] + MbedTLS v1.1.9 ⌅ [d8a4904e] + MutableArithmetics v0.2.22 [d41bc354] + NLSolversBase v7.10.0 ⌅ [77ba4419] + NaNMath v0.3.7 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 ⌅ [c18a7f1d] + PatternFolds v0.1.5 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [3cdcf5f2] + RecipesBase v1.3.4 [ae029012] + Requires v1.3.1 [efcf1570] + Setfield v1.1.2 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [b189fb0b] + ThreadPools v2.1.1 ⌅ [3bb67fe8] + TranscodingStreams v0.9.13 [5c2747f8] + URIs v1.6.1 [3a884ed6] + UnPack v1.0.2 [9602ed7d] + Unrolled v0.1.5 [6e34b625] + Bzip2_jll v1.0.9+0 [c8ffd9c3] + MbedTLS_jll v2.28.6+2 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.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 [de0858da] + Printf v1.11.0 [9abbd945] + Profile 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 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [14a3606d] + MozillaCACerts_jll v2025.5.20 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 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.78s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 317.62s ################################################################################ # Testing # Testing ConstraintModels Status `/tmp/jl_pYnlnH/Project.toml` ⌅ [a3809bfe] CBLS v0.1.12 [841a6ec5] ConstraintModels v0.1.8 ⌅ [30f324ab] Constraints v0.2.5 ⌅ [85a47980] Dictionaries v0.3.29 ⌅ [4076af6c] JuMP v0.21.5 ⌅ [2b10edaa] LocalSearchSolvers v0.3.12 ⌅ [b8f27783] MathOptInterface v0.9.22 [8dfed614] Test v1.11.0 Status `/tmp/jl_pYnlnH/Manifest.toml` [47edcb42] ADTypes v1.15.0 [79e6a3ab] Adapt v4.3.0 [4fba245c] ArrayInterface v7.19.0 [6e4b80f9] BenchmarkTools v1.6.0 ⌅ [a3809bfe] CBLS v0.1.12 [49dc2e85] Calculus v0.5.2 ⌅ [523fee87] CodecBzip2 v0.7.2 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.17.0 ⌅ [4b67e4b5] CompositionalNetworks v0.2.7 ⌅ [5800fd60] ConstraintDomains v0.2.5 [841a6ec5] ConstraintModels v0.1.8 ⌅ [30f324ab] Constraints v0.2.5 [187b0558] ConstructionBase v1.6.0 [864edb3b] DataStructures v0.18.22 ⌅ [85a47980] Dictionaries v0.3.29 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [a0c0ee7d] DifferentiationInterface v0.7.1 [ffbed154] DocStringExtensions v0.9.5 ⌅ [86b6b26d] Evolutionary v0.10.1 [6a86dc24] FiniteDiff v2.27.0 ⌅ [f6369f11] ForwardDiff v0.10.38 ⌅ [cd3eb016] HTTP v0.9.17 [313cdc1a] Indexing v1.1.1 [83e8ac13] IniFile v0.5.1 [92d709cd] IrrationalConstants v0.2.4 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 ⌅ [7d188eb4] JSONSchema v0.3.4 ⌅ [4076af6c] JuMP v0.21.5 [50d2b5c4] Lazy v0.15.1 ⌅ [2b10edaa] LocalSearchSolvers v0.3.12 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 ⌅ [b8f27783] MathOptInterface v0.9.22 [739be429] MbedTLS v1.1.9 ⌅ [d8a4904e] MutableArithmetics v0.2.22 [d41bc354] NLSolversBase v7.10.0 ⌅ [77ba4419] NaNMath v0.3.7 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 ⌅ [c18a7f1d] PatternFolds v0.1.5 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [3cdcf5f2] RecipesBase v1.3.4 [ae029012] Requires v1.3.1 [efcf1570] Setfield v1.1.2 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [b189fb0b] ThreadPools v2.1.1 ⌅ [3bb67fe8] TranscodingStreams v0.9.13 [5c2747f8] URIs v1.6.1 [3a884ed6] UnPack v1.0.2 [9602ed7d] Unrolled v0.1.5 [6e34b625] Bzip2_jll v1.0.9+0 [c8ffd9c3] MbedTLS_jll v2.28.6+2 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.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 [de0858da] Printf v1.11.0 [9abbd945] Profile 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 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [14a3606d] MozillaCACerts_jll v2025.5.20 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Info: _Model description │ Constraint Satisfaction Program (CSP) │ Variables: 16 │ x1: 1:4 │ x2: 1:4 │ x3: 1:4 │ x4: 1:4 │ x5: 1:4 │ x6: 1:4 │ x7: 1:4 │ x8: 1:4 │ x9: 1:4 │ x10: 1:4 │ x11: 1:4 │ x12: 1:4 │ x13: 1:4 │ x14: 1:4 │ x15: 1:4 │ x16: 1:4 │ Constraints: 12 │ c1: [1, 2, 3, 4] │ c2: [5, 6, 7, 8] │ c3: [9, 10, 11, 12] │ c4: [13, 14, 15, 16] │ c5: [1, 5, 9, 13] │ c6: [2, 6, 10, 14] │ c7: [3, 7, 11, 15] │ c8: [4, 8, 12, 16] │ c9: [1, 5, 2, 6] │ c10: [9, 13, 10, 14] │ c11: [3, 7, 4, 8] └ c12: [11, 15, 12, 16] ┌ Info: └ Loop 1 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 5.0 < 16.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 3, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 1, 9 = 3, 10 = 2, 11 = 4, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 2 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {1 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 2, 6 = 3, 7 = 2, 8 = 3, 9 = 1, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 4, 15 = 2, 16 = 2} ┌ Info: └ Loop 3 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {6 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 1, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 4, 15 = 2, 16 = 2} ┌ Info: └ Loop 4 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {6 = 3, 15 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 2, 4 = 1, 5 = 3, 6 = 4, 7 = 3, 8 = 1, 9 = 3, 10 = 4, 11 = 1, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 5 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {13 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 4, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 4, 9 = 1, 10 = 1, 11 = 1, 12 = 4, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 6 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 18.0 < 20.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = best_cost = 18.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = 17.0 < 18.0 [ Info: Tabu list: {3 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 4, 5 = 2, 6 = 4, 7 = 4, 8 = 3, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 2, 14 = 3, 15 = 1, 16 = 3} ┌ Info: └ Loop 7 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Tabu list: {4 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 3, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 2, 14 = 3, 15 = 1, 16 = 3} ┌ Info: └ Loop 8 (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 = 7.0 < 8.0 [ Info: Tabu list: {4 = 3, 13 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 3, 9 = 2, 10 = 3, 11 = 4, 12 = 4, 13 = 2, 14 = 4, 15 = 2, 16 = 3} ┌ Info: └ Loop 9 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 3, 9 = 2, 10 = 3, 11 = 4, 12 = 4, 13 = 2, 14 = 4, 15 = 2, 16 = 3} ┌ Info: └ Loop 10 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Tabu list: {4 = 3, 10 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 3, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 4, 13 = 2, 14 = 4, 15 = 2, 16 = 3} ┌ 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 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {4 = 2, 10 = 3, 5 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 2, 5 = 4, 6 = 3, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 4, 13 = 2, 14 = 4, 15 = 2, 16 = 3} ┌ Info: └ Loop 12 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Tabu list: {4 = 1, 10 = 2, 5 = 3, 12 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 2, 5 = 3, 6 = 2, 7 = 2, 8 = 1, 9 = 4, 10 = 2, 11 = 4, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 13 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Tabu list: {10 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 3, 9 = 2, 10 = 3, 11 = 3, 12 = 3, 13 = 4, 14 = 2, 15 = 2, 16 = 4} ┌ Info: └ Loop 14 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {5 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 1, 4 = 1, 5 = 2, 6 = 1, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 3, 13 = 4, 14 = 4, 15 = 2, 16 = 2} ┌ Info: └ Loop 15 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 2, 3 = 1, 4 = 1, 5 = 2, 6 = 1, 7 = 1, 8 = 4, 9 = 2, 10 = 3, 11 = 4, 12 = 3, 13 = 4, 14 = 4, 15 = 2, 16 = 2} ┌ Info: └ Loop 16 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {1 = 3, 15 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 3, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 3, 12 = 3, 13 = 2, 14 = 2, 15 = 2, 16 = 3} ┌ Info: └ Loop 17 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {16 = 4} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 4, 9 = 4, 10 = 1, 11 = 3, 12 = 4, 13 = 1, 14 = 4, 15 = 2, 16 = 2} ┌ Info: └ Loop 18 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {7 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 2, 5 = 1, 6 = 1, 7 = 1, 8 = 4, 9 = 1, 10 = 1, 11 = 1, 12 = 3, 13 = 2, 14 = 1, 15 = 3, 16 = 3} ┌ Info: └ Loop 19 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {10 = 4} [ Info: best_values: [2, 3, 4] [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 2, 5 = 1, 6 = 1, 7 = 1, 8 = 4, 9 = 1, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 1, 15 = 3, 16 = 3} ┌ Info: └ Loop 20 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = best_cost = 13.0 [ Info: Tabu list: {10 = 3, 12 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 4, 5 = 1, 6 = 3, 7 = 2, 8 = 2, 9 = 3, 10 = 3, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 21 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 18.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 16.0 < 17.0 [ Info: Tabu list: {9 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 4, 5 = 1, 6 = 3, 7 = 2, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 22 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {9 = 3, 3 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 4, 5 = 1, 6 = 3, 7 = 2, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 23 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {9 = 2, 3 = 3, 14 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 4, 5 = 1, 6 = 3, 7 = 2, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 3, 13 = 1, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 24 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {9 = 1, 3 = 2, 14 = 3, 5 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 1, 11 = 4, 12 = 1, 13 = 2, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 25 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {1 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 1, 11 = 4, 12 = 1, 13 = 2, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 26 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {1 = 3, 10 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 3, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 27 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = 9.0 < 12.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {1 = 2, 10 = 3, 7 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 28 (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 = 2 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Tabu list: {1 = 1, 10 = 2, 7 = 3, 16 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 29 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {10 = 1, 7 = 2, 16 = 3, 14 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 30 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 4.0 < 7.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {7 = 2, 16 = 3, 14 = 3, 2 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 2, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 31 (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_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: cost = best_cost = 4.0 [ Info: Tabu list: {7 = 1, 16 = 2, 14 = 2, 2 = 3, 10 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 2, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 32 (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_1 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = best_cost = 4.0 [ Info: Tabu list: {16 = 1, 14 = 1, 2 = 2, 10 = 7, 13 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 1, 4 = 4, 5 = 4, 6 = 3, 7 = 2, 8 = 4, 9 = 3, 10 = 2, 11 = 2, 12 = 2, 13 = 4, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 33 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Tabu list: {16 = 4} [ Info: best_swap : [12] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 1, 4 = 2, 5 = 4, 6 = 4, 7 = 4, 8 = 1, 9 = 2, 10 = 3, 11 = 2, 12 = 2, 13 = 2, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 34 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {9 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 4, 4 = 4, 5 = 3, 6 = 2, 7 = 1, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 3, 13 = 3, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 35 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Tabu list: {1 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 4, 5 = 3, 6 = 2, 7 = 1, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 3, 13 = 3, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 36 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {1 = 3, 13 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 4, 8 = 1, 9 = 4, 10 = 1, 11 = 1, 12 = 4, 13 = 4, 14 = 3, 15 = 4, 16 = 4} ┌ Info: └ Loop 37 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Tabu list: {13 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 2, 5 = 2, 6 = 1, 7 = 1, 8 = 1, 9 = 1, 10 = 4, 11 = 1, 12 = 1, 13 = 4, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 38 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 10.0 < 13.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 2, 4 = 4, 5 = 1, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 4, 11 = 1, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 3} ┌ 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 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Tabu list: {1 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 4, 5 = 1, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 4, 11 = 1, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 40 (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: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ 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_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Tabu list: {1 = 3, 11 = 4} [ Info: best_swap : [3, 16] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 4, 10 = 2, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 1, 16 = 1} ┌ Info: └ Loop 41 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {7 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 2, 12 = 1, 13 = 3, 14 = 4, 15 = 1, 16 = 1} ┌ Info: └ Loop 42 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {7 = 3, 12 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 2, 12 = 3, 13 = 3, 14 = 4, 15 = 1, 16 = 1} ┌ Info: └ Loop 43 (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 = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {7 = 2, 12 = 3, 14 = 4} [ Info: best_swap : [16, 13, 15] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 2, 12 = 3, 13 = 4, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 44 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 5.0 < 7.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Tabu list: {7 = 1, 12 = 2, 14 = 3, 9 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 1, 4 = 4, 5 = 1, 6 = 3, 7 = 4, 8 = 3, 9 = 4, 10 = 2, 11 = 4, 12 = 4, 13 = 4, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 45 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 14.0 < 15.0 [ Info: Tabu list: {9 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 4, 4 = 1, 5 = 4, 6 = 1, 7 = 2, 8 = 4, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 1, 16 = 4} ┌ Info: └ Loop 46 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {14 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 1, 9 = 4, 10 = 1, 11 = 1, 12 = 3, 13 = 4, 14 = 4, 15 = 4, 16 = 2} ┌ Info: └ Loop 47 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {14 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 1, 9 = 4, 10 = 1, 11 = 1, 12 = 3, 13 = 4, 14 = 3, 15 = 4, 16 = 2} ┌ Info: └ Loop 48 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {14 = 3, 2 = 4} [ Info: best_values: [2, 3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 1, 11 = 3, 12 = 3, 13 = 4, 14 = 3, 15 = 3, 16 = 4} ┌ Info: └ Loop 49 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {15 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 3, 9 = 4, 10 = 1, 11 = 2, 12 = 1, 13 = 4, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 50 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {11 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 3, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 4, 12 = 2, 13 = 2, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 51 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [1, 3] [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 3, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 2, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 52 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {11 = 3, 10 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 2, 9 = 2, 10 = 4, 11 = 4, 12 = 1, 13 = 1, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 53 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 17.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 14.0 < 17.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {8 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 2, 10 = 4, 11 = 4, 12 = 1, 13 = 1, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 54 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = best_cost = 13.0 [ Info: Tabu list: {8 = 3, 13 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 2, 10 = 4, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 55 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {8 = 2, 13 = 3, 16 = 4} [ Info: best_values: [2, 4] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 2, 10 = 4, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 56 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = 9.0 < 10.0 [ Info: Tabu list: {8 = 1, 13 = 2, 16 = 3, 5 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 1, 11 = 4, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 57 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Tabu list: {10 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 4, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 58 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {10 = 3, 2 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 4, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 59 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 10.0 < 12.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Tabu list: {10 = 2, 2 = 3, 11 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 60 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {10 = 1, 2 = 2, 11 = 3, 3 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 61 (satisfaction) [ Info: Selected x = 13 [ 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 = 4 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Tabu list: {2 = 1, 11 = 2, 3 = 3, 13 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 62 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 5.0 < 8.0 [ Info: Tabu list: {11 = 2, 3 = 3, 13 = 7, 1 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 63 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = 2.0 < 5.0 [ Info: Tabu list: {11 = 1, 3 = 2, 13 = 6, 1 = 3, 14 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 4, 13 = 1, 14 = 4, 15 = 3, 16 = 2} ┌ Info: └ Loop 64 (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_3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ 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_11 [ Info: Tabu list: {3 = 1, 13 = 5, 1 = 2, 14 = 3, 7 = 8} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 1, 5 = 3, 6 = 4, 7 = 2, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 65 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 66 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {5 = 3, 9 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 67 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {5 = 2, 9 = 3, 15 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 68 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = 6.0 < 7.0 [ Info: Tabu list: {5 = 1, 9 = 2, 15 = 3, 3 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 4, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 69 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 5.0 < 6.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = 4.0 < 5.0 [ Info: Tabu list: {9 = 1, 15 = 2, 3 = 3, 2 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 70 (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_2 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: cost = 2.0 < 4.0 [ Info: Tabu list: {15 = 2, 3 = 3, 2 = 3, 10 = 4} [ Info: best_swap : [9] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 71 (satisfaction) [ Info: Selected x = 4 [ 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 = 4 [ 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_2 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ 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_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {15 = 1, 3 = 2, 2 = 2, 10 = 3, 4 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 72 (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_3 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: cost = best_cost = 2.0 [ 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_15 [ Info: Compute costs: selected var(s) x_11 ⇆ x_7 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Tabu list: {3 = 1, 2 = 1, 10 = 2, 4 = 7, 11 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 73 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ 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_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {10 = 2, 4 = 7, 11 = 7, 8 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 74 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ 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_3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ 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_11 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {10 = 1, 4 = 6, 11 = 6, 8 = 7, 7 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 75 (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_3 [ 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_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ 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_7 [ Info: Tabu list: {4 = 5, 11 = 5, 8 = 6, 7 = 7, 15 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 76 (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_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {4 = 4, 11 = 4, 8 = 5, 7 = 6, 15 = 7, 16 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 77 (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_2 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Compute costs: selected var(s) x_3 ⇆ x_4 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ 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_7 [ Info: Tabu list: {4 = 3, 11 = 3, 8 = 4, 7 = 5, 15 = 6, 16 = 7, 3 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 78 (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 = 3 [ 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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Tabu list: {4 = 2, 11 = 2, 8 = 3, 7 = 4, 15 = 5, 16 = 6, 3 = 7, 12 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 79 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Tabu list: {4 = 1, 11 = 1, 8 = 2, 7 = 3, 15 = 4, 16 = 5, 3 = 6, 12 = 7, 1 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 4, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 80 (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_1 [ 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_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Tabu list: {8 = 2, 7 = 3, 15 = 4, 16 = 4, 3 = 5, 12 = 6, 1 = 7, 9 = 8} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 1, 5 = 2, 6 = 3, 7 = 2, 8 = 4, 9 = 4, 10 = 1, 11 = 3, 12 = 2, 13 = 2, 14 = 1, 15 = 2, 16 = 3} ┌ Info: └ Loop 81 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {15 = 4} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 1, 11 = 3, 12 = 1, 13 = 2, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 82 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {12 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 2, 4 = 2, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 2, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 83 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 16.0 < 19.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 4, 3 = 2, 4 = 1, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 2, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 84 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = 14.0 < 16.0 [ Info: Tabu list: {4 = 3, 8 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 4, 7 = 4, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 85 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {15 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 1, 4 = 4, 5 = 3, 6 = 3, 7 = 1, 8 = 1, 9 = 2, 10 = 3, 11 = 4, 12 = 4, 13 = 2, 14 = 1, 15 = 4, 16 = 1} ┌ Info: └ Loop 86 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 17.0 < 19.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = best_cost = 17.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {3 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 4, 6 = 2, 7 = 3, 8 = 3, 9 = 4, 10 = 2, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 87 (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: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: cost = 10.0 < 11.0 [ Info: Tabu list: {9 = 4} [ Info: best_swap : [10] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 4, 6 = 2, 7 = 3, 8 = 3, 9 = 2, 10 = 4, 11 = 2, 12 = 1, 13 = 3, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 88 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 7.0 < 10.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {9 = 3, 14 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 2, 4 = 2, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 3, 10 = 2, 11 = 4, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 89 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 17.0 < 20.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 3, 3 = 2, 4 = 1, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 3, 10 = 2, 11 = 4, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 90 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {4 = 3, 7 = 4} [ Info: best_values: [1, 3, 4] [ Info: vals: {1 = 2, 2 = 3, 3 = 2, 4 = 1, 5 = 3, 6 = 2, 7 = 1, 8 = 2, 9 = 3, 10 = 2, 11 = 4, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 91 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {4 = 2, 7 = 3, 2 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 4, 3 = 2, 4 = 1, 5 = 3, 6 = 2, 7 = 1, 8 = 2, 9 = 3, 10 = 2, 11 = 4, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 92 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {4 = 1, 7 = 2, 2 = 3, 11 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 1, 5 = 2, 6 = 2, 7 = 4, 8 = 4, 9 = 4, 10 = 3, 11 = 1, 12 = 4, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 93 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 6.0 < 8.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 2, 5 = 4, 6 = 3, 7 = 4, 8 = 1, 9 = 4, 10 = 1, 11 = 2, 12 = 4, 13 = 3, 14 = 1, 15 = 1, 16 = 1} ┌ Info: └ Loop 94 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {16 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 2, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 2, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 95 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {14 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 2, 3 = 2, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 2, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 96 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 10.0 < 12.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {14 = 3, 1 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 3, 6 = 4, 7 = 1, 8 = 2, 9 = 2, 10 = 3, 11 = 1, 12 = 4, 13 = 4, 14 = 4, 15 = 4, 16 = 2} ┌ Info: └ Loop 97 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 4, 5 = 1, 6 = 2, 7 = 4, 8 = 2, 9 = 1, 10 = 3, 11 = 1, 12 = 4, 13 = 3, 14 = 3, 15 = 2, 16 = 3} ┌ Info: └ Loop 98 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = 12.0 < 14.0 [ Info: Tabu list: {14 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 2, 4 = 1, 5 = 2, 6 = 4, 7 = 1, 8 = 2, 9 = 3, 10 = 1, 11 = 3, 12 = 3, 13 = 4, 14 = 2, 15 = 2, 16 = 2} ┌ Info: └ Loop 99 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = 13.0 < 15.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 1, 3 = 2, 4 = 1, 5 = 2, 6 = 4, 7 = 1, 8 = 2, 9 = 3, 10 = 1, 11 = 4, 12 = 3, 13 = 4, 14 = 2, 15 = 2, 16 = 2} ┌ Info: └ Loop 100 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = 11.0 < 12.0 [ Info: Tabu list: {11 = 3, 4 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 4, 8 = 3, 9 = 2, 10 = 4, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 101 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {10 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 4, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 102 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = 11.0 < 13.0 [ Info: Tabu list: {10 = 3, 14 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 4, 5 = 4, 6 = 2, 7 = 4, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 103 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Tabu list: {10 = 2, 14 = 3, 4 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 2, 5 = 4, 6 = 2, 7 = 4, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 104 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {10 = 1, 14 = 2, 4 = 3, 1 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 2, 11 = 3, 12 = 3, 13 = 1, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 105 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {15 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 2, 11 = 3, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 106 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 10.0 < 12.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {15 = 3, 5 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 4, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 2, 11 = 3, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 107 (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_3 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ 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_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Tabu list: {15 = 2, 5 = 3, 11 = 4} [ Info: best_swap : [3] [ Info: vals: {1 = 4, 2 = 4, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 2, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 108 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Tabu list: {15 = 1, 5 = 2, 11 = 3, 2 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 2, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 109 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = 4.0 < 6.0 [ Info: Tabu list: {5 = 1, 11 = 2, 2 = 3, 10 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 4, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 110 (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_3 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 4.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_11 [ Info: Tabu list: {11 = 2, 2 = 3, 10 = 3, 7 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 4, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 111 (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_2 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: Compute costs: selected var(s) x_6 ⇆ x_1 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_14 [ Info: Compute costs: selected var(s) x_6 ⇆ x_8 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: Tabu list: {11 = 1, 2 = 2, 10 = 2, 7 = 7, 6 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 4, 11 = 2, 12 = 3, 13 = 1, 14 = 3, 15 = 4, 16 = 1} ┌ Info: └ Loop 112 (satisfaction) [ Info: Selected x = 13 [ 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 = 4 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 4.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = 2.0 < 4.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Tabu list: {2 = 1, 10 = 1, 7 = 6, 6 = 7, 13 = 4} [ Info: best_swap : [9] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 2, 5 = 2, 6 = 2, 7 = 4, 8 = 3, 9 = 1, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 4, 15 = 3, 16 = 4} ┌ Info: └ Loop 113 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {12 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 3, 7 = 4, 8 = 1, 9 = 3, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 4, 15 = 4, 16 = 2} ┌ Info: └ Loop 114 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 3, 5 = 4, 6 = 4, 7 = 3, 8 = 4, 9 = 1, 10 = 1, 11 = 4, 12 = 4, 13 = 4, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 115 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 17.0 < 19.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Tabu list: {6 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 3, 5 = 4, 6 = 2, 7 = 3, 8 = 4, 9 = 1, 10 = 1, 11 = 4, 12 = 4, 13 = 4, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 116 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {6 = 3, 12 = 4} [ Info: best_values: [1, 2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 1, 4 = 2, 5 = 2, 6 = 4, 7 = 4, 8 = 3, 9 = 2, 10 = 4, 11 = 1, 12 = 2, 13 = 4, 14 = 1, 15 = 4, 16 = 3} ┌ Info: └ Loop 117 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 3, 4 = 2, 5 = 2, 6 = 3, 7 = 4, 8 = 3, 9 = 2, 10 = 2, 11 = 4, 12 = 4, 13 = 2, 14 = 1, 15 = 2, 16 = 3} ┌ Info: └ Loop 118 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 15.0 < 18.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {1 = 4} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 4, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 119 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: Compute costs: selected var(s) x_5 ⇆ x_9 [ Info: Tabu list: {5 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 4, 5 = 3, 6 = 4, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 4, 12 = 1, 13 = 4, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 120 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Tabu list: {5 = 3, 3 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 1, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 3, 14 = 1, 15 = 2, 16 = 1} ┌ Info: └ Loop 121 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Tabu list: {2 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 1, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 3, 14 = 1, 15 = 2, 16 = 1} ┌ Info: └ Loop 122 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 11.0 [ 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_3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ 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_16 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = 10.0 < 11.0 [ Info: Tabu list: {2 = 3, 8 = 4} [ Info: best_swap : [7] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 4, 5 = 3, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 3, 14 = 1, 15 = 2, 16 = 1} ┌ 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: cost = 9.0 < 10.0 [ Info: Tabu list: {2 = 2, 8 = 3, 13 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 4, 5 = 3, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 1, 15 = 2, 16 = 1} ┌ Info: └ Loop 124 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {2 = 1, 8 = 2, 13 = 3, 15 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 4, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 1, 9 = 4, 10 = 3, 11 = 4, 12 = 3, 13 = 2, 14 = 2, 15 = 2, 16 = 2} ┌ Info: └ Loop 125 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {15 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 1, 5 = 4, 6 = 1, 7 = 3, 8 = 2, 9 = 4, 10 = 3, 11 = 1, 12 = 4, 13 = 2, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 126 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {2 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 3, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 4, 9 = 3, 10 = 1, 11 = 2, 12 = 1, 13 = 2, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 127 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {2 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 4, 9 = 3, 10 = 1, 11 = 2, 12 = 1, 13 = 2, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 128 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {2 = 3, 6 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 2, 8 = 1, 9 = 3, 10 = 1, 11 = 1, 12 = 3, 13 = 3, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 129 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {13 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 4, 7 = 3, 8 = 4, 9 = 2, 10 = 4, 11 = 1, 12 = 4, 13 = 1, 14 = 1, 15 = 1, 16 = 1} ┌ Info: └ Loop 130 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 17.0 < 19.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {14 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 3, 10 = 4, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 131 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = 15.0 < 16.0 [ Info: Tabu list: {8 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 2, 7 = 2, 8 = 4, 9 = 3, 10 = 4, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 132 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = best_cost = 13.0 [ Info: Tabu list: {8 = 3, 2 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 3, 5 = 3, 6 = 1, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 1, 12 = 3, 13 = 1, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 133 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 17.0 < 19.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 2, 5 = 3, 6 = 1, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 1, 12 = 3, 13 = 1, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 134 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 14.0 < 16.0 [ Info: Tabu list: {4 = 3, 12 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 2, 5 = 3, 6 = 1, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 1, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 135 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {4 = 2, 12 = 3, 6 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 2, 5 = 3, 6 = 2, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 1, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 136 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = 10.0 < 12.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {4 = 1, 12 = 2, 6 = 3, 11 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 1, 16 = 4} ┌ Info: └ Loop 137 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Tabu list: {16 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 138 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {16 = 3, 2 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 139 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Tabu list: {16 = 2, 2 = 3, 3 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 140 (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: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Tabu list: {16 = 1, 2 = 2, 3 = 3, 13 = 8} [ Info: best_values: [3, 4] [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 141 (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: cost = 7.0 < 9.0 [ Info: Tabu list: {2 = 1, 3 = 2, 13 = 7, 14 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 142 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {3 = 2, 13 = 7, 14 = 3, 12 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 143 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 4.0 < 6.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {3 = 1, 13 = 6, 14 = 2, 12 = 3, 9 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 144 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 3.0 < 4.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Tabu list: {13 = 5, 14 = 1, 12 = 2, 9 = 3, 4 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 4, 11 = 1, 12 = 1, 13 = 2, 14 = 4, 15 = 3, 16 = 3} ┌ Info: └ Loop 145 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {12 = 4} [ Info: best_values: [2, 4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 3, 16 = 3} ┌ Info: └ Loop 146 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = 7.0 < 8.0 [ Info: Tabu list: {12 = 3, 4 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 4, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 3, 16 = 3} ┌ Info: └ Loop 147 (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: cost = 5.0 < 7.0 [ Info: Tabu list: {12 = 2, 4 = 3, 10 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 4, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 3, 16 = 3} ┌ Info: └ Loop 148 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ 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_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_11 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_7 [ Info: cost = 2.0 < 4.0 [ Info: Tabu list: {12 = 1, 4 = 2, 10 = 3, 15 = 4} [ Info: best_swap : [7] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 149 (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_1 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Tabu list: {4 = 1, 10 = 2, 15 = 3, 9 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 150 (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_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Tabu list: {10 = 2, 15 = 3, 9 = 7, 16 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 151 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ 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_8 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Tabu list: {10 = 1, 15 = 2, 9 = 6, 16 = 7, 12 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 152 (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 = 3 [ 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_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {15 = 1, 9 = 5, 16 = 6, 12 = 7, 14 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ 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: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Tabu list: {9 = 4, 16 = 5, 12 = 6, 14 = 7, 13 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 154 (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_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ 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_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Tabu list: {9 = 3, 16 = 4, 12 = 5, 14 = 6, 13 = 7, 10 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 155 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {9 = 2, 16 = 3, 12 = 4, 14 = 5, 13 = 6, 10 = 7, 11 = 4} [ Info: best_swap : [15] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 156 (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_3 [ Info: Compute costs: selected var(s) x_15 ⇆ x_16 [ Info: Compute costs: selected var(s) x_15 ⇆ x_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_11 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {9 = 1, 16 = 2, 12 = 3, 14 = 4, 13 = 5, 10 = 6, 11 = 3, 15 = 4} [ Info: best_swap : [11] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 157 (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_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ 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_7 [ Info: Tabu list: {16 = 1, 12 = 2, 14 = 3, 13 = 4, 10 = 5, 11 = 2, 15 = 3, 4 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 158 (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_1 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Tabu list: {12 = 2, 14 = 3, 13 = 4, 10 = 4, 11 = 1, 15 = 2, 4 = 7, 9 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 159 (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_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Tabu list: {12 = 1, 14 = 2, 13 = 3, 10 = 3, 15 = 1, 4 = 6, 9 = 7, 16 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 1, 10 = 3, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 160 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {14 = 1, 13 = 2, 10 = 2, 4 = 6, 9 = 7, 16 = 8, 11 = 4} [ Info: best_swap : [15] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 161 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 162 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {1 = 3, 11 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 3, 12 = 4, 13 = 1, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 163 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {1 = 2, 11 = 3, 14 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 3, 12 = 4, 13 = 1, 14 = 3, 15 = 1, 16 = 3} ┌ Info: └ Loop 164 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {1 = 1, 11 = 2, 14 = 3, 16 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 3, 12 = 4, 13 = 1, 14 = 3, 15 = 1, 16 = 2} ┌ Info: └ Loop 165 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: cost = 6.0 < 8.0 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ 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_7 [ Info: Tabu list: {11 = 1, 14 = 2, 16 = 3, 4 = 4} [ Info: best_swap : [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 4, 10 = 2, 11 = 3, 12 = 4, 13 = 1, 14 = 3, 15 = 1, 16 = 2} ┌ Info: └ Loop 166 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = 4.0 < 6.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_11 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: cost = best_cost = 4.0 [ Info: Tabu list: {14 = 2, 16 = 3, 4 = 3, 9 = 4} [ Info: best_swap : [13, 10] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 1, 16 = 2} ┌ Info: └ Loop 167 (satisfaction) [ Info: Selected x = 15 [ 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 = 4 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Compute costs: selected var(s) x_15 ⇆ x_16 [ Info: cost = 2.0 < 4.0 [ Info: Compute costs: selected var(s) x_15 ⇆ x_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ 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_7 [ Info: Tabu list: {14 = 1, 16 = 2, 4 = 2, 9 = 3, 15 = 4} [ Info: best_swap : [16] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 168 (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_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ 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_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Tabu list: {16 = 1, 4 = 1, 9 = 2, 15 = 3, 2 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 169 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ 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_14 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ 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_9 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {9 = 2, 15 = 3, 2 = 7, 10 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 170 (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_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {9 = 1, 15 = 2, 2 = 6, 10 = 7, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 171 (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_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {15 = 1, 2 = 5, 10 = 6, 6 = 3, 5 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 172 (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_1 [ 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_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ 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: Tabu list: {2 = 5, 10 = 6, 6 = 2, 5 = 3, 9 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 173 (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_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ 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_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {2 = 4, 10 = 5, 6 = 1, 5 = 2, 9 = 7, 14 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 174 (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_1 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ 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_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {2 = 3, 10 = 4, 5 = 1, 9 = 6, 14 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 175 (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_3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Tabu list: {2 = 2, 10 = 3, 9 = 6, 14 = 7, 13 = 7, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 176 (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_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {2 = 1, 10 = 2, 9 = 5, 14 = 6, 13 = 6, 1 = 7, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 177 (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_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {10 = 1, 9 = 4, 14 = 5, 13 = 5, 1 = 6, 6 = 3, 5 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 178 (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_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ 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_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Tabu list: {9 = 3, 14 = 4, 13 = 4, 1 = 5, 6 = 2, 5 = 3, 2 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 179 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ 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_14 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ 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_9 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {9 = 2, 14 = 3, 13 = 3, 1 = 4, 6 = 1, 5 = 2, 2 = 7, 10 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 180 (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_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Tabu list: {9 = 1, 14 = 2, 13 = 2, 1 = 3, 5 = 2, 2 = 7, 10 = 8, 16 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 181 (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_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {14 = 1, 13 = 1, 1 = 2, 5 = 1, 2 = 6, 10 = 7, 16 = 7, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 182 (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_1 [ 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_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ 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: Tabu list: {1 = 2, 5 = 1, 2 = 6, 10 = 6, 16 = 6, 6 = 3, 9 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 183 (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_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ 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_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {1 = 1, 2 = 5, 10 = 5, 16 = 5, 6 = 2, 9 = 7, 14 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 184 (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_1 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ 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_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {2 = 4, 10 = 4, 16 = 4, 6 = 1, 9 = 6, 14 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 185 (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_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {2 = 3, 10 = 3, 16 = 3, 9 = 6, 14 = 7, 13 = 8, 5 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 186 (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_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {2 = 2, 10 = 2, 16 = 2, 9 = 5, 14 = 6, 13 = 7, 5 = 3, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 187 (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_3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Tabu list: {2 = 1, 10 = 1, 16 = 1, 9 = 4, 14 = 5, 13 = 6, 5 = 2, 6 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 188 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ 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_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Tabu list: {9 = 4, 14 = 5, 13 = 6, 5 = 1, 6 = 2, 1 = 7, 11 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 189 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ 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_14 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ 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_9 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {9 = 3, 14 = 4, 13 = 5, 6 = 1, 1 = 6, 11 = 7, 10 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 190 (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_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {9 = 2, 14 = 3, 13 = 4, 1 = 5, 11 = 6, 10 = 7, 5 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 191 (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_2 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {9 = 1, 14 = 2, 13 = 3, 1 = 4, 11 = 5, 10 = 6, 5 = 3, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 192 (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_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ 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_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Tabu list: {14 = 2, 13 = 2, 1 = 3, 11 = 4, 10 = 5, 5 = 2, 6 = 3, 2 = 8} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 3, 9 = 3, 10 = 1, 11 = 2, 12 = 2, 13 = 4, 14 = 2, 15 = 2, 16 = 2} ┌ Info: └ Loop 193 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 16.0 < 19.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {16 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 4, 5 = 3, 6 = 2, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 2, 14 = 3, 15 = 4, 16 = 4} ┌ Info: └ Loop 194 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Tabu list: {7 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 3, 3 = 2, 4 = 4, 5 = 1, 6 = 4, 7 = 3, 8 = 2, 9 = 2, 10 = 4, 11 = 1, 12 = 4, 13 = 3, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 195 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = best_cost = 8.0 [ Info: Tabu list: {16 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 4, 2 = 3, 3 = 2, 4 = 4, 5 = 1, 6 = 4, 7 = 3, 8 = 2, 9 = 2, 10 = 4, 11 = 1, 12 = 4, 13 = 3, 14 = 1, 15 = 4, 16 = 2} ┌ Info: └ Loop 196 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = 5.0 < 7.0 [ Info: Tabu list: {16 = 3, 12 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 1, 6 = 1, 7 = 2, 8 = 1, 9 = 2, 10 = 1, 11 = 3, 12 = 1, 13 = 1, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 197 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: cost = 9.0 < 12.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {6 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 3, 5 = 3, 6 = 4, 7 = 1, 8 = 1, 9 = 1, 10 = 1, 11 = 2, 12 = 1, 13 = 4, 14 = 2, 15 = 3, 16 = 3} ┌ Info: └ Loop 198 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 10.0 < 12.0 [ Info: Tabu list: {12 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 3, 9 = 3, 10 = 3, 11 = 3, 12 = 3, 13 = 2, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 199 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {10 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 3, 9 = 3, 10 = 4, 11 = 3, 12 = 3, 13 = 2, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 200 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {10 = 3, 11 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 4, 5 = 3, 6 = 2, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 1, 15 = 3, 16 = 4} ┌ Info: └ Loop 201 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Tabu list: {16 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 4, 5 = 3, 6 = 2, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 202 (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 = 2 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ 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_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: Tabu list: {16 = 3, 8 = 8} [ Info: best_values: [3, 1] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 4, 5 = 3, 6 = 2, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 203 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = best_cost = 10.0 [ 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_2 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_6 ⇆ x_1 [ Info: Compute costs: selected var(s) x_6 ⇆ x_14 [ Info: Compute costs: selected var(s) x_6 ⇆ x_8 [ Info: Compute costs: selected var(s) x_6 ⇆ x_7 [ Info: Compute costs: selected var(s) x_6 ⇆ x_10 [ Info: Tabu list: {16 = 2, 8 = 7, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 4, 5 = 2, 6 = 3, 7 = 4, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 204 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_7 ⇆ x_15 [ Info: Compute costs: selected var(s) x_7 ⇆ x_8 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: Tabu list: {16 = 1, 8 = 6, 6 = 3, 7 = 8} [ Info: best_values: [4, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 3, 4 = 1, 5 = 1, 6 = 2, 7 = 3, 8 = 3, 9 = 2, 10 = 3, 11 = 4, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 3} ┌ Info: └ Loop 205 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {3 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 4, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 2, 9 = 1, 10 = 3, 11 = 1, 12 = 4, 13 = 2, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 206 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 3, 5 = 4, 6 = 3, 7 = 3, 8 = 4, 9 = 4, 10 = 3, 11 = 3, 12 = 4, 13 = 2, 14 = 3, 15 = 1, 16 = 3} ┌ Info: └ Loop 207 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {6 = 4} [ Info: best_values: [1, 2] [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 4, 9 = 4, 10 = 3, 11 = 3, 12 = 4, 13 = 2, 14 = 3, 15 = 1, 16 = 3} ┌ Info: └ Loop 208 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Tabu list: {6 = 3, 12 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 2, 5 = 3, 6 = 1, 7 = 3, 8 = 4, 9 = 2, 10 = 2, 11 = 4, 12 = 4, 13 = 2, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 209 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 18.0 < 20.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = best_cost = 18.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 17.0 < 18.0 [ Info: Tabu list: {13 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 1, 4 = 3, 5 = 1, 6 = 4, 7 = 3, 8 = 1, 9 = 2, 10 = 2, 11 = 2, 12 = 3, 13 = 4, 14 = 2, 15 = 1, 16 = 3} ┌ Info: └ Loop 210 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {4 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 3, 9 = 3, 10 = 4, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 4, 16 = 1} ┌ Info: └ Loop 211 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Tabu list: {6 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 2, 5 = 1, 6 = 2, 7 = 1, 8 = 3, 9 = 3, 10 = 4, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 4, 16 = 1} ┌ Info: └ Loop 212 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {6 = 3, 9 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 213 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 9.0 < 12.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {2 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 4, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 214 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Tabu list: {2 = 3, 1 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 3, 3 = 1, 4 = 4, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 2, 13 = 2, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 215 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: cost = best_cost = 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = 5.0 < 7.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Tabu list: {2 = 2, 1 = 3, 13 = 4} [ Info: best_swap : [14] [ Info: vals: {1 = 2, 2 = 3, 3 = 1, 4 = 4, 5 = 4, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 2, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 216 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ 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_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: cost = best_cost = 5.0 [ Info: Tabu list: {2 = 1, 1 = 2, 13 = 3, 14 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 4, 5 = 2, 6 = 1, 7 = 4, 8 = 4, 9 = 2, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 217 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Tabu list: {4 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 1, 7 = 4, 8 = 4, 9 = 2, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 218 (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 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {4 = 3, 14 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 1, 7 = 4, 8 = 4, 9 = 2, 10 = 1, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 219 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 9.0 < 11.0 [ Info: Tabu list: {4 = 2, 14 = 3, 13 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 1, 7 = 4, 8 = 4, 9 = 2, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 220 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {4 = 1, 14 = 2, 13 = 3, 11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 1, 7 = 4, 8 = 4, 9 = 2, 10 = 1, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 221 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {14 = 1, 13 = 2, 11 = 3, 5 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 3, 6 = 1, 7 = 4, 8 = 4, 9 = 2, 10 = 1, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 222 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 5.0 < 6.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 = best_cost = 5.0 [ Info: Tabu list: {13 = 2, 11 = 3, 5 = 3, 8 = 4} [ Info: best_values: [1, 2, 3] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 3, 6 = 1, 7 = 4, 8 = 1, 9 = 2, 10 = 1, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 223 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 2.0 < 5.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {13 = 1, 11 = 2, 5 = 2, 8 = 3, 6 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 3, 6 = 2, 7 = 4, 8 = 1, 9 = 2, 10 = 1, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 224 (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 = 3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_3 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ 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_15 [ 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_11 [ Info: Tabu list: {11 = 1, 5 = 1, 8 = 2, 6 = 3, 7 = 8} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 3, 5 = 2, 6 = 2, 7 = 2, 8 = 3, 9 = 4, 10 = 1, 11 = 2, 12 = 4, 13 = 4, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 225 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = 13.0 < 15.0 [ Info: Tabu list: {7 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 2, 5 = 1, 6 = 3, 7 = 4, 8 = 1, 9 = 2, 10 = 4, 11 = 3, 12 = 4, 13 = 1, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 226 (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: Compute costs: selected var(s) x_2 = 4 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Tabu list: {2 = 4} [ Info: best_swap : [5] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 1, 5 = 3, 6 = 2, 7 = 4, 8 = 2, 9 = 1, 10 = 3, 11 = 3, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 227 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 10.0 [ 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_1 [ 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_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Tabu list: {9 = 8} [ Info: best_values: [1, 2] [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 1, 5 = 3, 6 = 2, 7 = 4, 8 = 2, 9 = 2, 10 = 3, 11 = 3, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 228 (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: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 8.0 < 10.0 [ Info: Tabu list: {9 = 7, 12 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 3, 5 = 4, 6 = 4, 7 = 2, 8 = 2, 9 = 2, 10 = 2, 11 = 3, 12 = 1, 13 = 2, 14 = 1, 15 = 2, 16 = 1} ┌ Info: └ Loop 229 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 17.0 < 20.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = best_cost = 17.0 [ Info: Tabu list: {5 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 1, 4 = 2, 5 = 2, 6 = 2, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 3, 12 = 2, 13 = 2, 14 = 2, 15 = 4, 16 = 3} ┌ Info: └ Loop 230 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 13.0 [ Info: Tabu list: {1 = 4} [ Info: best_values: [3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 231 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 14.0 < 15.0 [ Info: Tabu list: {13 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 1, 9 = 2, 10 = 3, 11 = 1, 12 = 3, 13 = 4, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 232 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 12.0 < 14.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: Tabu list: {13 = 3, 4 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 1, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 1, 9 = 1, 10 = 2, 11 = 1, 12 = 3, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 233 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [1, 2, 3] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 1, 9 = 1, 10 = 2, 11 = 1, 12 = 3, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 234 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {2 = 3, 11 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 1, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 235 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {2 = 2, 11 = 3, 5 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 4, 5 = 2, 6 = 4, 7 = 3, 8 = 1, 9 = 1, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 236 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Tabu list: {2 = 1, 11 = 2, 5 = 3, 4 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 2, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 4, 9 = 2, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 237 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 2, 4 = 3, 5 = 2, 6 = 3, 7 = 2, 8 = 4, 9 = 4, 10 = 3, 11 = 1, 12 = 4, 13 = 3, 14 = 2, 15 = 4, 16 = 3} ┌ Info: └ Loop 238 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = best_cost = 13.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 1, 9 = 3, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 1, 15 = 4, 16 = 2} ┌ Info: └ Loop 239 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Tabu list: {1 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 1, 8 = 1, 9 = 3, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 1, 15 = 4, 16 = 2} ┌ Info: └ Loop 240 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 10.0 < 11.0 [ Info: Tabu list: {1 = 3, 9 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 4, 7 = 3, 8 = 1, 9 = 2, 10 = 2, 11 = 1, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 1} ┌ Info: └ Loop 241 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {12 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 4, 4 = 1, 5 = 1, 6 = 2, 7 = 1, 8 = 2, 9 = 4, 10 = 3, 11 = 1, 12 = 2, 13 = 4, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 242 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 2, 6 = 2, 7 = 2, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 3, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 243 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {7 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 2, 6 = 2, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 3, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 244 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {7 = 3, 15 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 3, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 3, 12 = 4, 13 = 4, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 245 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Tabu list: {15 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 3, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 3, 12 = 4, 13 = 4, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 246 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {15 = 3, 13 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 3, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 3, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 3, 12 = 4, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 247 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 9.0 < 12.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {15 = 2, 13 = 3, 1 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 1, 6 = 3, 7 = 3, 8 = 2, 9 = 1, 10 = 4, 11 = 3, 12 = 4, 13 = 3, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 248 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: cost = 8.0 < 9.0 [ 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_9 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Tabu list: {15 = 1, 13 = 2, 1 = 3, 11 = 4} [ Info: best_swap : [12, 9] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 3, 5 = 2, 6 = 3, 7 = 2, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 249 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 11.0 < 12.0 [ Info: Tabu list: {9 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 3, 5 = 2, 6 = 3, 7 = 2, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 250 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {9 = 3, 7 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 1, 15 = 2, 16 = 4} ┌ Info: └ Loop 251 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Tabu list: {9 = 2, 7 = 3, 2 = 4} [ Info: best_swap : [14] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 252 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Compute costs: selected var(s) x_15 ⇆ x_16 [ Info: Compute costs: selected var(s) x_15 ⇆ x_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ 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_7 [ Info: Tabu list: {9 = 1, 7 = 2, 2 = 3, 15 = 8} [ Info: best_values: [2, 3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 253 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = 5.0 < 8.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {7 = 1, 2 = 2, 15 = 7, 11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 2, 6 = 3, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 1, 13 = 1, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 254 (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: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_2 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: Compute costs: selected var(s) x_5 ⇆ x_1 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: Compute costs: selected var(s) x_5 ⇆ x_8 [ Info: Compute costs: selected var(s) x_5 ⇆ x_7 [ Info: Compute costs: selected var(s) x_5 ⇆ x_9 [ Info: Tabu list: {2 = 2, 15 = 7, 11 = 3, 5 = 4} [ Info: best_swap : [1] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 1, 13 = 1, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 255 (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 = 3 [ Info: cost = 3.0 < 4.0 [ Info: Tabu list: {2 = 1, 15 = 6, 11 = 2, 5 = 3, 14 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 1, 13 = 1, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 256 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = best_cost = 3.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: cost = 0.0 < 3.0 [ Info: Tabu list: {15 = 5, 11 = 1, 5 = 2, 14 = 3, 6 = 4} [ Info: best_values: [4] ┌───────┬───────┬───────┐ │ 9 ⋅ 8 │ ⋅ ⋅ ⋅ │ ⋅ ⋅ ⋅ │ │ 3 ⋅ ⋅ │ ⋅ 2 ⋅ │ ⋅ 9 7 │ │ ⋅ ⋅ ⋅ │ ⋅ ⋅ ⋅ │ 8 ⋅ ⋅ │ ├───────┼───────┼───────┤ │ ⋅ ⋅ 1 │ 4 ⋅ ⋅ │ 5 2 ⋅ │ │ ⋅ 4 9 │ 7 ⋅ 2 │ 3 8 ⋅ │ │ ⋅ 2 6 │ ⋅ ⋅ 3 │ 1 ⋅ ⋅ │ ├───────┼───────┼───────┤ │ ⋅ ⋅ 7 │ ⋅ ⋅ ⋅ │ ⋅ ⋅ ⋅ │ │ 4 9 ⋅ │ ⋅ 6 ⋅ │ ⋅ ⋅ 5 │ │ ⋅ ⋅ ⋅ │ ⋅ ⋅ ⋅ │ 2 ⋅ 3 │ └───────┴───────┴───────┘ ┌───────┬───────┬───────┐ │ 9 2 8 │ 3 5 7 │ 6 3 1 │ │ 3 1 5 │ 6 2 8 │ 4 9 7 │ │ 6 7 4 │ 1 4 9 │ 8 5 2 │ ├───────┼───────┼───────┤ │ 1 3 1 │ 4 8 6 │ 5 2 9 │ │ 5 4 9 │ 7 1 2 │ 3 8 6 │ │ 8 2 6 │ 9 5 3 │ 1 4 7 │ ├───────┼───────┼───────┤ │ 2 6 7 │ 5 3 1 │ 9 7 8 │ │ 4 9 3 │ 8 6 2 │ 7 6 5 │ │ 7 5 8 │ 9 7 4 │ 2 1 3 │ └───────┴───────┴───────┘ [ Info: Results golomb! [ Info: Values: {1 = 9, 2 = 18, 3 = 3, 4 = 10, 5 = 21} [ Info: Sol (val): 11.0 [ Info: Sol (vals): {1 = 0, 2 = 9, 3 = 4, 4 = 3, 5 = 11} [ Info: Results mincut! [ Info: Values: {1 = 3, 2 = 1, 3 = 2, 4 = 0, 5 = 5, 6 = 4} [ Info: Sol (val): 6.0 [ Info: Sol (vals): {1 = 1, 2 = 0, 3 = 5, 4 = 4, 5 = 3, 6 = 2} [ Info: Results 1-mincut! [ Info: Values: {1 = 5, 2 = 2, 3 = 4, 4 = 3, 5 = 1, 6 = 0} [ Info: Sol (val): 3.0 [ Info: Sol (vals): {1 = 1, 2 = 5, 3 = 0, 4 = 4, 5 = 3, 6 = 2} [ Info: Results 2-mincut! [ Info: Values: {1 = 0, 2 = 3, 3 = 4, 4 = 5, 5 = 2, 6 = 1} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 0, 2 = 2, 3 = 5, 4 = 4, 5 = 3, 6 = 1} ┌───────┬───────┬───────┐ │ 6 8 1 │ 7 5 9 │ 4 8 3 │ │ 9 3 2 │ 4 1 8 │ 6 5 7 │ │ 4 5 7 │ 3 8 6 │ 1 2 9 │ ├───────┼───────┼───────┤ │ 5 9 4 │ 1 2 3 │ 2 7 8 │ │ 2 8 6 │ 5 9 7 │ 3 1 4 │ │ 7 1 3 │ 6 8 4 │ 5 9 6 │ ├───────┼───────┼───────┤ │ 3 6 7 │ 2 4 1 │ 8 9 5 │ │ 1 2 9 │ 8 6 5 │ 7 4 2 │ │ 8 4 5 │ 9 3 2 │ 9 6 1 │ └───────┴───────┴───────┘ ┌ Info: JuMP: golomb(5) │ value.(X) = │ 5-element Vector{Float64}: │ 1.0 │ 4.0 │ 5.0 │ 11.0 └ 13.0 ┌ Info: JuMP: magic_square(3) │ value.(X) = │ 3×3 Matrix{Float64}: │ 4.0 3.0 8.0 │ 9.0 5.0 1.0 └ 2.0 7.0 6.0 ┌ Info: JuMP: n_queens(5) │ value.(X) = │ 5-element Vector{Float64}: │ 4.0 │ 2.0 │ 5.0 │ 3.0 └ 1.0 ┌ Info: JuMP: qap(12) │ value.(X) = │ 12-element Vector{Float64}: │ 4.0 │ 6.0 │ 9.0 │ 1.0 │ ⋮ │ 7.0 │ 8.0 └ 5.0 ┌ Info: JuMP: basic opt │ value(x) = 14.0 │ value(y) = 2.0 └ 12 * value(x) + 20 * value(y) = 208.0 ┌ Info: JuMP: x₁⋅H + x₂⋅H₂ + x₃⋅H₂O + x₄⋅N + x₅⋅N₂ + x₆⋅NH + x₇⋅NO + x₈⋅O + x₉⋅O₂ + x₁₀⋅OH ⟺ ½⋅N₂H₄ + ½⋅O₂ │ value.(X) = │ 10-element Vector{Float64}: │ 1.4413569666976294 │ 0.26158710993752554 │ 0.001936049358138181 │ 0.048243688278425845 │ ⋮ │ 0.02700523735811622 │ 0.0034642554598232067 └ 0.02495834659418561 ┌ Error: Exception while generating log record in module Main at /home/pkgeval/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:84 │ exception = │ UndefVarError: `solution_summary` not defined in `Main` │ Suggestion: check for spelling errors or missing imports. │ Stacktrace: │ [1] top-level scope │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:82 │ [2] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] │ [3] macro expansion │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:84 [inlined] │ [4] macro expansion │ @ logging/logging.jl:385 [inlined] │ [5] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:310 │ [6] top-level scope │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/runtests.jl:10 │ [7] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] │ [8] macro expansion │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/runtests.jl:13 [inlined] │ [9] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:310 │ [10] top-level scope │ @ none:6 │ [11] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [12] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:290 │ [13] _start() │ @ Base ./client.jl:557 └ @ Main ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:84 ┌ Info: JuMP: scheduling │ value.(start_times) = 3-element Vector{Float64}: … │ value.(completion_times) = 3-element Vector{Float64}: … │ processing_times = 3-element Vector{Int64}: … └ due_times = 3-element Vector{Int64}: … [ Info: false Test Summary: | Pass Total Time ConstraintModels.jl | 163 163 6m49.6s Testing ConstraintModels tests passed Testing completed after 436.42s PkgEval succeeded after 787.06s