The GNU
time
Command
Measuring Program Resource Usage
Using the
time
command
Formatting The Output
Examples
Accuracy