Non-deterministic memory overflow during grounding of packing

[JoD]

When running the packing problem + instances (see https://bitbucket.org/krr/cp_speedtest for files), the symmetry breaking predicate "Largest" introduces random behaviour: sometimes the problem goes in memory overflow, sometimes it performs fast (as expected).

Broes suggests the bug must lie somewhere in the approximation part of the system.