cpu-time
cpu-time copied to clipboard
Separate user/system CPU time
Support for getrusage would be nice, to get separate user CPU time and system CPU time.