Package evaluation of BranchAndBound on Julia 1.10.8 (92f03a4775*) started at 2025-02-25T10:01:17.401 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.38s ################################################################################ # Installation # Installing BranchAndBound... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [df125234] + BranchAndBound v0.1.0 Updating `~/.julia/environments/v1.10/Manifest.toml` [79e6a3ab] + Adapt v4.2.0 [4fba245c] + ArrayInterface v7.18.0 [6e4b80f9] + BenchmarkTools v1.6.0 [df125234] + BranchAndBound v0.1.0 [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 [187b0558] + ConstructionBase v1.5.8 [864edb3b] + DataStructures v0.18.20 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [b4f34e82] + Distances v0.10.12 [ffbed154] + DocStringExtensions v0.9.3 [e2ba6199] + ExprTools v0.1.10 [6a86dc24] + FiniteDiff v2.27.0 [f6369f11] + ForwardDiff v0.10.38 ⌅ [cd3eb016] + HTTP v0.9.17 ⌅ [2030c09a] + InfrastructureModels v0.5.4 [83e8ac13] + IniFile v0.5.1 [842dd82b] + InlineStrings v1.4.3 [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 ⌃ [d3d80556] + LineSearches v7.1.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.15 ⌅ [b8f27783] + MathOptInterface v0.9.22 [739be429] + MbedTLS v1.1.9 ⌅ [f28f55f0] + Memento v1.1.2 [78c3b35d] + Mocking v0.8.1 ⌅ [d8a4904e] + MutableArithmetics v0.2.22 [d41bc354] + NLSolversBase v7.8.3 [2774e3e8] + NLsolve v4.5.1 ⌅ [77ba4419] + NaNMath v0.3.7 [bac558e1] + OrderedCollections v1.8.0 [d96e819e] + Parameters v0.12.3 [69de0a69] + Parsers v2.8.1 ⌅ [c36e90e8] + PowerModels v0.17.4 [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.0 [6c6a2e73] + Scratch v1.2.1 [efcf1570] + Setfield v1.1.1 [276daf66] + SpecialFunctions v2.5.0 [1e83bf80] + StaticArraysCore v1.4.3 [82ae8749] + StatsAPI v1.7.0 [cea106d9] + Syslogs v0.3.0 [dc5dba14] + TZJData v1.4.0+2025a [f269a46b] + TimeZones v1.21.2 ⌅ [3bb67fe8] + TranscodingStreams v0.9.13 [5c2747f8] + URIs v1.5.1 [3a884ed6] + UnPack v1.0.2 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [0dad84c5] + ArgTools v1.1.1 [56f22d72] + Artifacts [2a0f44e3] + Base64 [ade2ca70] + Dates [8ba89e20] + Distributed [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching [9fa8497b] + Future [b77e0a4c] + InteractiveUtils [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 [8f399da3] + Libdl [37e2e46d] + LinearAlgebra [56ddb016] + Logging [d6f4376e] + Markdown [a63ad114] + Mmap [ca575930] + NetworkOptions v1.2.0 [de0858da] + Printf [9abbd945] + Profile [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [6462fe0b] + Sockets [2f01184e] + SparseArrays v1.10.0 [10745b16] + Statistics v1.10.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test [cf7118a7] + UUIDs [4ec0a83e] + Unicode [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] + LibCURL_jll v8.4.0+0 [e37daf67] + LibGit2_jll v1.6.4+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.2+1 [14a3606d] + MozillaCACerts_jll v2023.1.10 [4536629a] + OpenBLAS_jll v0.3.23+4 [05823500] + OpenLibm_jll v0.8.1+4 [bea87d4a] + SuiteSparse_jll v7.2.1+1 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.52.0+1 [3f19e933] + p7zip_jll v17.4.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 8.18s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 223.77s ################################################################################ # Testing # Testing BranchAndBound Status `/tmp/jl_t9vF7o/Project.toml` [df125234] BranchAndBound v0.1.0 ⌃ [60bf3e95] GLPK v0.14.14 ⌃ [b6b21f68] Ipopt v0.7.0 ⌅ [4076af6c] JuMP v0.21.5 ⌅ [b8f27783] MathOptInterface v0.9.22 ⌅ [c36e90e8] PowerModels v0.17.4 [8dfed614] Test Status `/tmp/jl_t9vF7o/Manifest.toml` [79e6a3ab] Adapt v4.2.0 [4fba245c] ArrayInterface v7.18.0 [6e4b80f9] BenchmarkTools v1.6.0 [b99e7846] BinaryProvider v0.5.10 [df125234] BranchAndBound v0.1.0 ⌅ [fa961155] CEnum v0.4.2 [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 [187b0558] ConstructionBase v1.5.8 [864edb3b] DataStructures v0.18.20 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [b4f34e82] Distances v0.10.12 [ffbed154] DocStringExtensions v0.9.3 [e2ba6199] ExprTools v0.1.10 [6a86dc24] FiniteDiff v2.27.0 [f6369f11] ForwardDiff v0.10.38 ⌃ [60bf3e95] GLPK v0.14.14 ⌅ [cd3eb016] HTTP v0.9.17 ⌅ [2030c09a] InfrastructureModels v0.5.4 [83e8ac13] IniFile v0.5.1 [842dd82b] InlineStrings v1.4.3 ⌃ [b6b21f68] Ipopt v0.7.0 [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 ⌃ [d3d80556] LineSearches v7.1.1 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.15 ⌅ [b8f27783] MathOptInterface v0.9.22 [fdba3010] MathProgBase v0.7.8 [739be429] MbedTLS v1.1.9 ⌅ [f28f55f0] Memento v1.1.2 [78c3b35d] Mocking v0.8.1 ⌅ [d8a4904e] MutableArithmetics v0.2.22 [d41bc354] NLSolversBase v7.8.3 [2774e3e8] NLsolve v4.5.1 ⌅ [77ba4419] NaNMath v0.3.7 [bac558e1] OrderedCollections v1.8.0 [d96e819e] Parameters v0.12.3 [69de0a69] Parsers v2.8.1 ⌅ [c36e90e8] PowerModels v0.17.4 [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.0 [6c6a2e73] Scratch v1.2.1 [efcf1570] Setfield v1.1.1 [276daf66] SpecialFunctions v2.5.0 [1e83bf80] StaticArraysCore v1.4.3 [82ae8749] StatsAPI v1.7.0 [cea106d9] Syslogs v0.3.0 [dc5dba14] TZJData v1.4.0+2025a [f269a46b] TimeZones v1.21.2 ⌅ [3bb67fe8] TranscodingStreams v0.9.13 [5c2747f8] URIs v1.5.1 [3a884ed6] UnPack v1.0.2 [ae81ac8f] ASL_jll v0.1.3+0 [6e34b625] Bzip2_jll v1.0.9+0 ⌅ [e8aa6df9] GLPK_jll v5.0.0+0 ⌅ [9cc047cb] Ipopt_jll v3.13.4+2 [d00139f3] METIS_jll v5.1.3+0 ⌅ [d7ed1dd3] MUMPS_seq_jll v5.2.1+4 ⌅ [656ef2d0] OpenBLAS32_jll v0.3.24+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.1.1 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [8ba89e20] Distributed [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching [9fa8497b] Future [b77e0a4c] InteractiveUtils [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.10.0 [de0858da] Printf [9abbd945] Profile [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [10745b16] Statistics v1.10.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [781609d7] GMP_jll v6.2.1+6 [deac9b47] LibCURL_jll v8.4.0+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.2+1 [14a3606d] MozillaCACerts_jll v2023.1.10 [4536629a] OpenBLAS_jll v0.3.23+4 [05823500] OpenLibm_jll v0.8.1+4 [bea87d4a] SuiteSparse_jll v7.2.1+1 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.52.0+1 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... Min x Subject to x ≥ 0.0 x ≤ 0.5 Test Summary: | Pass Total Time Unit test | 40 40 1m34.9s WARNING: Method definition branch!(BranchAndBound.AbstractTree, BranchAndBound.AbstractNode) in module BranchAndBound at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/src/tree.jl:54 overwritten in module Main at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/examples/milp.jl:26. WARNING: Method definition termination(BranchAndBound.AbstractTree) in module BranchAndBound at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/src/tree.jl:27 overwritten in module Main at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/examples/milp.jl:52. [ Info: Tree nodes: processed 0, left 1, total 1, best bound -Inf, best incumbent Inf [ Info: Node id 1, status OPTIMAL, bound -8.5 [ Info: Branch at y = 4.5, y >= 5.0, y <= 4.0 [ Info: Tree nodes: processed 1, left 2, total 3, best bound -Inf, best incumbent Inf [ Info: Node id 3, status OPTIMAL, bound -7.5 [ Info: Branch at x = 3.5, x >= 4.0, x <= 3.0 [ Info: Tree nodes: processed 2, left 3, total 5, best bound -8.5, best incumbent Inf [ Info: Node id 2, status INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: INFEASIBLE [ Info: Tree nodes: processed 3, left 2, total 5, best bound -7.5, best incumbent Inf [ Info: Node id 5, status OPTIMAL, bound -6.7 [ Info: Branch at y = 3.7, y >= 4.0, y <= 3.0 [ Info: Tree nodes: processed 4, left 3, total 7, best bound -7.5, best incumbent Inf [ Info: Node id 4, status INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: INFEASIBLE [ Info: Tree nodes: processed 5, left 2, total 7, best bound -6.7, best incumbent Inf [ Info: Node id 7, status OPTIMAL, bound -5.5 [ Info: Branch at x = 2.5, x >= 3.0, x <= 2.0 [ Info: Tree nodes: processed 6, left 3, total 9, best bound -6.7, best incumbent Inf [ Info: Node id 6, status INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: INFEASIBLE [ Info: Tree nodes: processed 7, left 2, total 9, best bound -5.5, best incumbent Inf [ Info: Node id 9, status OPTIMAL, bound -4.9 [ Info: Branch at y = 2.9000000000000004, y >= 3.0, y <= 2.0 [ Info: Tree nodes: processed 8, left 3, total 11, best bound -5.5, best incumbent Inf [ Info: Node id 8, status INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: INFEASIBLE [ Info: Tree nodes: processed 9, left 2, total 11, best bound -4.9, best incumbent Inf [ Info: Node id 11, status OPTIMAL, bound -3.5 [ Info: Branch at x = 1.5000000000000002, x >= 2.0, x <= 1.0 [ Info: Tree nodes: processed 10, left 3, total 13, best bound -4.9, best incumbent Inf [ Info: Node id 10, status INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: INFEASIBLE [ Info: Tree nodes: processed 11, left 2, total 13, best bound -3.5, best incumbent Inf [ Info: Node id 13, status OPTIMAL, bound -3.0 [ Info: New incumbent bound: -3.0 [ Info: Tree nodes: processed 12, left 1, total 13, best bound -3.5, best incumbent -3.0 [ Info: Node id 12, status INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: INFEASIBLE [ Info: Tree nodes: processed 13, left 0, total 13, best bound -3.5, best incumbent -3.0 [ Info: Completed the tree search Test Summary: | Pass Total Time milp example | 1 1 14.5s WARNING: Method definition branch!(BranchAndBound.AbstractTree, BranchAndBound.AbstractNode) in module Main at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/examples/milp.jl:26 overwritten at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/examples/minlp.jl:26. WARNING: Method definition termination(BranchAndBound.AbstractTree) in module Main at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/examples/milp.jl:52 overwritten at /home/pkgeval/.julia/packages/BranchAndBound/3BJq5/examples/minlp.jl:52. [ Info: Tree nodes: processed 0, left 1, total 1, best bound -Inf, best incumbent Inf ****************************************************************************** This program contains Ipopt, a library for large-scale nonlinear optimization. Ipopt is released as open source code under the Eclipse Public License (EPL). For more information visit https://github.com/coin-or/Ipopt ****************************************************************************** [ Info: Node id 1, status LOCALLY_SOLVED, bound -2.623343661146285 [ Info: Branch at x = 0.7351909167228673, x >= 1.0, x <= 0.0 [ Info: Tree nodes: processed 1, left 2, total 3, best bound -Inf, best incumbent Inf [ Info: Node id 3, status LOCALLY_SOLVED, bound -1.300000010487168 [ Info: Branch at y = 1.300000010487168, y >= 2.0, y <= 1.0 [ Info: Tree nodes: processed 2, left 3, total 5, best bound -2.623343661146285, best incumbent Inf [ Info: Node id 2, status LOCALLY_INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: LOCALLY_INFEASIBLE [ Info: Tree nodes: processed 3, left 2, total 5, best bound -1.300000010487168, best incumbent Inf [ Info: Node id 5, status LOCALLY_SOLVED, bound -1.000000007495904 [ Info: New incumbent bound: -1.000000007495904 [ Info: Tree nodes: processed 4, left 1, total 5, best bound -1.300000010487168, best incumbent -1.000000007495904 [ Info: Node id 4, status LOCALLY_INFEASIBLE, bound -Inf [ Info: Fathomed by solution status: LOCALLY_INFEASIBLE [ Info: Tree nodes: processed 5, left 0, total 5, best bound -1.300000010487168, best incumbent -1.000000007495904 [ Info: Completed the tree search Test Summary: | Pass Total Time minlp example | 1 1 26.8s Testing BranchAndBound tests passed Testing completed after 142.31s PkgEval succeeded after 389.88s