Make output file format more regular
Ensure the statically defined timers are always shown
Add a more user-friendly output format