Use process time instead of wall clock time.
Merge pull request #75 from mdboom/use-process-timer

Use process time instead of wall clock time.