segfault after adding scip.addConsDisjunction #1055
Description
Describe the bug
After adding a pair of scip.addConsDisjunction calls the solver gets a segfault.
To Reproduce
Umm... I'm not sure, just hoping the stack trace below will help narrow down the problem.
For what it's worth the constraints added were:
scip.addConsDisjunction([vars['aTax_unrlz'][y-1] <= 0, vars['fm_aTax_unrlz'][y] <= vars['aTax_unrlz'][y-1]]) scip.addConsDisjunction([vars['aTax_unrlz'][y-1] >= 0, vars['fm_aTax_unrlz'][y] >= vars['aTax_unrlz'][y-1]]) Expected behavior
no segfaults
System
- OS: macOS
- Version 15.6
- SCIP version
pyscipopt==5.5.0 - Install
pyscipoptusingpiprequirements.txt
Additional context
Exception Type: EXC_BAD_ACCESS (SIGSEGV) Exception Codes: KERN_INVALID_ADDRESS at 0x0000000000000108 Exception Codes: 0x0000000000000001, 0x0000000000000108 Termination Reason: Namespace SIGNAL, Code 11 Segmentation fault: 11 Terminating Process: exc handler [46805] VM Region Info: 0x108 is not in any region. Bytes before following region: 4336451320 REGION TYPE START - END [ VSIZE] PRT/MAX SHRMOD REGION DETAIL UNUSED SPACE AT START ---> __TEXT 102790000-102794000 [ 16K] r-x/r-x SM=COW /opt/homebrew/*/Python.framework/Versions/3.13/Resources/Python.app/Contents/MacOS/Python Thread 0 Crashed:: Dispatch queue: com.apple.main-thread 0 libscip.9.2.dylib 0x113854060 SCIPgetDepth + 4 1 libscip.9.2.dylib 0x113468510 createCons + 104 2 libscip.9.2.dylib 0x113466fec consCopyNonlinear + 240 3 libscip.9.2.dylib 0x1136fbee8 SCIPconsCopy + 104 4 libscip.9.2.dylib 0x113821eb4 SCIPgetConsCopy + 340 5 libscip.9.2.dylib 0x11340b1c0 consCopyDisjunction + 272 6 libscip.9.2.dylib 0x1136fbee8 SCIPconsCopy + 104 7 libscip.9.2.dylib 0x113821eb4 SCIPgetConsCopy + 340 8 libscip.9.2.dylib 0x113822164 SCIPcopyConss + 452 9 libscip.9.2.dylib 0x11382391c doCopy + 1104 10 libscip.9.2.dylib 0x113823b40 SCIPcopyConsCompression + 60 11 libscip.9.2.dylib 0x113724318 SCIPcopyLargeNeighborhoodSearch + 356 12 libscip.9.2.dylib 0x1135a7eb8 setupAndSolveSubscip + 220 13 libscip.9.2.dylib 0x1135a7ca0 SCIPapplyRens + 1168 14 libscip.9.2.dylib 0x1135a9008 heurExecRens + 436 15 libscip.9.2.dylib 0x113721ab0 SCIPheurExec + 164 16 libscip.9.2.dylib 0x11387c59c SCIPprimalHeuristics + 544 17 libscip.9.2.dylib 0x113881ae0 SCIPsolveCIP + 10204 18 libscip.9.2.dylib 0x1138497f4 SCIPsolve + 1104 19 scip.cpython-313-darwin.so 0x112078504 __pyx_pw_9pyscipopt_4scip_5Model_433optimize + 116 20 Python 0x102f98360 PyObject_Vectorcall + 92 21 Python 0x1030c14cc _PyEval_EvalFrameDefault + 8680 22 Python 0x102fb4018 gen_send_ex2 + 196 23 Python 0x102fb2bd4 gen_iternext + 36 24 Python 0x1030bbb3c builtin_next + 72 25 Python 0x1030c38fc _PyEval_EvalFrameDefault + 17944 26 Python 0x102f9ada0 method_vectorcall + 324 27 Python 0x102f98360 PyObject_Vectorcall + 92 28 Python 0x1030c0db0 _PyEval_EvalFrameDefault + 6860 29 Python 0x102fb4018 gen_send_ex2 + 196 30 _asyncio.cpython-313-darwin.so 0x10376e28c task_step_impl + 444 31 _asyncio.cpython-313-darwin.so 0x10376e05c task_step + 64 32 _asyncio.cpython-313-darwin.so 0x10376f2e4 task_wakeup + 232 33 Python 0x102ff48e0 cfunction_vectorcall_O + 104 34 Python 0x1030ebc4c _PyObject_VectorcallTstate + 88 35 Python 0x1030ebb3c context_run + 164 36 Python 0x102ff46bc cfunction_vectorcall_FASTCALL_KEYWORDS + 88 37 Python 0x1030c4984 _PyEval_EvalFrameDefault + 22176 38 Python 0x1030bf068 PyEval_EvalCode + 200 39 Python 0x1030ba2a0 builtin_exec + 440 40 Python 0x102ff46bc cfunction_vectorcall_FASTCALL_KEYWORDS + 88 41 Python 0x102f98360 PyObject_Vectorcall + 92 42 Python 0x1030c0db0 _PyEval_EvalFrameDefault + 6860 43 Python 0x103153f34 pymain_run_module + 228 44 Python 0x103153318 Py_RunMain + 204 45 Python 0x103153c10 pymain_main + 304 46 Python 0x103153cb0 Py_BytesMain + 40 47 dyld 0x194f9eb98 start + 6076