Gurobi Multithreading bug fixed