finished gurobi mip1 example cleanup