julia> JuMP.solution_summary(model)
solution_summary(; result = 1, verbose = false)
├ solver_name : Gurobi
├ Termination
│ ├ termination_status : TIME_LIMIT
│ ├ result_count : 10
│ ├ raw_status : Optimization terminated because the time expended exceeded the value specified in the TimeLimit parameter.
│ └ objective_bound : 3.53580e+06
├ Solution (result = 1)
│ ├ primal_status : UNKNOWN_RESULT_STATUS
│ ├ dual_status : NO_SOLUTION
│ ├ objective_value : 3.54215e+06
│ └ relative_gap : 1.79121e-03
└ Work counters
├ solve_time (sec) : 1.20145e+02
├ simplex_iterations : 135082
├ barrier_iterations : 30
└ node_count : 1
julia> JuMP.MOI.get(JuMP.backend(model), Gurobi.ModelAttribute("MaxVio"))
1.911067485593776e-6
The violation isn’t large, given the scale of the MIP.