Integer size in Eclipse

Dear All,
I would like to submit you a question about integer size in eclipse.

I have tried the following example
p :-  I1 :: -536870912..536870911, I2 :: -536870912..536870911, (I1 #= 
0) and (neg(I2 #= 0)) ,  indomain(I1, random), indomain(I2, random), 
writeln(I1), writeln(I2).
and eclipse gave me the error

*** Overflow of the global/trail stack in spite of garbage collection!
You are probably out of virtual memory (swap space).
Peak sizes were: global stack 56620 kbytes, trail stack 4180 kbytes

so, I tried to change the range of I1 variable like
p1 :-  I1 :: -5368709120..5368709110, I2 :: -5368709120..5368709110, (I1 
#= 0) and (neg(I2 #= 0)) ,  indomain(I1, random), indomain(I2, random), 
writeln(I1), writeln(I2).
and I get a solution, withouth memory problems.
As you can see the variable range is larger than in problem p.
So I suppose that is not a problem of my pc.

Thanks in advance for your time.
Best regards

-- 
Cristina Marconcini

Department of Computer Science - University of Verona
Strada le Grazie, 15 - 37134 Verona - Italy

email: marconcini@sci.univr.it
tel:   +39 045 8027081    fax:   +39 045 8027068