Package evaluation of ConstraintModels on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T18:04:37.781 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.34s ################################################################################ # Installation # Installing ConstraintModels... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [841a6ec5] + ConstraintModels v0.1.8 Updating `~/.julia/environments/v1.11/Manifest.toml` [47edcb42] + ADTypes v1.14.0 [79e6a3ab] + Adapt v4.3.0 [4fba245c] + ArrayInterface v7.18.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.16.0 ⌅ [4b67e4b5] + CompositionalNetworks v0.2.7 ⌅ [5800fd60] + ConstraintDomains v0.2.5 [841a6ec5] + ConstraintModels v0.1.8 ⌅ [30f324ab] + Constraints v0.2.5 [187b0558] + ConstructionBase v1.5.8 [864edb3b] + DataStructures v0.18.22 ⌅ [85a47980] + Dictionaries v0.3.29 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [a0c0ee7d] + DifferentiationInterface v0.6.50 [ffbed154] + DocStringExtensions v0.9.4 ⌅ [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.15 ⌅ [b8f27783] + MathOptInterface v0.9.22 [739be429] + MbedTLS v1.1.9 ⌅ [d8a4904e] + MutableArithmetics v0.2.22 [d41bc354] + NLSolversBase v7.9.1 ⌅ [77ba4419] + NaNMath v0.3.7 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.1 ⌅ [c18a7f1d] + PatternFolds v0.1.5 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [3cdcf5f2] + RecipesBase v1.3.4 [ae029012] + Requires v1.3.1 [efcf1570] + Setfield v1.1.2 [276daf66] + SpecialFunctions v2.5.0 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [b189fb0b] + ThreadPools v2.1.1 ⌅ [3bb67fe8] + TranscodingStreams v0.9.13 [5c2747f8] + URIs v1.5.2 [3a884ed6] + UnPack v1.0.2 [9602ed7d] + Unrolled v0.1.5 [6e34b625] + Bzip2_jll v1.0.9+0 [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 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.2.0 [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.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.1.1+0 [c8ffd9c3] + MbedTLS_jll v2.28.6+0 [14a3606d] + MozillaCACerts_jll v2023.12.12 [4536629a] + OpenBLAS_jll v0.3.27+1 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+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 5.19s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 191.55s ################################################################################ # Testing # Testing ConstraintModels Status `/tmp/jl_dqyK3k/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_dqyK3k/Manifest.toml` [47edcb42] ADTypes v1.14.0 [79e6a3ab] Adapt v4.3.0 [4fba245c] ArrayInterface v7.18.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.16.0 ⌅ [4b67e4b5] CompositionalNetworks v0.2.7 ⌅ [5800fd60] ConstraintDomains v0.2.5 [841a6ec5] ConstraintModels v0.1.8 ⌅ [30f324ab] Constraints v0.2.5 [187b0558] ConstructionBase v1.5.8 [864edb3b] DataStructures v0.18.22 ⌅ [85a47980] Dictionaries v0.3.29 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [a0c0ee7d] DifferentiationInterface v0.6.50 [ffbed154] DocStringExtensions v0.9.4 ⌅ [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.15 ⌅ [b8f27783] MathOptInterface v0.9.22 [739be429] MbedTLS v1.1.9 ⌅ [d8a4904e] MutableArithmetics v0.2.22 [d41bc354] NLSolversBase v7.9.1 ⌅ [77ba4419] NaNMath v0.3.7 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.1 ⌅ [c18a7f1d] PatternFolds v0.1.5 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [3cdcf5f2] RecipesBase v1.3.4 [ae029012] Requires v1.3.1 [efcf1570] Setfield v1.1.2 [276daf66] SpecialFunctions v2.5.0 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [b189fb0b] ThreadPools v2.1.1 ⌅ [3bb67fe8] TranscodingStreams v0.9.13 [5c2747f8] URIs v1.5.2 [3a884ed6] UnPack v1.0.2 [9602ed7d] Unrolled v0.1.5 [6e34b625] Bzip2_jll v1.0.9+0 [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 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [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.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.1.1+0 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+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 = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 3.0 < 11.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = 2.0 < 3.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 1, 7 = 1, 8 = 3, 9 = 1, 10 = 4, 11 = 3, 12 = 1, 13 = 4, 14 = 2, 15 = 2, 16 = 3} ┌ Info: └ Loop 2 (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: cost = 10.0 < 11.0 [ Info: Tabu list: {7 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 2, 4 = 1, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 4, 12 = 1, 13 = 1, 14 = 4, 15 = 1, 16 = 1} ┌ Info: └ Loop 3 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 9.0 < 12.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {16 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 3, 2 = 3, 3 = 2, 4 = 1, 5 = 2, 6 = 4, 7 = 3, 8 = 4, 9 = 4, 10 = 2, 11 = 4, 12 = 1, 13 = 1, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 4 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 7.0 < 9.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Tabu list: {16 = 3, 6 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 2, 7 = 4, 8 = 1, 9 = 3, 10 = 4, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 3, 16 = 4} ┌ Info: └ Loop 5 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {5 = 4} [ Info: best_values: [3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 2, 4 = 1, 5 = 3, 6 = 1, 7 = 4, 8 = 3, 9 = 4, 10 = 3, 11 = 2, 12 = 1, 13 = 1, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 6 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = best_cost = 10.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = best_cost = 8.0 [ Info: Tabu list: {14 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 2, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 4, 9 = 4, 10 = 4, 11 = 1, 12 = 2, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 7 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 3, 5 = 3, 6 = 3, 7 = 2, 8 = 4, 9 = 4, 10 = 4, 11 = 1, 12 = 2, 13 = 4, 14 = 1, 15 = 3, 16 = 2} ┌ Info: └ Loop 8 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {1 = 3, 9 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 3, 9 = 1, 10 = 1, 11 = 2, 12 = 2, 13 = 3, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 9 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 14.0 < 17.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {2 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 3, 9 = 1, 10 = 1, 11 = 2, 12 = 2, 13 = 3, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 10 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {2 = 3, 9 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 3, 9 = 2, 10 = 1, 11 = 2, 12 = 2, 13 = 3, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 11 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {2 = 2, 9 = 3, 11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 2, 3 = 3, 4 = 3, 5 = 4, 6 = 1, 7 = 4, 8 = 3, 9 = 2, 10 = 1, 11 = 3, 12 = 2, 13 = 3, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 12 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_7 = 3 [ Info: Tabu list: {2 = 1, 9 = 2, 11 = 3, 7 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 3, 6 = 3, 7 = 2, 8 = 2, 9 = 2, 10 = 2, 11 = 3, 12 = 4, 13 = 1, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 13 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 2, 4 = 2, 5 = 3, 6 = 2, 7 = 4, 8 = 1, 9 = 3, 10 = 2, 11 = 1, 12 = 1, 13 = 4, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 14 (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 = 3 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 4, 4 = 3, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 1, 10 = 3, 11 = 3, 12 = 4, 13 = 3, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 15 (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 = 2 [ 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 = 3, 2 = 4, 3 = 4, 4 = 3, 5 = 3, 6 = 2, 7 = 2, 8 = 2, 9 = 1, 10 = 3, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 16 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {13 = 3, 6 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 4, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 4, 9 = 3, 10 = 2, 11 = 3, 12 = 1, 13 = 3, 14 = 2, 15 = 4, 16 = 3} ┌ Info: └ Loop 17 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 16.0 < 19.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Tabu list: {3 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 1, 4 = 4, 5 = 2, 6 = 1, 7 = 4, 8 = 4, 9 = 3, 10 = 2, 11 = 2, 12 = 4, 13 = 2, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 18 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {8 = 4} [ Info: best_values: [2, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 4, 4 = 1, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 2, 10 = 1, 11 = 3, 12 = 2, 13 = 4, 14 = 4, 15 = 4, 16 = 2} ┌ Info: └ Loop 19 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 1, 3 = 4, 4 = 1, 5 = 2, 6 = 1, 7 = 1, 8 = 3, 9 = 2, 10 = 1, 11 = 3, 12 = 2, 13 = 4, 14 = 4, 15 = 4, 16 = 2} ┌ Info: └ Loop 20 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {8 = 3, 2 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 4, 14 = 4, 15 = 1, 16 = 4} ┌ Info: └ Loop 21 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 18.0 < 19.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = 16.0 < 17.0 [ Info: Tabu list: {16 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 4, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 22 (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 = 3 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {16 = 3, 1 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 4, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 23 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {16 = 2, 1 = 3, 8 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 3, 7 = 3, 8 = 1, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 4, 14 = 4, 15 = 1, 16 = 3} ┌ Info: └ Loop 24 (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: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {16 = 1, 1 = 2, 8 = 3, 2 = 8} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 4, 4 = 1, 5 = 4, 6 = 4, 7 = 2, 8 = 4, 9 = 1, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 1, 16 = 1} ┌ Info: └ Loop 25 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = best_cost = 16.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 = 4, 4 = 1, 5 = 4, 6 = 4, 7 = 2, 8 = 4, 9 = 1, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 1, 16 = 1} ┌ Info: └ Loop 26 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Tabu list: {2 = 3, 14 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 4, 7 = 2, 8 = 4, 9 = 1, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 27 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Tabu list: {2 = 2, 14 = 3, 5 = 4} [ Info: best_values: [1, 2] [ Info: vals: {1 = 4, 2 = 3, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 1, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 28 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 11.0 [ 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: cost = 10.0 < 11.0 [ Info: Tabu list: {2 = 1, 14 = 2, 5 = 3, 8 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 3, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 29 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: cost = best_cost = 8.0 [ Info: Tabu list: {14 = 1, 5 = 2, 8 = 3, 16 = 4} [ Info: best_values: [2, 4] [ Info: vals: {1 = 4, 2 = 3, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 2, 15 = 1, 16 = 4} ┌ Info: └ Loop 30 (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 = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {5 = 2, 8 = 3, 16 = 3, 12 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 3, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 1, 11 = 4, 12 = 2, 13 = 3, 14 = 2, 15 = 1, 16 = 4} ┌ Info: └ Loop 31 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = 5.0 < 7.0 [ Info: Tabu list: {5 = 1, 8 = 2, 16 = 2, 12 = 3, 11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 3, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 3, 9 = 1, 10 = 1, 11 = 3, 12 = 2, 13 = 3, 14 = 2, 15 = 1, 16 = 4} ┌ Info: └ Loop 32 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: cost = 2.0 < 4.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {8 = 1, 16 = 1, 12 = 2, 11 = 3, 1 = 4} [ Info: best_swap : [9] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 4, 5 = 4, 6 = 2, 7 = 4, 8 = 2, 9 = 3, 10 = 2, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 4, 16 = 4} ┌ Info: └ Loop 33 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 17.0 < 19.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = best_cost = 17.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = 16.0 < 17.0 [ Info: Tabu list: {3 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 1, 5 = 3, 6 = 3, 7 = 1, 8 = 4, 9 = 1, 10 = 1, 11 = 1, 12 = 4, 13 = 1, 14 = 1, 15 = 2, 16 = 3} ┌ Info: └ Loop 34 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 13.0 < 16.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: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 1, 4 = 2, 5 = 3, 6 = 1, 7 = 1, 8 = 3, 9 = 3, 10 = 4, 11 = 4, 12 = 2, 13 = 4, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 35 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = 14.0 < 15.0 [ Info: Tabu list: {5 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 2, 3 = 1, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 3, 9 = 3, 10 = 4, 11 = 4, 12 = 2, 13 = 4, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 36 (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: Compute costs: selected var(s) x_13 = 3 [ Info: Tabu list: {5 = 3, 13 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 1, 4 = 2, 5 = 1, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 4, 11 = 1, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 37 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 21.0 < 22.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = 19.0 < 21.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = best_cost = 19.0 [ Info: Tabu list: {3 = 4} [ Info: best_values: [3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 1, 4 = 4, 5 = 1, 6 = 2, 7 = 4, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 4, 16 = 3} ┌ Info: └ Loop 38 (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: Tabu list: {12 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 1, 9 = 1, 10 = 2, 11 = 2, 12 = 2, 13 = 1, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 39 (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 = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = best_cost = 16.0 [ Info: Tabu list: {5 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 1, 2 = 2, 3 = 4, 4 = 2, 5 = 3, 6 = 1, 7 = 2, 8 = 1, 9 = 1, 10 = 2, 11 = 2, 12 = 2, 13 = 1, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 40 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 14.0 < 16.0 [ Info: Tabu list: {5 = 3, 9 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 1, 9 = 1, 10 = 3, 11 = 3, 12 = 1, 13 = 2, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 41 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 15.0 < 17.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 3, 12 = 1, 13 = 2, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 42 (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: cost = 14.0 < 15.0 [ Info: Tabu list: {8 = 3, 10 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 3, 9 = 1, 10 = 4, 11 = 3, 12 = 1, 13 = 2, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 43 (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 = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {8 = 2, 10 = 3, 13 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 3, 9 = 1, 10 = 4, 11 = 3, 12 = 1, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 44 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = 9.0 < 11.0 [ Info: Tabu list: {8 = 1, 10 = 2, 13 = 3, 3 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 2, 4 = 4, 5 = 3, 6 = 4, 7 = 4, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 4, 13 = 3, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 45 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 17.0 < 19.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = best_cost = 17.0 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {16 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 2, 4 = 1, 5 = 1, 6 = 4, 7 = 4, 8 = 2, 9 = 1, 10 = 3, 11 = 4, 12 = 1, 13 = 1, 14 = 2, 15 = 3, 16 = 4} ┌ Info: └ Loop 46 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 10.0 < 11.0 [ Info: Tabu list: {9 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 1, 4 = 3, 5 = 1, 6 = 3, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 47 (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: Compute costs: selected var(s) x_3 = 4 [ Info: cost = 16.0 < 17.0 [ Info: Tabu list: {3 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 1, 3 = 4, 4 = 3, 5 = 1, 6 = 3, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 2, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 48 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {3 = 3, 5 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 4, 5 = 1, 6 = 2, 7 = 3, 8 = 4, 9 = 2, 10 = 4, 11 = 4, 12 = 3, 13 = 3, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 49 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {3 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 1, 7 = 3, 8 = 2, 9 = 2, 10 = 2, 11 = 1, 12 = 4, 13 = 4, 14 = 3, 15 = 1, 16 = 3} ┌ Info: └ Loop 50 (satisfaction) [ Info: Selected x = 3 [ 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: Compute costs: selected var(s) x_3 = 4 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {3 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 2, 8 = 3, 9 = 3, 10 = 1, 11 = 3, 12 = 3, 13 = 1, 14 = 1, 15 = 4, 16 = 3} ┌ Info: └ Loop 51 (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: Compute costs: selected var(s) x_10 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {10 = 4} [ Info: best_values: [2, 4] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 2, 8 = 3, 9 = 3, 10 = 2, 11 = 3, 12 = 3, 13 = 1, 14 = 1, 15 = 4, 16 = 3} ┌ Info: └ Loop 52 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {10 = 3, 12 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 2, 5 = 3, 6 = 4, 7 = 1, 8 = 3, 9 = 3, 10 = 4, 11 = 3, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 53 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Tabu list: {10 = 4} [ Info: best_values: [1, 2] [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 2, 5 = 3, 6 = 4, 7 = 1, 8 = 3, 9 = 3, 10 = 2, 11 = 3, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 54 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = best_cost = 9.0 [ Info: Tabu list: {10 = 3, 9 = 4} [ Info: best_values: [1, 4] [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 2, 5 = 3, 6 = 4, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 55 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 6.0 < 9.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {10 = 2, 9 = 3, 5 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 3, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 4} ┌ Info: └ Loop 56 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 5.0 < 6.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Tabu list: {10 = 1, 9 = 2, 5 = 3, 16 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 2, 5 = 3, 6 = 1, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 57 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = 8.0 < 9.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 2, 5 = 3, 6 = 1, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 58 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 5.0 < 8.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {2 = 3, 6 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 2, 5 = 3, 6 = 2, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 59 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 2.0 < 5.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {2 = 2, 6 = 3, 4 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 3, 5 = 3, 6 = 2, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 60 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {2 = 1, 6 = 2, 4 = 3, 10 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 3, 5 = 3, 6 = 2, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 61 (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: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_15 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_11 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: Tabu list: {6 = 1, 4 = 2, 10 = 7, 12 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 3, 5 = 3, 6 = 2, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 62 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {4 = 2, 10 = 7, 12 = 7, 13 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 3, 5 = 3, 6 = 2, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 63 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: Tabu list: {4 = 1, 10 = 6, 12 = 6, 13 = 7, 16 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 3, 5 = 3, 6 = 2, 7 = 1, 8 = 4, 9 = 2, 10 = 1, 11 = 4, 12 = 2, 13 = 4, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 64 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {10 = 5, 12 = 5, 13 = 6, 16 = 7, 9 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 1, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 2} ┌ Info: └ Loop 65 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = best_cost = 18.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = 16.0 < 17.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 2} ┌ Info: └ Loop 66 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 14.0 < 16.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {2 = 3, 1 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 4, 16 = 2} ┌ Info: └ Loop 67 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Tabu list: {2 = 2, 1 = 3, 15 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 68 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {2 = 1, 1 = 2, 15 = 3, 4 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 3, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 69 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 7.0 < 8.0 [ Info: Tabu list: {1 = 1, 15 = 2, 4 = 3, 9 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 3, 7 = 4, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 70 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 5.0 < 7.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {15 = 2, 4 = 3, 9 = 3, 6 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 1, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 71 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: cost = 4.0 < 5.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_14 [ Info: Compute costs: selected var(s) x_16 ⇆ x_8 [ Info: cost = 2.0 < 4.0 [ Info: Tabu list: {15 = 1, 4 = 2, 9 = 2, 6 = 3, 16 = 4} [ Info: best_swap : [8] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 72 (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: cost = 0.0 < 2.0 [ Info: Tabu list: {4 = 1, 9 = 1, 6 = 2, 16 = 3, 12 = 4} [ Info: best_swap : [16] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 73 (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_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {6 = 2, 16 = 3, 12 = 3, 13 = 4} [ Info: best_swap : [9] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 74 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Compute costs: selected var(s) x_15 ⇆ x_13 [ Info: Compute costs: selected var(s) x_15 ⇆ x_16 [ Info: Compute costs: selected var(s) x_15 ⇆ x_7 [ Info: Compute costs: selected var(s) x_15 ⇆ x_11 [ Info: Compute costs: selected var(s) x_15 ⇆ x_12 [ Info: Compute costs: selected var(s) x_15 ⇆ x_14 [ Info: Compute costs: selected var(s) x_15 ⇆ x_3 [ Info: Tabu list: {6 = 1, 16 = 2, 12 = 2, 13 = 3, 15 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 75 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {16 = 1, 12 = 1, 13 = 2, 15 = 7, 14 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 76 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {12 = 1, 13 = 2, 15 = 6, 14 = 7, 10 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 77 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Compute costs: selected var(s) x_11 ⇆ x_15 [ Info: Compute costs: selected var(s) x_11 ⇆ x_7 [ Info: Compute costs: selected var(s) x_11 ⇆ x_10 [ Info: Compute costs: selected var(s) x_11 ⇆ x_16 [ Info: Compute costs: selected var(s) x_11 ⇆ x_9 [ Info: Compute costs: selected var(s) x_11 ⇆ x_12 [ Info: Compute costs: selected var(s) x_11 ⇆ x_3 [ Info: Tabu list: {13 = 1, 15 = 5, 14 = 6, 10 = 7, 11 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 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: cost = 0.0 < 2.0 [ Info: Tabu list: {15 = 5, 14 = 6, 10 = 6, 11 = 7, 12 = 4} [ Info: best_swap : [16] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 79 (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_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {15 = 4, 14 = 5, 10 = 5, 11 = 6, 12 = 3, 13 = 4} [ Info: best_swap : [9] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 1, 7 = 4, 8 = 2, 9 = 4, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 80 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_16 ⇆ x_15 [ Info: Compute costs: selected var(s) x_16 ⇆ x_4 [ Info: Compute costs: selected var(s) x_16 ⇆ x_11 [ Info: Compute costs: selected var(s) x_16 ⇆ x_12 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {15 = 3, 14 = 4, 10 = 4, 11 = 5, 12 = 2, 13 = 3, 16 = 4} [ Info: best_swap : [12] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 4, 4 = 4, 5 = 4, 6 = 4, 7 = 2, 8 = 4, 9 = 3, 10 = 1, 11 = 1, 12 = 1, 13 = 3, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 81 (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: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 16.0 < 17.0 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 2, 6 = 2, 7 = 2, 8 = 2, 9 = 3, 10 = 3, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 1, 16 = 2} ┌ Info: └ Loop 82 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 1, 9 = 1, 10 = 1, 11 = 2, 12 = 2, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 83 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Tabu list: {10 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 1, 3 = 2, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 1, 9 = 1, 10 = 3, 11 = 2, 12 = 2, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 84 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 15.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {10 = 3, 3 = 4} [ Info: best_values: [3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 1, 5 = 1, 6 = 4, 7 = 4, 8 = 1, 9 = 2, 10 = 2, 11 = 2, 12 = 4, 13 = 1, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 85 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 2, 4 = 3, 5 = 4, 6 = 4, 7 = 4, 8 = 1, 9 = 2, 10 = 1, 11 = 2, 12 = 1, 13 = 3, 14 = 2, 15 = 2, 16 = 1} ┌ Info: └ Loop 86 (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 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {11 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 1, 5 = 2, 6 = 4, 7 = 2, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 1, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 87 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 15.0 < 17.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: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 1, 5 = 3, 6 = 4, 7 = 2, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 3, 13 = 1, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 88 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {5 = 3, 16 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 89 (satisfaction) [ Info: Selected x = 16 [ 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: Compute costs: selected var(s) x_16 = 4 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {16 = 4} [ Info: best_values: [2, 4] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 4, 5 = 2, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 90 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {16 = 3, 6 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 2, 9 = 2, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 91 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 8.0 < 10.0 [ Info: Tabu list: {16 = 2, 6 = 3, 9 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 4, 5 = 2, 6 = 1, 7 = 3, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 92 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = 7.0 < 8.0 [ Info: Tabu list: {16 = 1, 6 = 2, 9 = 3, 11 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 3, 4 = 4, 5 = 3, 6 = 3, 7 = 3, 8 = 1, 9 = 3, 10 = 4, 11 = 4, 12 = 3, 13 = 4, 14 = 1, 15 = 3, 16 = 3} ┌ Info: └ Loop 93 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Tabu list: {11 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 1, 7 = 2, 8 = 1, 9 = 1, 10 = 2, 11 = 3, 12 = 1, 13 = 1, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 94 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {8 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 4, 4 = 4, 5 = 1, 6 = 4, 7 = 2, 8 = 1, 9 = 4, 10 = 3, 11 = 3, 12 = 1, 13 = 2, 14 = 2, 15 = 2, 16 = 4} ┌ Info: └ Loop 95 (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 = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 4, 2 = 4, 3 = 4, 4 = 3, 5 = 1, 6 = 4, 7 = 2, 8 = 1, 9 = 4, 10 = 3, 11 = 3, 12 = 1, 13 = 2, 14 = 2, 15 = 2, 16 = 4} ┌ Info: └ Loop 96 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Tabu list: {4 = 3, 2 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 2, 3 = 1, 4 = 3, 5 = 3, 6 = 4, 7 = 3, 8 = 3, 9 = 3, 10 = 2, 11 = 2, 12 = 1, 13 = 4, 14 = 1, 15 = 4, 16 = 3} ┌ Info: └ Loop 97 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 10.0 < 12.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 1, 5 = 4, 6 = 1, 7 = 2, 8 = 4, 9 = 2, 10 = 3, 11 = 3, 12 = 1, 13 = 3, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 98 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 3, 7 = 1, 8 = 3, 9 = 2, 10 = 2, 11 = 2, 12 = 2, 13 = 3, 14 = 2, 15 = 2, 16 = 3} ┌ Info: └ Loop 99 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = 15.0 < 16.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 1, 3 = 1, 4 = 4, 5 = 4, 6 = 3, 7 = 1, 8 = 3, 9 = 2, 10 = 2, 11 = 4, 12 = 2, 13 = 3, 14 = 2, 15 = 2, 16 = 3} ┌ Info: └ Loop 100 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_10 = 3 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = best_cost = 13.0 [ Info: Tabu list: {11 = 3, 10 = 4} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 1, 4 = 1, 5 = 4, 6 = 4, 7 = 1, 8 = 2, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 3, 16 = 1} ┌ Info: └ Loop 101 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [2, 3] [ Info: vals: {1 = 3, 2 = 1, 3 = 1, 4 = 1, 5 = 4, 6 = 4, 7 = 1, 8 = 2, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 3, 16 = 1} ┌ Info: └ Loop 102 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: cost = 9.0 < 11.0 [ Info: Tabu list: {1 = 3, 3 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 1, 5 = 4, 6 = 4, 7 = 1, 8 = 2, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 3, 16 = 1} ┌ Info: └ Loop 103 (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 = 8.0 < 9.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Tabu list: {1 = 2, 3 = 3, 5 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 1, 5 = 2, 6 = 4, 7 = 1, 8 = 2, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 1, 14 = 4, 15 = 3, 16 = 1} ┌ Info: └ Loop 104 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Tabu list: {1 = 1, 3 = 2, 5 = 3, 14 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 4, 14 = 1, 15 = 1, 16 = 4} ┌ Info: └ Loop 105 (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 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {16 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 106 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 10.0 < 12.0 [ Info: Tabu list: {16 = 3, 12 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 3, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 107 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 8.0 < 10.0 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {16 = 2, 12 = 3, 5 = 4} [ Info: best_values: [1, 2] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 108 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = 6.0 < 8.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {16 = 1, 12 = 2, 5 = 3, 11 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 3, 7 = 4, 8 = 2, 9 = 1, 10 = 2, 11 = 2, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 109 (satisfaction) [ Info: Selected x = 9 [ 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: cost = 5.0 < 6.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Tabu list: {12 = 1, 5 = 2, 11 = 3, 9 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 3, 7 = 4, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 110 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = 2.0 < 5.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {5 = 2, 11 = 3, 9 = 3, 1 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 3, 7 = 4, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 111 (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: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: Tabu list: {5 = 1, 11 = 2, 9 = 2, 1 = 3, 12 = 8} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 1, 5 = 1, 6 = 3, 7 = 4, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 4, 13 = 4, 14 = 1, 15 = 1, 16 = 3} ┌ Info: └ Loop 112 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: Compute costs: selected var(s) x_13 ⇆ x_1 [ Info: Tabu list: {11 = 1, 9 = 1, 1 = 2, 12 = 7, 13 = 8} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 2, 5 = 1, 6 = 1, 7 = 2, 8 = 2, 9 = 2, 10 = 4, 11 = 3, 12 = 1, 13 = 1, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 113 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 1, 4 = 2, 5 = 1, 6 = 1, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 4, 12 = 1, 13 = 2, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 114 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: cost = best_cost = 22.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 19.0 < 22.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = best_cost = 19.0 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 1, 6 = 2, 7 = 3, 8 = 4, 9 = 1, 10 = 3, 11 = 2, 12 = 3, 13 = 4, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 115 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = 8.0 < 11.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Tabu list: {13 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 1, 5 = 1, 6 = 2, 7 = 3, 8 = 4, 9 = 1, 10 = 3, 11 = 2, 12 = 3, 13 = 2, 14 = 4, 15 = 4, 16 = 1} ┌ Info: └ Loop 116 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Compute costs: selected var(s) x_3 ⇆ x_4 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {13 = 3, 3 = 4} [ Info: best_swap : [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 4, 8 = 2, 9 = 2, 10 = 4, 11 = 4, 12 = 3, 13 = 1, 14 = 1, 15 = 1, 16 = 4} ┌ Info: └ Loop 117 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 14.0 < 16.0 [ 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: {6 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 1, 4 = 4, 5 = 2, 6 = 1, 7 = 1, 8 = 2, 9 = 4, 10 = 2, 11 = 3, 12 = 4, 13 = 2, 14 = 3, 15 = 2, 16 = 2} ┌ Info: └ Loop 118 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: cost = 14.0 < 16.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 = 1, 4 = 1, 5 = 4, 6 = 3, 7 = 4, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 1, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 119 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 2, 3 = 1, 4 = 1, 5 = 4, 6 = 3, 7 = 4, 8 = 2, 9 = 2, 10 = 1, 11 = 4, 12 = 1, 13 = 2, 14 = 4, 15 = 4, 16 = 3} ┌ Info: └ Loop 120 (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 = 2 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Tabu list: {8 = 3, 15 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 1, 13 = 1, 14 = 1, 15 = 1, 16 = 4} ┌ Info: └ Loop 121 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {14 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 4, 2 = 2, 3 = 4, 4 = 3, 5 = 4, 6 = 2, 7 = 3, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 1, 13 = 1, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 122 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 9.0 < 12.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {14 = 3, 6 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 2, 3 = 4, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 1, 13 = 1, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 123 (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 = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = best_cost = 8.0 [ Info: Tabu list: {14 = 2, 6 = 3, 1 = 4} [ Info: best_values: [1, 2, 3] [ Info: vals: {1 = 2, 2 = 2, 3 = 4, 4 = 3, 5 = 4, 6 = 1, 7 = 3, 8 = 2, 9 = 3, 10 = 2, 11 = 2, 12 = 1, 13 = 1, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 124 (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: cost = 6.0 < 8.0 [ Info: Tabu list: {14 = 1, 6 = 2, 1 = 3, 10 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 3, 4 = 1, 5 = 4, 6 = 3, 7 = 2, 8 = 2, 9 = 2, 10 = 2, 11 = 2, 12 = 2, 13 = 1, 14 = 3, 15 = 2, 16 = 3} ┌ Info: └ Loop 125 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 14.0 < 17.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = best_cost = 14.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [1, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 3, 4 = 4, 5 = 1, 6 = 1, 7 = 1, 8 = 2, 9 = 3, 10 = 2, 11 = 1, 12 = 1, 13 = 1, 14 = 2, 15 = 4, 16 = 3} ┌ Info: └ Loop 126 (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 = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Tabu list: {6 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 2, 3 = 1, 4 = 1, 5 = 1, 6 = 4, 7 = 3, 8 = 1, 9 = 2, 10 = 2, 11 = 3, 12 = 4, 13 = 2, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 127 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ 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: vals: {1 = 4, 2 = 2, 3 = 1, 4 = 1, 5 = 1, 6 = 4, 7 = 3, 8 = 1, 9 = 2, 10 = 2, 11 = 3, 12 = 4, 13 = 2, 14 = 3, 15 = 1, 16 = 1} ┌ Info: └ Loop 128 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {14 = 3, 8 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 3, 5 = 4, 6 = 2, 7 = 2, 8 = 3, 9 = 1, 10 = 1, 11 = 1, 12 = 1, 13 = 2, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 129 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: cost = 16.0 < 19.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = best_cost = 16.0 [ Info: Tabu list: {12 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 2, 3 = 2, 4 = 1, 5 = 4, 6 = 1, 7 = 2, 8 = 1, 9 = 2, 10 = 1, 11 = 1, 12 = 4, 13 = 4, 14 = 3, 15 = 1, 16 = 4} ┌ Info: └ Loop 130 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Tabu list: {4 = 4} [ Info: best_values: [3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 4, 5 = 1, 6 = 1, 7 = 3, 8 = 1, 9 = 3, 10 = 1, 11 = 4, 12 = 1, 13 = 3, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 131 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Tabu list: {8 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 2, 2 = 4, 3 = 3, 4 = 4, 5 = 1, 6 = 1, 7 = 3, 8 = 2, 9 = 3, 10 = 1, 11 = 4, 12 = 1, 13 = 3, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 132 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {8 = 3, 9 = 4} [ Info: best_values: [2, 4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 133 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {1 = 4} [ Info: best_values: [1, 2] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 4, 8 = 1, 9 = 3, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 134 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = best_cost = 12.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: cost = 9.0 < 11.0 [ Info: Tabu list: {1 = 3, 9 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 4, 8 = 1, 9 = 4, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 1, 15 = 2, 16 = 2} ┌ Info: └ Loop 135 (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 = 9.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = 8.0 < 9.0 [ Info: Tabu list: {1 = 2, 9 = 3, 15 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 4, 3 = 3, 4 = 4, 5 = 3, 6 = 1, 7 = 4, 8 = 1, 9 = 4, 10 = 3, 11 = 1, 12 = 3, 13 = 2, 14 = 1, 15 = 4, 16 = 2} ┌ Info: └ Loop 136 (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 = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Tabu list: {1 = 1, 9 = 2, 15 = 3, 2 = 4} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 1, 12 = 3, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 137 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_4 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_16 [ Info: Compute costs: selected var(s) x_12 ⇆ x_15 [ Info: Compute costs: selected var(s) x_12 ⇆ x_11 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_12 ⇆ x_10 [ Info: Compute costs: selected var(s) x_12 ⇆ x_9 [ Info: Compute costs: selected var(s) x_12 ⇆ x_8 [ Info: Tabu list: {12 = 8} [ Info: best_values: [3, 4] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 1, 12 = 4, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 138 (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 = 6.0 < 8.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {12 = 7, 11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 139 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: Compute costs: selected var(s) x_1 = 3 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: cost = best_cost = 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: cost = 4.0 < 6.0 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {12 = 6, 11 = 3, 1 = 4} [ Info: best_swap : [4] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 3, 14 = 4, 15 = 2, 16 = 1} ┌ Info: └ Loop 140 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: cost = 2.0 < 4.0 [ Info: Compute costs: selected var(s) x_14 ⇆ x_15 [ Info: Compute costs: selected var(s) x_14 ⇆ x_16 [ Info: Compute costs: selected var(s) x_14 ⇆ x_2 [ Info: Compute costs: selected var(s) x_14 ⇆ x_6 [ Info: Compute costs: selected var(s) x_14 ⇆ x_10 [ Info: Compute costs: selected var(s) x_14 ⇆ x_9 [ Info: Tabu list: {12 = 5, 11 = 2, 1 = 3, 14 = 4} [ Info: best_swap : [13] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 141 (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 = 3 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {12 = 4, 11 = 1, 1 = 2, 14 = 3, 8 = 4} [ Info: best_swap : [7] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 142 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: Compute costs: selected var(s) x_4 ⇆ x_16 [ Info: Compute costs: selected var(s) x_4 ⇆ x_7 [ Info: Compute costs: selected var(s) x_4 ⇆ x_2 [ Info: Compute costs: selected var(s) x_4 ⇆ x_12 [ Info: Compute costs: selected var(s) x_4 ⇆ x_8 [ Info: Compute costs: selected var(s) x_4 ⇆ x_3 [ Info: Compute costs: selected var(s) x_4 ⇆ x_1 [ Info: Tabu list: {12 = 3, 1 = 1, 14 = 2, 8 = 3, 4 = 8} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 143 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Compute costs: selected var(s) x_7 ⇆ x_5 [ Info: Compute costs: selected var(s) x_7 ⇆ x_4 [ Info: Compute costs: selected var(s) x_7 ⇆ x_6 [ Info: Compute costs: selected var(s) x_7 ⇆ x_11 [ Info: 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 = 0.0 < 2.0 [ Info: Tabu list: {12 = 2, 14 = 1, 8 = 2, 4 = 7, 7 = 4} [ Info: best_swap : [8] [ Info: vals: {1 = 3, 2 = 4, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 3, 8 = 4, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 144 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: Compute costs: selected var(s) x_3 = 3 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Compute costs: selected var(s) x_3 ⇆ x_4 [ Info: Compute costs: selected var(s) x_3 ⇆ x_15 [ Info: Compute costs: selected var(s) x_3 ⇆ x_7 [ Info: Compute costs: selected var(s) x_3 ⇆ x_2 [ Info: Compute costs: selected var(s) x_3 ⇆ x_11 [ Info: Compute costs: selected var(s) x_3 ⇆ x_8 [ Info: Compute costs: selected var(s) x_3 ⇆ x_1 [ Info: Tabu list: {12 = 1, 8 = 2, 4 = 7, 7 = 3, 3 = 8} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 3, 8 = 3, 9 = 1, 10 = 2, 11 = 1, 12 = 1, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 145 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: cost = 15.0 < 16.0 [ Info: Tabu list: {11 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 3, 8 = 3, 9 = 1, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 146 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {11 = 3, 7 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ 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 = 3 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: cost = best_cost = 11.0 [ Info: Tabu list: {11 = 2, 7 = 3, 10 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 1, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 148 (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: Tabu list: {11 = 1, 7 = 2, 10 = 3, 12 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 3, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 149 (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 = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 8.0 < 9.0 [ Info: Tabu list: {7 = 1, 10 = 2, 12 = 3, 13 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 1, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 150 (satisfaction) [ Info: Selected x = 1 [ 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: cost = 6.0 < 7.0 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Tabu list: {10 = 2, 12 = 3, 13 = 3, 1 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 2, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 151 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 1 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = 5.0 < 6.0 [ Info: Tabu list: {10 = 1, 12 = 2, 13 = 2, 1 = 3, 4 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 3, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 152 (satisfaction) [ Info: Selected x = 3 [ Info: Compute costs: selected var(s) x_3 = 1 [ Info: cost = best_cost = 5.0 [ Info: Compute costs: selected var(s) x_3 = 2 [ Info: cost = 2.0 < 5.0 [ Info: Compute costs: selected var(s) x_3 = 4 [ Info: Tabu list: {12 = 1, 13 = 1, 1 = 2, 4 = 3, 3 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 153 (satisfaction) [ Info: Selected x = 10 [ Info: Compute costs: selected var(s) x_10 = 1 [ Info: Compute costs: selected var(s) x_10 = 2 [ Info: Compute costs: selected var(s) x_10 = 4 [ Info: Compute costs: selected var(s) x_10 ⇆ x_13 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {1 = 2, 4 = 3, 3 = 3, 10 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 154 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_5 [ Info: Compute costs: selected var(s) x_2 ⇆ x_4 [ Info: Compute costs: selected var(s) x_2 ⇆ x_6 [ Info: Compute costs: selected var(s) x_2 ⇆ x_10 [ Info: Compute costs: selected var(s) x_2 ⇆ x_14 [ Info: Compute costs: selected var(s) x_2 ⇆ x_3 [ Info: Compute costs: selected var(s) x_2 ⇆ x_1 [ Info: Tabu list: {1 = 1, 4 = 2, 3 = 2, 10 = 7, 2 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 155 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Compute costs: selected var(s) x_9 = 4 [ Info: Compute costs: selected var(s) x_9 ⇆ x_5 [ Info: Compute costs: selected var(s) x_9 ⇆ x_13 [ Info: Compute costs: selected var(s) x_9 ⇆ x_11 [ Info: Compute costs: selected var(s) x_9 ⇆ x_10 [ Info: Compute costs: selected var(s) x_9 ⇆ x_12 [ Info: Compute costs: selected var(s) x_9 ⇆ x_14 [ Info: Compute costs: selected var(s) x_9 ⇆ x_1 [ Info: Tabu list: {4 = 1, 3 = 1, 10 = 6, 2 = 7, 9 = 8} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 156 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: Compute costs: selected var(s) x_6 ⇆ x_5 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {3 = 1, 10 = 6, 2 = 6, 9 = 7, 6 = 4} [ Info: best_swap : [5] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 157 (satisfaction) [ Info: Selected x = 1 [ Info: Compute costs: selected var(s) x_1 = 1 [ Info: Compute costs: selected var(s) x_1 = 2 [ Info: Compute costs: selected var(s) x_1 = 4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_5 [ Info: Compute costs: selected var(s) x_1 ⇆ x_4 [ Info: Compute costs: selected var(s) x_1 ⇆ x_13 [ Info: Compute costs: selected var(s) x_1 ⇆ x_6 [ Info: Compute costs: selected var(s) x_1 ⇆ x_2 [ Info: Compute costs: selected var(s) x_1 ⇆ x_9 [ Info: Compute costs: selected var(s) x_1 ⇆ x_3 [ Info: Tabu list: {10 = 5, 2 = 5, 9 = 6, 6 = 3, 1 = 8} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 158 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 ⇆ x_13 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_5 ⇆ x_6 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {10 = 4, 2 = 4, 9 = 5, 6 = 2, 1 = 7, 5 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 159 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Compute costs: selected var(s) x_13 ⇆ x_5 [ Info: cost = best_cost = 2.0 [ Info: Compute costs: selected var(s) x_13 ⇆ x_15 [ Info: Compute costs: selected var(s) x_13 ⇆ x_16 [ Info: Compute costs: selected var(s) x_13 ⇆ x_10 [ Info: Compute costs: selected var(s) x_13 ⇆ x_9 [ Info: Compute costs: selected var(s) x_13 ⇆ x_14 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {10 = 3, 2 = 3, 9 = 4, 6 = 1, 1 = 6, 5 = 3, 13 = 4} [ Info: best_swap : [14] [ Info: vals: {1 = 3, 2 = 1, 3 = 2, 4 = 4, 5 = 4, 6 = 2, 7 = 1, 8 = 3, 9 = 1, 10 = 3, 11 = 4, 12 = 2, 13 = 4, 14 = 2, 15 = 3, 16 = 1} ┌ Info: └ Loop 160 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: Compute costs: selected var(s) x_14 = 3 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: Compute costs: selected var(s) x_14 ⇆ x_13 [ Info: cost = 0.0 < 2.0 [ Info: Tabu list: {10 = 2, 2 = 2, 9 = 3, 1 = 5, 5 = 2, 13 = 3, 14 = 4} [ Info: best_swap : [13] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 1, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 161 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 2 [ Info: cost = best_cost = 14.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 2, 13 = 1, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 162 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 11.0 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: cost = 8.0 < 11.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {11 = 3, 13 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 2, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 163 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: cost = best_cost = 8.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 5.0 < 8.0 [ Info: Tabu list: {11 = 2, 13 = 3, 12 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 3, 14 = 1, 15 = 1, 16 = 2} ┌ Info: └ Loop 164 (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 = 3.0 < 5.0 [ Info: Tabu list: {11 = 1, 13 = 2, 12 = 3, 14 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 2, 2 = 3, 3 = 4, 4 = 1, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 1, 10 = 2, 11 = 3, 12 = 4, 13 = 3, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 165 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 1 [ Info: cost = 0.0 < 3.0 [ Info: Tabu list: {13 = 1, 12 = 2, 14 = 3, 6 = 4} [ Info: best_values: [1] ┌───────┬───────┬───────┐ │ 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 │ 5 7 8 │ 4 3 1 │ │ 3 6 5 │ 3 2 4 │ 1 9 7 │ │ 7 4 1 │ 1 9 6 │ 8 5 2 │ ├───────┼───────┼───────┤ │ 8 7 1 │ 4 6 1 │ 5 2 4 │ │ 1 4 9 │ 7 5 2 │ 3 8 6 │ │ 5 2 6 │ 8 8 3 │ 1 7 9 │ ├───────┼───────┼───────┤ │ 3 1 7 │ 2 4 9 │ 6 4 8 │ │ 4 9 2 │ 1 6 5 │ 9 7 5 │ │ 6 5 4 │ 9 3 7 │ 2 1 3 │ └───────┴───────┴───────┘ [ Info: Results golomb! [ Info: Values: {1 = 0, 2 = 14, 3 = 12, 4 = 19, 5 = 23} [ Info: Sol (val): 11.0 [ Info: Sol (vals): {1 = 0, 2 = 4, 3 = 1, 4 = 9, 5 = 11} [ Info: Results mincut! [ Info: Values: {1 = 2, 2 = 1, 3 = 0, 4 = 3, 5 = 5, 6 = 4} [ Info: Sol (val): 6.0 [ Info: Sol (vals): {1 = 0, 2 = 1, 3 = 5, 4 = 2, 5 = 4, 6 = 3} [ Info: Results 1-mincut! [ Info: Values: {1 = 1, 2 = 4, 3 = 0, 4 = 5, 5 = 3, 6 = 2} [ Info: Sol (val): 3.0 [ Info: Sol (vals): {1 = 1, 2 = 4, 3 = 5, 4 = 0, 5 = 3, 6 = 2} [ Info: Results 2-mincut! [ Info: Values: {1 = 0, 2 = 5, 3 = 3, 4 = 0, 5 = 1, 6 = 1} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 0, 2 = 2, 3 = 1, 4 = 4, 5 = 5, 6 = 3} ┌───────┬───────┬───────┐ │ 5 7 9 │ 1 3 6 │ 4 8 2 │ │ 2 6 8 │ 9 4 7 │ 3 5 1 │ │ 1 3 4 │ 5 8 2 │ 7 6 9 │ ├───────┼───────┼───────┤ │ 3 8 7 │ 4 2 1 │ 6 9 5 │ │ 6 4 1 │ 3 9 5 │ 2 7 8 │ │ 9 2 5 │ 6 7 8 │ 1 3 4 │ ├───────┼───────┼───────┤ │ 4 5 6 │ 8 1 3 │ 9 2 7 │ │ 8 9 2 │ 7 6 4 │ 5 1 3 │ │ 7 1 3 │ 2 5 9 │ 8 4 6 │ └───────┴───────┴───────┘ ┌ Info: JuMP: golomb(5) │ value.(X) = │ 5-element Vector{Float64}: │ 1.0 │ 7.0 │ 11.0 │ 12.0 └ 14.0 ┌ Info: JuMP: magic_square(3) │ value.(X) = │ 3×3 Matrix{Float64}: │ 6.0 7.0 2.0 │ 1.0 5.0 9.0 └ 8.0 3.0 4.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}: │ 11.0 │ 2.0 │ 1.0 │ 10.0 │ ⋮ │ 4.0 │ 8.0 └ 3.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.4119137622048419 │ 0.010303306608324014 │ 0.4034072329671645 │ 1.423243205094064 │ ⋮ │ 0.02084317176961603 │ 0.2140488402783547 └ 0.07582404032992796 ┌ 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` │ Stacktrace: │ [1] macro expansion │ @ logging/logging.jl:383 [inlined] │ [2] macro expansion │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:84 [inlined] │ [3] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] │ [4] top-level scope │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:82 │ [5] include(fname::String) │ @ Main ./sysimg.jl:38 │ [6] macro expansion │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/runtests.jl:13 [inlined] │ [7] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] │ [8] top-level scope │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/runtests.jl:10 │ [9] include(fname::String) │ @ Main ./sysimg.jl:38 │ [10] top-level scope │ @ none:6 │ [11] eval │ @ ./boot.jl:430 [inlined] │ [12] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:296 │ [13] _start() │ @ Base ./client.jl:531 └ @ 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 6m58.6s Testing ConstraintModels tests passed Testing completed after 436.74s PkgEval succeeded after 652.91s