times Print the accumulated user and system times for the shell and for processes run from the shell.