[Cbc] Using SOS1 getting malloc: pointer being freed was not allocated

Rhavar rhavar at protonmail.com
Mon Jan 1 14:06:08 EST 2018


Sorry, I got that in reverse.

https://gist.github.com/RHavar/35479c3f6d7f91963b089615859543a6

The two problems should logically be equivalent to each other, however the one with SOS gives a better optimal than the one without.

-Ryan

> -------- Original Message --------
> Subject: Re: [Cbc] Using SOS1 getting malloc: pointer being freed was not allocated
> Local Time: January 1, 2018 12:49 PM
> UTC Time: January 1, 2018 6:49 PM
> From: rhavar at protonmail.com
> To: John Forrest <john.forrest at fastercoin.com>
> cbc at list.coin-or.org <cbc at list.coin-or.org>
>
> Thanks again John!
>
> I've rerun with "-heuristics off" and it now works. However assuming I've not made a mistake, it's finding a suboptimal solution and suggesting it's optimal. Not sure if it's related. I've tried running with "depth -100" but that didn't change anything.
>
> -Ryan
>
>> -------- Original Message --------
>> Subject: Re: [Cbc] Using SOS1 getting malloc: pointer being freed was not allocated
>> Local Time: January 1, 2018 12:32 PM
>> UTC Time: January 1, 2018 6:32 PM
>> From: john.forrest at fastercoin.com
>> To: cbc at list.coin-or.org
>>
>> Rhavar,
>>
>> Shows that SOS has not been tested much recently.  Not all heuristics can deal with SOS.  The one that gives the error should be able to but did not redo the SOS when it reduced the size of problem.  I will fix.
>>
>> So with -heuristics off it solves.
>>
>> John Forrest
>> On 01/01/18 16:10, Rhavar wrote:
>>
>>> Example:
>>>
>>> [https://gist.github.com/RHavar/58d232e8d353fabd9a5cd1060cf996a6](https://urldefense.proofpoint.com/v2/url?u=https-3A__gist.github.com_RHavar_58d232e8d353fabd9a5cd1060cf996a6&d=DwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=gugG43Uq79QiEm8KfHvIdZRo9qECldJrf0gUud2m1FI&m=hnTRe-ymHmb8VHDQkFRBcghItB615miy9N_s1s7PVfU&s=zVhS_H5tN3KDPesE4hyrv21w38PWT8O8Dd-B-nj7kO8&e=)
>>>
>>> Reproduce with  `cbc problem.lp solve`
>>>
>>> Running with:
>>>
>>> Welcome to the CBC MILP Solver
>>>
>>> Version: 2.9.6
>>>
>>> Build Date: Dec 22 2017
>>>
>>> ends up with:
>>>
>>> cbc(19780,0x7fffb8236340) malloc: *** error for object 0x7fb692934e40: pointer being freed was not allocated
>>>
>>> *** set a breakpoint in malloc_error_break to debug
>>>
>>> Abort trap: 6
>>>
>>> -Ryan
>>>
>>> _______________________________________________
>>> Cbc mailing list
>>> Cbc at list.coin-or.org
>>>
>>> [https://list.coin-or.org/mailman/listinfo/cbc](https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwMDaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=gugG43Uq79QiEm8KfHvIdZRo9qECldJrf0gUud2m1FI&m=hnTRe-ymHmb8VHDQkFRBcghItB615miy9N_s1s7PVfU&s=_qGp3xKGz5LPiT_MXHAFwfiCag4a1GP8hw05R5U4lT0&e=)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20180101/4f8e9456/attachment-0001.html>


More information about the Cbc mailing list