Made cpu time printout format compatible with Benchmarker.go