Changed the nature of the parallelism, so the solver makes better use of the resources available...