made the benchmark output report times in ms instead of seconds.