Package evaluation of Alpine on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T02:18:58.810 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.95s ################################################################################ # 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 3.93s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 145.29s ################################################################################ # Testing # Testing Alpine Status `/tmp/jl_QaOHgn/Project.toml` [07493b3f] Alpine v0.5.7 [861a8166] Combinatorics v1.0.2 [87dc4568] HiGHS v1.15.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_QaOHgn/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.15.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... 39425.5 ms ✓ HiGHS 1 dependency successfully precompiled in 40 seconds. 52 already precompiled. Precompiling packages... 36064.4 ms ✓ Ipopt → IpoptMathOptInterfaceExt 1 dependency successfully precompiled in 37 seconds. 73 already precompiled. Precompiling packages... 13161.7 ms ✓ Juniper 1 dependency successfully precompiled in 13 seconds. 52 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 24.25s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 3834.9781 | 45.597 | 43.37s ==================================================================================================== *** 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.42s ==================================================================================================== *** 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.05s ==================================================================================================== *** 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.42s | finish | 7446.9743 | 7049.2479 | 6424.1806 | 8.867 | 1.7s ==================================================================================================== *** 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.22s *** 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.08s *** 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.08s *** 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.37s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 227.981 | 227.981 | 108.1633 | 52.556 | 0.74s 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 | 10.02s ==================================================================================================== *** 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 43.01s *** 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 34.62s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 1.0 | 1.0 | -2.8288 | 382.882 | 34.71s | 2 | - | 1.0 | -2.8285 | 382.85 | 34.79s | finish | -2.8284 | -2.8284 | -2.8285 | 0.003 | 34.79s ==================================================================================================== *** 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.23s | finish | 7446.9743 | 7049.2479 | 5897.2165 | 16.343 | 1.17s ==================================================================================================== *** 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.03s | finish | - | 7049.2479 | 3106.3098 | 55.934 | 0.22s ==================================================================================================== *** 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.6s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 4993.3484 | 29.165 | 0.98s | finish | 8817.8682 | 7049.2479 | 6310.9733 | 10.473 | 2.74s ==================================================================================================== *** 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 6.85s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 7049.2479 | 7049.2479 | 6343.871 | 10.006 | 7.2s | finish | 7200.8409 | 7049.2479 | 6877.9116 | 2.431 | 9.12s ==================================================================================================== *** 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.01s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 58.3837 | 58.3837 | 57.7725 | 1.047 | 0.34s ==================================================================================================== *** 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.52s | 2 | 7226.7536 | 7049.2479 | 5641.8462 | 19.965 | 1.61s | 3 | - | 7049.2479 | 6540.1946 | 7.221 | 4.32s | finish | 7254.9412 | 7049.2479 | 6839.4877 | 2.976 | 12.76s ==================================================================================================== *** 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.13s | 3 | 1.4142 | 1.4142 | 1.4114 | 0.202 | 0.22s | 4 | 1.4142 | 1.4142 | 1.4114 | 0.202 | 0.34s | 5 | 1.4142 | 1.4142 | 1.4114 | 0.202 | 0.45s | finish | 1.4142 | 1.4142 | 1.414 | 0.014 | 0.57s ==================================================================================================== *** 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.58s | 2 | 7446.9743 | 7049.2479 | 5897.2165 | 16.343 | 1.28s | finish | - | 7049.2479 | 6669.256 | 5.391 | 3.38s ==================================================================================================== *** 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 2.37s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 1106.7368 | 99.819 | 6.29s | 2 | 2.0 | 2.0 | 79.4099 | 97.481 | 6.38s | 3 | 1.9102 | 2.0 | 17.2206 | 88.386 | 6.77s | finish | 1.6253 | 2.0 | 10.8261 | 81.526 | 7.51s ==================================================================================================== *** 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.09s | 3 | 1.8932 | 2.0 | 31.5066 | 93.652 | 0.45s | finish | 1.0279 | 2.0 | 12.0495 | 83.402 | 1.31s ==================================================================================================== *** 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 | 1.46s | 2 | 2.0 | 2.0 | 116.45 | 98.283 | 1.59s | 3 | 1.3036 | 2.0 | 20.1272 | 90.063 | 1.92s | finish | 1.6358 | 2.0 | 7.2445 | 72.393 | 4.16s ==================================================================================================== *** 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.09s | 3 | 1.6581 | 2.0 | 20.6737 | 90.326 | 0.46s | finish | 1.5935 | 2.0 | 8.509 | 76.496 | 2.54s ==================================================================================================== *** 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.07s | 3 | 1.2333 | 2.0 | 29.2411 | 93.16 | 0.42s | finish | 1.761 | 2.0 | 8.1611 | 75.494 | 2.82s ==================================================================================================== *** 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 2.36s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 71.906 | 97.219 | 2.37s | 2 | 2.0 | 2.0 | 15.1302 | 86.781 | 2.43s | 3 | 2.0 | 2.0 | 5.1976 | 61.521 | 2.58s | finish | 1.8729 | 2.0 | 2.8976 | 30.977 | 3.39s ==================================================================================================== *** 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.01s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | 2.0 | 2.0 | 110.4708 | 98.19 | 0.02s | 2 | 2.0 | 2.0 | 23.3338 | 91.429 | 0.08s | 3 | 2.0 | 2.0 | 7.9925 | 74.976 | 0.23s | finish | 2.0 | 2.0 | 3.8551 | 48.121 | 0.59s ==================================================================================================== *** 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.01s 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.08s | 3 | 1.9823 | 2.0 | 5.4363 | 63.21 | 0.22s | finish | 1.5645 | 2.0 | 3.5967 | 44.394 | 0.78s ==================================================================================================== *** 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.02s | 2 | 3.0 | 3.0 | 52.1469 | 94.247 | 0.03s | finish | 3.0 | 3.0 | 12.0546 | 75.113 | 0.17s ==================================================================================================== *** 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.28s | 2 | - | 7049.2479 | 4896.6075 | 30.537 | 1.45s | finish | 7049.2479 | 7049.2479 | 5871.5307 | 16.707 | 3.24s ==================================================================================================== *** 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.37s ==================================================================================================== *** 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.40154194831848145 BRANCH RATIO = 10, METRIC = 4179.164520879309 || TIME = 0.20511293411254883 BRANCH RATIO = 12, METRIC = 4624.802867549727 || TIME = 0.6328699588775635 BRANCH RATIO = 14, METRIC = 4892.8577703100445 || TIME = 0.28734803199768066 BRANCH RATIO = 16, METRIC = 4703.605725826039 || TIME = 0.3129429817199707 BRANCH RATIO = 18, METRIC = 4564.564609540186 || TIME = 0.3702819347381592 BRANCH RATIO = 20, METRIC = 4458.109915572042 || TIME = 0.2308330535888672 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 14 Completed presolve in 2.46s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 4892.8578 | 30.59 | 3.25s ==================================================================================================== *** 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.09134912490844727 BRANCH RATIO = 10, METRIC = 117.30720065950939 || TIME = 0.0927882194519043 BRANCH RATIO = 12, METRIC = 117.47616391119944 || TIME = 0.14729809761047363 BRANCH RATIO = 14, METRIC = 117.49730354290222 || TIME = 0.1477508544921875 BRANCH RATIO = 16, METRIC = 117.51714020171164 || TIME = 0.16756010055541992 BRANCH RATIO = 18, METRIC = 117.54580809946214 || TIME = 0.23737597465515137 BRANCH RATIO = 20, METRIC = 117.57374191761737 || TIME = 0.1743788719177246 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 8 Completed presolve in 1.14s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 130.7025 | 130.7025 | 122.4188 | 6.338 | 1.53s ==================================================================================================== *** 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.8392400741577148 BRANCH RATIO = 10, METRIC = 3.6560999999998356 || TIME = 1.7553248405456543 BRANCH RATIO = 12, METRIC = 3.4556249999999977 || TIME = 1.8061718940734863 BRANCH RATIO = 14, METRIC = 3.334744897959185 || TIME = 1.843876838684082 BRANCH RATIO = 16, METRIC = 3.2562890624999965 || TIME = 2.05344295501709 BRANCH RATIO = 18, METRIC = 3.2997500000161453 || TIME = 1.6026442050933838 BRANCH RATIO = 20, METRIC = 3.4569801923077517 || TIME = 1.1483969688415527 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 16 Completed presolve in 12.06s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 3.0 | 3.0 | 3.1057 | 3.405 | 18.51s ==================================================================================================== *** 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.05802798271179199 BRANCH RATIO = 10, METRIC = 36.49851361082922 || TIME = 0.07381892204284668 BRANCH RATIO = 12, METRIC = 33.54779704916936 || TIME = 0.07161092758178711 BRANCH RATIO = 14, METRIC = 31.07317144965045 || TIME = 0.12102699279785156 BRANCH RATIO = 16, METRIC = 28.686171396116656 || TIME = 0.19203996658325195 BRANCH RATIO = 18, METRIC = 26.550806700734125 || TIME = 0.11775684356689453 BRANCH RATIO = 20, METRIC = 24.569442309794486 || TIME = 0.06532096862792969 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 20 Completed presolve in 0.71s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 3.0 | 3.0 | 3.326 | 9.802 | 4.61s ==================================================================================================== *** 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.4824779033660889 BRANCH RATIO = 10, METRIC = 3.5887923199999996 || TIME = 1.2309179306030273 BRANCH RATIO = 12, METRIC = 3.0962000000000103 || TIME = 2.211801052093506 BRANCH RATIO = 14, METRIC = 3.1727918367356795 || TIME = 2.53696608543396 BRANCH RATIO = 16, METRIC = 3.547533928571494 || TIME = 2.396773099899292 BRANCH RATIO = 18, METRIC = 3.8557000000093193 || TIME = 1.755568027496338 BRANCH RATIO = 20, METRIC = 4.112840000000206 || TIME = 2.199498176574707 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 12 Completed presolve in 13.82s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 2.0 | 2.0 | 7.9097 | 74.715 | 17.3s ==================================================================================================== *** 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.06604886054992676 BRANCH RATIO = 10, METRIC = 209.9471657004288 || TIME = 0.06120491027832031 BRANCH RATIO = 12, METRIC = 169.70604858406267 || TIME = 0.06377291679382324 BRANCH RATIO = 14, METRIC = 138.994673521231 || TIME = 0.18421602249145508 BRANCH RATIO = 16, METRIC = 115.97342016451215 || TIME = 0.09835386276245117 BRANCH RATIO = 18, METRIC = 98.52620058308165 || TIME = 0.09985804557800293 BRANCH RATIO = 20, METRIC = 84.53481726488263 || TIME = 0.21866798400878906 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 20 Completed presolve in 0.8s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 2.0 | 2.0 | 4.9851 | 59.88 | 5.04s ==================================================================================================== *** 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.6415040493011475 BRANCH RATIO = 10, METRIC = 5.325017599999998 || TIME = 0.914588212966919 BRANCH RATIO = 12, METRIC = 6.047969230769233 || TIME = 0.5364291667938232 BRANCH RATIO = 14, METRIC = 6.4116387820450775 || TIME = 0.9125311374664307 BRANCH RATIO = 16, METRIC = 5.713379995207209 || TIME = 1.9261579513549805 BRANCH RATIO = 18, METRIC = 5.197792466318414 || TIME = 2.0804049968719482 BRANCH RATIO = 20, METRIC = 4.803130895055474 || TIME = 2.7887840270996094 RATIO BRANCHING OFF due to solution variance test passed. INCUMB_RATIO = 20 Completed presolve in 9.81s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | finish | 2.0 | 2.0 | 3.6234 | 44.803 | 13.51s ==================================================================================================== *** 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 4.36s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 0.3 | 0.3 | 0.3 | 0.0 | 4.93s ==================================================================================================== *** 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 | 3.06s ==================================================================================================== *** 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.2s ==================================================================================================== *** 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.87s | finish | 7141.5401 | 7049.2479 | 6893.2067 | 2.214 | 5.83s ==================================================================================================== *** 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.09s | 2 | 1.4142 | 1.4142 | 1.3846 | 2.093 | 0.17s | 3 | 1.4142 | 1.4142 | 1.3846 | 2.093 | 0.26s | 4 | - | 1.4142 | 1.3846 | 2.093 | 0.35s | 5 | - | 1.4142 | 1.3846 | 2.093 | 0.44s | finish | - | 1.4142 | 1.4136 | 0.046 | 0.6s ==================================================================================================== *** 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.73s | 2 | 7446.9743 | 7049.2479 | 6424.1806 | 8.867 | 6.09s | finish | 7141.5401 | 7049.2479 | 6893.2067 | 2.214 | 12.52s ==================================================================================================== *** 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.17s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | - | Inf | 69.2386 | LARGE | 0.19s ==================================================================================================== *** 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: INFEASIBLE_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.43s UPPER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Upper Bound | Gap (%) | Time | 1 | - | -Inf | 14.0064 | LARGE | 1.72s | 2 | - | -Inf | 13.9694 | LARGE | 2.3s | finish | - | -Inf | 13.9694 | LARGE | 3.85s ==================================================================================================== *** 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.34s ==================================================================================================== *** 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 | 2.02s ==================================================================================================== *** 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.28s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | 3651.0204 | 3651.0204 | 3495.9592 | 4.247 | 0.75s | 2 | - | 3651.0204 | 3499.7471 | 4.143 | 1.4s | 3 | 3651.0204 | 3651.0204 | 3649.8107 | 0.033 | 2.32s | finish | 3651.0204 | 3651.0204 | 3650.7864 | 0.006 | 4.11s ==================================================================================================== *** 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.39s *** 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.51s ==================================================================================================== *** 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.55s ==================================================================================================== *** 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.43s ==================================================================================================== *** 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.14s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 7049.2479 | 7049.2479 | 4810.213 | 31.763 | 4.51s ==================================================================================================== *** 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 18.71s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | finish | 13.0 | 13.0 | 13.0 | 0.0 | 18.73s ==================================================================================================== *** 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 2.82s *** 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.23s *** 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.03s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | -190.0 | -190.0 | -2057.2519 | 982.764 | 0.21s | 2 | -1004.7309 | -1004.7309 | -1121.8764 | 11.659 | 1.49s | 3 | - | -1004.7309 | -1116.7734 | 11.151 | 2.94s | 4 | -1004.7309 | -1004.7309 | -1028.763 | 2.392 | 4.7s | 5 | -1004.7309 | -1004.7309 | -1006.5607 | 0.182 | 6.65s ┌ 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 | 13.29s | finish | -1004.7309 | -1004.7309 | -1004.7456 | 0.001 | 16.73s ==================================================================================================== *** 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.03s LOWER-BOUNDING ITERATIONS ==================================================================================================== | Iter | Incumbent | Best Incumbent | Lower Bound | Gap (%) | Time | 1 | -190.0 | -190.0 | -2057.2519 | 982.764 | 0.21s | 2 | -1004.7309 | -1004.7309 | -1121.8764 | 11.659 | 1.37s | 3 | - | -1004.7309 | -1013.0998 | 0.833 | 5.18s | 4 | -1004.7309 | -1004.7309 | -1004.98 | 0.025 | 14.07s | finish | -1004.7309 | -1004.7309 | -1004.7525 | 0.002 | 33.61s ==================================================================================================== *** Alpine ended with status OPTIMAL *** Test Summary: | Pass Total Time Alpine tests | 2457 2457 10m39.0s Testing Alpine tests passed Testing completed after 777.57s PkgEval succeeded after 951.05s