Fix formatting of floating point values in stats file
Fix total ops calculation in stats file printout
Add timestamp to stats file output