[Cbc] Segfault dealing with infeasible lp

[John Forrest]

Had already made a change in local copy of trunk (for a different 
reason) which fixes error.

Hopefully fixed in stable and trunk

John Forrest
On 09/01/17 16:25, Luís Borges de Oliveira wrote:
> Hello,
>
> We've come across an infeasible lp that causes CBC to segfault:
>
>     Welcome to the CBC MILP Solver
>     Version: 2.9
>     Build Date: Jan  5 2017
>     Revision Number: 2315
>
>     command line - Z:\siscog\sc-cbc\coin-or-cbc\build\bin\cbc.exe
>     infeasible.lp (default strategy 1)
>
>     Program received signal SIGSEGV, Segmentation fault.
>     0x0000000000737f80 in
>     ClpNonLinearCost::checkInfeasibilities(double) ()
>
> An attempt to minimise the lp size made the problem go away, so here 
> is the full lp: 
> https://drive.google.com/open?id=0B4aZo5-t5mnHQUlFWU1BRHRMRDA (4.5 MB).
>
> In case it helps, the infeasibility stems from following constraints 
> and binary variables:
>
>     cnd(R51,16): + a(R51,16,D141) + a(R51,17,D1093) + a(R51,19,D513) <= 2
>     s_a(R51,16): + a(R51,16,D141) = 1
>     s_a(R51,17): + a(R51,17,D1093) = 1
>     s_a(R51,19): + a(R51,19,D513) = 1
>
>
> Cheers,
> Luís
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=iozQ9OKrvb9wPclxXhYrd58gAiZa_F_xpncpIiISDj4&s=vZBatNpuyxBZlcMLfvt1kGxA3pWqA9xzUCfRs64JR6c&e=


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