[Cbc] CBC 2.9.7 crashes after cuts generation at root node

[Ted Ralphs]

Hi Anton,

Could you send an exact recipe for replicating the error, preferably with
some publicly available instance (e.g., from MIPLIB).

Cheers,

Ted

On Mon, Sep 19, 2016 at 5:23 AM, Anton Kargapolov <
anton.kargapolov at gmail.com> wrote:

> Thank you Ted and Haroldo,
>
> I've tried cbc 2.9 (build date 1 Sep 2016) from here :
> https://bintray.com/coin-or/download/download_file?file_
> path=Cbc-2.9-win32-msvc9.zip
> Crash happens at the same place.
> I have located that option "-strategy 2" makes the crash. With default
> strategy=1 it doesn't crash.
> I'm not sure what this option does, so i just assumed that my problem is
> hard to solve (job-shop scheduling) and "strategy 2" can be an option to
> try.
>
> With regards,
> Anton
>
>
> On Sun, 18 Sep 2016 at 04:11 Ted Ralphs <ted at lehigh.edu> wrote:
>
>> As an alternative, I'm in the process of rolling out automated deployment
>> of binaries and this is a good chance for testing that. I'd appreciate if
>> you could check out the binaries here:
>>
>> https://bintray.com/coin-or/download/Cbc/2.9#files/
>>
>> and let me know if they work for you. These are built against the latest
>> commit in the stable 2.9 branch. Trunk (development version) builds are
>> also available. These binaries are built, tested, and deployed
>> automatically from either Travis (Linux and OSX) or Appveyor (Windows)
>> after each commit. Starting with the next release, binaries will also be
>> deployed automatically immediately following each release. Let me know how
>> it goes.
>>
>> Cheers,
>>
>> Ted
>>
>> On Sat, Sep 17, 2016 at 4:21 PM, Haroldo Gambini Santos <
>> haroldo.santos at gmail.com> wrote:
>>
>>> Hi Anton,
>>>
>>> Here http://www.decom.ufop.br/haroldo/files/cbc.exe
>>> <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.decom.ufop.br_haroldo_files_cbc.exe&d=CwMD-g&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=rnUB298ByR5BGgo6vv2b6g&m=xbK2AYbQr20R9zwupDg8wmbo5Htd_7yDIUMAC6MMOMo&s=tyNMmY5OsZj91xe8DTSdddBGt0K7f1R2EwiB4xs-EyA&e=>
>>>
>>> there is an updated windows binary statically compiled (no dependencies
>>> I think). Please try with this updated version.
>>>
>>> Em 15/09/2016 08:31, Anton Kargapolov escreveu:
>>>
>>> Hi,
>>> My CBC solver consistently crusher when it finds optimal solution at
>>> root node after doing cuts generation.
>>> I attach model, log and screenshot.
>>> Model has ~20000 variables, most of them are "fixed" to specific value
>>> by constraints, and only a fraction of ~20% is to be solved.
>>> I haven't tried 2.9.8 since i can't find the binary for that version. I
>>> use 2.9.7 downloaded from AMPL web-page http://ampl.com/
>>> products/solvers/open-source/#cbc
>>> <https://urldefense.proofpoint.com/v2/url?u=http-3A__ampl.com_products_solvers_open-2Dsource_-23cbc&d=CwMFaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=6BwUl-A6mJoBuL1eDR9jiVmi4N30LCBfZq-97sI0fsE&s=8vB_Q6wVyffBVWlTmk6ZQ2feBTdk-vlK7b2SxB1NdSY&e=>
>>>
>>> With regards,
>>> Anton
>>>
>>>
>>>
>>> _______________________________________________
>>> Cbc mailing listCbc at list.coin-or.orghttps://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=pLOfVNEEHf-xhIqn1-uzYcZ6Q7UefG6Bg6rXCKTMiAA&m=6BwUl-A6mJoBuL1eDR9jiVmi4N30LCBfZq-97sI0fsE&s=tCuezY6y5_lO6bkiLDy5towIMrXMSBTIbi7W0ZwZCw0&e=
>>>
>>>
>>> --
>>> ==================================================
>>> Haroldo Gambini Santos
>>> D.Sc, Computer Science
>>> Universidade Federal de Ouro Pretohttp://www.decom.ufop.br/haroldo/ <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.decom.ufop.br_haroldo_&d=CwMD-g&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=rnUB298ByR5BGgo6vv2b6g&m=xbK2AYbQr20R9zwupDg8wmbo5Htd_7yDIUMAC6MMOMo&s=S9kGiDuZhCsFTTt3QfH0LUY8Uqms6T0f2GnwhHf04t4&e=>
>>>
>>> It has long been an axiom of mine that the little things are infinitely
>>> the most important.
>>> 		-- Sir Arthur Conan Doyle, "A Case of Identity"
>>>
>>>
>>> _______________________________________________
>>> 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=rnUB298ByR5BGgo6vv2b6g&m=
>>> xbK2AYbQr20R9zwupDg8wmbo5Htd_7yDIUMAC6MMOMo&s=VjQulhGOkaVUKXShG1FrOKhd-
>>> n2qnJb8xKkcYfcC0zc&e=
>>>
>>>
>>
>>
>> --
>> Dr. Ted Ralphs
>> Professor, Lehigh University
>> (610) 628-1280
>> ted 'at' lehigh 'dot' edu
>> coral.ie.lehigh.edu/~ted
>>
>


-- 
Dr. Ted Ralphs
Professor, Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu
coral.ie.lehigh.edu/~ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20160919/46b0d7e6/attachment-0001.html>