Now reported time is cpu time, not wall time.

This is due to discussion with both @jurgenvinju and @arnoldlankamp .