Gurobi12 reports obj_value < obj_bound in a Min-Program?

If you are solving an LP and stop with a time limit, it probably won’t have a feasible point to return. If you are solving a MIP, it depends whether Gurobi found a primal feasible point. It might find one in 1 second, or it might take 1000 years. You should not rely on the fact that Gurobi will have a solution when stopped early.

I’ve fixed the CTRL+C issue with Gurobi: Improve handling of SIGINT interrupts by odow · Pull Request #621 · jump-dev/Gurobi.jl · GitHub. It may have been a change in Julia, not Gurobi. But regardless, I’m about to tag a new version.