Package evaluation to test Pajarito on Julia 1.14.0-DEV.1262 (4060c45d70*) started at 2025-11-18T16:58:48.577 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.33s ################################################################################ # Installation # Installing Pajarito... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [2f354839] + Pajarito v0.8.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.3 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 [864edb3b] + DataStructures v0.19.3 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [f6369f11] + ForwardDiff v1.3.0 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.3.0 [0f8b85d8] + JSON3 v1.14.3 [4076af6c] + JuMP v1.29.3 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.46.0 [d8a4904e] + MutableArithmetics v1.6.7 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [2f354839] + Pajarito v0.8.2 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 [276daf66] + SpecialFunctions v2.6.1 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.0 [ec057cc2] + StructUtils v2.6.0 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.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.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 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.7+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.14s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled │ exception = │ UndefVarError: `project_rel_path` not defined in `TestEnv` │ Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value. │ Stacktrace: │ [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:75 │ [2] test_dir_has_project_file │ @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:52 [inlined] │ [3] maybe_gen_project_override! │ @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:83 [inlined] │ [4] activate(pkg::String; allow_reresolve::Bool) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:12 │ [5] activate(pkg::String) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:9 │ [6] top-level scope │ @ /PkgEval.jl/scripts/precompile.jl:24 │ [7] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [8] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:344 │ [9] _start() │ @ Base ./client.jl:577 └ @ Main /PkgEval.jl/scripts/precompile.jl:26 Precompiling package dependencies... Precompiling packages... 77294.8 ms ✓ MathOptInterface 67325.1 ms ✓ JuMP 21026.8 ms ✓ Pajarito 3 dependencies successfully precompiled in 168 seconds. 51 already precompiled. Precompilation completed after 180.78s ################################################################################ # Testing # Testing Pajarito Status `/tmp/jl_0edKcX/Project.toml` [60bf3e95] GLPK v1.2.1 [b99e6be6] Hypatia v0.9.1 [4076af6c] JuMP v1.29.3 [b8f27783] MathOptInterface v1.46.0 [2f354839] Pajarito v0.8.2 [37e2e46d] LinearAlgebra v1.13.0 [de0858da] Printf v1.11.0 [2f01184e] SparseArrays v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_0edKcX/Manifest.toml` [6e4b80f9] BenchmarkTools v1.6.3 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [861a8166] Combinatorics v1.0.3 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [864edb3b] DataStructures v0.19.3 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [9aa1b823] FastClosures v0.3.2 [1a297f60] FillArrays v1.15.0 [f6369f11] ForwardDiff v1.3.0 [60bf3e95] GLPK v1.2.1 [14197337] GenericLinearAlgebra v0.3.19 [b99e6be6] Hypatia v0.9.1 [92d709cd] IrrationalConstants v0.2.6 [42fd0dbc] IterativeSolvers v0.9.4 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.3.0 [0f8b85d8] JSON3 v1.14.3 [4076af6c] JuMP v1.29.3 ⌅ [0b1a1467] KrylovKit v0.9.5 [7a12625a] LinearMaps v3.11.4 [5c8ed15e] LinearOperators v2.11.0 [2ab3a3ac] LogExpFunctions v0.3.29 [607ca3ad] LowRankOpt v0.2.1 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.46.0 [d8a4904e] MutableArithmetics v1.6.7 [a4795742] NLPModels v0.21.5 [792afdf1] NLPModelsJuMP v0.13.3 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [65ce6f38] PackageExtensionCompat v1.0.2 [2f354839] Pajarito v0.8.2 [69de0a69] Parsers v2.8.3 [3a141323] PolynomialRoots v1.0.0 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 [3cdcf5f2] RecipesBase v1.3.4 [ae029012] Requires v1.3.1 [ff4d7338] SolverCore v0.3.8 [276daf66] SpecialFunctions v2.6.1 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [ec057cc2] StructUtils v2.6.0 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [c4a57d5a] UnsafeArrays v1.0.8 [409d34a3] VectorInterface v0.5.0 [6e34b625] Bzip2_jll v1.0.9+0 [e8aa6df9] GLPK_jll v5.0.1+1 [efe28fd5] OpenSpecFun_jll v0.5.6+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.12.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 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.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.11.0 [4607b0f0] SuiteSparse [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.16.0+0 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.11.4 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [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.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... starting Pajarito tests starting MOI tests ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 test_linear_Indicator_ON_ONE: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_Indicator_ON_ONE(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:3393 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_Indicator_ON_ZERO: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_Indicator_ON_ZERO(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:3511 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_Indicator_integration: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_Indicator_integration(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:3292 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_SOS1_integration: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_SOS1_integration(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:2855 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_SOS2_integration: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_SOS2_integration(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:2962 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 new incumbent test_solve_SOS2_add_and_delete: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS2ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS2ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS2ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS2ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_solve_SOS2_add_and_delete(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_solve.jl:1446 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:24 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 ┌ Warning: cannot step in centering direction └ @ Hypatia.Solvers ~/.julia/packages/Hypatia/O8Y4K/src/Solvers/steppers/combined.jl:111 test_linear_Indicator_ON_ONE: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_Indicator_ON_ONE(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:3393 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_Indicator_ON_ZERO: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_Indicator_ON_ZERO(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:3511 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_Indicator_integration: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_Indicator_integration(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:3292 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_SOS1_integration: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_SOS1_integration(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:2855 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 test_linear_SOS2_integration: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_linear_SOS2_integration(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_linear.jl:2962 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 new incumbent new incumbent test_solve_SOS2_add_and_delete: Error During Test at /home/pkgeval/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:264 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS2ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS2ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS2ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS2ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:461 [inlined] [6] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:462 [inlined] [7] default_copy_to(dest::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, src::MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/copy.jl:394 [8] copy_to @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:448 [inlined] [9] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:121 [inlined] [10] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [11] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [12] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [13] setup_models(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/models.jl:138 [14] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:12 [15] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [19] test_solve_SOS2_add_and_delete(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/test_solve.jl:1446 [20] macro expansion @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:270 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [22] runtests(model::MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, config::MathOptInterface.Test.Config{Float64}; include::Vector{String}, exclude::Vector{String}, warn_unsupported::Bool, verbose::Bool, exclude_tests_after::VersionNumber, test_module::Module) @ MathOptInterface.Test ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:265 [23] runtests @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Test/Test.jl:223 [inlined] [24] run_moi_tests(use_iter::Bool, solve_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:52 [25] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:27 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [29] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestMOI ~/.julia/packages/Pajarito/gSNvz/test/MOI_tests.jl:23 [30] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [32] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [34] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:36 [inlined] [35] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [36] top-level scope @ none:6 [37] eval(m::Module, e::Any) @ Core ./boot.jl:489 [38] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [39] _start() @ Base ./client.jl:577 starting JuMP tests _soc1 solving continuous relaxation continuous relaxation status is ALMOST_INFEASIBLE infeasibility detected from continuous relaxation; terminating solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 1.5708730220794678 seconds and 4 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is ALMOST_OPTIMAL 1 5 -3.0000e+00 -3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 2.0564470291137695 seconds and 5 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is ALMOST_OPTIMAL 1 5 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.06569409370422363 seconds and 5 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is ALMOST_OPTIMAL 1 5 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.06773900985717773 seconds and 5 cuts iterative method used 1 iterations _soc2 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 9 -4.4641e+00 -4.4721e+00 1.7998e-03 ┌ Warning: integral solution repeated └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:103 separation cuts could not be added new incumbent 2 9 -4.4641e+00 -4.4641e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.06919503211975098 seconds and 9 cuts iterative method used 2 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 9 -4.4721e+00 -4.4721e+00 6.0846e-09 objective relative gap 6.084614286749403e-9 reached; terminating OA solver finished with status OPTIMAL, after 0.06750917434692383 seconds and 9 cuts iterative method used 1 iterations _soc3 solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL continuous relaxation cuts could not be added separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.03445696830749512 seconds and 7 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 12 1.0000e+00 1.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.0659031867980957 seconds and 12 cuts iterative method used 1 iterations _exp1 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 7 6.2579e-07 -2.8820e-02 2.7123e+03 ┌ Warning: integral solution repeated └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:103 separation cuts could not be added new incumbent 2 7 -2.2103e-51 -2.2103e-51 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 2.8546860218048096 seconds and 7 cuts iterative method used 2 iterations solving continuous relaxation continuous relaxation status is OPTIMAL relaxation solution satisfies discrete constraints; terminating _exp2 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 7 -8.0000e+00 -8.0000e+00 2.9467e-10 objective relative gap 2.9466991991952637e-10 reached; terminating OA solver finished with status OPTIMAL, after 0.06155800819396973 seconds and 7 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is INFEASIBLE infeasibility detected from continuous relaxation; terminating _pow1 solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 6 1.5000e+00 1.4142e+00 5.7191e-02 ┌ Warning: integral solution repeated └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:103 separation cuts could not be added new incumbent 2 6 1.5000e+00 1.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 2.423552989959717 seconds and 6 cuts iterative method used 2 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 6 3.5000e+00 3.4641e+00 1.0257e-02 ┌ Warning: integral solution repeated └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:103 separation cuts could not be added new incumbent 2 6 3.5000e+00 3.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.06398987770080566 seconds and 6 cuts iterative method used 2 iterations _pow2 solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is INFEASIBLE 1 18 Inf 0.0000e+00 NaN continuous subproblem status is ALMOST_INFEASIBLE 2 21 Inf 0.0000e+00 NaN continuous subproblem status is INFEASIBLE 3 24 Inf 0.0000e+00 NaN continuous subproblem status is ALMOST_INFEASIBLE 4 27 Inf 0.0000e+00 NaN infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.08835911750793457 seconds and 27 cuts iterative method used 5 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 18 1.1250e+00 0.0000e+00 9.9999e-01 continuous subproblem status is OPTIMAL 2 21 1.1250e+00 6.0374e-06 9.9999e-01 ┌ Warning: integral solution repeated └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:103 separation cuts could not be added new incumbent 3 21 1.1250e+00 1.1250e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.07361292839050293 seconds and 21 cuts iterative method used 3 iterations _psd1 solving continuous relaxation continuous relaxation status is OPTIMAL relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is INFEASIBLE infeasibility detected from continuous relaxation; terminating _psd2 solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 15 -9.0000e+00 -9.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 4.425864934921265 seconds and 15 cuts iterative method used 1 iterations _expdesign solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 24 5.7143e-01 2.5000e-01 5.6249e-01 continuous subproblem status is OPTIMAL 2 26 3.3333e-01 2.5000e-01 2.4999e-01 continuous subproblem status is OPTIMAL 3 28 2.6667e-01 2.5000e-01 6.2498e-02 continuous subproblem status is OPTIMAL 4 30 2.5000e-01 2.5000e-01 1.0841e-07 objective relative gap 1.0841058629755464e-7 reached; terminating OA solver finished with status OPTIMAL, after 0.0732879638671875 seconds and 30 cuts iterative method used 4 iterations solving continuous relaxation continuous relaxation status is OPTIMAL relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 35 -3.3322e+00 -4.1589e+00 2.4809e-01 continuous subproblem status is OPTIMAL 2 41 -3.3322e+00 -4.1589e+00 2.4809e-01 continuous subproblem status is OPTIMAL 3 47 -4.0943e+00 -4.1589e+00 1.5771e-02 continuous subproblem status is OPTIMAL 4 53 -4.1589e+00 -4.1589e+00 2.7635e-06 objective relative gap 2.7634815700325385e-6 reached; terminating OA solver finished with status OPTIMAL, after 0.09549117088317871 seconds and 53 cuts iterative method used 4 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is OPTIMAL 1 30 -5.2915e+00 -8.0000e+00 5.1186e-01 continuous subproblem status is OPTIMAL 2 35 -7.7460e+00 -8.0000e+00 3.2796e-02 continuous subproblem status is OPTIMAL 3 40 -8.0000e+00 -8.0000e+00 1.3082e-08 objective relative gap 1.3082149835597637e-8 reached; terminating OA solver finished with status OPTIMAL, after 0.08064484596252441 seconds and 40 cuts iterative method used 3 iterations _specialorderedset _soc1_ncuts ====================================================================================== 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 unknown function (ip: 0x76c4f50a4d40) at /lib/x86_64-linux-gnu/libc.so.6 malloc at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) _ZN4llvm15SmallVectorBaseIjE8grow_podEPvmm at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm16InstCombinerImpl15prepareWorklistERNS_8FunctionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZL31combineInstructionsOverFunctionRN4llvm8FunctionERNS_19InstructionWorklistEPNS_9AAResultsERNS_15AssumptionCacheERNS_17TargetLibraryInfoERNS_19TargetTransformInfoERNS_13DominatorTreeERNS_25OptimizationRemarkEmitterEPNS_18BlockFrequencyInfoEPNS_21BranchProbabilityInfoEPNS_18ProfileSummaryInfoERKNS_18InstCombineOptionsE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm15InstCombinePass3runERNS_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:787 operator() at /source/src/jitlayers.cpp:1508 withModuleDo<(anonymous namespace)::sizedOptimizerT::operator()(llvm::orc::ThreadSafeModule) [with long unsigned int N = 4]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:136 [inlined] operator() at /source/src/jitlayers.cpp:1469 [inlined] operator() at /source/src/jitlayers.cpp:1644 [inlined] addModule at /source/src/jitlayers.cpp:2101 jl_compile_codeinst_now at /source/src/jitlayers.cpp:682 jl_compile_codeinst_impl at /source/src/jitlayers.cpp:876 jl_compile_method_internal at /source/src/gf.c:3648 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4313 macro expansion at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:69 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:2042 [inlined] run_jump_tests at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:67 macro expansion at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:18 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] macro expansion at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:18 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] runtests at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:17 unknown function (ip: 0x76c4c3bdd406) at (unknown file) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [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:679 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:742 jl_eval_toplevel_stmts at /source/src/toplevel.c:585 jl_toplevel_eval_flex at /source/src/toplevel.c:683 ijl_toplevel_eval at /source/src/toplevel.c:754 ijl_toplevel_eval_in at /source/src/toplevel.c:799 eval at ./boot.jl:489 include_string at ./loading.jl:3000 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3060 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_44862.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [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:679 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:742 jl_eval_toplevel_stmts at /source/src/toplevel.c:585 jl_toplevel_eval_flex at /source/src/toplevel.c:683 ijl_toplevel_eval at /source/src/toplevel.c:754 ijl_toplevel_eval_in at /source/src/toplevel.c:799 eval at ./boot.jl:489 exec_options at ./client.jl:310 _start at ./client.jl:577 jfptr__start_69940.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [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: 0x76c4f5034249) 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 ============================================================== solving continuous relaxation ┌ 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 0x000076c4daffc010 Total snapshots: 1. Utilization: 100% ╎1 @Base/client.jl:577 _start() ╎ 1 @Base/client.jl:310 exec_options(opts::Base.JLOptions) ╎ 1 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ 1 @Base/Base.jl:311 (::Base.IncludeInto)(fname::String) ╎ 1 @Base/Base.jl:310 include(mapexpr::Function, mod::Module, _path::Strin… ╎ 1 @Base/loading.jl:3060 _include(mapexpr::Function, mod::Module, _path:… ╎ ╎ 1 @Base/loading.jl:3000 include_string(mapexpr::typeof(identity), mod:… ╎ ╎ 1 @Base/boot.jl:489 eval(m::Module, e::Any) ╎ ╎ 1 @Pajarito/…MP_tests.jl:17 runtests(oa_solver::MathOptInterface.Opt… ╎ ╎ 1 @Test/src/Test.jl:1961 macro expansion ╎ ╎ 1 @Pajarito/…P_tests.jl:18 macro expansion ╎ ╎ ╎ 1 @Test/src/Test.jl:1961 macro expansion ╎ ╎ ╎ 1 @Pajarito/…_tests.jl:18 macro expansion ╎ ╎ ╎ 1 @Pajarito/…_tests.jl:67 run_jump_tests(use_iter::Bool, solve_… ╎ ╎ ╎ 1 @Test/src/Test.jl:2042 macro expansion ╎ ╎ ╎ 1 @Pajarito/…tests.jl:69 macro expansion continuous relaxation status is ALMOST_INFEASIBLE infeasibility detected from continuous relaxation; terminating solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.03232121467590332 seconds and 4 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is ALMOST_OPTIMAL 1 5 -3.0000e+00 -3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.0572819709777832 seconds and 5 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is ALMOST_OPTIMAL 1 5 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.05579495429992676 seconds and 5 cuts iterative method used 1 iterations solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality iter cuts obj bound gap continuous subproblem status is ALMOST_OPTIMAL 1 5 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.05486011505126953 seconds and 5 cuts iterative method used 1 iterations _soc1 solving continuous relaxation continuous relaxation status is ALMOST_INFEASIBLE infeasibility detected from continuous relaxation; terminating solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.031090974807739258 seconds and 4 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is ALMOST_OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.1192011833190918 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is ALMOST_OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.05417990684509277 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is ALMOST_OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.053932905197143555 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks _soc2 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL cached subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.09204816818237305 seconds and 9 cuts one tree method used 3 lazy callbacks and 1 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added cached subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.05635190010070801 seconds and 24 cuts one tree method used 10 lazy callbacks and 0 heuristic callbacks _soc3 solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL continuous relaxation cuts could not be added separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.029489994049072266 seconds and 7 cuts one tree method used 7 lazy callbacks and 7 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.26618504524230957 seconds and 10 cuts one tree method used 4 lazy callbacks and 3 heuristic callbacks _exp1 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL cached subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.061673879623413086 seconds and 7 cuts one tree method used 3 lazy callbacks and 1 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL relaxation solution satisfies discrete constraints; terminating _exp2 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.061409950256347656 seconds and 6 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is INFEASIBLE infeasibility detected from continuous relaxation; terminating _pow1 solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating ====================================================================================== 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 solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL cached subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.15300822257995605 seconds and 6 cuts one tree method used 3 lazy callbacks and 1 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL cached subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.1357870101928711 seconds and 6 cuts one tree method used 3 lazy callbacks and 1 heuristic callbacks _pow2 solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality starting one tree method wait at ./task.jl:1246 wait_forever at ./task.jl:1168 jfptr_wait_forever_41114.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [inlined] start_task at /source/src/task.c:1272 unknown function (ip: (nil)) at (unknown file) continuous subproblem status is INFEASIBLE continuous subproblem status is ALMOST_INFEASIBLE OA solver finished with status INFEASIBLE, after 0.13515710830688477 seconds and 21 cuts one tree method used 9 lazy callbacks and 7 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL cached subproblem cuts could not be added separation cuts could not be added new incumbent continuous subproblem status is OPTIMAL ============================================================== Profile collected. A report will print at the next yield point. Disabling --trace-compile ============================================================== heuristic cb status was: HEURISTIC_SOLUTION_REJECTED continuous subproblem status is OPTIMAL continuous subproblem status is OPTIMAL continuous subproblem status is OPTIMAL continuous subproblem status is OPTIMAL continuous subproblem status is OPTIMAL continuous subproblem status is OPTIMAL OA solver finished with status OPTIMAL, after 1.4970850944519043 seconds and 39 cuts one tree method used 16 lazy callbacks and 7 heuristic callbacks _psd1 solving continuous relaxation continuous relaxation status is OPTIMAL relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is INFEASIBLE infeasibility detected from continuous relaxation; terminating _psd2 solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method ┌ Warning: taking OA solver solution, which may be infeasible └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:261 new incumbent OA solver finished with status OPTIMAL, after 0.08216595649719238 seconds and 12 cuts one tree method used 2 lazy callbacks and 2 heuristic callbacks _expdesign solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.24343204498291016 seconds and 26 cuts one tree method used 7 lazy callbacks and 3 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.18342304229736328 seconds and 34 cuts one tree method used 5 lazy callbacks and 2 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL heuristic cb status was: HEURISTIC_SOLUTION_ACCEPTED continuous subproblem status is OPTIMAL subproblem cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.17062997817993164 seconds and 29 cuts one tree method used 5 lazy callbacks and 2 heuristic callbacks _specialorderedset _soc1_ncuts ┌ 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 0x000072659cc01b40 Total snapshots: 418. Utilization: 0% ╎418 @Base/task.jl:1168 wait_forever() 417╎ 418 @Base/task.jl:1246 wait() solving continuous relaxation continuous relaxation status is ALMOST_INFEASIBLE infeasibility detected from continuous relaxation; terminating solving continuous relaxation continuous relaxation status is OPTIMAL problem is continuous; terminating relaxation solution satisfies discrete constraints; terminating solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.03565096855163574 seconds and 4 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is ALMOST_OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.06508898735046387 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is ALMOST_OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.06517815589904785 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks solving continuous relaxation continuous relaxation status is ALMOST_OPTIMAL separated 0 rays before imposing integrality starting one tree method continuous subproblem status is ALMOST_OPTIMAL subproblem cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.06351113319396973 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks _soc1 separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.014308929443359375 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 -3.5000e+00 -3.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.004109859466552734 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.008153200149536133 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 -3.0000e+00 -3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.008578062057495117 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.009695053100585938 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.008533954620361328 seconds and 3 cuts iterative method used 1 iterations _soc2 separated 0 rays before imposing integrality iter cuts obj bound gap 1 6 Inf -5.0000e+00 NaN 2 8 Inf -4.5056e+00 NaN 3 10 Inf -4.4642e+00 NaN separation cuts could not be added new incumbent 4 10 -4.4641e+00 -4.4641e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.017333984375 seconds and 10 cuts iterative method used 4 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 6 Inf -5.0000e+00 NaN 2 8 Inf -4.5528e+00 NaN 3 10 Inf -4.5106e+00 NaN 4 12 Inf -4.4813e+00 NaN 5 14 Inf -4.4747e+00 NaN 6 16 Inf -4.4725e+00 NaN 7 18 Inf -4.4723e+00 NaN 8 20 Inf -4.4722e+00 NaN 9 22 Inf -4.4721e+00 NaN 10 23 Inf -4.4721e+00 NaN 11 25 Inf -4.4721e+00 NaN separation cuts could not be added new incumbent 12 25 -4.4721e+00 -4.4721e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.013890981674194336 seconds and 25 cuts iterative method used 12 iterations _soc3 separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.017006874084472656 seconds and 7 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 10 Inf 0.0000e+00 NaN separation cuts could not be added new incumbent 2 10 1.0000e+00 1.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.00993800163269043 seconds and 10 cuts iterative method used 2 iterations _exp1 separated 0 rays before imposing integrality iter cuts obj bound gap 1 6 Inf -5.0000e-01 NaN 2 7 Inf -5.0000e-01 NaN 3 8 Inf -5.0000e-01 NaN 4 9 Inf -5.0000e-01 NaN 5 10 Inf -5.0000e-01 NaN 6 11 Inf -5.0000e-01 NaN 7 12 Inf -5.0000e-01 NaN 8 13 Inf -5.0000e-01 NaN 9 14 Inf -3.9062e-01 NaN 10 15 Inf -1.9531e-01 NaN 11 16 Inf -9.7656e-02 NaN 12 17 Inf -4.8828e-02 NaN 13 18 Inf -2.4414e-02 NaN 14 19 Inf -1.2207e-02 NaN 15 20 Inf -6.1035e-03 NaN 16 21 Inf -3.0518e-03 NaN 17 22 Inf -1.5259e-03 NaN 18 23 Inf -7.6294e-04 NaN 19 24 Inf -3.8147e-04 NaN 20 25 Inf -1.9073e-04 NaN 21 26 Inf -9.5367e-05 NaN 22 27 Inf -4.7684e-05 NaN 23 28 Inf -2.3842e-05 NaN 24 29 Inf -1.1921e-05 NaN 25 30 Inf -5.9605e-06 NaN 26 31 Inf -2.9802e-06 NaN 27 32 Inf -1.4901e-06 NaN 28 33 Inf -7.4506e-07 NaN 29 34 Inf -3.7253e-07 NaN separation cuts could not be added new incumbent 30 34 -1.8626e-07 -1.8626e-07 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.02315998077392578 seconds and 34 cuts iterative method used 30 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 5 0.0000e+00 0.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.008726119995117188 seconds and 5 cuts iterative method used 1 iterations _exp2 separated 0 rays before imposing integrality iter cuts obj bound gap 1 6 Inf -9.5000e+00 NaN separation cuts could not be added new incumbent 2 6 -8.0000e+00 -8.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.015470027923583984 seconds and 6 cuts iterative method used 2 iterations separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.008476972579956055 seconds and 5 cuts iterative method used 1 iterations _pow1 separated 0 rays before imposing integrality iter cuts obj bound gap 1 5 Inf 1.0000e+00 NaN 2 6 Inf 1.0001e+00 NaN 3 7 Inf 1.0099e+00 NaN 4 8 Inf 1.0909e+00 NaN 5 9 Inf 1.2403e+00 NaN 6 10 Inf 1.3599e+00 NaN 7 11 Inf 1.4048e+00 NaN 8 12 Inf 1.4107e+00 NaN 9 13 Inf 1.4137e+00 NaN 10 14 Inf 1.4140e+00 NaN 11 15 Inf 1.4142e+00 NaN 12 16 Inf 1.4142e+00 NaN 13 17 Inf 1.4142e+00 NaN 14 18 Inf 1.4142e+00 NaN separation cuts could not be added new incumbent 15 18 1.4142e+00 1.4142e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.016571998596191406 seconds and 18 cuts iterative method used 15 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 5 Inf 1.0000e+00 NaN 2 6 Inf 1.0002e+00 NaN 3 7 Inf 1.0198e+00 NaN 4 8 Inf 1.1792e+00 NaN 5 9 Inf 1.4195e+00 NaN 6 10 Inf 1.4965e+00 NaN 7 11 Inf 1.5000e+00 NaN separation cuts could not be added new incumbent 8 11 1.5000e+00 1.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.010540962219238281 seconds and 11 cuts iterative method used 8 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 5 Inf 2.0000e+00 NaN 2 6 Inf 2.0004e+00 NaN 3 7 Inf 2.0500e+00 NaN 4 8 Inf 2.4978e+00 NaN 5 9 Inf 3.2305e+00 NaN 6 10 Inf 3.4867e+00 NaN 7 11 Inf 3.5000e+00 NaN separation cuts could not be added new incumbent 8 11 3.5000e+00 3.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.01009988784790039 seconds and 11 cuts iterative method used 8 iterations _pow2 separated 0 rays before imposing integrality iter cuts obj bound gap 1 15 Inf 0.0000e+00 NaN 2 18 Inf 0.0000e+00 NaN 3 21 Inf 0.0000e+00 NaN 4 24 Inf 0.0000e+00 NaN 5 27 Inf 0.0000e+00 NaN 6 30 Inf 0.0000e+00 NaN 7 33 Inf 0.0000e+00 NaN 8 36 Inf 0.0000e+00 NaN 9 37 Inf 0.0000e+00 NaN 10 38 Inf 0.0000e+00 NaN 11 39 Inf 0.0000e+00 NaN 12 41 Inf 0.0000e+00 NaN 13 43 Inf 0.0000e+00 NaN 14 44 Inf 0.0000e+00 NaN 15 45 Inf 0.0000e+00 NaN 16 46 Inf 0.0000e+00 NaN 17 48 Inf 0.0000e+00 NaN 18 49 Inf 0.0000e+00 NaN 19 50 Inf 0.0000e+00 NaN 20 51 Inf 0.0000e+00 NaN 21 52 Inf 0.0000e+00 NaN 22 53 Inf 0.0000e+00 NaN infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.024288177490234375 seconds and 53 cuts iterative method used 23 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 15 Inf 0.0000e+00 NaN 2 18 Inf 0.0000e+00 NaN 3 21 Inf 6.2481e-05 NaN 4 24 Inf 6.2481e-05 NaN 5 27 Inf 4.7880e-03 NaN 6 30 Inf 4.7880e-03 NaN 7 33 Inf 7.9059e-02 NaN 8 36 Inf 7.9059e-02 NaN 9 39 Inf 4.1662e-01 NaN 10 42 Inf 4.1662e-01 NaN 11 45 Inf 9.0723e-01 NaN 12 48 Inf 9.0723e-01 NaN 13 51 Inf 1.1096e+00 NaN 14 54 Inf 1.1096e+00 NaN 15 57 Inf 1.1249e+00 NaN 16 60 Inf 1.1249e+00 NaN separation cuts could not be added new incumbent 17 60 1.1250e+00 1.1250e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.02138686180114746 seconds and 60 cuts iterative method used 17 iterations _psd1 separated 0 rays before imposing integrality iter cuts obj bound gap 1 9 Inf -8.0000e+00 NaN 2 10 Inf -7.5147e+00 NaN 3 11 Inf -7.5000e+00 NaN separation cuts could not be added new incumbent 4 11 -7.5000e+00 -7.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.015410184860229492 seconds and 11 cuts iterative method used 4 iterations separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.008059978485107422 seconds and 8 cuts iterative method used 1 iterations _psd2 separated 0 rays before imposing integrality iter cuts obj bound gap 1 10 Inf -2.4000e+01 NaN 2 11 Inf -2.1041e+01 NaN 3 12 Inf -1.9872e+01 NaN 4 13 Inf -1.9261e+01 NaN 5 15 Inf -1.9221e+01 NaN 6 16 Inf -1.8935e+01 NaN 7 17 Inf -1.8908e+01 NaN 8 19 Inf -1.8851e+01 NaN 9 20 Inf -1.8835e+01 NaN 10 22 Inf -1.8833e+01 NaN 11 23 Inf -1.8832e+01 NaN 12 25 Inf -1.8831e+01 NaN 13 26 Inf -1.8831e+01 NaN 14 27 Inf -1.8830e+01 NaN 15 28 Inf -1.8830e+01 NaN 16 30 Inf -1.8830e+01 NaN 17 31 Inf -1.8830e+01 NaN 18 32 Inf -1.8830e+01 NaN 19 34 Inf -1.8830e+01 NaN 20 35 Inf -1.8830e+01 NaN separation cuts could not be added new incumbent 21 35 -1.8830e+01 -1.8830e+01 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.014499902725219727 seconds and 35 cuts iterative method used 21 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 9 -9.0000e+00 -9.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.009234905242919922 seconds and 9 cuts iterative method used 1 iterations _expdesign separated 0 rays before imposing integrality iter cuts obj bound gap 1 20 Inf 0.0000e+00 NaN 2 22 Inf 0.0000e+00 NaN 3 24 Inf 0.0000e+00 NaN 4 26 Inf 7.5745e-02 NaN 5 28 Inf 1.9847e-01 NaN 6 30 Inf 2.3239e-01 NaN 7 32 Inf 2.5000e-01 NaN separation cuts could not be added new incumbent 8 32 2.5000e-01 2.5000e-01 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.018665075302124023 seconds and 32 cuts iterative method used 8 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 4 -8.0000e+00 -8.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.013728857040405273 seconds and 4 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 29 Inf -1.1832e+01 NaN 2 30 Inf -4.1589e+00 NaN 3 31 Inf -4.1589e+00 NaN 4 32 Inf -4.1589e+00 NaN 5 33 Inf -4.1589e+00 NaN 6 34 Inf -4.1589e+00 NaN 7 35 Inf -4.1589e+00 NaN separation cuts could not be added new incumbent 8 35 -4.1589e+00 -4.1589e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.018252134323120117 seconds and 35 cuts iterative method used 8 iterations separated 0 rays before imposing integrality iter cuts obj bound gap 1 21 Inf -8.0000e+00 NaN 2 22 Inf -8.0000e+00 NaN 3 23 Inf -8.0000e+00 NaN 4 24 Inf -8.0000e+00 NaN 5 25 Inf -8.0000e+00 NaN 6 26 Inf -8.0000e+00 NaN 7 27 Inf -8.0000e+00 NaN separation cuts could not be added new incumbent 8 27 -8.0000e+00 -8.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.01746082305908203 seconds and 27 cuts iterative method used 8 iterations _specialorderedset separated 0 rays before imposing integrality iter cuts obj bound gap _specialorderedset: Error During Test at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:67 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:366 [inlined] [6] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [7] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:379 [8] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [9] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [10] run_iterative_method(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:68 [11] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:52 [12] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [13] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [14] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [15] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [19] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [20] _specialorderedset(opt::MathOptInterface.OptimizerWithAttributes) @ Main.TestJuMP ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:462 [21] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:69 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2042 [inlined] [23] run_jump_tests(use_iter::Bool, solve_relax_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestJuMP ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:67 [24] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:26 [inlined] [25] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [26] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:26 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [28] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestJuMP ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:25 [29] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [31] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:42 [inlined] [32] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [33] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:42 [inlined] [34] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [35] top-level scope @ none:6 [36] eval(m::Module, e::Any) @ Core ./boot.jl:489 [37] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [38] _start() @ Base ./client.jl:577 _soc1_ncuts separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.013905048370361328 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 -3.5000e+00 -3.5000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.0035581588745117188 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap infeasibility detected while iterating; terminating OA solver finished with status INFEASIBLE, after 0.008175134658813477 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 -3.0000e+00 -3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.009217977523803711 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.009165048599243164 seconds and 3 cuts iterative method used 1 iterations separated 0 rays before imposing integrality iter cuts obj bound gap separation cuts could not be added new incumbent 1 3 3.0000e+00 3.0000e+00 0.0000e+00 objective relative gap 0.0 reached; terminating OA solver finished with status OPTIMAL, after 0.008499860763549805 seconds and 3 cuts iterative method used 1 iterations _soc1 separated 0 rays before imposing integrality starting one tree method model has no discrete variables, so adding a dummy integer variable OA solver finished with status INFEASIBLE, after 1.0495219230651855 seconds and 3 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method model has no discrete variables, so adding a dummy integer variable separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.003351926803588867 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.008898019790649414 seconds and 3 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.008026838302612305 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.008274078369140625 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.007581949234008789 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks _soc2 separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.01557612419128418 seconds and 29 cuts one tree method used 15 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.009755134582519531 seconds and 27 cuts one tree method used 13 lazy callbacks and 0 heuristic callbacks _soc3 separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added separation cuts could not be added OA solver finished with status INFEASIBLE, after 0.013889074325561523 seconds and 19 cuts one tree method used 7 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.011423110961914062 seconds and 55 cuts one tree method used 23 lazy callbacks and 0 heuristic callbacks _exp1 separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.017597198486328125 seconds and 33 cuts one tree method used 30 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.007875919342041016 seconds and 5 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks _exp2 separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.01538991928100586 seconds and 6 cuts one tree method used 2 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.007472038269042969 seconds and 5 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks _pow1 separated 0 rays before imposing integrality starting one tree method model has no discrete variables, so adding a dummy integer variable separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.011549949645996094 seconds and 18 cuts one tree method used 15 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.011096954345703125 seconds and 46 cuts one tree method used 45 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.007682085037231445 seconds and 21 cuts one tree method used 19 lazy callbacks and 0 heuristic callbacks _pow2 separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added separation cuts could not be added separation cuts could not be added separation cuts could not be added separation cuts could not be added separation cuts could not be added OA solver finished with status INFEASIBLE, after 0.02426886558532715 seconds and 113 cuts one tree method used 90 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added separation cuts could not be added separation cuts could not be added new incumbent separation cuts could not be added separation cuts could not be added separation cuts could not be added separation cuts could not be added OA solver finished with status OPTIMAL, after 0.01939105987548828 seconds and 120 cuts one tree method used 114 lazy callbacks and 0 heuristic callbacks _psd1 separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.01347208023071289 seconds and 11 cuts one tree method used 4 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.0053861141204833984 seconds and 8 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks _psd2 separated 0 rays before imposing integrality starting one tree method model has no discrete variables, so adding a dummy integer variable separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.10536003112792969 seconds and 35 cuts one tree method used 21 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added separation cuts could not be added ┌ Warning: taking OA solver solution, which may be infeasible └ @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:261 new incumbent OA solver finished with status OPTIMAL, after 0.012151002883911133 seconds and 48 cuts one tree method used 36 lazy callbacks and 0 heuristic callbacks _expdesign separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.01359105110168457 seconds and 46 cuts one tree method used 16 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.011483907699584961 seconds and 4 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.017305850982666016 seconds and 51 cuts one tree method used 25 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.01617884635925293 seconds and 43 cuts one tree method used 25 lazy callbacks and 0 heuristic callbacks _specialorderedset separated 0 rays before imposing integrality starting one tree method _specialorderedset: Error During Test at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:67 Got exception outside of a @test MathOptInterface.Bridges.BridgeRequiresFiniteDomainError{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, MathOptInterface.VariableIndex}: There was an error reformulating your model into a form supported by the solver because one of the bridges requires that all variables have a finite domain. To fix this error, add a lower and upper bound to all variables in your model. If you have double checked that all variables have finite bounds and you are still encountering this issue, please open a GitHub issue at https://github.com/jump-dev/MathOptInterface.jl ## Common mistakes A common mistake is to add the variable bounds as affine constraints. For example, if you are using JuMP, do not use `@constraint` to add variable bounds: ```julia using JuMP model = Model() @variable(model, x) @constraint(model, x >= 0) @constraint(model, x <= 1) ``` do instead: ```julia using JuMP model = Model() @variable(model, 0 <= x <= 1) ``` ## Large bound values Do not add arbitrarily large variable bounds to fix this error. Doing so will likely result in a reformulation that takes a long time to build and solve. Use domain knowledge to find the tightest valid bounds. Alternatively, use a solver that has native support for the constraint types you are using so that you do not need to use the bridging system. Stacktrace: [1] final_touch(bridge::MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/bridges/SOS1ToMILPBridge.jl:206 [2] _final_touch(bridges::OrderedCollections.OrderedSet{MathOptInterface.Bridges.Constraint.SOS1ToMILPBridge{Float64, MathOptInterface.VectorOfVariables}}, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:340 [3] final_touch(map::MathOptInterface.Bridges.Constraint.Map, model::MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}) @ MathOptInterface.Bridges.Constraint ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/Constraint/map.jl:347 [4] final_touch @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:456 [inlined] [5] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:366 [inlined] [6] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [7] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{GLPK.Optimizer}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:379 [8] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [9] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [10] run_one_tree_method(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:251 [11] optimize(opt::Pajarito.Optimizer) @ Pajarito ~/.julia/packages/Pajarito/gSNvz/src/algorithms.jl:56 [12] optimize! @ ~/.julia/packages/Pajarito/gSNvz/src/MOI_wrapper.jl:109 [inlined] [13] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [14] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [15] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/Bridges/bridge_optimizer.jl:367 [inlined] [16] optimize! @ ~/.julia/packages/MathOptInterface/tVdNJ/src/MathOptInterface.jl:122 [inlined] [17] optimize!(m::MathOptInterface.Utilities.CachingOptimizer{MathOptInterface.Bridges.LazyBridgeOptimizer{MathOptInterface.Utilities.CachingOptimizer{Pajarito.Optimizer, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}}, MathOptInterface.Utilities.UniversalFallback{MathOptInterface.Utilities.Model{Float64}}}) @ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/tVdNJ/src/Utilities/cachingoptimizer.jl:370 [18] optimize!(model::JuMP.Model; ignore_optimize_hook::Bool, _differentiation_backend::MathOptInterface.Nonlinear.SparseReverseMode, kwargs::@Kwargs{}) @ JuMP ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:609 [19] optimize! @ ~/.julia/packages/JuMP/e83v9/src/optimizer_interface.jl:560 [inlined] [20] _specialorderedset(opt::MathOptInterface.OptimizerWithAttributes) @ Main.TestJuMP ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:462 [21] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:69 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2042 [inlined] [23] run_jump_tests(use_iter::Bool, solve_relax_subp::Bool, oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestJuMP ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:67 [24] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:29 [inlined] [25] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [26] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:29 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [28] runtests(oa_solver::MathOptInterface.OptimizerWithAttributes, conic_solver::MathOptInterface.OptimizerWithAttributes) @ Main.TestJuMP ~/.julia/packages/Pajarito/gSNvz/test/JuMP_tests.jl:25 [29] top-level scope @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:33 [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [31] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:42 [inlined] [32] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [33] macro expansion @ ~/.julia/packages/Pajarito/gSNvz/test/runtests.jl:42 [inlined] [34] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [35] top-level scope @ none:6 [36] eval(m::Module, e::Any) @ Core ./boot.jl:489 [37] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [38] _start() @ Base ./client.jl:577 _soc1_ncuts separated 0 rays before imposing integrality starting one tree method model has no discrete variables, so adding a dummy integer variable OA solver finished with status INFEASIBLE, after 0.010352134704589844 seconds and 3 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method model has no discrete variables, so adding a dummy integer variable separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.002499818801879883 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method OA solver finished with status INFEASIBLE, after 0.0048711299896240234 seconds and 3 cuts one tree method used 0 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.005434989929199219 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.006721019744873047 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks separated 0 rays before imposing integrality starting one tree method separation cuts could not be added new incumbent OA solver finished with status OPTIMAL, after 0.007279872894287109 seconds and 3 cuts one tree method used 1 lazy callbacks and 0 heuristic callbacks starting CBF tests [1] signal 15: Terminated in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 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_41114.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [inlined] start_task at /source/src/task.c:1272 unknown function (ip: (nil)) at (unknown file) Allocations: 22580901 (Pool: 22580270; Big: 631); GC: 19 [25] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/Pajarito/gSNvz/test/runtests.jl:32 _ZNK4llvm16AttributeSetNode17findEnumAttributeENS_9Attribute8AttrKindE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZNK4llvm13AttributeList17getParamAlignmentEj at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZNK4llvm5Value19getPointerAlignmentERKNS_10DataLayoutE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm23MemoryDependenceResults30getSimplePointerDependencyFromERKNS_14MemoryLocationEbNS_21ilist_iterator_w_bitsINS_12ilist_detail12node_optionsINS_11InstructionELb1ELb0EvLb1ENS_10BasicBlockEEELb0ELb0EEEPS8_PS7_PjRNS_14BatchAAResultsE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm23MemoryDependenceResults24getPointerDependencyFromERKNS_14MemoryLocationEbNS_21ilist_iterator_w_bitsINS_12ilist_detail12node_optionsINS_11InstructionELb1ELb0EvLb1ENS_10BasicBlockEEELb0ELb0EEEPS8_PS7_PjRNS_14BatchAAResultsE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm23MemoryDependenceResults23getNonLocalInfoForBlockEPNS_11InstructionERKNS_14MemoryLocationEbPNS_10BasicBlockEPSt6vectorINS_16NonLocalDepEntryESaIS9_EEjRNS_14BatchAAResultsE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm23MemoryDependenceResults27getNonLocalPointerDepFromBBEPNS_11InstructionERKNS_12PHITransAddrERKNS_14MemoryLocationEbPNS_10BasicBlockERNS_15SmallVectorImplINS_17NonLocalDepResultEEERNS_13SmallDenseMapISA_PNS_5ValueELj16ENS_12DenseMapInfoISA_vEENS_6detail12DenseMapPairISA_SH_EEEEbb at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm23MemoryDependenceResults28getNonLocalPointerDependencyEPNS_11InstructionERNS_15SmallVectorImplINS_17NonLocalDepResultEEE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm7GVNPass19processNonLocalLoadEPNS_8LoadInstE.part.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm7GVNPass18processInstructionEPNS_11InstructionE.part.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm7GVNPass12processBlockEPNS_10BasicBlockE.part.0 at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm7GVNPass17iterateOnFunctionERNS_8FunctionE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm7GVNPass7runImplERNS_8FunctionERNS_15AssumptionCacheERNS_13DominatorTreeERKNS_17TargetLibraryInfoERNS_9AAResultsEPNS_23MemoryDependenceResultsERNS_8LoopInfoEPNS_25OptimizationRemarkEmitterEPNS_9MemorySSAE at /opt/julia/bin/../lib/julia/libLLVM.so.20.1jl (unknown line) _ZN4llvm7GVNPass3runERNS_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:787 operator() at /source/src/jitlayers.cpp:1508 withModuleDo<(anonymous namespace)::sizedOptimizerT::operator()(llvm::orc::ThreadSafeModule) [with long unsigned int N = 4]:: > at /source/usr/include/llvm/ExecutionEngine/Orc/ThreadSafeModule.h:136 [inlined] operator() at /source/src/jitlayers.cpp:1469 [inlined] operator() at /source/src/jitlayers.cpp:1644 [inlined] addModule at /source/src/jitlayers.cpp:2101 jl_compile_codeinst_now at /source/src/jitlayers.cpp:682 jl_compile_codeinst_impl at /source/src/jitlayers.cpp:876 jl_compile_method_internal at /source/src/gf.c:3648 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4313 inferiterate at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1695 jfptr_inferiterate_81514.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 doworkloop at ./../usr/share/julia/Compiler/src/inferencestate.jl:1206 jfptr_doworkloop_50128.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 typeinf at ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4486 typeinf_ext at ./../usr/share/julia/Compiler/src/typeinfer.jl:1527 typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1704 [inlined] typeinf_ext_toplevel at ./../usr/share/julia/Compiler/src/typeinfer.jl:1713 jfptr_typeinf_ext_toplevel_87781.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [inlined] jl_type_infer at /source/src/gf.c:463 jl_compile_method_internal at /source/src/gf.c:3636 _jl_invoke at /source/src/gf.c:4108 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [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:679 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:550 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 eval_body at /source/src/interpreter.c:558 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:742 jl_eval_toplevel_stmts at /source/src/toplevel.c:585 jl_toplevel_eval_flex at /source/src/toplevel.c:683 ijl_toplevel_eval at /source/src/toplevel.c:754 ijl_toplevel_eval_in at /source/src/toplevel.c:799 eval at ./boot.jl:489 include_string at ./loading.jl:3000 _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 _include at ./loading.jl:3060 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_44862.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [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:679 jl_interpret_toplevel_thunk at /source/src/interpreter.c:884 jl_toplevel_eval_flex at /source/src/toplevel.c:742 jl_eval_toplevel_stmts at /source/src/toplevel.c:585 jl_toplevel_eval_flex at /source/src/toplevel.c:683 ijl_toplevel_eval at /source/src/toplevel.c:754 ijl_toplevel_eval_in at /source/src/toplevel.c:799 eval at ./boot.jl:489 exec_options at ./client.jl:310 _start at ./client.jl:577 jfptr__start_69940.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:4116 [inlined] ijl_apply_generic at /source/src/gf.c:4313 jl_apply at /source/src/julia.h:2284 [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: 0x76c4f5034249) 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: 1186729483 (Pool: 1186679827; Big: 49656); GC: 157 PkgEval terminated after 2725.18s: test duration exceeded the time limit