Signal SIGSEGV caught.

[jsimomaa]

CBC crashed with SIGSEGV.

Built with following flags:

coinbrew build Cbc@master --no-prompt ADD_CXXFLAGS="-Ofast -march=skylake" --prefix=/tmp/cbc/ --tests=none --enable-cbc-parallel --enable-relocatable

Cbc0010I After 22521 nodes, 6658 on tree, 47832.505 best solution, best possible 8102.1894 (464.04 seconds)
Cbc0010I After 22543 nodes, 6664 on tree, 47832.505 best solution, best possible 8102.1894 (464.77 seconds)


ERROR while running Cbc. Signal SIGSEGV caught. Getting stack trace.
/libs/libCbc.so(_Z15CbcCrashHandleri+0x120) [0x7f64474db6f0]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7f64ae5b9330]
/libs/libCbc.so(_ZN7CbcNode6branchEP18OsiSolverInterface+0x21) [0x7f64474ba491]
/libs/libCbc.so(_ZN8CbcModel9doOneNodeEPS_RP7CbcNodeS3_+0xf6f) [0x7f64474a8e1f]
/libs/libCbc.so(+0x1c4360) [0x7f644754b360]
/lib/x86_64-linux-gnu/libc.so.6(+0x9caa4) [0x7f64ae610aa4]
/lib/x86_64-linux-gnu/libc.so.6(+0x129c3c) [0x7f64ae69dc3c]




ERROR while running Cbc. Signal SIGABRT caught. Getting stack trace.
/libs/libCbc.so(_Z15CbcCrashHandleri+0x120) [0x7f64474db6f0]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7f64ae5b9330]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x11c) [0x7f64ae612b2c]
/lib/x86_64-linux-gnu/libc.so.6(gsignal+0x1e) [0x7f64ae5b927e]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xdf) [0x7f64ae59c8ff]
/libs/libCbc.so(+0x76f70) [0x7f64473fdf70]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7f64ae5b9330]
/libs/libCbc.so(_ZN7CbcNode6branchEP18OsiSolverInterface+0x21) [0x7f64474ba491]
/libs/libCbc.so(_ZN8CbcModel9doOneNodeEPS_RP7CbcNodeS3_+0xf6f) [0x7f64474a8e1f]
/libs/libCbc.so(+0x1c4360) [0x7f644754b360]
/lib/x86_64-linux-gnu/libc.so.6(+0x9caa4) [0x7f64ae610aa4]
/lib/x86_64-linux-gnu/libc.so.6(+0x129c3c) [0x7f64ae69dc3c]


Aborted (core dumped)

[jsimomaa]

Two more SIGSEGV with different stack traces:

First:

ERROR while running Cbc. Signal SIGSEGV caught. Getting stack trace.
/libs/libCbc.so(_Z15CbcCrashHandleri+0x120) [0x7f8f4a7226f0]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7f8fb1806330]
/libs/libCbc.so(_ZN7CbcNode6branchEP18OsiSolverInterface+0x21) [0x7f8f4a701491]
/libs/libCbc.so(_ZN8CbcModel9doOneNodeEPS_RP7CbcNodeS3_+0xf6f) [0x7f8f4a6efe1f]
/libs/libCbc.so(+0x1c4360) [0x7f8f4a792360]
/lib/x86_64-linux-gnu/libc.so.6(+0x9caa4) [0x7f8fb185daa4]
/lib/x86_64-linux-gnu/libc.so.6(+0x129c3c) [0x7f8fb18eac3c]

Second:

ERROR while running Cbc. Signal SIGSEGV caught. Getting stack trace.
/libs/libCbc.so(_Z15CbcCrashHandleri+0x120) [0x7fc687b3a6f0]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7fc6eec15330]
/libs/libCbc.so(_ZN8CbcModel8addCuts1EP7CbcNodeRP18CoinWarmStartBasis+0x25a) [0x7fc687ae8b4a]
/libs/libCbc.so(_ZN8CbcModel7addCutsEP7CbcNodeRP18CoinWarmStartBasis+0x29) [0x7fc687af0aa9]
/libs/libCbc.so(_ZN8CbcModel9doOneNodeEPS_RP7CbcNodeS3_+0x189) [0x7fc687b07039]
/libs/libCbc.so(+0x1c4360) [0x7fc687baa360]
/lib/x86_64-linux-gnu/libc.so.6(+0x9caa4) [0x7fc6eec6caa4]
/lib/x86_64-linux-gnu/libc.so.6(+0x129c3c) [0x7fc6eecf9c3c]




ERROR while running Cbc. Signal SIGABRT caught. Getting stack trace.
/libs/libCbc.so(_Z15CbcCrashHandleri+0x120) [0x7fc687b3a6f0]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7fc6eec15330]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x11c) [0x7fc6eec6eb2c]
/lib/x86_64-linux-gnu/libc.so.6(gsignal+0x1e) [0x7fc6eec1527e]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xdf) [0x7fc6eebf88ff]
/libs/libCbc.so(+0x76f70) [0x7fc687a5cf70]
/lib/x86_64-linux-gnu/libc.so.6(+0x45330) [0x7fc6eec15330]
/libs/libCbc.so(_ZN8CbcModel8addCuts1EP7CbcNodeRP18CoinWarmStartBasis+0x25a) [0x7fc687ae8b4a]
/libs/libCbc.so(_ZN8CbcModel7addCutsEP7CbcNodeRP18CoinWarmStartBasis+0x29) [0x7fc687af0aa9]
/libs/libCbc.so(_ZN8CbcModel9doOneNodeEPS_RP7CbcNodeS3_+0x189) [0x7fc687b07039]
/libs/libCbc.so(+0x1c4360) [0x7fc687baa360]
/lib/x86_64-linux-gnu/libc.so.6(+0x9caa4) [0x7fc6eec6caa4]
/lib/x86_64-linux-gnu/libc.so.6(+0x129c3c) [0x7fc6eecf9c3c]

[tkralphs]

Without some way to reproduce, it's not possible to debug this. We would at least need the instances to see if we can observe the same behavior.

[jsimomaa]

We have not been able to reproduce this deterministically.

What do you mean by "instances"?

[jsimomaa]

Without some way to reproduce, it's not possible to debug this. We would at least need the instances to see if we can observe the same behavior.

Can you elaborate what you mean by instances? Thanks!

[jsimomaa]

A bit different error this time:

2025-04-09T06:13:02.718581417Z Cbc0010I After 54729 nodes, 9823 on tree, -762239.92 best solution, best possible -762341.56 (483.47 seconds)
2025-04-09T06:13:02.719622211Z corrupted size vs. prev_size
2025-04-09T06:13:02.719658664Z
2025-04-09T06:13:02.719729533Z
2025-04-09T06:13:02.719741963Z ERROR while running Cbc. Signal SIGABRT caught. Getting stack trace.

I'm just commenting and storing these somewhere so that people with similar issues can find something online

[jhmgoossens]

We have not been able to reproduce this deterministically.

What do you mean by "instances"?

That could be an MPS export file of the problem instance that you are trying to solve. A developer could then import this file and reproduce the issue you are reporting. See other Issues for examples.