changed Gurobi environment to be a mutex-protected member variable