add gurobi solver; it's about 1000 times faster