More logging and tracing ... on ExactSolver.