gurobi appears to be working, just need to clean up!