format timer output in debug