use a bit less cores, and print out worker numbers