mik gurobi wirting solution to file