ptimes - returns real, user, and system time
ptimes -> [rtimes utimes stimes cutimes cstimes]
Calls the POSIX times() function to obtain real, user,
and system time in seconds, as well as user and system times
counts for all child processes. Real time has arbitrary origin,
i.e., only differences are meaningful.
results for user and system time may not be reliable if more
than one thread is used.
man 2 times
Hans Ekkehard Plesser
2003-07-29
/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/sli-init.sli