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

[convect-bot]

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]

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]

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