[Cbc] CBC Crash with preprocess=aggregate on specific mps

[John Forrest]

Pieter,

It is slow tracking this down as it mostly works (parallel is not 
deterministic).  I think I am getting there but it is slow.

It does look like the -preprocess aggregate giving problems on exit.

John Forrest
On 13/11/17 17:22, Pieter Zieschang1 wrote:
> Hello John,
>
> i tried you fix, and can confirm postprocessing=aggregate works now. :-)
>
> However, current trunk version segfaults on another mps quite late,
>
>
> The MPS is this:  (previously posted already, some time back, i think 
> Haroldo put it on some server back then)
>
> https://mega.nz/#!pvwDCC4A!GQBkhIZxkTdYaasgv_zGJwtIa1xQnWA98zisqsb2G-Q 
> <https://urldefense.proofpoint.com/v2/url?u=https-3A__mega.nz_-23-21pvwDCC4A-21GQBkhIZxkTdYaasgv-5FzGJwtIa1xQnWA98zisqsb2G-2DQ&d=DwMFAw&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=AkGYtoZQweSYD7ZCW31dyf9ZoRZkSJU3zBd2SlXqo0A&s=R4MOlzG6yT6zCcbDEBSFPMpa1MjEDGiYBZazpSuM2x8&e=> 
>
>
>
>
> $ ./cbc Problem_SWOPSMB_SWPDEV07_23844-T1_0.mps -threads=4 
> timemode=elapsed -seconds=1200 -keepNames=on -dualt=1e-06 -perturb=on 
> -pertvalue=61 -constraint=on -cuts=on -clique=forceon -zero=forceon 
> -probing=forceonstrong -combine=on -combine2=on -ratiogap=0.001 
> -multiple=4 -preprocess=aggregate -solve -solution 
> 23844-T1_0.solution.txt
> Welcome to the CBC MILP Solver
> Version: Trunk (unstable)
> Build Date: Nov 13 2017
> Revision Number: 2347
>
> command line - ./cbc Problem_SWOPSMB_SWPDEV07_23844-T1_0.mps 
> -threads=4 timemode=elapsed -seconds=1200 -keepNames=on -dualt=1e-06 
> -perturb=on -pertvalue=61 -constraint=on -cuts=on -clique=forceon 
> -zero=forceon -probing=forceonstrong -combine=on -combine2=on 
> -ratiogap=0.001 -multiple=4 -preprocess=aggregate -solve -solution 
> 23844-T1_0.solution.txt (default strategy 1)
> At line 1 NAME ES FREE
> At line 2 ROWS
> At line 60579 COLUMNS
> At line 665087 RHS
> At line 725663 RANGES
> At line 725664 BOUNDS
> At line 729233 ENDATA
> Problem ES has 60575 rows, 47237 columns and 589221 elements
> Coin0008I ES read with 0 errors
>
> ...
>
> Cbc0038I Full problem 24421 rows 20513 columns, reduced to 18238 rows 
> 15029 columns - too large
> Cbc0010I After 100 nodes, 56 on tree, 402510 best solution, best 
> possible 382335 (536.50 seconds)
> Cbc0010I After 200 nodes, 107 on tree, 402510 best solution, best 
> possible 382335 (664.01 seconds)
> Cbc0012I Integer solution of 388510 found by heuristic after 381319 
> iterations and 204 nodes (671.09 seconds)
> Cbc0012I Integer solution of 387910 found by heuristic after 391144 
> iterations and 209 nodes (680.28 seconds)
> Cbc0012I Integer solution of 383535 found by heuristic after 424186 
> iterations and 244 nodes (715.81 seconds)
> Cbc0012I Integer solution of 383385 found by heuristic after 426956 
> iterations and 247 nodes (718.02 seconds)
> Cbc0012I Integer solution of 383060 found by heuristic after 432577 
> iterations and 248 nodes (725.16 seconds)
> Cbc0012I Integer solution of 382785 found by heuristic after 434417 
> iterations and 250 nodes (727.64 seconds)
> Cbc0012I Integer solution of 382710 found by heuristic after 449774 
> iterations and 259 nodes (741.41 seconds)
> Cbc0030I Thread 0 used 62 times,  waiting to start 20.928653,  450 
> locks, 0.12203264 locked, 0.0075800419 waiting for locks
> Cbc0030I Thread 1 used 69 times,  waiting to start 42.041579,  500 
> locks, 0.13409996 locked, 0.00079703331 waiting for locks
> Cbc0030I Thread 2 used 60 times,  waiting to start 45.909035,  435 
> locks, 0.11511445 locked, 0.0034019947 waiting for locks
> Cbc0030I Thread 3 used 73 times,  waiting to start 62.658911,  506 
> locks, 0.15931582 locked, 0.0035514832 waiting for locks
> Cbc0030I Main thread 398.80744 waiting for threads,  542 locks, 
> 0.020390749 locked, 0.0057477951 waiting for locks
> Cbc0011I Exiting as integer gap of 375 less than 1e-10 or 0.1%
> Cbc0001I Search completed - best objective 382710, took 457193 
> iterations and 261 nodes (751.89 seconds)
> Cbc0032I Strong branching done 5430 times (486076 iterations), 
> fathomed 1 nodes and fixed 2 variables
> Cbc0035I Maximum depth 38, 17546 variables fixed on reduced cost
> Segmentation fault (core dumped)
>
>
>
>
>
>
>
>
> Mit freundlichen Grüßen / Kind regards
>
>
> *Pieter Zieschang*
> ------------------------------------------------------------------------
>
>
> 	
> 	
> 	
>
> 	
> 	
>
> 	
> 	
>
> 	
> 	
>
> Modis IT Outsourcing GmbH . Ein Unternehmen der internationalen Adecco 
> Gruppe
> Geschäftsführer: Andreas Buchelt . Martin Wimmer. Amtsgericht 
> Düsseldorf HRB 78227
> Hauptsitz der Gesellschaft: Niederkasseler Lohweg 18, 40547 Düsseldorf
>
>
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=AkGYtoZQweSYD7ZCW31dyf9ZoRZkSJU3zBd2SlXqo0A&s=8eE_4E955w1rXRtnIvEkso4sWF6u9eszhvzbY9amN64&e=


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