On Sunday 15 January 2006 05:04, Jason Dagit wrote: > Peak RES (as measured by top) > orig: 940MB > no-reread: 950MB > > Peak VIRT (as measured by top) > orig: 1756MB > no-reread: 1289MB > > When I realized that orig had consumed more time and space than no- > reread I killed it so I'm not sure where it would have peaked or how > much time it would have taken to reach that peak.
Err, according to your numbers, Peak RSS was larger for no-reread, so orig did _not_ consume greater max memory up to that point (I'm not claiming that it wouldn't). Peak VIRT is generally not indicative of actual memory usage. Aggelos _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
