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: [email protected] [mailto:[email protected]] On Behalf Of David Przybilla Sent: Tuesday, February 17, 2009 1:34 AM To: [email protected] 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
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
