[Cbc] Segfault dealing with infeasible lp

[Luís Borges de Oliveira]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20170109/935126ce/attachment.html>