Some logging functions added to ExactSolver.