refactored solver loging and stats, closes #2