SOLVER_SOLUTION_POOLJOB
|| sourceId == SOLVER_SOLUTION_POOLJOB) {
queue_push(solutionq, SOLVER_SOLUTION_POOLJOB);
if (p == SOLVER_SOLUTION_POOLJOB)
if (p == SOLVER_SOLUTION_JOB || p == SOLVER_SOLUTION_POOLJOB)
if (p == SOLVER_SOLUTION_JOB || p == SOLVER_SOLUTION_POOLJOB)