[Cbc] Segfault when requesting duals in Cbc

[John Forrest]

Jack,

You should now get a message in file to say results not valid when 
infeasible.

John Forrest
On 26/08/16 16:43, Jack Dunn wrote:
> Hi all,
>
> If I request the duals using the Cbc binary on a problem that ends up 
> being infeasible (see attached model.lp file for a minimal example) I 
> encounter a segfault:
>
> $ cbc-import model.lp-solve -printingOptions all -solution 
> model.sol-printingOptions rhs-solution rhsranges.txt-printingOptions 
> objective -solution costranges.txt
>
> Welcome to the CBC MILP Solver
> Version: 2.9.8
> Build Date: Apr 28 2016
> Revision Number: 2277
>
> command line - cbc -import model.lp -solve -printingOptions all 
> -solution model.sol -printingOptions rhs -solution rhsranges.txt 
> -printingOptions objective -solution costranges.txt (default strategy 1)
>
> Presolve determined that the problem was infeasible with tolerance of 
> 1e-08
>
> Analysis indicates model infeasible or unbounded
> 0Obj 0 Primal inf 1.9999999 (1) Dual inf 0.9999999 (1)
> 1Obj 0 Primal inf 0.9999999 (1)
> Primal infeasible - objective value 0
> PrimalInfeasible objective 0 - 1 iterations time 0.002
>
> Result - Linear relaxation infeasible
>
> Enumerated nodes: 0
> Total iterations: 0
> Time (CPU seconds): 0.00
> Time (Wallclock Seconds): 0.01
>
> Option for printingOptions changed from normal to all
> Option for printingOptions changed from all to rhs!ranging
> 0Obj 0 Primal inf 0.9999999 (1)
> Primal infeasible - objective value 0
> Primal infeasible - objective value 0
> [1]22862 segmentation faultcbc -import model.lp -solve -printingOptions
>
>
> (I also posted this to the issue tracker: 
> https://projects.coin-or.org/Cbc/ticket/170 
> <https://urldefense.proofpoint.com/v2/url?u=https-3A__projects.coin-2Dor.org_Cbc_ticket_170&d=CwMFaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=woETK4VtCb8PX9kQHU5U79PxeIs1la2TmzvoBGrOI1k&s=Fq808UWUHNIPMCKnjEq7cXUcUC7s6PzDrRdvXDhgH8I&e=>)
>
>
> _______________________________________________
> 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=woETK4VtCb8PX9kQHU5U79PxeIs1la2TmzvoBGrOI1k&s=HC7cMjneWNWOoDfieMUcn5eEuBGLyAsJsAM2-uLtdb8&e=


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