Stats moved into appropriate place
To print them out switch the debug_info on solver to 1/true: debug_info:
1
Changing the stats format.