[gecode-users] Peak Memory

[Christian Schulte]

Just the memory used by the Gecode search engine: the stack for search
together with all spaces (with their propagators, branching, etc) stored on
that stack.

 

Christian

 

--

Christian Schulte, www.it.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of David Przybilla
Sent: Tuesday, February 17, 2009 1:34 AM
To: users at gecode.org
Subject: [gecode-users] Peak Memory

 

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/38f2caca/attachment.htm>