[gecode-users] Linear memory allocation

[Christian Schulte]

Stupid me, I saw that you attached the code ;-) I'll have a look and get
back to you later.

Sorry
Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Farshid Hassani Bijarbooneh
Sent: Tuesday, September 06, 2011 9:38 AM
To: users at gecode.org
Subject: [gecode-users] Linear memory allocation

Hello,

I have a model with 10^2 to 80^2 variables and linear constraints over 49
variables each. We have the following issues:
1. The code allocates at least 1Gb of memory for even N=50.
Changing the recomputation distance (-c-d) doesn't seem to help in this
case.
2. Changing the consistency to Domain (line 187) causes the code to process
endlessly! (Gist crashes) even for N=20 I suspected the domain consistency
problem is because of the use of IntVarArray instead of BoolVarArray and
changing to Bool fixed it, but still very strange that Int gets stuck.

Please find the code of the isolated problem attached.