I’ve got an integer programming problem which I’m solving with JuMP, using Cbc as the underlying solver. The full solution of the problem (i.e., finding a provably optimal solution) takes longer than I care to wait, so I’ve implemented a time limit on the solve time like so:
using JuMP
using Cbc
m = Model(solver=CbcSolver(Sec=5*60))
When I solve the problem using
status = solve(m)
The status is
UserLimit
WARNING: Not solved to optimality, status: UserLimit
and I don’t know whether or not the solver managed to find a feasible solution in the allotted time. How can I quickly check whether or not the solution returned by the solver is feasible?