It is not clear to me whether the output is based on the wall clock or CPU time. Could we add this to the documentation?