working draft for solver statistics.