A Consumer that is passed to SolverManager.solveAndListen() should be called on a separate thread (not the solver thread).
For each active solver, there should be exactly 1 consumer thread.