dedicated scheduler for service threads; configurable (larger default) executor for partitions and solvers