Hello

It seems that /usr/bin/time program reports a wrong value for MaxRSS.
The report shows MaxRSS, about 4 times the
actual allocated memory by a process and its children. MaxRSS (Maximum
Resident Set Size) is assumed to be maximum
allocated memory by a process and its children. This bug report talks
about this problem. More descriptions are provided in
time-problem.tar.gz file attached to this mail.

Thank you in advance

--
Kamran Amini
Software Engineer, Software Developer
SharifCERT

Email : amini.k@cert.sharif.edu
GMail : kamran.amini.eng@gmail.com
SharifCERT Website : http://cert.sharif.edu

5th Floor, SharifCERT (APA)
Department of Computer Engineering
Sharif University of Technology
Tehran, Iran