<div dir="ltr">Hi <span style="font-size:12.8px">Thorsten,</span><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">It was indeed the stack not being big enough for the problem, it works as expected after I double it. Thank you very much! </span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">best regards</span></div><div><span style="font-size:12.8px">Harvey</span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 10, 2017 at 2:16 AM, Thorsten Koch <span dir="ltr"><<a href="mailto:koch@zib.de" target="_blank">koch@zib.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Harvey,<br>
<br>
I will look at it.<br>
Have you tried increasing the stack size (ulimit -s ...) ?<br>
This is a common reason.<br>
<br>
Best regards<br>
Thorsten<br>
<br>
Am 09.08.17 um 22:38 schrieb Harvey Zhao:<br>
<span class="">> hi there,<br>
><br>
> do we have some kind of hard limit on the problem size that zimpl can<br>
> handle? I am getting segment fault while running zimpl 3.3.4 on ubuntu with<br>
> this problem file<br>
</span>> <<a href="https://s3.eu-west-2.amazonaws.com/zpl-data/test_file.zpl" rel="noreferrer" target="_blank">https://s3.eu-west-2.<wbr>amazonaws.com/zpl-data/test_<wbr>file.zpl</a>> (the size is<br>
<span class="">> not particularly big though), same error can also be reproduced from<br>
> <a href="http://neos-server.org" rel="noreferrer" target="_blank">neos-server.org</a>, so it probably not an issue with my Linux or complies<br>
> either.<br>
><br>
> Much appreciated if anyone can suggest what causes this issue? thank you<br>
> very much!<br>
><br>
><br>
> best regards<br>
> Harvey<br>
><br>
><br>
><br>
</span>> ______________________________<wbr>_________________<br>
> Scip mailing list<br>
> <a href="mailto:Scip@zib.de">Scip@zib.de</a><br>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/<wbr>mailman/listinfo/scip</a><br>
><br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
The important thing is not to stop questioning.<br>
Curiosity has its own reason for existing.          -- Albert Einstein<br>
______________________________<wbr>______________________________<wbr>__________<br>
Prof. Dr. Thorsten Koch /       Technische Universität Berlin<br>
<a href="http://www.zib.de/koch" rel="noreferrer" target="_blank">www.zib.de/koch</a>        /                   and<br>
<a href="mailto:koch@zib.de">koch@zib.de</a>           /          Zuse Institute Berlin (ZIB)<br>
_____________________/       Takustraße 7, 14195 Berlin, Germany<br>
       and also                Phone <a href="tel:%2B49-30-84185-213" value="+493084185213">+49-30-84185-213</a>, Fax -269<br>
KOBV : Kooperativer Bibliotheksverbund Berlin Brandenburg<br>
digiS: Servicestelle Digitalisierung des Landes Berlin<br>
______________________________<wbr>______________________________<wbr>__________<br>
</font></span></blockquote></div><br></div>