Implement --parallel[=N] to specify the number of workers to use. On success, shutdown immediately by halting solvers.