Minor changes to the solver logger