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