Package evaluation of ConstraintModels on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T06:22:43.007 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.94s ################################################################################ # Installation # Installing ConstraintModels... Resolving package versions... Installed IrrationalConstants ────── v0.2.4 Installed Calculus ───────────────── v0.5.2 Installed DiffRules ──────────────── v1.15.1 Installed Adapt ──────────────────── v4.3.0 Installed Preferences ────────────── v1.4.3 Installed JSON ───────────────────── v0.21.4 Installed DiffResults ────────────── v1.1.0 Installed Bzip2_jll ──────────────── v1.0.9+0 Installed ADTypes ────────────────── v1.14.0 Installed Parsers ────────────────── v2.8.3 Installed BenchmarkTools ─────────── v1.6.0 Installed SpecialFunctions ───────── v2.5.1 Installed MutableArithmetics ─────── v0.2.22 Installed LocalSearchSolvers ─────── v0.3.12 Installed RecipesBase ────────────── v1.3.4 Installed Setfield ───────────────── v1.1.2 Installed Unrolled ───────────────── v0.1.5 Installed JLLWrappers ────────────── v1.7.0 Installed PrecompileTools ────────── v1.3.2 Installed StaticArraysCore ───────── v1.4.3 Installed ConstructionBase ───────── v1.5.8 Installed IniFile ────────────────── v0.5.1 Installed URIs ───────────────────── v1.5.2 Installed OrderedCollections ─────── v1.8.0 Installed TranscodingStreams ─────── v0.9.13 Installed CodecBzip2 ─────────────── v0.7.2 Installed NaNMath ────────────────── v0.3.7 Installed JSONSchema ─────────────── v0.3.4 Installed NLSolversBase ──────────── v7.9.1 Installed ArrayInterface ─────────── v7.18.0 Installed Dictionaries ───────────── v0.3.29 Installed Constraints ────────────── v0.2.5 Installed Indexing ───────────────── v1.1.1 Installed ForwardDiff ────────────── v0.10.38 Installed ThreadPools ────────────── v2.1.1 Installed ConstraintModels ───────── v0.1.8 Installed HTTP ───────────────────── v0.9.17 Installed Statistics ─────────────── v1.11.1 Installed MbedTLS ────────────────── v1.1.9 Installed CommonSubexpressions ───── v0.3.1 Installed DataStructures ─────────── v0.18.22 Installed LogExpFunctions ────────── v0.3.29 Installed Requires ───────────────── v1.3.1 Installed MbedTLS_jll ────────────── v2.28.6+2 Installed Compat ─────────────────── v4.16.0 Installed MacroTools ─────────────── v0.5.16 Installed OpenSpecFun_jll ────────── v0.5.6+0 Installed JuMP ───────────────────── v0.21.5 Installed UnPack ─────────────────── v1.0.2 Installed CodecZlib ──────────────── v0.7.8 Installed DifferentiationInterface ─ v0.6.52 Installed DocStringExtensions ────── v0.9.4 Installed FiniteDiff ─────────────── v2.27.0 Installed ConstraintDomains ──────── v0.2.5 Installed CBLS ───────────────────── v0.1.12 Installed Lazy ───────────────────── v0.15.1 Installed CompositionalNetworks ──── v0.2.7 Installed PatternFolds ───────────── v0.1.5 Installed Evolutionary ───────────── v0.10.1 Installed MathOptInterface ───────── v0.9.22 Installing 3 artifacts Installed artifact OpenSpecFun 194.9 KiB Installed artifact Bzip2 503.5 KiB Installed artifact MbedTLS 2.1 MiB Updating `~/.julia/environments/v1.13/Project.toml` [841a6ec5] + ConstraintModels v0.1.8 Updating `~/.julia/environments/v1.13/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.52 [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.16 ⌅ [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.3 ⌅ [c18a7f1d] + PatternFolds v0.1.5 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [3cdcf5f2] + RecipesBase v1.3.4 [ae029012] + Requires v1.3.1 [efcf1570] + Setfield v1.1.2 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [b189fb0b] + ThreadPools v2.1.1 ⌅ [3bb67fe8] + TranscodingStreams v0.9.13 [5c2747f8] + URIs v1.5.2 [3a884ed6] + UnPack v1.0.2 [9602ed7d] + Unrolled v0.1.5 [6e34b625] + Bzip2_jll v1.0.9+0 [c8ffd9c3] + MbedTLS_jll v2.28.6+2 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [14a3606d] + MozillaCACerts_jll v2024.12.31 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.12.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 11.27s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 5520.6 ms ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 25 already precompiled. Precompiling package dependencies... Precompilation completed after 356.99s ################################################################################ # Testing # Testing ConstraintModels Status `/tmp/jl_hytcap/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_hytcap/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.52 [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.16 ⌅ [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.3 ⌅ [c18a7f1d] PatternFolds v0.1.5 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [3cdcf5f2] RecipesBase v1.3.4 [ae029012] Requires v1.3.1 [efcf1570] Setfield v1.1.2 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [b189fb0b] ThreadPools v2.1.1 ⌅ [3bb67fe8] TranscodingStreams v0.9.13 [5c2747f8] URIs v1.5.2 [3a884ed6] UnPack v1.0.2 [9602ed7d] Unrolled v0.1.5 [6e34b625] Bzip2_jll v1.0.9+0 [c8ffd9c3] MbedTLS_jll v2.28.6+2 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.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 = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 2.0 < 13.0 [ Info: Compute costs: selected var(s) x_16 = 2 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: cost = best_cost = 2.0 [ Info: Tabu list: {16 = 4} [ Info: best_values: [1, 3] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 4, 3 = 3, 4 = 4, 5 = 2, 6 = 2, 7 = 2, 8 = 2, 9 = 3, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 2 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 1 [ Info: cost = 16.0 < 18.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {5 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 2, 3 = 4, 4 = 3, 5 = 1, 6 = 2, 7 = 4, 8 = 2, 9 = 1, 10 = 1, 11 = 3, 12 = 2, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 3 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 13.0 < 14.0 [ Info: Compute costs: selected var(s) x_2 = 3 [ Info: cost = 12.0 < 13.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = best_cost = 12.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 2, 2 = 4, 3 = 4, 4 = 3, 5 = 1, 6 = 2, 7 = 4, 8 = 2, 9 = 1, 10 = 1, 11 = 3, 12 = 2, 13 = 4, 14 = 2, 15 = 1, 16 = 1} ┌ Info: └ Loop 4 (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: cost = 11.0 < 12.0 [ Info: Tabu list: {2 = 3, 12 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 4, 3 = 3, 4 = 1, 5 = 3, 6 = 1, 7 = 1, 8 = 4, 9 = 2, 10 = 4, 11 = 1, 12 = 4, 13 = 3, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 5 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 1 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = 12.0 < 13.0 [ Info: Tabu list: {15 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 1, 4 = 2, 5 = 4, 6 = 3, 7 = 1, 8 = 2, 9 = 1, 10 = 2, 11 = 1, 12 = 2, 13 = 3, 14 = 1, 15 = 3, 16 = 1} ┌ Info: └ Loop 6 (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 = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {12 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 2, 4 = 2, 5 = 1, 6 = 1, 7 = 3, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 7 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 17.0 < 18.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 16.0 < 17.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: cost = 15.0 < 16.0 [ Info: Tabu list: {2 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 4, 3 = 2, 4 = 2, 5 = 1, 6 = 1, 7 = 3, 8 = 3, 9 = 2, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 8 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 14.0 < 15.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: cost = 13.0 < 14.0 [ Info: Tabu list: {2 = 3, 7 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 2, 7 = 2, 8 = 3, 9 = 4, 10 = 1, 11 = 4, 12 = 4, 13 = 3, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 9 (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: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_6 [ Info: cost = 11.0 < 13.0 [ Info: Compute costs: selected var(s) x_10 ⇆ x_11 [ Info: Compute costs: selected var(s) x_10 ⇆ x_2 [ Info: Compute costs: selected var(s) x_10 ⇆ x_9 [ Info: Compute costs: selected var(s) x_10 ⇆ x_12 [ Info: Compute costs: selected var(s) x_10 ⇆ x_14 [ Info: Tabu list: {10 = 4} [ Info: best_swap : [6] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 4, 12 = 4, 13 = 3, 14 = 3, 15 = 3, 16 = 2} ┌ Info: └ Loop 10 (satisfaction) [ Info: Selected x = 16 [ Info: Compute costs: selected var(s) x_16 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_16 = 3 [ Info: Compute costs: selected var(s) x_16 = 4 [ Info: Tabu list: {10 = 3, 16 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 4, 12 = 4, 13 = 3, 14 = 3, 15 = 3, 16 = 1} ┌ Info: └ Loop 11 (satisfaction) [ Info: Selected x = 14 [ Info: Compute costs: selected var(s) x_14 = 1 [ Info: cost = 9.0 < 10.0 [ Info: Compute costs: selected var(s) x_14 = 2 [ Info: cost = best_cost = 9.0 [ Info: Compute costs: selected var(s) x_14 = 4 [ Info: cost = 8.0 < 9.0 [ Info: Tabu list: {10 = 2, 16 = 3, 14 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 4, 2 = 3, 3 = 1, 4 = 2, 5 = 2, 6 = 1, 7 = 2, 8 = 3, 9 = 4, 10 = 2, 11 = 4, 12 = 4, 13 = 3, 14 = 4, 15 = 3, 16 = 1} ┌ Info: └ Loop 12 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 5.0 < 8.0 [ Info: Compute costs: selected var(s) x_9 = 2 [ Info: Compute costs: selected var(s) x_9 = 3 [ Info: Tabu list: {10 = 1, 16 = 2, 14 = 3, 9 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 4, 2 = 1, 3 = 1, 4 = 1, 5 = 4, 6 = 2, 7 = 3, 8 = 1, 9 = 3, 10 = 4, 11 = 4, 12 = 1, 13 = 3, 14 = 3, 15 = 4, 16 = 3} ┌ Info: └ Loop 13 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 13.0 < 16.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: cost = best_cost = 13.0 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: Tabu list: {13 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 3, 3 = 2, 4 = 1, 5 = 4, 6 = 1, 7 = 3, 8 = 2, 9 = 4, 10 = 4, 11 = 2, 12 = 2, 13 = 2, 14 = 3, 15 = 2, 16 = 4} ┌ Info: └ Loop 14 (satisfaction) [ Info: Selected x = 11 [ Info: Compute costs: selected var(s) x_11 = 1 [ Info: cost = 11.0 < 14.0 [ Info: Compute costs: selected var(s) x_11 = 3 [ Info: Compute costs: selected var(s) x_11 = 4 [ Info: Tabu list: {11 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 1, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 4, 14 = 2, 15 = 1, 16 = 2} ┌ Info: └ Loop 15 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: cost = 15.0 < 16.0 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: cost = best_cost = 15.0 [ Info: Tabu list: {15 = 4} [ Info: best_values: [3, 4] [ Info: vals: {1 = 3, 2 = 3, 3 = 1, 4 = 4, 5 = 3, 6 = 4, 7 = 3, 8 = 2, 9 = 4, 10 = 2, 11 = 1, 12 = 1, 13 = 4, 14 = 2, 15 = 3, 16 = 2} ┌ Info: └ Loop 16 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 13.0 < 15.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 3 [ Info: Tabu list: {15 = 3, 13 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 3, 5 = 4, 6 = 4, 7 = 4, 8 = 4, 9 = 1, 10 = 3, 11 = 2, 12 = 4, 13 = 4, 14 = 4, 15 = 4, 16 = 4} ┌ Info: └ Loop 17 (satisfaction) [ Info: Selected x = 8 [ Info: Compute costs: selected var(s) x_8 = 1 [ Info: cost = 16.0 < 19.0 [ Info: Compute costs: selected var(s) x_8 = 2 [ Info: cost = best_cost = 16.0 [ Info: Compute costs: selected var(s) x_8 = 3 [ Info: Tabu list: {8 = 4} [ Info: best_values: [1, 2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 2, 2 = 1, 3 = 4, 4 = 2, 5 = 4, 6 = 1, 7 = 1, 8 = 4, 9 = 4, 10 = 4, 11 = 2, 12 = 2, 13 = 3, 14 = 3, 15 = 2, 16 = 3} ┌ Info: └ Loop 18 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 1 [ Info: cost = 14.0 < 17.0 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: Tabu list: {12 = 4} [ Info: best_values: [1] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 1, 8 = 4, 9 = 1, 10 = 2, 11 = 4, 12 = 4, 13 = 3, 14 = 1, 15 = 1, 16 = 1} ┌ Info: └ Loop 19 (satisfaction) [ Info: Selected x = 15 [ Info: Compute costs: selected var(s) x_15 = 2 [ Info: cost = 12.0 < 15.0 [ Info: Compute costs: selected var(s) x_15 = 3 [ Info: Compute costs: selected var(s) x_15 = 4 [ Info: Tabu list: {15 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 1, 2 = 4, 3 = 4, 4 = 3, 5 = 3, 6 = 3, 7 = 1, 8 = 4, 9 = 1, 10 = 2, 11 = 4, 12 = 4, 13 = 3, 14 = 1, 15 = 2, 16 = 1} ┌ Info: └ Loop 20 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 11.0 < 12.0 [ Info: Tabu list: {15 = 3, 13 = 4} [ Info: best_values: [4] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 3, 3 = 3, 4 = 1, 5 = 4, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 1, 11 = 4, 12 = 1, 13 = 4, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 21 (satisfaction) [ Info: Selected x = 4 [ Info: Compute costs: selected var(s) x_4 = 2 [ Info: Compute costs: selected var(s) x_4 = 3 [ Info: Compute costs: selected var(s) x_4 = 4 [ Info: cost = 14.0 < 15.0 [ Info: Tabu list: {4 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 3, 3 = 3, 4 = 4, 5 = 4, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 1, 11 = 4, 12 = 1, 13 = 4, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 22 (satisfaction) [ Info: Selected x = 2 [ Info: Compute costs: selected var(s) x_2 = 1 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_2 = 2 [ Info: cost = 11.0 < 12.0 [ Info: Compute costs: selected var(s) x_2 = 4 [ Info: Tabu list: {4 = 3, 2 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 3, 7 = 3, 8 = 2, 9 = 2, 10 = 1, 11 = 4, 12 = 1, 13 = 4, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 23 (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 = 3 [ Info: Compute costs: selected var(s) x_8 = 4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_5 [ Info: Compute costs: selected var(s) x_8 ⇆ x_4 [ Info: Compute costs: selected var(s) x_8 ⇆ x_6 [ Info: Compute costs: selected var(s) x_8 ⇆ x_7 [ Info: cost = 9.0 < 11.0 [ Info: Compute costs: selected var(s) x_8 ⇆ x_16 [ Info: Compute costs: selected var(s) x_8 ⇆ x_12 [ Info: Compute costs: selected var(s) x_8 ⇆ x_3 [ Info: Tabu list: {4 = 2, 2 = 3, 8 = 4} [ Info: best_swap : [7] [ Info: vals: {1 = 3, 2 = 2, 3 = 3, 4 = 4, 5 = 4, 6 = 3, 7 = 2, 8 = 3, 9 = 2, 10 = 1, 11 = 4, 12 = 1, 13 = 4, 14 = 4, 15 = 1, 16 = 2} ┌ Info: └ Loop 24 (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: 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: cost = best_cost = 9.0 [ Info: Tabu list: {4 = 1, 2 = 2, 8 = 3, 9 = 8} [ Info: best_values: [2] ┌ Info: └ ============== RESTART!!!!================ [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 1, 7 = 3, 8 = 3, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 25 (satisfaction) [ Info: Selected x = 6 [ Info: Compute costs: selected var(s) x_6 = 2 [ Info: cost = 12.0 < 14.0 [ Info: Compute costs: selected var(s) x_6 = 3 [ Info: Compute costs: selected var(s) x_6 = 4 [ Info: cost = 11.0 < 12.0 [ Info: Tabu list: {6 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 4, 7 = 3, 8 = 3, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 3, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 26 (satisfaction) [ Info: Selected x = 13 [ Info: Compute costs: selected var(s) x_13 = 1 [ Info: cost = 10.0 < 11.0 [ Info: Compute costs: selected var(s) x_13 = 2 [ Info: Compute costs: selected var(s) x_13 = 4 [ Info: cost = 8.0 < 10.0 [ Info: Tabu list: {6 = 3, 13 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 4, 7 = 3, 8 = 3, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 27 (satisfaction) [ Info: Selected x = 7 [ Info: Compute costs: selected var(s) x_7 = 1 [ Info: cost = 7.0 < 8.0 [ Info: Compute costs: selected var(s) x_7 = 2 [ Info: Compute costs: selected var(s) x_7 = 4 [ Info: Tabu list: {6 = 2, 13 = 3, 7 = 4} [ Info: best_values: [1] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 2, 11 = 4, 12 = 1, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 28 (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 = 6.0 < 7.0 [ Info: Tabu list: {6 = 1, 13 = 2, 7 = 3, 11 = 4} [ Info: best_values: [3] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 2, 11 = 3, 12 = 1, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 29 (satisfaction) [ Info: Selected x = 12 [ Info: Compute costs: selected var(s) x_12 = 2 [ Info: Compute costs: selected var(s) x_12 = 3 [ Info: Compute costs: selected var(s) x_12 = 4 [ Info: cost = 4.0 < 6.0 [ Info: Tabu list: {13 = 1, 7 = 2, 11 = 3, 12 = 4} [ Info: best_values: [4] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 1, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 30 (satisfaction) [ Info: Selected x = 5 [ Info: Compute costs: selected var(s) x_5 = 2 [ Info: cost = 3.0 < 4.0 [ Info: Compute costs: selected var(s) x_5 = 3 [ Info: Compute costs: selected var(s) x_5 = 4 [ Info: Tabu list: {7 = 2, 11 = 3, 12 = 3, 5 = 4} [ Info: best_values: [2] [ Info: vals: {1 = 3, 2 = 1, 3 = 4, 4 = 2, 5 = 2, 6 = 4, 7 = 1, 8 = 3, 9 = 2, 10 = 2, 11 = 3, 12 = 4, 13 = 4, 14 = 3, 15 = 2, 16 = 1} ┌ Info: └ Loop 31 (satisfaction) [ Info: Selected x = 9 [ Info: Compute costs: selected var(s) x_9 = 1 [ Info: cost = 0.0 < 3.0 [ Info: Tabu list: {7 = 1, 11 = 2, 12 = 2, 5 = 3, 9 = 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 5 8 │ 6 7 9 │ 4 3 1 │ │ 3 1 4 │ 8 2 5 │ 6 9 7 │ │ 6 7 2 │ 1 3 4 │ 8 5 2 │ ├───────┼───────┼───────┤ │ 3 7 1 │ 4 8 6 │ 5 2 9 │ │ 8 4 9 │ 7 1 2 │ 3 8 6 │ │ 5 2 6 │ 5 9 3 │ 1 7 4 │ ├───────┼───────┼───────┤ │ 2 6 7 │ 9 5 1 │ 9 4 8 │ │ 4 9 3 │ 2 6 8 │ 1 7 5 │ │ 1 8 5 │ 3 4 7 │ 2 6 3 │ └───────┴───────┴───────┘ [ Info: Results golomb! [ Info: Values: {1 = 4, 2 = 22, 3 = 22, 4 = 4, 5 = 19} [ Info: Sol (val): 12.0 [ Info: Sol (vals): {1 = 0, 2 = 12, 3 = 1, 4 = 7, 5 = 3} [ Info: Results mincut! [ Info: Values: {1 = 2, 2 = 4, 3 = 1, 4 = 3, 5 = 3, 6 = 4} [ Info: Sol (val): 6.0 [ Info: Sol (vals): {1 = 3, 2 = 2, 3 = 0, 4 = 1, 5 = 5, 6 = 4} [ Info: Results 1-mincut! [ Info: Values: {1 = 4, 2 = 0, 3 = 4, 4 = 0, 5 = 3, 6 = 2} [ Info: Sol (val): 3.0 [ Info: Sol (vals): {1 = 1, 2 = 2, 3 = 0, 4 = 4, 5 = 5, 6 = 3} [ Info: Results 2-mincut! [ Info: Values: {1 = 0, 2 = 5, 3 = 1, 4 = 1, 5 = 3, 6 = 2} [ Info: Sol (val): 1.0 [ Info: Sol (vals): {1 = 0, 2 = 5, 3 = 1, 4 = 2, 5 = 4, 6 = 3} ┌───────┬───────┬───────┐ │ 8 1 2 │ 9 3 4 │ 8 9 6 │ │ 9 5 3 │ 8 6 7 │ 1 4 3 │ │ 6 4 9 │ 2 1 9 │ 7 2 5 │ ├───────┼───────┼───────┤ │ 5 9 1 │ 6 7 8 │ 5 3 4 │ │ 9 3 4 │ 5 4 1 │ 9 8 2 │ │ 2 8 6 │ 7 5 9 │ 3 1 4 │ ├───────┼───────┼───────┤ │ 3 6 9 │ 7 8 6 │ 4 1 5 │ │ 5 7 4 │ 1 2 9 │ 6 2 8 │ │ 1 5 5 │ 4 3 2 │ 8 6 7 │ └───────┴───────┴───────┘ ┌ Info: JuMP: golomb(5) │ value.(X) = │ 5-element Vector{Float64}: │ 1.0 │ 3.0 │ 8.0 │ 11.0 └ 12.0 ┌ Info: JuMP: magic_square(3) │ value.(X) = │ 3×3 Matrix{Float64}: │ 6.0 1.0 8.0 │ 7.0 5.0 3.0 └ 2.0 9.0 4.0 ┌ Info: JuMP: n_queens(5) │ value.(X) = │ 5-element Vector{Float64}: │ 2.0 │ 5.0 │ 3.0 │ 1.0 └ 4.0 ┌ Info: JuMP: qap(12) │ value.(X) = │ 12-element Vector{Float64}: │ 8.0 │ 2.0 │ 1.0 │ 11.0 │ ⋮ │ 7.0 │ 5.0 └ 4.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.1721254862375188 │ 1.4406762897488368 │ 0.050715983413368804 │ 0.06551218721169438 │ ⋮ │ 1.9463858750091219 │ 1.6386868586985432 └ 0.10146641071250517 ┌ Error: Exception while generating log record in module Main at /home/pkgeval/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:84 │ exception = │ UndefVarError: `solution_summary` not defined in `Main` │ Suggestion: check for spelling errors or missing imports. │ Stacktrace: │ [1] top-level scope │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:82 │ [2] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] │ [3] macro expansion │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/JuMP.jl:84 [inlined] │ [4] macro expansion │ @ logging/logging.jl:385 [inlined] │ [5] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:304 │ [6] top-level scope │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/runtests.jl:10 │ [7] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] │ [8] macro expansion │ @ ~/.julia/packages/ConstraintModels/yB4m3/test/runtests.jl:13 [inlined] │ [9] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:304 │ [10] top-level scope │ @ none:6 │ [11] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [12] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:297 │ [13] _start() │ @ Base ./client.jl:563 └ @ 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 7m01.7s Testing ConstraintModels tests passed Testing completed after 448.56s PkgEval succeeded after 842.01s