Limit number of cplex threads (= deterministic)