Some mishappenings during the vacation period have caused the strange statistics. Nothing is missing but all the jobs from June, July and part of August are gathered in the same statistics file. An estimation of the jobs run in June can be found in the jun-01-part directory.