add counters that measure CPU time; until now, we measured only wall time