solver.addProblemFactChange(new AddProcessChange(process));
}
// Wait until those AddProcessChanges are processed
waitForNextStage();
solver.terminateEarly();
try {
// Wait until the solver thread dies.
solverThread.join();
} catch (InterruptedException e) {
throw new IllegalStateException("SolverThread did not die.", e);