I rediscovered my small cli tool that prepends a time to each logline: https://github.com/Eun/logtimer

I ran ping very often and needed to see when exactly the connection dropped.