hot patch for GurobiSolver