Encounter to segmentation fault, seeking help&advice

[zhtangsh]

Hi there, I'm using cbc solver as backend of pyomo with a simple model. When I increase the length of time series, cbc solver complains with segmentation fault after searching about 900000 nodes.

CBC Version: 2.10.5 OS Version: docker image based on debian

Here is the problem and command I used. zipped lp file tmpau2q2bng.pyomo.lp.zip command /usr/local/bin/cbc -threads 6 -maxNodes 900000 -printingOptions all -import /tmp/tmpau2q2bng.pyomo.lp -mess -stat=1 -solve -solu /tmp/tmpau2q2bng.pyomo.soln

• I run this model inside docker with 4G memory. cbc exit with segmentation fault and a core dump.
• I checked memory usage with top, and the RES of cbc process is roughly 400MB.

Any help and advice is appreciate.