Package evaluation of Alpine on Julia 1.13.0-DEV.464 (abc56fde89*) started at 2025-05-01T18:29:47.095 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... ┌ Warning: could not download https://pkg.julialang.org/registries │ exception = RequestError: HTTP/2 301 (Connection timed out after 30005 milliseconds) while requesting https://pkg.julialang.org/registries └ @ Pkg.Registry /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Registry/Registry.jl:77 Set-up completed after 6.85s ################################################################################ # Installation # Installing Alpine... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [07493b3f] + Alpine v0.5.7 Updating `~/.julia/environments/v1.13/Manifest.toml` [07493b3f] + Alpine v0.5.7 [6e4b80f9] + BenchmarkTools v1.6.0 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [861a8166] + Combinatorics v1.0.2 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.16.0 [864edb3b] + DataStructures v0.18.22 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.4 [f6369f11] + ForwardDiff v1.0.1 [92d709cd] + IrrationalConstants v0.2.4 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.2 [4076af6c] + JuMP v1.25.0 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.39.0 [d8a4904e] + MutableArithmetics v1.6.4 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.0 [69de0a69] + Parsers v2.8.3 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [856f2bd8] + StructTypes v1.11.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.12.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 v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.12.0+0 Installation completed after 4.22s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 51.01s ################################################################################ # Testing # Testing Alpine Status `/tmp/jl_9WnVmY/Project.toml` [07493b3f] Alpine v0.5.7 [861a8166] Combinatorics v1.0.2 [87dc4568] HiGHS v1.16.0 [b6b21f68] Ipopt v1.10.2 [4076af6c] JuMP v1.25.0 [2ddba703] Juniper v0.9.3 [b8f27783] MathOptInterface v1.39.0 [cd433a01] Pavito v0.3.9 [10745b16] Statistics v1.11.1 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_9WnVmY/Manifest.toml` [07493b3f] Alpine v0.5.7 [6e4b80f9] BenchmarkTools v1.6.0 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [861a8166] Combinatorics v1.0.2 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.16.0 [864edb3b] DataStructures v0.18.22 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.4 [f6369f11] ForwardDiff v1.0.1 [87dc4568] HiGHS v1.16.0 [b6b21f68] Ipopt v1.10.2 [92d709cd] IrrationalConstants v0.2.4 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.2 [4076af6c] JuMP v1.25.0 [2ddba703] Juniper v0.9.3 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.39.0 [d8a4904e] MutableArithmetics v1.6.4 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.3 [cd433a01] Pavito v0.3.9 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [856f2bd8] StructTypes v1.11.0 [3bb67fe8] TranscodingStreams v0.11.3 [ae81ac8f] ASL_jll v0.1.3+0 [6e34b625] Bzip2_jll v1.0.9+0 [8fd58aa0] HiGHS_jll v1.10.0+0 [e33a78d0] Hwloc_jll v2.12.0+0 [9cc047cb] Ipopt_jll v300.1400.1700+0 [d00139f3] METIS_jll v5.1.3+0 [d7ed1dd3] MUMPS_seq_jll v500.700.301+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 ⌅ [319450e9] SPRAL_jll v2024.5.8+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed 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 v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.12.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [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 [deac9b47] LibCURL_jll v8.12.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.0.16+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Precompiling packages... 1560.8 ms ✓ HiGHS_jll 38615.6 ms ✓ HiGHS 2 dependencies successfully precompiled in 40 seconds. 51 already precompiled. PROBLEM STATISTICS Objective sense = Min # Variables = 6 # Bin-Int Variables = 0 # Constraints = 5 # NL Constraints = 5 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 8 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 6 # Bin-Int Variables = 0 # Constraints = 9 # NL Constraints = 8 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 8 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = All Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 16.17s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 29.63s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 0.32s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 3 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = Minimum vertex cover Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 2618.1981 | 62.858 | 0.04s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 2 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 0.3s | finish | 7446.9743 | 7049.2479 | 6424.1806 | 8.867 | 1.19s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 42 # Bin-Int Variables = 0 # Constraints = 45 # NL Constraints = 12 # Linear Constraints = 33 # Detected convex constraints = 0 # Detected nonlinear terms = 12 # Variables involved in nonlinear terms = 10 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 0 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = All Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 130.7025 Completed presolve in 0.15s *** Alpine ended with status LOCALLY_SOLVED *** PROBLEM STATISTICS Objective sense = Min # Variables = 42 # Bin-Int Variables = 0 # Constraints = 45 # NL Constraints = 12 # Linear Constraints = 33 # Detected convex constraints = 0 # Detected nonlinear terms = 12 # Variables involved in nonlinear terms = 10 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 0 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = Minimum vertex cover Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 130.7025 Completed presolve in 0.06s *** Alpine ended with status LOCALLY_SOLVED *** PROBLEM STATISTICS Objective sense = Min # Variables = 42 # Bin-Int Variables = 0 # Constraints = 45 # NL Constraints = 12 # Linear Constraints = 33 # Detected convex constraints = 0 # Detected nonlinear terms = 12 # Variables involved in nonlinear terms = 10 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 0 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 130.7025 Completed presolve in 0.05s *** Alpine ended with status LOCALLY_SOLVED *** PROBLEM STATISTICS Objective sense = Max # Variables = 102 # Bin-Int Variables = 36 # Constraints = 225 # NL Constraints = 24 # Linear Constraints = 201 # Detected convex constraints = 0 # Detected nonlinear terms = 28 # Variables involved in nonlinear terms = 26 # Potential variables for partitioning = 26 SUB-SOLVERS USED BY ALPINE MINLP local solver = Pavito MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = All Partition scaling factor = 10 Bound-tightening presolve = false PROBLEM STATISTICS Objective sense = Max # Variables = 102 # Bin-Int Variables = 36 # Constraints = 225 # NL Constraints = 24 # Linear Constraints = 201 # Detected convex constraints = 0 # Detected nonlinear terms = 28 # Variables involved in nonlinear terms = 26 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE MINLP local solver = Pavito MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = Minimum vertex cover Partition scaling factor = 10 Bound-tightening presolve = false PROBLEM STATISTICS Objective sense = Max # Variables = 102 # Bin-Int Variables = 36 # Constraints = 225 # NL Constraints = 24 # Linear Constraints = 201 # Detected convex constraints = 0 # Detected nonlinear terms = 28 # Variables involved in nonlinear terms = 26 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE MINLP local solver = Pavito MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false Initial constraint-based bound evaluation exhausted... Warning: -/+Inf bounds detected on at least 40 variables. Initializing with values -/+1.0e6. This may affect global optimal values and run times. PROBLEM STATISTICS Objective sense = Min # Variables = 174 # Bin-Int Variables = 0 # Constraints = 152 # NL Constraints = 48 # Linear Constraints = 104 # Detected convex constraints = 0 # Detected nonlinear terms = 48 # Variables involved in nonlinear terms = 24 # Potential variables for partitioning = 12 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 2 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 227.981 Completed presolve in 0.23s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 227.981 | 227.981 | 108.1633 | 52.556 | 0.48s UPDATED DISC-VAR COUNT = 12 : [110, 111, 112, 113, 114, 115, 116, 117, 118, 122, 123, 124] | finish | 232.5739 | 227.981 | 125.5659 | 44.923 | 6.46s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 6 # Bin-Int Variables = 0 # Constraints = 9 # NL Constraints = 8 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 8 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 6 # Bin-Int Variables = 0 # Constraints = 5 # NL Constraints = 5 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 8 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 102 # Bin-Int Variables = 36 # Constraints = 213 # NL Constraints = 12 # Linear Constraints = 201 # Detected convex constraints = 0 # Detected nonlinear terms = 28 # Variables involved in nonlinear terms = 26 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 3 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 1 # Variables involved in nonlinear terms = 3 # Potential variables for partitioning = 3 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 3 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 3 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 1 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 6 # Potential variables for partitioning = 6 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 6 # Potential variables for partitioning = 6 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 6 # Potential variables for partitioning = 6 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 6 # Potential variables for partitioning = 6 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 4 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 6 # Potential variables for partitioning = 6 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 11 # NL Constraints = 5 # Linear Constraints = 6 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS # Variables = 4 # Bin-Int Variables = 0 # Constraints = 5 # NL Constraints = 5 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 9 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS # Variables = 4 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 6 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 15 # Variables involved in nonlinear terms = 12 # Potential variables for partitioning = 12 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS # Variables = 4 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 6 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 19 # Variables involved in nonlinear terms = 17 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS # Variables = 4 # Bin-Int Variables = 0 # Constraints = 7 # NL Constraints = 7 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 11 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS # Variables = 4 # Bin-Int Variables = 0 # Constraints = 9 # NL Constraints = 9 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 20 # Variables involved in nonlinear terms = 15 # Potential variables for partitioning = 15 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 CONVEX Objective: 1.0 * x[1] * x[1] + 1.0 * x[3] * x[3] CONVEX Constraint 1: 3.0 * x[1] * x[1] + 4.0 * x[2] * x[2] <= 25.0 CONVEX Constraint 2: 3.0 * x[1] * x[1] + 4.0 * x[2] * x[2] <= 25.0 CONVEX Constraint 4: 3.0 * x[1] * x[1] + 4.0 * x[2] * x[2] <= 10.0 CONVEX Constraint 5: 3.0 * x[1] * x[1] + 4.0 * x[2] * x[2] + 6.0 * x[3] * x[3] <= 10.0 CONVEX Constraint 8: (3.0 * x[1] ^ 3.0 + x[2] ^ 3.0 + 5.0 * x[3] ^ 3.0) - 200.0 <= 0.0 CONVEX Constraint 9: (1.0 * x[1] * x[1] * x[1] + 1.0 * x[2] * x[2] * x[2] + 1.0 * x[3] * x[3] * x[3] + 100.0 * x[4] * x[4] * x[4]) - 200.0 <= 0.0 CONVEX Constraint 10: (3.0 * x[1] * x[1] + 4.0 * x[2] * x[2]) - 25.0 <= 0.0 CONVEX Constraint 11: (3.0 * x[1] * x[1] + 4.0 * x[2] * x[2]) - 25.0 <= 0.0 CONVEX Constraint 12: ((3.0 * x[1] * x[1] + 4.0 * x[2] * x[2]) - 25.0) - 0.0 <= 0.0 CONVEX Constraint 13: (-3.0 * x[1] * x[1] - 4.0 * x[2] * x[2]) - -25.0 >= 0.0 CONVEX Constraint 14: (3.0 * x[1] * x[1] + 1.0 * x[2] * (5.0 * x[2])) - 25.0 <= 0.0 CONVEX Constraint 15: (3.0 * x[1] * x[1] + 5.0 * x[2] * x[2] + x[4] ^ 2.0) - 25.0 <= 0.0 CONVEX Constraint 16: (4.0 * x[1] ^ 2.0 + 5.0 * x[2] ^ 2.0) - 25.0 <= 0.0 CONVEX Constraint 19: (3.0 * x[1] * x[1] + 16.0 * x[2] ^ 2.0) - 40.0 <= 0.0 CONVEX Constraint 22: (3.0 * x[1] * x[1] + 4.0 * x[2] * x[2] + 5.0 * x[3] * x[3] + 6.0 * x[4] * x[4]) - 15.0 <= 0.0 CONVEX Constraint 25: (x[1] ^ 2.0 + x[2] ^ 2.0 + x[3] ^ 2.0 + x[4] ^ 2.0 + x[5] ^ 2.0) - 99999.0 <= 0.0 CONVEX Constraint 26: (3.0 * x[1] ^ 4.0 + 4.0 * x[2] ^ 4.0) - 200.0 <= 0.0 CONVEX Constraint 27: ((3.0 * x[1] ^ 4.0 + 4.0 * x[2] * x[2] * x[2] * x[2]) - 200.0) - 0.0 <= 0.0 CONVEX Constraint 28: (3.0 * x[1] ^ 4.0 + 1.0 * x[2] * x[2] * (4.0 * x[2] ^ 2.0)) - 200.0 <= 0.0 PROBLEM STATISTICS Objective sense = Max # Variables = 5 # Bin-Int Variables = 0 # Constraints = 30 # NL Constraints = 30 # Linear Constraints = 0 # Detected convex constraints = 19 # Detected nonlinear terms = 10 # Variables involved in nonlinear terms = 3 # Potential variables for partitioning = 3 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 0 # NL Constraints = 0 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 4 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 8 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 3 # Bin-Int Variables = 0 # Constraints = 5 # NL Constraints = 5 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 9 # Variables involved in nonlinear terms = 9 # Potential variables for partitioning = 9 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 Warning: -/+Inf bounds detected on at least 6907 variables. Initializing with values -/+1.0e6. This may affect global optimal values and run times. Automatically turning OFF 'partition_scaling_factor_branch' due to the size of the problem PROBLEM STATISTICS Objective sense = Min # Variables = 6907 # Bin-Int Variables = 0 # Constraints = 0 # NL Constraints = 0 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 52 # Variables involved in nonlinear terms = 53 # Potential variables for partitioning = 27 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 8 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS # Variables = 4 # Bin-Int Variables = 0 # Constraints = 80 # NL Constraints = 80 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 105 # Variables involved in nonlinear terms = 40 # Potential variables for partitioning = 11 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 5 # Bin-Int Variables = 5 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 0 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 5 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 1 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 0 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 5 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 1 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 0 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 10 # Bin-Int Variables = 5 # Constraints = 8 # NL Constraints = 8 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 12 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Min # Variables = 10 # Bin-Int Variables = 5 # Constraints = 3 # NL Constraints = 3 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 12 # Variables involved in nonlinear terms = 6 # Potential variables for partitioning = 6 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PROBLEM STATISTICS Objective sense = Max # Variables = 2 # Bin-Int Variables = 1 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 0 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Starting bound-tightening Actual iterations (OBBT): 1 Post-presolve optimality gap: 0.0% Completed presolve in 41.06s *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 1 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 2 # Linear Constraints = 0 # Detected convex constraints = 1 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 1 # Potential variables for partitioning = 1 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PRESOLVE Doing local search Local solver returns a feasible point with value 1.0 Starting bound-tightening Actual iterations (OBBT): 5 Post-presolve optimality gap: 382.887% Completed presolve in 23.49s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 1.0 | 1.0 | -2.8288 | 382.882 | 23.56s | 2 | - | 1.0 | -2.8285 | 382.85 | 23.63s | finish | -2.8284 | -2.8284 | -2.8285 | 0.003 | 23.63s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 2 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = All Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 4179.1645 | 40.715 | 0.18s | finish | 7446.9743 | 7049.2479 | 5897.2165 | 16.343 | 0.82s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 3 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 2 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = Minimum vertex cover Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 2717.1317 | 61.455 | 0.02s | finish | - | 7049.2479 | 3106.3098 | 55.934 | 0.16s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 2 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 2 PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Starting bound-tightening + VAR 1 LB contracted 100.0=>100.0 + VAR 1 UB contracted 10000.0=>4762.2 + VAR 2 LB contracted 1000.0=>1000.0 + VAR 2 UB contracted 10000.0=>5944.1 + VAR 3 LB contracted 1000.0=>1000.0 + VAR 3 UB contracted 10000.0=>5949.3 + VAR 4 LB contracted 10.0=>10.0 + VAR 4 UB contracted 390.0=>334.20000000000005 + VAR 5 LB contracted 10.0=>94.5 + VAR 5 UB contracted 780.0=>572.8000000000001 + VAR 6 LB contracted 10.0=>10.0 + VAR 6 UB contracted 390.0=>390.0 + VAR 7 LB contracted 10.0=>16.900000000000002 + VAR 7 UB contracted 780.0=>626.9000000000001 + VAR 8 LB contracted 10.0=>91.9 + VAR 8 UB contracted 880.0=>660.7 + VAR 1 LB contracted 100.0=>100.0 + VAR 1 UB contracted 4762.2=>4573.6 + VAR 2 LB contracted 1000.0=>1000.0 + VAR 2 UB contracted 5944.1=>5547.8 + VAR 3 LB contracted 1000.0=>1000.0 + VAR 3 UB contracted 5949.3=>5913.3 + VAR 4 LB contracted 10.0=>10.0 + VAR 4 UB contracted 334.20000000000005=>332.40000000000003 + VAR 5 LB contracted 94.5=>150.20000000000002 + VAR 5 UB contracted 572.8000000000001=>551.0 + VAR 6 LB contracted 10.0=>10.0 + VAR 6 UB contracted 390.0=>390.0 + VAR 7 LB contracted 16.900000000000002=>35.4 + VAR 7 UB contracted 626.9000000000001=>571.1 + VAR 8 LB contracted 91.9=>168.0 + VAR 8 UB contracted 660.7=>638.7 Variables whose bounds were tightened: Actual iterations (OBBT): 2 VAR 5: 48.0% contraction |10.0 --> | 150.2 - 551.0 | <-- 780.0 | VAR 4: 15.0% contraction |10.0 --> | 10.0 - 332.4 | <-- 390.0 | VAR 7: 30.0% contraction |10.0 --> | 35.4 - 571.1 | <-- 780.0 | VAR 2: 49.0% contraction |1000.0 --> | 1000.0 - 5547.8 | <-- 10000.0 | VAR 8: 46.0% contraction |10.0 --> | 168.0 - 638.7 | <-- 880.0 | VAR 3: 45.0% contraction |1000.0 --> | 1000.0 - 5913.3 | <-- 10000.0 | VAR 1: 55.00000000000001% contraction |100.0 --> | 100.0 - 4573.6 | <-- 10000.0 | Post-presolve optimality gap: 57.188% Completed presolve in 0.5s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 4993.3484 | 29.165 | 0.76s | finish | 8817.8682 | 7049.2479 | 6310.9733 | 10.473 | 1.93s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 2 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 2 PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Starting bound-tightening + VAR 1 LB contracted 100.0=>100.0 + VAR 1 UB contracted 10000.0=>3532.6000000000004 + VAR 2 LB contracted 1000.0=>1000.0 + VAR 2 UB contracted 10000.0=>5749.5 + VAR 3 LB contracted 1000.0=>2516.6000000000004 + VAR 3 UB contracted 10000.0=>5884.0 + VAR 4 LB contracted 10.0=>10.0 + VAR 4 UB contracted 390.0=>264.1 + VAR 5 LB contracted 10.0=>250.10000000000002 + VAR 5 UB contracted 780.0=>378.90000000000003 + VAR 6 LB contracted 10.0=>10.0 + VAR 6 UB contracted 390.0=>390.0 + VAR 7 LB contracted 10.0=>77.30000000000001 + VAR 7 UB contracted 780.0=>352.0 + VAR 8 LB contracted 10.0=>350.1 + VAR 8 UB contracted 880.0=>470.40000000000003 + VAR 1 LB contracted 100.0=>100.0 + VAR 1 UB contracted 3532.6000000000004=>2268.7000000000003 + VAR 2 LB contracted 1000.0=>1000.0 + VAR 2 UB contracted 5749.5=>3851.7000000000003 + VAR 3 LB contracted 2516.6000000000004=>3177.1000000000004 + VAR 3 UB contracted 5884.0=>5766.700000000001 + VAR 4 LB contracted 10.0=>57.5 + VAR 4 UB contracted 264.1=>241.60000000000002 + VAR 5 LB contracted 250.10000000000002=>270.8 + VAR 5 UB contracted 378.90000000000003=>350.20000000000005 + VAR 6 LB contracted 10.0=>10.0 + VAR 6 UB contracted 390.0=>328.5 + VAR 7 LB contracted 77.30000000000001=>151.1 + VAR 7 UB contracted 352.0=>317.70000000000005 + VAR 8 LB contracted 350.1=>371.20000000000005 + VAR 8 UB contracted 470.40000000000003=>446.0 Variables whose bounds were tightened: Actual iterations (OBBT): 2 VAR 5: 90.0% contraction |10.0 --> | 270.8 - 350.2 | <-- 780.0 | VAR 4: 52.0% contraction |10.0 --> | 57.5 - 241.6 | <-- 390.0 | VAR 6: 16.0% contraction |10.0 --> | 10.0 - 328.5 | <-- 390.0 | VAR 7: 78.0% contraction |10.0 --> | 151.1 - 317.7 | <-- 780.0 | VAR 2: 68.0% contraction |1000.0 --> | 1000.0 - 3851.7 | <-- 10000.0 | VAR 8: 91.0% contraction |10.0 --> | 371.2 - 446.0 | <-- 880.0 | VAR 3: 71.0% contraction |1000.0 --> | 3177.1 - 5766.7 | <-- 10000.0 | VAR 1: 78.0% contraction |100.0 --> | 100.0 - 2268.7 | <-- 10000.0 | Post-presolve optimality gap: 7.222% Completed presolve in 4.96s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 6343.871 | 10.006 | 5.21s | finish | 7200.8409 | 7049.2479 | 6877.9116 | 2.431 | 6.44s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 12 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 58.3837 Completed presolve in 0.0s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 58.3837 | 58.3837 | 57.7725 | 1.047 | 0.27s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 14 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 4249.2127 | 39.721 | 0.39s | 2 | 7226.7536 | 7049.2479 | 5641.8462 | 19.965 | 1.16s | 3 | - | 7049.2479 | 6540.1946 | 7.221 | 2.98s | finish | 7254.9412 | 7049.2479 | 6839.4877 | 2.976 | 8.61s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 6 Relative global optimality gap = 0.01% Partition scaling factor = 8 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 1.3846 | 30.769 | 0.06s | 2 | 1.4142 | 1.4142 | 1.3846 | 2.093 | 0.1s | 3 | 1.4142 | 1.4142 | 1.4114 | 0.202 | 0.18s | 4 | 1.4142 | 1.4142 | 1.4114 | 0.202 | 0.28s | 5 | 1.4142 | 1.4142 | 1.4114 | 0.202 | 0.38s | finish | 1.4142 | 1.4142 | 1.414 | 0.014 | 0.48s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 3 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 4179.1645 | 40.715 | 0.46s | 2 | 7446.9743 | 7049.2479 | 5897.2165 | 16.343 | 0.96s | finish | - | 7049.2479 | 6669.256 | 5.391 | 2.4s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 1.77s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 1106.7368 | 99.819 | 4.41s | 2 | 2.0 | 2.0 | 79.4099 | 97.481 | 4.47s | 3 | 1.9102 | 2.0 | 17.2206 | 88.386 | 4.73s | finish | 1.6253 | 2.0 | 5.1847 | 61.425 | 6.79s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 6 # Variables involved in nonlinear terms = 11 # Potential variables for partitioning = 11 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 2600.6779 | 99.923 | 0.02s | 2 | 2.0 | 2.0 | 231.6096 | 99.136 | 0.06s | 3 | 1.8932 | 2.0 | 31.5066 | 93.652 | 0.33s | finish | 1.0279 | 2.0 | 12.0495 | 83.402 | 0.91s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 4 # Variables involved in nonlinear terms = 9 # Potential variables for partitioning = 9 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 1716.8718 | 99.884 | 0.91s | 2 | 2.0 | 2.0 | 116.45 | 98.283 | 1.0s | 3 | 1.3036 | 2.0 | 20.1272 | 90.063 | 1.24s | finish | 1.6358 | 2.0 | 7.2445 | 72.393 | 2.78s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 4 # Variables involved in nonlinear terms = 9 # Potential variables for partitioning = 9 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 1145.3656 | 99.825 | 0.02s | 2 | 2.0 | 2.0 | 146.2847 | 98.633 | 0.07s | 3 | 1.6581 | 2.0 | 20.6737 | 90.326 | 0.34s | finish | 1.5935 | 2.0 | 8.509 | 76.496 | 1.78s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 6 # Variables involved in nonlinear terms = 11 # Potential variables for partitioning = 11 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 2173.2429 | 99.908 | 0.02s | 2 | 1.5355 | 2.0 | 151.2878 | 98.678 | 0.06s | 3 | 1.2333 | 2.0 | 29.2411 | 93.16 | 0.32s | finish | 1.761 | 2.0 | 8.1611 | 75.494 | 2.04s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 1 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 5 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 0.9291 Completed presolve in 0.0s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 0.9291 | 0.9291 | 0.9291 | 0.0 | 0.02s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Max # Variables = 5 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 1.67s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 71.906 | 97.219 | 1.68s | 2 | 2.0 | 2.0 | 15.1302 | 86.781 | 1.73s | 3 | 2.0 | 2.0 | 5.1976 | 61.521 | 1.84s | finish | 1.8729 | 2.0 | 2.8976 | 30.977 | 2.42s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 5 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 4 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.0s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 110.4708 | 98.19 | 0.01s | 2 | 2.0 | 2.0 | 23.3338 | 91.429 | 0.07s | 3 | 2.0 | 2.0 | 7.9925 | 74.976 | 0.2s | finish | 2.0 | 2.0 | 3.8551 | 48.121 | 0.47s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 5 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 4 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 4 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.0s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 75.1519 | 97.339 | 0.02s | 2 | 2.0 | 2.0 | 20.6138 | 90.298 | 0.06s | 3 | 1.9823 | 2.0 | 5.4363 | 63.21 | 0.19s | finish | 1.5645 | 2.0 | 3.5967 | 44.394 | 0.69s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 9 # Bin-Int Variables = 0 # Constraints = 3 # NL Constraints = 0 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 9 # Potential variables for partitioning = 9 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 3 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 3.0 Completed presolve in 0.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 3.0 | 3.0 | 493.9224 | 99.393 | 0.01s | 2 | 3.0 | 3.0 | 52.1469 | 94.247 | 0.03s | finish | 3.0 | 3.0 | 12.0546 | 75.113 | 0.14s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 3 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 3004.247 | 57.382 | 0.22s | 2 | - | 7049.2479 | 4896.6075 | 30.537 | 1.06s | finish | 7049.2479 | 7049.2479 | 5871.5307 | 16.707 | 2.33s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 18 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 4564.5646 | 35.247 | 0.27s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 BRANCH RATIO = 8, METRIC = 3819.0137412191916 || TIME = 0.338331937789917 BRANCH RATIO = 10, METRIC = 4179.164520879309 || TIME = 0.1790480613708496 BRANCH RATIO = 12, METRIC = 4624.802867549727 || TIME = 0.51363205909729 BRANCH RATIO = 14, METRIC = 4892.8577703100445 || TIME = 0.16658902168273926 BRANCH RATIO = 16, METRIC = 4703.605725826039 || TIME = 0.2258009910583496 BRANCH RATIO = 18, METRIC = 4564.564609540186 || TIME = 0.2660069465637207 BRANCH RATIO = 20, METRIC = 4458.109915572042 || TIME = 0.1642930507659912 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 14 Completed presolve in 1.86s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 4892.8578 | 30.59 | 2.44s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 42 # Bin-Int Variables = 0 # Constraints = 45 # NL Constraints = 12 # Linear Constraints = 33 # Detected convex constraints = 0 # Detected nonlinear terms = 12 # Variables involved in nonlinear terms = 10 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 130.7025 BRANCH RATIO = 8, METRIC = 117.91941897074429 || TIME = 0.07081198692321777 BRANCH RATIO = 10, METRIC = 117.30720065950939 || TIME = 0.07516598701477051 BRANCH RATIO = 12, METRIC = 117.47616391119944 || TIME = 0.10921907424926758 BRANCH RATIO = 14, METRIC = 117.49730354290222 || TIME = 0.11005878448486328 BRANCH RATIO = 16, METRIC = 117.51714020171164 || TIME = 0.12377500534057617 BRANCH RATIO = 18, METRIC = 117.54580809946214 || TIME = 0.1653130054473877 BRANCH RATIO = 20, METRIC = 117.57374191761737 || TIME = 0.1241459846496582 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 8 Completed presolve in 0.83s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 130.7025 | 130.7025 | 122.4188 | 6.338 | 1.12s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 3 # NL Constraints = 0 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 3.0 BRANCH RATIO = 8, METRIC = 4.02515625 || TIME = 1.3580210208892822 BRANCH RATIO = 10, METRIC = 3.6560999999998356 || TIME = 1.321753978729248 BRANCH RATIO = 12, METRIC = 3.4556249999999977 || TIME = 1.381983995437622 BRANCH RATIO = 14, METRIC = 3.334744897959185 || TIME = 1.3269610404968262 BRANCH RATIO = 16, METRIC = 3.2562890624999965 || TIME = 1.4370720386505127 BRANCH RATIO = 18, METRIC = 3.2997500000161453 || TIME = 1.104302167892456 BRANCH RATIO = 20, METRIC = 3.4569801923077517 || TIME = 0.8078210353851318 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 16 Completed presolve in 8.74s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 3.0 | 3.0 | 3.1057 | 3.405 | 13.03s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 3 # NL Constraints = 0 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 3.0 BRANCH RATIO = 8, METRIC = 42.616654497606255 || TIME = 0.0413661003112793 BRANCH RATIO = 10, METRIC = 36.49851361082922 || TIME = 0.04970908164978027 BRANCH RATIO = 12, METRIC = 33.54779704916936 || TIME = 0.05039477348327637 BRANCH RATIO = 14, METRIC = 31.07317144965045 || TIME = 0.08636093139648438 BRANCH RATIO = 16, METRIC = 28.686171396116656 || TIME = 0.16157817840576172 BRANCH RATIO = 18, METRIC = 26.550806700734125 || TIME = 0.09136700630187988 BRANCH RATIO = 20, METRIC = 24.569442309794486 || TIME = 0.05185198783874512 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 20 Completed presolve in 0.54s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 3.0 | 3.0 | 3.326 | 9.802 | 3.24s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 BRANCH RATIO = 8, METRIC = 4.512012500000003 || TIME = 1.136415958404541 BRANCH RATIO = 10, METRIC = 3.5887923199999996 || TIME = 0.8387959003448486 BRANCH RATIO = 12, METRIC = 3.0962000000000103 || TIME = 1.508754014968872 BRANCH RATIO = 14, METRIC = 3.1727918367356795 || TIME = 1.7483861446380615 BRANCH RATIO = 16, METRIC = 3.547533928571494 || TIME = 1.660634994506836 BRANCH RATIO = 18, METRIC = 3.8557000000093193 || TIME = 1.2098779678344727 BRANCH RATIO = 20, METRIC = 4.112840000000206 || TIME = 1.529515027999878 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 12 Completed presolve in 9.64s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 2.0 | 2.0 | 2.7103 | 26.207 | 14.69s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 7 # Potential variables for partitioning = 7 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 BRANCH RATIO = 8, METRIC = 256.1741472550343 || TIME = 0.053308963775634766 BRANCH RATIO = 10, METRIC = 209.9471657004288 || TIME = 0.059719085693359375 BRANCH RATIO = 12, METRIC = 169.70604858406267 || TIME = 0.04832887649536133 BRANCH RATIO = 14, METRIC = 138.994673521231 || TIME = 0.135545015335083 BRANCH RATIO = 16, METRIC = 115.97342016451215 || TIME = 0.07350707054138184 BRANCH RATIO = 18, METRIC = 98.52620058308165 || TIME = 0.08081817626953125 BRANCH RATIO = 20, METRIC = 84.53481726488263 || TIME = 0.16846084594726562 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 20 Completed presolve in 0.63s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 2.0 | 2.0 | 4.9851 | 59.88 | 3.48s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Max # Variables = 7 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 0 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 6 # Variables involved in nonlinear terms = 11 # Potential variables for partitioning = 11 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor branch activated Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 BRANCH RATIO = 8, METRIC = 6.487399999999997 || TIME = 0.4971001148223877 BRANCH RATIO = 10, METRIC = 5.325017599999998 || TIME = 0.698632001876831 BRANCH RATIO = 12, METRIC = 6.047969230769233 || TIME = 0.38948488235473633 BRANCH RATIO = 14, METRIC = 6.4116387820450775 || TIME = 0.6742980480194092 BRANCH RATIO = 16, METRIC = 5.713379995207209 || TIME = 1.3811819553375244 BRANCH RATIO = 18, METRIC = 5.197792466318414 || TIME = 1.4959690570831299 BRANCH RATIO = 20, METRIC = 4.803130895055474 || TIME = 1.968966007232666 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 20 Completed presolve in 7.11s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 2.0 | 2.0 | 3.6234 | 44.803 | 9.69s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 10 # Bin-Int Variables = 5 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE MINLP local solver = Pavito MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 0.3 Completed presolve in 3.11s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 0.3 | 0.3 | 0.3 | 0.0 | 3.64s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Max # Variables = 10 # Bin-Int Variables = 5 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 10 # Variables involved in nonlinear terms = 5 # Potential variables for partitioning = 5 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 4 Bound-tightening presolve = false Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 4 Using convhull_ebd formulation Encoding method = default Independent branching scheme = false Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 58.3837 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 58.3837 | 58.3837 | 52.9702 | 9.272 | 2.87s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 3 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 8 Using convhull_ebd formulation Encoding method = default Independent branching scheme = true Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 58.3837 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 58.3837 | 58.3837 | 57.012 | 2.349 | 0.22s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 3 Relative global optimality gap = 0.01% Partition scaling factor = 10 Using convhull_ebd formulation Encoding method = default Independent branching scheme = true Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 0.16s | 2 | 7446.9743 | 7049.2479 | 6424.1806 | 8.867 | 1.83s | finish | 7141.5401 | 7049.2479 | 6893.2067 | 2.214 | 5.61s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 2 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 2 # Potential variables for partitioning = 2 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 6 Relative global optimality gap = 0.01% Partition scaling factor = 8 Using convhull_ebd formulation Encoding method = default Independent branching scheme = true Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 2.0 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 1.3846 | 30.769 | 0.1s | 2 | 1.4142 | 1.4142 | 1.3846 | 2.093 | 0.18s | 3 | 1.4142 | 1.4142 | 1.3846 | 2.093 | 0.27s | 4 | - | 1.4142 | 1.3846 | 2.093 | 0.37s | 5 | - | 1.4142 | 1.3846 | 2.093 | 0.47s | finish | - | 1.4142 | 1.4136 | 0.046 | 0.64s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 3 Relative global optimality gap = 0.01% Partition scaling factor = 10 Using convhull_ebd formulation Encoding method = default Independent branching scheme = false Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 2.61s | 2 | 7446.9743 | 7049.2479 | 6424.1806 | 8.867 | 5.87s | finish | 7141.5401 | 7049.2479 | 6893.2067 | 2.214 | 11.64s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Warning: -/+Inf bounds detected on at least 21 variables. Initializing with values -/+1.0e6. This may affect global optimal values and run times. PROBLEM STATISTICS Objective sense = Min # Variables = 76 # Bin-Int Variables = 0 # Constraints = 66 # NL Constraints = 18 # Linear Constraints = 48 # Detected convex constraints = 0 # Detected nonlinear terms = 18 # Variables involved in nonlinear terms = 12 # Potential variables for partitioning = 12 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search ┌ Warning: Warning: Presolve ends with local solver yielding OTHER_ERROR. └ @ Alpine ~/.julia/packages/Alpine/BQG51/src/main_algorithm.jl:259 Completed presolve in 0.16s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | - | Inf | 69.2386 | LARGE | 0.18s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Max # Variables = 102 # Bin-Int Variables = 36 # Constraints = 225 # NL Constraints = 24 # Linear Constraints = 201 # Detected convex constraints = 0 # Detected nonlinear terms = 28 # Variables involved in nonlinear terms = 26 # Potential variables for partitioning = 10 SUB-SOLVERS USED BY ALPINE MINLP local solver = Pavito MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 3 Relative global optimality gap = 0.01% Potential variables chosen for partitioning = Minimum vertex cover Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search ┌ Warning: Infeasible NLP problem terminated with primal status: NEARLY_FEASIBLE_POINT └ @ Pavito ~/.julia/packages/Pavito/IfONk/src/optimize.jl:702 ┌ Warning: Warning: Presolve ends with local solver yielding OTHER_ERROR. └ @ Alpine ~/.julia/packages/Alpine/BQG51/src/main_algorithm.jl:259 Completed presolve in 1.21s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | - | -Inf | 14.0064 | LARGE | 1.51s | 2 | - | -Inf | 13.9694 | LARGE | 2.08s | finish | - | -Inf | 13.9694 | LARGE | 3.58s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** CONVEX Objective: 1.0 * x[1] * x[1] + 1.0 * x[3] * x[3] CONVEX Constraint 1: (3.0 * x[1] * x[1] + 4.0 * x[2] * x[2]) - 25.0 <= 0.0 CONVEX Constraint 2: (3.0 * (1.0 * x[1] * x[1]) + 4.0 * x[2] ^ 2.0) - 10.0 <= 0.0 CONVEX Constraint 3: (3.0 * x[1] ^ 2.0 + 4.0 * x[2] ^ 2.0 + 6.0 * x[3] ^ 2.0) - 10.0 <= 0.0 CONVEX Constraint 5: (-3.0 * x[1] * x[1] - 4.0 * x[2] * x[2]) - -25.0 >= 0.0 PROBLEM STATISTICS Objective sense = Max # Variables = 5 # Bin-Int Variables = 0 # Constraints = 5 # NL Constraints = 5 # Linear Constraints = 0 # Detected convex constraints = 4 # Detected nonlinear terms = 1 # Variables involved in nonlinear terms = 1 # Potential variables for partitioning = 1 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (upper-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 3.3333 Completed presolve in 0.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 3.3333 | 3.3333 | 3.3333 | 0.0 | 0.32s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 6561.7841 | 6.915 | 1.93s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** Initial constraint-based bound evaluation exhausted... PROBLEM STATISTICS Objective sense = Min # Variables = 13 # Bin-Int Variables = 5 # Constraints = 9 # NL Constraints = 9 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 20 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE MINLP local solver = Pavito MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search ┌ Warning: Infeasible NLP problem terminated with primal status: INFEASIBLE_POINT └ @ Pavito ~/.julia/packages/Pavito/IfONk/src/optimize.jl:702 Local solver returns a feasible point with value 3651.0204 Completed presolve in 0.43s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 3651.0204 | 3651.0204 | 3495.9592 | 4.247 | 0.9s | 2 | - | 3651.0204 | 3499.7471 | 4.143 | 1.55s | 3 | 3651.0204 | 3651.0204 | 3649.8107 | 0.033 | 2.44s | finish | 3651.0204 | 3651.0204 | 3650.7864 | 0.006 | 4.17s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 5 # Bin-Int Variables = 0 # Constraints = 3 # NL Constraints = 1 # Linear Constraints = 2 # Detected convex constraints = 0 # Detected nonlinear terms = 2 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 2 PRESOLVE Doing local search Local solver returns a feasible point with value -18.0 Starting bound-tightening Actual iterations (OBBT): 1 Post-presolve optimality gap: 0.009% Completed presolve in 0.4s *** Alpine ended with status OPTIMAL *** Warning: -/+Inf bounds detected on at least 1 variable. Initializing with values -/+1.0e6. This may affect global optimal values and run times. PROBLEM STATISTICS Objective sense = Min # Variables = 5 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 6 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value -0.5294 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | -0.5294 | -0.5294 | -0.7003 | 32.278 | 0.07s | finish | -0.407 | -0.5294 | -0.5294 | 0.0 | 0.52s ==================================================================================================== *** Alpine ended with status OPTIMAL *** Warning: -/+Inf bounds detected on at least 1 variable. Initializing with values -/+1.0e6. This may affect global optimal values and run times. PROBLEM STATISTICS Objective sense = Min # Variables = 5 # Bin-Int Variables = 0 # Constraints = 1 # NL Constraints = 1 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 6 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value -0.5294 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | -0.5294 | -0.5294 | -0.5294 | 0.0 | 2.43s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value 7049.2479 Completed presolve in 0.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 0.4s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 8 # Bin-Int Variables = 0 # Constraints = 6 # NL Constraints = 3 # Linear Constraints = 3 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 8 # Potential variables for partitioning = 8 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 1 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PRESOLVE Doing local search Using warm starting point as a local incumbent solution with value 7049.2479 Starting bound-tightening Actual iterations (OBBT): 23 Post-presolve optimality gap: 54.262% Completed presolve in 4.32s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 4810.213 | 31.763 | 4.58s ==================================================================================================== *** Alpine ended with status OTHER_LIMIT *** PROBLEM STATISTICS Objective sense = Min # Variables = 17 # Bin-Int Variables = 16 # Constraints = 8 # NL Constraints = 8 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 10 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search ┌ Warning: Cycle detected └ @ Juniper ~/.julia/packages/Juniper/yEX2j/src/fpump.jl:372 Local solver returns a feasible point with value 13.0 Completed presolve in 13.84s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 13.0 | 13.0 | 13.0 | 0.0 | 13.86s ==================================================================================================== *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 17 # Bin-Int Variables = 16 # Constraints = 8 # NL Constraints = 8 # Linear Constraints = 0 # Detected convex constraints = 0 # Detected nonlinear terms = 10 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PRESOLVE Doing local search ┌ Warning: Cycle detected └ @ Juniper ~/.julia/packages/Juniper/yEX2j/src/fpump.jl:372 Local solver returns a feasible point with value 13.0 Starting bound-tightening Actual iterations (OBBT): 1 Post-presolve optimality gap: 0.0% Completed presolve in 1.94s *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 6 # Bin-Int Variables = 5 # Constraints = 1 # NL Constraints = 0 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 0 # Variables involved in nonlinear terms = 0 # Potential variables for partitioning = 0 SUB-SOLVERS USED BY ALPINE MINLP local solver = Juniper MIP solver = HiGHS ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = true Maximum iterations (OBBT) = 25 PRESOLVE Doing local search Local solver returns a feasible point with value -10.0 Starting bound-tightening Actual iterations (OBBT): 1 Post-presolve optimality gap: 0.0% Completed presolve in 0.17s *** Alpine ended with status OPTIMAL *** PROBLEM STATISTICS Objective sense = Min # Variables = 3 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 1 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value -190.0 Completed presolve in 0.02s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | -190.0 | -190.0 | -2057.2519 | 982.764 | 0.15s | 2 | -1004.7309 | -1004.7309 | -1121.8764 | 11.659 | 1.14s | 3 | - | -1004.7309 | -1116.7734 | 11.151 | 2.16s | 4 | -1004.7309 | -1004.7309 | -1028.763 | 2.392 | 3.43s | 5 | -1004.7309 | -1004.7309 | -1006.5607 | 0.182 | 4.85s ┌ Warning: mixed-integer cycling detected, terminating Pavito └ @ Pavito ~/.julia/packages/Pavito/IfONk/src/optimize.jl:488 | 6 | -1004.7309 | -1004.7309 | -1004.917 | 0.019 | 9.55s | finish | -1004.7309 | -1004.7309 | -1004.7456 | 0.001 | 11.95s ==================================================================================================== *** Alpine ended with status OPTIMAL *** x[1] = -10.0 x[2] = 15.25434 x[3] = -3.20347 PROBLEM STATISTICS Objective sense = Min # Variables = 3 # Bin-Int Variables = 0 # Constraints = 2 # NL Constraints = 1 # Linear Constraints = 1 # Detected convex constraints = 0 # Detected nonlinear terms = 5 # Variables involved in nonlinear terms = 4 # Potential variables for partitioning = 4 SUB-SOLVERS USED BY ALPINE NLP local solver = Ipopt MIP solver = Pavito ALPINE CONFIGURATION Alpine version = 0.5.7 Maximum iterations (lower-bounding MIPs) = 99 Relative global optimality gap = 0.01% Partition scaling factor = 10 Bound-tightening presolve = false PRESOLVE Doing local search Local solver returns a feasible point with value -190.0 Completed presolve in 0.02s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | -190.0 | -190.0 | -2057.2519 | 982.764 | 0.17s | 2 | -1004.7309 | -1004.7309 | -1121.8764 | 11.659 | 1.0s | 3 | - | -1004.7309 | -1013.0998 | 0.833 | 3.59s | 4 | -1004.7309 | -1004.7309 | -1004.98 | 0.025 | 9.58s | finish | -1004.7309 | -1004.7309 | -1004.7525 | 0.002 | 22.63s ==================================================================================================== *** Alpine ended with status OPTIMAL *** Test Summary: | Pass Total Time Alpine tests | 2457 2457 8m24.0s Testing Alpine tests passed Testing completed after 593.71s PkgEval succeeded after 786.51s