Printing out CPU time with precision of .0001
Authored by: tswift 2018-06-11
Parent: [r9355]
Child: [r9357]