Did some work on solver statistics