print timing information in more humanly readable form

... instead of just in seconds.