improved runSolverPc19, it uses threads more efficiently