ignore gurobi.log