[gecode-users] Peak Memory

[David Przybilla]

Hello,
Im not sure about the meaning of "Peak Memory" in the statistics showed.
does it mean the memory used by the whole program or  just the memory used
by spaces and propagators?

Thank you
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090217/e9e09c38/attachment.htm>