search

coin-or / python-mip

Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs
Eclipse Public License 2.0
518 stars 92 forks source link

Observed Segfault with model that is "large" in the case of CBC #157

Closed sebheger closed 3 years ago

sebheger commented 3 years ago

Describe the bug Signal SIGSEV. See the log for details. failed_log.txt

To Reproduce Used provided .lp-file segfault_mip.lp.zip.

Expected behavior CBC part should not run into SIGSEV.

Desktop (please complete the following information):

Additional context Seems to be similar or even identical to #139

h-g-s commented 3 years ago

HI @sebheger , I'm able to reproduce it in a MacOS. I recently added some code to CBC to print the stack trace on a failure. I can see the method that failed, but not the exact line :/ I'll try to investigate more.

h-g-s commented 3 years ago

ERROR while running Cbc. Signal SIGSEGV caught. Getting stack trace. 0 cbc-c-darwin-x86-64.dylib 0x0000000114fe9727 _Z15CbcCrashHandleri + 327 1 libsystem_platform.dylib 0x00007fff70c215fd _sigtramp + 29 2 ??? 0x0000000000000000 0x0 + 0 3 cbc-c-darwin-x86-64.dylib 0x0000000115074e7e _ZN8CbcModel15setBestSolutionEPKdidb + 1662 4 cbc-c-darwin-x86-64.dylib 0x0000000114fccb8f _Z8CbcMain1iPPKcR8CbcModelPFiPS2_iER19CbcSolverUsefulData + 106015 5 cbc-c-darwin-x86-64.dylib 0x0000000114f30215 Cbc_solve + 4805 6 libffi.dylib 0x00007fff6e7ca905 ffi_call_unix64 + 85 7 ??? 0x0000000114f02038 0x0 + 4646248504

ERROR while running Cbc. Signal SIGABRT caught. Getting stack trace. 0 cbc-c-darwin-x86-64.dylib 0x0000000114fe9727 _Z15CbcCrashHandleri + 327 1 libsystem_platform.dylib 0x00007fff70c215fd _sigtramp + 29 2 ??? 0x315245695f325350 0x0 + 3553979374819758928 3 libsystem_c.dylib 0x00007fff70af7808 abort + 120 4 cbc-c-darwin-x86-64.dylib 0x000000011546db10 _ZNSt3__16vectorINS_12basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEENS4_IS6EEEC2ERKS8.cold.1 + 0 5 cbc-c-darwin-x86-64.dylib 0x0000000114fe97cf _Z15CbcCrashHandleri + 495 6 libsystem_platform.dylib 0x00007fff70c215fd _sigtramp + 29 7 ??? 0x0000000000000000 0x0 + 0 8 cbc-c-darwin-x86-64.dylib 0x0000000115074e7e _ZN8CbcModel15setBestSolutionEPKdidb + 1662 9 cbc-c-darwin-x86-64.dylib 0x0000000114fccb8f _Z8CbcMain1iPPKcR8CbcModelPFiPS2_iER19CbcSolverUsefulData + 106015 10 cbc-c-darwin-x86-64.dylib 0x0000000114f30215 Cbc_solve + 4805 11 libffi.dylib 0x00007fff6e7ca905 ffi_call_unix64 + 85 12 ??? 0x0000000114f02038 0x0 + 4646248504

h-g-s commented 3 years ago

should be fixed in master, I'll run some additional tests and release a new version

h-g-s commented 3 years ago

Should be fixed in 1.13, I'll close for now, please test.

sebheger commented 3 years ago

Tested successfully