title: what's the maximum amount of constraints in minizinc
body: <p>I haven't been able to find any reference as to what is the maximum amount of variables and constraints that <a href="http://www.minizinc.org/" rel="nofollow">minizinc</a>'s solvers can handle. Specifically I'm interested minizinc's mip solver. I've been getting stack overflow errors on my mac with 8GB when I have about 15k constraints and about 1000 variables. Does anyone know if that's something close to minizinc's real limitations? </p>