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