timeout: 50s; up to 32 preemptive threads