-
Mikaël Salson authored
Use /usr/bin/time to get accurate memory resource usage. rusage couldn't be reliably used because it was influenced by the parent process.
d8f440dd
Use /usr/bin/time to get accurate memory resource usage. rusage couldn't be reliably used because it was influenced by the parent process.