synchronized method for multithreaded gurobi should fix freezing issues during GDBB