[gecode-users] Memory usage of Space

[Christian Schulte]

Hi Kish,

Sorry there is not really anything that allows you to do so. You can build
Gecode with heap tracking (see configure --help) but I do not really know
whether this would help.

Cheers
Christian

--
Christian Schulte, KTH, web.it.kth.se/~cschulte/

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Kish Shen
Sent: Friday, August 1, 2014 10:45 PM
To: users at gecode.org
Subject: [gecode-users] Memory usage of Space

Hi,

One of our ECLiPSe user is trying out his program with our Gecode interface
(his original is written for ECLiPSe's native ic solver), and one of the
problem he has run into is that the execution seems to consume a lot of
memory (> 1.5G), and reducing the cloning apparently does not help much.

However, he can only measure the memory consumption indirectly, by looking
at the memory usage of the process, and so it is difficult to be precise.

Is there any existing way of measuring, or at least estimating, the amount
of memory used by Gecode? In this case, the search is done in ECLiPSe,
rather than using Gecode's search engines, so the creation of clones of the
Space are all done from ECLiPSe, so I assume Gecode have not got a "global"
way of tracking all the cloned Spaces. However, I should be able to do this
from ECLiPSe, but I need to be able to get the memory usage (or estimate) of
each Space -- is there any available procedure to get this?

Thanks in advance for any information/help!

Kish

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users