Compilation failed for a 500K pl file with 1.5GB global stack, memory leak?

[Maria Domingos]

Dear GNU Prolog developers,

     I have a 500K pl file calling the clp-fd library to solve a CSP. The file failed to compile with 1.5GB global stack. The pl file has less than 100 predicates, each predicate with a table constraint with at most 3000 rows (in fact only a few has more than 1000 rows, most have less than 100 rows). 

     Is this a bug?  Thank you for your help.

 

Best,

Maria

 

$ GLOBALSZ=1500000 LOCALSZ=200000 gplc --no-singl-warn --c-compiler gcc -C -O3 -C -std=c11 --no-top-level memory-bug.pl

Fatal Error: global stack overflow (size: 1500000 Kb, reached: 1499997 Kb, environment variable used: GLOBALSZ)
compilation failed
 

memory-bug.pl
Description: Binary data