Fix formatting of floating point values in stats file
Add timestamp to stats file output