From help times:
Prints the accumulated user and system times for the shell and all of its child processes.
You were emphasising
for the shell and all of its child processes when you should have been paying more attention to
user and system times.
User Time and System Time is not Real (or clock) time, they are the CPU times used in user code and system function calls respectively.
time built-in (and the external utility of the same name) can display all three times - Real Time, User Time, and System Time. From
Execute PIPELINE and print a summary of the real time, user CPU time
and system CPU time spent executing PIPELINE when it terminates.
Also BTW. the bash built-in
time output format is configurable. I like to to use the following so that it only uses one line of my terminal rather than wasting 3 lines:
export TIMEFORMAT=$'\nreal %3lR\tuser %3lU\tsys %3lS'
The GNU version of the external
time utility (
/usr/bin/time) allows you to configure the output format with the
--format option. Other versions may or may not have similar options...don't know, don't care enough to look it up.