print resource usage at end of run, requires PHP_Timer