Logging has been refactored in exact_solver.c