SOLVER_SOLUTION_BEST
if (sourceId == SOLVER_SOLUTION_BEST) {
queue_push(solutionq, SOLVER_SOLUTION_BEST);
queue_push(solutionq, SOLVER_SOLUTION_BEST); /* split, see above */
queue_push(solutionq, SOLVER_SOLUTION_BEST);
else if (p == SOLVER_SOLUTION_BEST)
else if (p == SOLVER_SOLUTION_BEST)