[SCIP] zimpl segment fault

[Harvey Zhao]

Hi Thorsten,

It was indeed the stack not being big enough for the problem, it works as
expected after I double it. Thank you very much!

best regards
Harvey

On Thu, Aug 10, 2017 at 2:16 AM, Thorsten Koch <koch at zib.de> wrote:

> Hi Harvey,
>
> I will look at it.
> Have you tried increasing the stack size (ulimit -s ...) ?
> This is a common reason.
>
> Best regards
> Thorsten
>
> Am 09.08.17 um 22:38 schrieb Harvey Zhao:
> > hi there,
> >
> > do we have some kind of hard limit on the problem size that zimpl can
> > handle? I am getting segment fault while running zimpl 3.3.4 on ubuntu
> with
> > this problem file
> > <https://s3.eu-west-2.amazonaws.com/zpl-data/test_file.zpl> (the size is
> > not particularly big though), same error can also be reproduced from
> > neos-server.org, so it probably not an issue with my Linux or complies
> > either.
> >
> > Much appreciated if anyone can suggest what causes this issue? thank you
> > very much!
> >
> >
> > best regards
> > Harvey
> >
> >
> >
> > _______________________________________________
> > Scip mailing list
> > Scip at zib.de
> > https://listserv.zib.de/mailman/listinfo/scip
> >
>
> --
> The important thing is not to stop questioning.
> Curiosity has its own reason for existing.          -- Albert Einstein
> ______________________________________________________________________
> Prof. Dr. Thorsten Koch /       Technische Universität Berlin
> www.zib.de/koch        /                   and
> koch at zib.de           /          Zuse Institute Berlin (ZIB)
> _____________________/       Takustraße 7, 14195 Berlin, Germany
>        and also                Phone +49-30-84185-213, Fax -269
> KOBV : Kooperativer Bibliotheksverbund Berlin Brandenburg
> digiS: Servicestelle Digitalisierung des Landes Berlin
> ______________________________________________________________________
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20170810/57325f20/attachment.html>