gurobi_logtools
