Fix incorrect time being recorded. process_time is incorrect because
most the time is spent waiting for another process (i.e. the tool)
to run so we need to use the wall clock time instead.