From the manpage of the time command. See the actual manpage for more details: