add POSIX+milliseconds time as format and output