Measuring Program Resource Use
The GNU
time
Command
Edition 1.6, for version 1.6
October 1993
David MacKenzie
Measuring program resource use
Using the
time
command
Formatting the output
Examples
Accuracy