a bit of cleaning; add solver statistics.