Grep times from logfile, and calculate processing times