Add total profiler run time to stats output