See the comments at the bottom of this code. import JuMP, Gurobi CR = JuMP.Model(() -> Gurobi.Optimizer()) JuMP.@variable(CR, x[1:3]) JuMP.set_lower_bound(x[1], exp(1)); JuMP.set_upper_bound(x[1], exp(2)) JuMP.set_lower_bound(x[3], 1e-6) JuMP.@objective(CR, Min, -x[1] * x[2] - log(x[3]) + x[2]^2/4)…

Gurobi12 reports obj_value < obj_bound in a Min-Program?

Specific Domains Optimization (Mathematical)

WalterMadelim March 12, 2025, 12:52pm 9

I think JuMP.primal_status is somewhat unimportant, given the presence of JuMP.has_values. I’ve just written a rigorous procedure about this, please see About JuMP.is_solved_and_feasible.

Topic		Replies	Views
Gurobi12 Reports unbounded to a nonconvex QP which is actually bounded Optimization (Mathematical) jump , gurobi	10	66	March 13, 2025
Detecting problems with numerically challenging models Optimization (Mathematical) gurobi	4	229	September 2, 2024
Infeasible or unbounded model Optimization (Mathematical) question , jump	6	2583	March 10, 2022
Getting unbounded ray in JuMP Optimization (Mathematical) jump	5	87	February 28, 2025
Getting the upper and lower bounds in MILP - JuMP Optimization (Mathematical)	1	919	July 16, 2022

Gurobi12 reports obj_value < obj_bound in a Min-Program?

Related topics