setSolverWorkerCount