Package evaluation to test EAGO on Julia 1.14.0-DEV.1886 (984ad247db*) started at 2026-03-12T20:22:13.184 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.16s ################################################################################ # Installation # Installing EAGO... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [bb8be931] + EAGO v0.9.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [79e6a3ab] + Adapt v4.5.0 [a9b6321e] + Atomix v1.1.2 [6e4b80f9] + BenchmarkTools v1.6.3 [d3bc4f2e] + BranchAndPrune v0.2.1 [96374032] + CRlibm v1.0.2 [7057c7e9] + Cassette v0.3.14 [d360d2e6] + ChainRulesCore v1.26.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [bb8be931] + EAGO v0.9.1 [90fa49ef] + ErrorfreeArithmetic v0.5.2 [fa42c844] + FastRounding v0.3.1 [f6369f11] + ForwardDiff v1.3.2 [60bf3e95] + GLPK v1.2.1 [46192b85] + GPUArraysCore v0.2.0 [076d061b] + HashArrayMappedTries v0.2.0 [d1acc4aa] + IntervalArithmetic v1.0.2 [43d83c95] + IntervalBoxes v0.3.0 [15111844] + IntervalContractors v0.6.0 [d2bf35a9] + IntervalRootFinding v0.6.2 [b6b21f68] + Ipopt v1.14.1 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.4.0 [4076af6c] + JuMP v1.30.0 [63c18a36] + KernelAbstractions v0.9.40 [2ab3a3ac] + LogExpFunctions v0.3.29 ⌅ [ee0a3090] + MINLPTests v0.5.6 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.49.0 [53c679d3] + McCormick v0.14.0 [d8a4904e] + MutableArithmetics v1.6.7 [872c559c] + NNlib v0.9.33 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [5eaf0fd0] + RoundingEmulator v0.2.1 [7e506255] + ScopedValues v1.6.0 [276daf66] + SpecialFunctions v2.7.1 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [ec057cc2] + StructUtils v2.6.3 [3bb67fe8] + TranscodingStreams v0.11.3 [3a884ed6] + UnPack v1.0.2 [013be700] + UnsafeAtomics v0.3.0 [ae81ac8f] + ASL_jll v0.1.3+0 [6e34b625] + Bzip2_jll v1.0.9+0 [4e9b3aee] + CRlibm_jll v1.0.1+0 [e8aa6df9] + GLPK_jll v5.0.1+1 [e33a78d0] + Hwloc_jll v2.13.0+0 [9cc047cb] + Ipopt_jll v300.1400.1901+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [d00139f3] + METIS_jll v5.1.3+0 [d7ed1dd3] + MUMPS_seq_jll v500.800.200+0 [656ef2d0] + OpenBLAS32_jll v0.3.30+0 [6cdc7f73] + OpenBLASConsistentFPCSR_jll v0.3.30+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [319450e9] + SPRAL_jll v2025.9.18+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.18.1+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.14.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.18.0+1 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.30+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.5+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.8.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.95s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 3376.3 ms ✓ IntervalContractors 22775.4 ms ✓ MINLPTests 7363.3 ms ✓ McCormick WARNING: Constructor for type "MC" was extended in `EAGO` without explicit qualification or import.  NOTE: Assumed "MC" refers to `McCormick.MC`. This behavior is deprecated and may differ in future versions.  NOTE: This behavior may have differed in Julia versions prior to 1.12.  Hint: If you intended to create a new generic function of the same name, use `function MC end`.  Hint: To silence the warning, qualify `MC` as `McCormick.MC` in the method signature or explicitly `import McCormick: MC`. 31958.2 ms ✓ EAGO 4 dependencies successfully precompiled in 68 seconds. 122 already precompiled. 1 dependency had output during precompilation: ┌ EAGO │ WARNING: Constructor for type "MC" was extended in `EAGO` without explicit qualification or import. │ NOTE: Assumed "MC" refers to `McCormick.MC`. This behavior is deprecated and may differ in future versions. │ NOTE: This behavior may have differed in Julia versions prior to 1.12. │ Hint: If you intended to create a new generic function of the same name, use `function MC end`. │ Hint: To silence the warning, qualify `MC` as `McCormick.MC` in the method signature or explicitly `import McCormick: MC`. └ Precompilation completed after 92.13s ################################################################################ # Testing # Testing EAGO Status `/tmp/jl_YM50Nv/Project.toml` [7057c7e9] Cassette v0.3.14 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [bb8be931] EAGO v0.9.1 [fa42c844] FastRounding v0.3.1 [f6369f11] ForwardDiff v1.3.2 [60bf3e95] GLPK v1.2.1 [d1acc4aa] IntervalArithmetic v1.0.2 [15111844] IntervalContractors v0.6.0 [b6b21f68] Ipopt v1.14.1 [4076af6c] JuMP v1.30.0 ⌅ [ee0a3090] MINLPTests v0.5.6 [b8f27783] MathOptInterface v1.49.0 [53c679d3] McCormick v0.14.0 [77ba4419] NaNMath v1.1.3 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [276daf66] SpecialFunctions v2.7.1 [37e2e46d] LinearAlgebra v1.13.0 [de0858da] Printf v1.11.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_YM50Nv/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [79e6a3ab] Adapt v4.5.0 [a9b6321e] Atomix v1.1.2 [6e4b80f9] BenchmarkTools v1.6.3 [d3bc4f2e] BranchAndPrune v0.2.1 [96374032] CRlibm v1.0.2 [7057c7e9] Cassette v0.3.14 [d360d2e6] ChainRulesCore v1.26.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 ⌅ [864edb3b] DataStructures v0.18.22 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [bb8be931] EAGO v0.9.1 [90fa49ef] ErrorfreeArithmetic v0.5.2 [fa42c844] FastRounding v0.3.1 [f6369f11] ForwardDiff v1.3.2 [60bf3e95] GLPK v1.2.1 [46192b85] GPUArraysCore v0.2.0 [076d061b] HashArrayMappedTries v0.2.0 [d1acc4aa] IntervalArithmetic v1.0.2 [43d83c95] IntervalBoxes v0.3.0 [15111844] IntervalContractors v0.6.0 [d2bf35a9] IntervalRootFinding v0.6.2 [b6b21f68] Ipopt v1.14.1 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.4.0 [4076af6c] JuMP v1.30.0 [63c18a36] KernelAbstractions v0.9.40 [2ab3a3ac] LogExpFunctions v0.3.29 ⌅ [ee0a3090] MINLPTests v0.5.6 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.49.0 [53c679d3] McCormick v0.14.0 [d8a4904e] MutableArithmetics v1.6.7 [872c559c] NNlib v0.9.33 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [5eaf0fd0] RoundingEmulator v0.2.1 [7e506255] ScopedValues v1.6.0 [276daf66] SpecialFunctions v2.7.1 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.6.3 [3bb67fe8] TranscodingStreams v0.11.3 [3a884ed6] UnPack v1.0.2 [013be700] UnsafeAtomics v0.3.0 [ae81ac8f] ASL_jll v0.1.3+0 [6e34b625] Bzip2_jll v1.0.9+0 [4e9b3aee] CRlibm_jll v1.0.1+0 [e8aa6df9] GLPK_jll v5.0.1+1 [e33a78d0] Hwloc_jll v2.13.0+0 [9cc047cb] Ipopt_jll v300.1400.1901+0 [94ce4f54] Libiconv_jll v1.18.0+0 [d00139f3] METIS_jll v5.1.3+0 [d7ed1dd3] MUMPS_seq_jll v500.800.200+0 [656ef2d0] OpenBLAS32_jll v0.3.30+0 [6cdc7f73] OpenBLASConsistentFPCSR_jll v0.3.30+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [319450e9] SPRAL_jll v2025.9.18+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [a65dc6b1] Xorg_libpciaccess_jll v0.18.1+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.18.0+1 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.30+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.5+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... CHECK REVISED TESTS ┌ Warning: The exclude string "test_linear_DUAL_INFEASIBLE" is ambiguous because it exactly matches a test, but it also partially matches another. Use `r"^test_linear_DUAL_INFEASIBLE$"` to exclude the exactly matching test, or `r"test_linear_DUAL_INFEASIBLE.*"` to exclude all partially matching tests. └ @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/Q3V1z/src/Test/Test.jl:239 ┌ Warning: The exclude string "test_conic_linear_VectorAffineFunction" is ambiguous because it exactly matches a test, but it also partially matches another. Use `r"^test_conic_linear_VectorAffineFunction$"` to exclude the exactly matching test, or `r"test_conic_linear_VectorAffineFunction.*"` to exclude all partially matching tests. └ @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/Q3V1z/src/Test/Test.jl:239 ┌ Warning: The exclude string "test_linear_integration" is ambiguous because it exactly matches a test, but it also partially matches another. Use `r"^test_linear_integration$"` to exclude the exactly matching test, or `r"test_linear_integration.*"` to exclude all partially matching tests. └ @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/Q3V1z/src/Test/Test.jl:239 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ****************************************************************************** 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 ****************************************************************************** ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 Test Summary: | Pass Total Time MOI | 3700 3700 42m23.9s ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 25 running 1 of 1 signal (10): User defined signal 1 _ZN4llvm23SmallVectorTemplateBaseIPKNS_4SCEVELb1EE9push_backES3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm8visitAllIZNS_16SCEVExprContainsIZNKS_15ScalarEvolution13checkValidityEPKNS_4SCEVEEUlS5_E_EEbS5_T_E11FindClosureEEvS5_RS7_.constprop.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution15getExistingSCEVEPNS_5ValueE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution7getSCEVEPNS_5ValueE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution13isImpliedCondENS_12CmpPredicateEPKNS_4SCEVES4_PKNS_5ValueEbPKNS_11InstructionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZNSt17_Function_handlerIFbN4llvm12CmpPredicateEEZZNS0_15ScalarEvolution30isBasicBlockEntryGuardedByCondEPKNS0_10BasicBlockES1_PKNS0_4SCEVES9_ENKUlPKNS0_5ValueEbE1_clESC_bEUlS1_E_E9_M_invokeERKSt9_Any_dataOS1_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZZN4llvm15ScalarEvolution30isBasicBlockEntryGuardedByCondEPKNS_10BasicBlockENS_12CmpPredicateEPKNS_4SCEVES7_ENKUlPKNS_5ValueEbE1_clESA_b at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution30isBasicBlockEntryGuardedByCondEPKNS_10BasicBlockENS_12CmpPredicateEPKNS_4SCEVES7_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution16howManyLessThansEPKNS_4SCEVES3_PKNS_4LoopEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24computeExitLimitFromICmpEPKNS_4LoopENS_12CmpPredicateEPKNS_4SCEVES7_bb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24computeExitLimitFromICmpEPKNS_4LoopEPNS_8ICmpInstEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution28computeExitLimitFromCondImplERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution30computeExitLimitFromCondCachedERNS0_14ExitLimitCacheEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24computeExitLimitFromCondEPKNS_4LoopEPNS_5ValueEbbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution16computeExitLimitEPKNS_4LoopEPNS_10BasicBlockEbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution25computeBackedgeTakenCountEPKNS_4LoopEb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution20getBackedgeTakenInfoEPKNS_4LoopE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution28proveNoWrapViaConstantRangesEPKNS_14SCEVAddRecExprE.part.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution24createSimpleAffineAddRecEPNS_7PHINodeEPNS_5ValueES4_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution19createAddRecFromPHIEPNS_7PHINodeE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution16createNodeForPHIEPNS_7PHINodeE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15ScalarEvolution14createSCEVIterEPNS_5ValueE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN12_GLOBAL__N_119InductiveRangeCheck26extractRangeChecksFromCondEPN4llvm4LoopERNS1_15ScalarEvolutionERNS1_3UseERNS1_15SmallVectorImplIS0_EERNS1_15SmallPtrSetImplIPNS1_5ValueEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN12_GLOBAL__N_130InductiveRangeCheckElimination3runEPN4llvm4LoopENS1_12function_refIFvS3_bEEE.constprop.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm8IRCEPass3runERNS_8FunctionERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm11PassManagerINS_8FunctionENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm27ModuleToFunctionPassAdaptor3runERNS_6ModuleERNS_15AnalysisManagerIS1_JEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/usr/include/llvm/IR/PassManagerInternal.h:91 _ZN4llvm11PassManagerINS_6ModuleENS_15AnalysisManagerIS1_JEEEJEE3runERS1_RS3_ at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) run at /source/src/pipeline.cpp:976 operator() at /source/src/jitlayers.cpp:1301 operator() at /source/src/jitlayers.cpp:1438 [inlined] optimizeModule at /source/src/jitlayers.cpp:2358 materialize at /source/src/jitlayers.cpp:883 _ZN4llvm3orc19MaterializationTask3runEv at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) process_tasks at /source/src/julia-task-dispatcher.h:370 [inlined] work_until at /source/src/julia-task-dispatcher.h:352 wait at /source/src/julia-task-dispatcher.h:84 [inlined] get at /source/src/julia-task-dispatcher.h:171 [inlined] publishCIs at /source/src/jitlayers.cpp:2069 jl_compile_codeinst_impl at /source/src/jitlayers.cpp:496 jl_compile_method_internal at /source/src/gf.c:3652 _jl_invoke at /source/src/gf.c:4105 [inlined] ijl_apply_generic at /source/src/gf.c:4339 set at /home/pkgeval/.julia/packages/JuMP/0tD10/src/optimizer_interface.jl:1271 set_objective_sense at /home/pkgeval/.julia/packages/JuMP/0tD10/src/objective.jl:225 [inlined] set_nonlinear_objective at /home/pkgeval/.julia/packages/JuMP/0tD10/src/nlp.jl:175 [inlined] macro expansion at /home/pkgeval/.julia/packages/JuMP/0tD10/src/macros/@NL.jl:29 [inlined] nlp_003_010 at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/nlp/003_010.jl:21 unknown function (ip: 0x70fea509e787) at (unknown file) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 macro expansion at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/MINLPTests.jl:147 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2324 [inlined] macro expansion at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/MINLPTests.jl:143 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] #test_directory#11 at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/MINLPTests.jl:142 test_directory at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/MINLPTests.jl:129 [inlined] #test_nlp#13 at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/MINLPTests.jl:197 [inlined] test_nlp at /home/pkgeval/.julia/packages/MINLPTests/TyL5S/src/MINLPTests.jl:187 unknown function (ip: 0x70fea50978e3) at (unknown file) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:766 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 include_string at ./loading.jl:3131 _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 _include at ./loading.jl:3191 include at ./Base.jl:324 IncludeInto at ./Base.jl:325 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:766 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 include_string at ./loading.jl:3131 _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 _include at ./loading.jl:3191 include at ./Base.jl:324 IncludeInto at ./Base.jl:325 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:766 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 exec_options at ./client.jl:310 _start at ./client.jl:585 jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] true_main at /source/src/jlapi.c:971 jl_repl_entrypoint at /source/src/jlapi.c:1138 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x70ff2b853249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile. --trace-compile is enabled during profile collection. ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x000070ff113fc010 Total snapshots: 1. Utilization: 100% ╎1 @Base/client.jl:585 _start() ╎ 1 @Base/client.jl:310 exec_options(opts::Base.JLOptions) ╎ 1 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ 1 @Base/Base.jl:325 (::Base.IncludeInto)(fname::String) ╎ 1 @Base/Base.jl:324 include(mapexpr::Function, mod::Module, _path::Strin… ╎ 1 @Base/loading.jl:3191 _include(mapexpr::Function, mod::Module, _path:… ╎ ╎ 1 @Base/loading.jl:3131 include_string(mapexpr::typeof(identity), mod:… ╎ ╎ 1 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ 1 @Base/Base.jl:325 (::Base.IncludeInto)(fname::String) ╎ ╎ 1 @Base/Base.jl:324 include(mapexpr::Function, mod::Module, _path::… ╎ ╎ 1 @Base/loading.jl:3191 _include(mapexpr::Function, mod::Module, _… ╎ ╎ ╎ 1 @Base/loading.jl:3131 include_string(mapexpr::typeof(identity),… ╎ ╎ ╎ 1 @Base/boot.jl:517 eval(m::Module, e::Any) ╎ ╎ ╎ 1 @MINLPTests/…ests.jl:187 kwcall(::@NamedTuple{exclude::Vector… ╎ ╎ ╎ 1 @MINLPTests/…sts.jl:197 #test_nlp#13 ╎ ╎ ╎ 1 @MINLPTests/…sts.jl:129 test_directory ╎ ╎ ╎ ╎ 1 @MINLPTests/…ts.jl:142 test_directory(directory::String, o… ╎ ╎ ╎ ╎ 1 @Test/src/Test.jl:2243 macro expansion ╎ ╎ ╎ ╎ 1 @MINLPTests/…ts.jl:143 macro expansion ╎ ╎ ╎ ╎ 1 @Test/…rc/Test.jl:2324 macro expansion ╎ ╎ ╎ ╎ 1 @MINLPTests/…s.jl:147 macro expansion ╎ ╎ ╎ ╎ ╎ 1 @MINLPTests/…0.jl:25 nlp_003_010(optimizer::MathOptIn… ╎ ╎ ╎ ╎ ╎ 1 @JuMP/…erface.jl:560 optimize! ╎ ╎ ╎ ╎ ╎ 1 @JuMP/…erface.jl:610 optimize!(model::Model; ignore… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…r.jl:1725 typeinf_ext_toplevel(mi::Core… ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:1716 typeinf_ext_toplevel ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:1533 typeinf_ext(interp::Compiler… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/….jl:4758 typeinf(interp::Compiler.Na… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:4480 typeinf_local(interp::Compi… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…jl:3896 abstract_eval_basic_statem… ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:3939 abstract_eval_basic_statem… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:3532 abstract_eval_statement_e… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:3168 abstract_eval_call ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:3150 abstract_call(interp::C… ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:2990 abstract_call ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:2997 abstract_call(interp:… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:2889 abstract_call_known(… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:328 abstract_call_gf_by_… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:166 (::Compiler.var"#in… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:729 abstract_call_meth… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ 1 @Compiler/…l:1143 typeinf_edge(int… ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +1 1 @Base/…ls.jl:1777 specialize_method ╎ ╎ ╎ ╎ ╎ ╎ ╎ ╎ +2 1 @Base/…ls.jl:1790 #specialize_meth… ----------------------------------------------------------------------------------------------------------------- | 3 | 0 | -1.849E+00 | -1.832E+00 | 1.720E-02 | 9.298E-03 | 0.03 | 3599.97 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 1 Lower Bound: 1.8320785098009869 Upper Bound: 1.8492737583887633 Solution: x = 3.256511999051165 y = 2.01314732790153 ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ----------------------------------------------------------------------------------------------------------------- | 3 | 0 | -4.991E+00 | -4.974E+00 | 1.720E-02 | 3.445E-03 | 0.04 | 3599.96 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 1 Lower Bound: 4.97367116339078 Upper Bound: 4.99086641197343 Solution: x = 3.256511999051165 y = 2.0131473279015295 ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ----------------------------------------------------------------------------------------------------------------- | 3 | 0 | -3.320E+00 | -3.257E+00 | 6.330E-02 | 1.907E-02 | 0.02 | 3599.98 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 1 Lower Bound: 3.256512482966831 Upper Bound: 3.319813396392714 Solution: x = 3.256512482966831 y = 2.0131482330364863 ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.14/Profile/src/Profile.jl:1361 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x000071594043eef0 Total snapshots: 429. Utilization: 0% ╎429 @Base/task.jl:1168 wait_forever() 428╎ 429 @Base/task.jl:1246 wait() ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ----------------------------------------------------------------------------------------------------------------- | 3 | 0 | -3.320E+00 | -3.257E+00 | 6.330E-02 | 1.907E-02 | 0.03 | 3599.97 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 1 Lower Bound: 3.2565123921059165 Upper Bound: 3.319813406392714 Solution: x = 3.256512482991617 y = 2.01314823308505 ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ----------------------------------------------------------------------------------------------------------------- | 7 | 0 | -1.263E+01 | -1.262E+01 | 1.109E-02 | 8.780E-04 | 0.03 | 3599.97 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 3 Lower Bound: 12.618023036214682 Upper Bound: 12.629110844728224 Solution: x = 3.2565126422192257 y = 2.0131485381802947 ┌ Warning: At least one branching variable is unbounded. This will interfere with EAGO's global │ optimization routine and may cause unexpected results. Bounds have been automatically │ generated at +/- 1E6 for all unbounded variables, but tighter user-defined bounds are │ highly recommended. To disable this warning and the automatic generation of bounds, use │ the option `unbounded_check = false`. └ @ EAGO ~/.julia/packages/EAGO/1UUDk/src/eago_optimizer/optimize/nonconvex/stack_management.jl:270 ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ----------------------------------------------------------------------------------------------------------------- | 9 | 0 | -1.263E+01 | -1.262E+01 | 1.109E-02 | 8.780E-04 | 0.04 | 3599.96 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 3 Lower Bound: 12.618023036218752 Upper Bound: 12.62911084471817 Solution: x = 3.2565126422195236 y = 2.0131485381810275 ----------------------------------------------------------------------------------------------------------------- | Iteration # | Nodes | Lower Bound | Upper Bound | Gap | Ratio | Timer | Time Left | ----------------------------------------------------------------------------------------------------------------- | 3 | 0 | -6.461E+00 | -6.398E+00 | 6.330E-02 | 9.797E-03 | 0.01 | 3599.99 | ----------------------------------------------------------------------------------------------------------------- Empty Stack: Exhaustive Search Finished Optimal Solution Found at Node 1 Lower Bound: 6.398105136556624 Upper Bound: 6.461406049982507 Solution: x = 3.256512482966831 y = 2.0131482330364863 Test Summary: | Pass Total Time nlp | 35 35 24.6s Test Summary: | Total Time nlp-cvx | 0 0.0s Test Summary: | Total Time nlp-mi | 0 0.0s [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] start_task at /source/src/task.c:1275 unknown function (ip: (nil)) at (unknown file) Allocations: 19269880 (Pool: 19269170; Big: 710); GC: 13 [25] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/EAGO/1UUDk/test/branch_bound.jl:1 CreateICmp at /source/usr/include/llvm/IR/IRBuilder.h:2382 emit_builtin_call at /source/src/codegen.cpp:4560 emit_call at /source/src/codegen.cpp:5708 emit_expr at /source/src/codegen.cpp:6611 emit_ssaval_assign at /source/src/codegen.cpp:6128 emit_stmtpos at /source/src/codegen.cpp:6431 [inlined] emit_function at /source/src/codegen.cpp:9717 jl_emit_code at /source/src/codegen.cpp:10056 jl_emit_codeinst at /source/src/codegen.cpp:10121 jl_emit_codeinst_to_jit_impl at /source/src/jitlayers.cpp:464 add_codeinsts_to_jit! at ./../usr/share/julia/Compiler/src/typeinfer.jl:1710 typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1717 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1725 jfptr_typeinf_ext_toplevel_2.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] jl_type_infer at /source/src/gf.c:467 jl_compile_method_internal at /source/src/gf.c:3640 _jl_invoke at /source/src/gf.c:4105 [inlined] ijl_apply_generic at /source/src/gf.c:4339 @inferred at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2536 unknown function (ip: 0x70fea45091c6) at (unknown file) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_invoke at /source/src/gf.c:4120 jl_invoke_julia_macro at /source/src/ast.c:1064 jl_expand_macros at /source/src/ast.c:1126 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1138 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1138 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1175 jl_expand_macros at /source/src/ast.c:1138 jl_fl_lower at /source/src/ast.c:1204 fl_lower at ./flfrontend.jl:24 jfptr_fl_lower_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] ijl_lower at /source/src/ast.c:1271 jl_eval_toplevel_stmts at /source/src/toplevel.c:598 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 include_string at ./loading.jl:3131 _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 _include at ./loading.jl:3191 include at ./Base.jl:324 IncludeInto at ./Base.jl:325 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:766 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 include_string at ./loading.jl:3131 _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 _include at ./loading.jl:3191 include at ./Base.jl:324 IncludeInto at ./Base.jl:325 jfptr_IncludeInto_1.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:693 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 ijl_eval_thunk at /source/src/toplevel.c:766 jl_toplevel_eval_flex at /source/src/toplevel.c:712 jl_eval_toplevel_stmts at /source/src/toplevel.c:602 jl_toplevel_eval_flex at /source/src/toplevel.c:684 ijl_toplevel_eval at /source/src/toplevel.c:780 ijl_toplevel_eval_in at /source/src/toplevel.c:825 eval at ./boot.jl:517 exec_options at ./client.jl:310 _start at ./client.jl:585 jfptr__start_0.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4113 [inlined] ijl_apply_generic at /source/src/gf.c:4339 jl_apply at /source/src/julia.h:2300 [inlined] true_main at /source/src/jlapi.c:971 jl_repl_entrypoint at /source/src/jlapi.c:1138 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x70ff2b853249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) Allocations: 749461719 (Pool: 749451166; Big: 10553); GC: 126 PkgEval terminated after 2724.03s: test duration exceeded the time limit