Memory overflow with CP support

[JoD]

The attached files from the ASP competition generate a memory overflow when CP is turned on (master branch version). Curiously, when the better_full_cp branch is used with CP turned on, the program runs fine.

[Broes De Cat]

The memory overflow an-sich is interesting. It is probably caused by the fact that the sum can take much more values than when it is effectively grounded, so the min/max aggregate ranges over a much larger domain. This is only a conjecture, and if so, can we improve upon it?