Example of the time command

time-example.bash

$ echo "must say /usr/bin/time in full here as BASH reimplements the command"
must say /usr/bin/time in full here as BASH reimplements the command
$ /usr/bin/time -v wc mpi-gmp.quadrature.c.html
  163  1028 19555 mpi-gmp.quadrature.c.html
        Command being timed: "wc mpi-gmp.quadrature.c.html"
        User time (seconds): 0.00
        System time (seconds): 0.00
        Percent of CPU this job got: 0%
        Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.02
        Average shared text size (kbytes): 0
        Average unshared data size (kbytes): 0
        Average stack size (kbytes): 0
        Average total size (kbytes): 0
        Maximum resident set size (kbytes): 696
        Average resident set size (kbytes): 0
        Major (requiring I/O) page faults: 0
        Minor (reclaiming a frame) page faults: 224
        Voluntary context switches: 4
        Involuntary context switches: 1
        Swaps: 0
        File system inputs: 40
        File system outputs: 0
        Socket messages sent: 0
        Socket messages received: 0
        Signals delivered: 0
        Page size (bytes): 4096
        Exit status: 0
$