Added a few logging info to exact_solver.