time/gnutime/DESCR

   1 The time utility executes and measures the CPU, time, and memory
   2 resources used, such as pagefaults, swaps, memory, and user, system,
   3 and real time used by a process.
   4
   5 GNU time can format the output in arbitrary ways by using a
   6 printf-style format string to include various resource measurements.