Fixed bug 2063. The CPU time is now updated during the calculation of the
statistics.