formatting
dump time in main loop, not in interrupt