solvers: return statistics if verb==3