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.
BTW, the time built-in (and the external utility of the same name) can display all three times - Real Time, User Time, and System Time. From help time:
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 -f or --format option. Other versions may or may not have similar options...don't know, don't care enough to look it up.
help timesin bash tells you explicitlyPrints the accumulated user and system times for the shell and all of its child processes.. User and System times are not real or clock time (timeitself can print all three - real time, user time, and system time - seehelp time).