[Scip] consistent "double free" segfault with fscip

[George Nychis]

Sure, sorry Yuji.

On a 6 core machine with 16GB of memory, it often takes about 6 hours to
segfault.  Rarely does it segfault earlier than that.  If you give me
pointers on how to debug it, I could also try to build with some debug
flags, etc.

I will re-run it and try to capture the output.  Previously, I was not
saving this output.

- George


On Fri, Oct 18, 2013 at 4:02 PM, Yuji Shinano <shinano at zib.de> wrote:

> So, please send me your output until it causes the segmentation fault.
> How long did it take time to get it.
>
> I assumed that you compiled with opt mode. Then, I compiled with
>   - Soplex: make PARASCIP=true
>   - SCIP: make PARASCIP=true
>   - UG: make
> Currently, it is running more than 12640 sec. without the segmentation
> fault.
> I need more information from you to debug it.
>
> Best,
> Yuji
>
>
> (13/10/18 22:40), George Nychis wrote:
>
>> I definitely built with PARASCIP=true, and I've been using fscip for a
>> while now with some different
>> programs without an issue.  This one in particular has been segfaulting
>> for me, though.  I believe
>> that I did a standard make and built UG, SCIP, and Soplex will all of the
>> options.
>>
>> Thanks for the help!
>>
>> - George
>>
>>
>> On Fri, Oct 18, 2013 at 12:51 PM, Yuji Shinano <shinano at zib.de <mailto:
>> shinano at zib.de>> wrote:
>>
>>     Hi George,
>>
>>
>>         I've tried this on 5 different machines now, and my MIP keeps
>> crashing with a segfault on a
>>         double
>>         free using fscip:
>>
>>         *** glibc detected *** fscip: double free or corruption (!prev):
>> 0x00007f84b57b2ae0 ***
>>
>>
>>         I've attached the MIP, you can run it on "obj_jainFairness.zpl"
>>
>>
>>     Did you use Soplex and SCIP compiled with "PARASCIP=true" option?
>>     Could you tell me how to build the binaries of Soplex, SCIP, UG (all
>> options)?
>>
>>     Best,
>>     Yuji
>>
>>
>>     ______________________________**___________________
>>     Scip mailing list
>>     Scip at zib.de <mailto:Scip at zib.de>
>>     http://listserv.zib.de/__**mailman/listinfo/scip<http://listserv.zib.de/__mailman/listinfo/scip><
>> http://listserv.zib.de/**mailman/listinfo/scip<http://listserv.zib.de/mailman/listinfo/scip>
>> >
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20131018/530dbfda/attachment.html>