Andrew Gierth <andrew(at)tao11(dot)riddles(dot)org(dot)uk> writes:> How about> Time: 1234567.666 ms (20m 34.6s)
Hmm ... worksforme.
regards, tom lane