Gurobi reports UNKNOWN_RESULT_STATUS when Solution count = 10

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.