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?
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?