[eclipse-clp-users] Segmentation fault when loading large source file

Hi,

When try to load very large source file (almost 10 Mb) I get
"Segmentation fault" error.

Version 6.0 #199 (x86_64_linux), Fri Nov  2 22:47 2012

$ eclipse -g 5000000 -b R10.ecl
Segmentation fault

Is there some kind of hard limit on source file size?
Maybe I should try development version?

Also I have slightly smaller file (around 3 Mb), and it works OK with
-g 2000000, but loading takes some time, while running the goal
(eplex) is instant. Is this expected?

Zip version of R10.ecl - http://tc-alchemy.progopedia.com/R10.zip

Sergii.