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

[John Forrest]

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
>
> 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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20180101/a285d6a9/attachment.html>