[Gecode] Memory information: needed? how accurate?

[Christian Schulte]

Dear all,

the last thing which is currently on the list of things to be done for
Gecode in order to release is functionality that allows to inquire how much
memory is used for solving a problem (of course, putting docs aside).

The simplest approach would be only to check how much memory has been
allocated by each space. However, propagators also can have memory allocated
for caching intermediate states and this can be quite substantial. Does one
also want to know about this?

Moreover, in order to find out how much memory is used by a search engine it
is not sufficient to only look out for how much memory is allocated for
spaces as also branch descriptions (used for batch recomputation) are stored
by the search engine. Does one want to know?

And even more: would one wish to have the possibility to ask for the peak
memory consumption of a search engine?

So many questions so little answers...
Christian

--
Christian Schulte, http://www.imit.kth.se/~schulte/