@FoolAck: Das würde mir als Erklärung des Phänomens einleuchten. perdoc -f times gibt leider gerade mal zwei Zeilen her:

times Returns a four-element list giving the user and system times, in seconds, for this
process and the children of this process.

Die Berechnung von User- und System-Times bleibt bei diesem Zweizeiler unerklärt. :-(
Aber ich glaube so wie Du sagst wird es sein.