fixed gurobi bug