Use millis for joda DateTimeFormatter.print() in cat timestamps

Fixes #4782.