Fixed a bug in solution logger