To enhance the speed of running a solver one can use a "hard" assignment of the job to a specific core. This reduces the work needed to switch jobs between cores and enhances the speed. It is really neat if you need to do some other work on the workstation while the run is going on in the background.
# apt-get install schedtool
$ schedtool -a 5 10640
This command assigns job 10640...