Server: allow user to specify maximum number of cores to use.