Mutes Gurobi.