man time is a good start - on Linux you get the GNU time version.
Note: some shells (e.g.,bash(1)) have a built-in time command that provides less functionality than the command described here. To access the real command, you may need to specify its pathname (something like /usr/bin/time).
A call of /usr/bin/time gives a lot of information:
/usr/bin/time ls > /dev/null