Really count time using Linux resource usage counters.
This allows counting user time and kernel time.
Report both.