Now we dump the statistics