PROBLEM: It seems that /usr/bin/time program reports a wrong value for MaxRSS.

2012-10-11 Thread Kamran Amini
On Mon, Oct 8, 2012 at 3:43 AM, Hugh Dickins wrote: > On Sun, 7 Oct 2012, Kamran Amini wrote: >> On Sun, Oct 7, 2012 at 1:18 AM, Hugh Dickins wrote: >> > On Thu, 4 Oct 2012, Kamran Amini wrote: >> >> >> >> It seems that /usr/bin/time program reports

Re: PROBLEM: It seems that /usr/bin/time program reports a wrong value for MaxRSS.

2012-10-06 Thread Kamran Amini
On Sun, Oct 7, 2012 at 1:18 AM, Hugh Dickins wrote: > On Thu, 4 Oct 2012, Kamran Amini wrote: >> >> 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 it

PROBLEM: It seems that /usr/bin/time program reports a wrong value for MaxRSS.

2012-10-04 Thread Kamran Amini
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 : amin...@cert.sharif.edu GMail : kamran.amini@gmail.com SharifCERT Website : http