search

coin-or / Cbc

COIN-OR Branch-and-Cut solver
Other
814 stars 115 forks source link

cbc crash ( segmentation fault) when model was solved during presolve process and given lp is large #642

Open convect-bot opened 7 months ago

convect-bot commented 7 months ago

Hi I am having the segmentation fault issue when cbc found optimal solution during presolve, the original lp size is 2.4 gb, and following is the solving log.

I just run command cbc debug.lp

log:

Now using default column names. Presolve 2680 (-22775564) rows, 5319 (-508289) columns and 18408 (-23758743) elements Perturbing problem by 0.001% of 1438.7461 - largest nonzero change 0.00099911632 ( 0.042286433%) - largest zero change 0.0009984825 0 Obj 5.2853947e+10 Primal inf 17269202 (2672) Dual inf 1175.6224 (33) 128 Obj 5.285491e+10 Primal inf 12984851 (2576) 256 Obj 5.2858193e+10 Primal inf 9635524.7 (2470) 384 Obj 5.2859778e+10 Primal inf 7945164.6 (2396) 512 Obj 5.286105e+10 Primal inf 6742278 (2310) 640 Obj 5.2862086e+10 Primal inf 5693855.6 (2243) 768 Obj 5.286296e+10 Primal inf 4762939.9 (2173) 896 Obj 5.2863346e+10 Primal inf 3645392 (2068) 1024 Obj 5.2863626e+10 Primal inf 2962003.2 (1969) 1152 Obj 5.28638e+10 Primal inf 2484839.8 (1871) 1280 Obj 5.2864013e+10 Primal inf 1746370.3 (1759) 1408 Obj 5.2864099e+10 Primal inf 1344053.1 (1643) 1536 Obj 5.2864222e+10 Primal inf 1041223.2 (1543) 1664 Obj 5.2864307e+10 Primal inf 745590.49 (1429) 1792 Obj 5.286438e+10 Primal inf 624232.17 (1330) 1920 Obj 5.28644e+10 Primal inf 391100.1 (1247) 2048 Obj 5.2864436e+10 Primal inf 300948.28 (1169) 2176 Obj 5.286448e+10 Primal inf 185977.61 (1027) 2304 Obj 5.2864486e+10 Primal inf 113787.64 (902) 2432 Obj 5.2864494e+10 Primal inf 62496.445 (764) 2560 Obj 5.28645e+10 Primal inf 29084.483 (686) 2688 Obj 5.2864504e+10 Primal inf 11176.965 (555) 2816 Obj 5.2864509e+10 Primal inf 569.75953 (259) 2944 Obj 5.286451e+10 Primal inf 3.5647595 (73) 2994 Obj 5.286451e+10 Optimal - objective value 5.2864483e+10 After Postsolve, objective 5.2864483e+10, infeasibilities - dual 0.9999999 (1), primal 2.1402891e-07 (4) Presolved model was optimal, full model needs cleaning up [1] 2336168 segmentation fault (core dumped) cbc debug.lp

convect-bot commented 7 months ago

cbc version: 2.10.7 os: Ubuntu 22.04.3 LTS

I can provide the lp file if needed, please let me know if there is any other information needed.

jhmgoossens commented 5 months ago

Can you try this with the latest master and the latest stable 2.10.11?