B-37937: change the timestamp format to contain milliseconds