Small modification to time command, and message printing format