Cbc/src/CbcCountRowCut.cpp:718: int CbcRowCuts::addCutIfNotDuplicate(const OsiRowCut&, int): Assertion `hash_[ipos].next == -1' failed

[zxt5]

For seed.mps.txt, cbc crashes with the following parameters:

gomory longer
lagomory endboth
constraint forcevariable
fact osl
scal rows

Probably a marginal issue, because I am not sure if the parameters make much sense.

cbc -gomory longer -lagomory endboth -constraint forcevariable -fact osl -scal rows seed.mps -solve
Welcome to the CBC MILP Solver
Version: Devel (unstable)
Build Date: May 16 2025
command line - -gomory longer -lagomory endboth -constraint forcevariable -fact osl -scal rows seed.mps -solve (default strategy 1)
At line 2 NAME          infeasible_seed
At line 3 ROWS
At line 68 COLUMNS
At line 849 RHS
At line 913 BOUNDS
At line 938 ENDATA
Problem infeasible_seed has 63 rows, 12 columns and 756 elements
Coin0008I infeasible_seed read with 0 errors
Continuous objective value is -9410.76 - 0.002091 seconds
Cgl0004I processed model has 63 rows, 12 columns (6 integer (0 of which binary)) and 756 elements
Coin3009W Conflict graph built in 0.000 seconds, density: 0.000%
Cgl0015I Clique Strengthening extended 0 cliques, 0 were dominated
cbc: /home/x27zhou/Cbc/src/CbcCountRowCut.cpp:718: int CbcRowCuts::addCutIfNotDuplicate(const OsiRowCut&, int): Assertion `hash_[ipos].next == -1' failed.


ERROR while running Cbc. Signal SIGABRT caught. Getting stack trace.
/home/x27zhou/.local/lib/libCbc.so.0(_Z15CbcCrashHandleri+0x290) [0x7fd6f339870d]
/lib/x86_64-linux-gnu/libc.so.6(+0x42520) [0x7fd6f2a30520]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x12c) [0x7fd6f2a849fc]
/lib/x86_64-linux-gnu/libc.so.6(raise+0x16) [0x7fd6f2a30476]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xd3) [0x7fd6f2a167f3]
/lib/x86_64-linux-gnu/libc.so.6(+0x2871b) [0x7fd6f2a1671b]
/lib/x86_64-linux-gnu/libc.so.6(+0x39e96) [0x7fd6f2a27e96]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN10CbcRowCuts20addCutIfNotDuplicateERK9OsiRowCuti+0x99c) [0x7fd6f3290944]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN8CbcModel10serialCutsER7OsiCutsP7CbcNodeS1_i+0xd3e) [0x7fd6f333bd6a]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN8CbcModel13solveWithCutsER7OsiCutsiP7CbcNode+0x24ca) [0x7fd6f3335fa4]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN8CbcModel14branchAndBoundEi+0x7e89) [0x7fd6f331e8a7]
/home/x27zhou/.local/lib/libCbc.so.0(_Z8CbcMain1St5dequeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EER8CbcModelR13CbcParametersPFiPS8_iEP9ampl_info+0x22516) [0x7fd6f33beb6a]
cbc(+0x6ad2) [0x5606c1363ad2]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90) [0x7fd6f2a17d90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80) [0x7fd6f2a17e40]
cbc(+0x6625) [0x5606c1363625]




ERROR while running Cbc. Signal SIGABRT caught. Getting stack trace.
/home/x27zhou/.local/lib/libCbc.so.0(_Z15CbcCrashHandleri+0x290) [0x7fd6f339870d]
/lib/x86_64-linux-gnu/libc.so.6(+0x42520) [0x7fd6f2a30520]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x12c) [0x7fd6f2a849fc]
/lib/x86_64-linux-gnu/libc.so.6(raise+0x16) [0x7fd6f2a30476]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xd3) [0x7fd6f2a167f3]
/home/x27zhou/.local/lib/libCbc.so.0(_Z15CbcCrashHandleri+0x38c) [0x7fd6f3398809]
/lib/x86_64-linux-gnu/libc.so.6(+0x42520) [0x7fd6f2a30520]
/lib/x86_64-linux-gnu/libc.so.6(pthread_kill+0x12c) [0x7fd6f2a849fc]
/lib/x86_64-linux-gnu/libc.so.6(raise+0x16) [0x7fd6f2a30476]
/lib/x86_64-linux-gnu/libc.so.6(abort+0xd3) [0x7fd6f2a167f3]
/lib/x86_64-linux-gnu/libc.so.6(+0x2871b) [0x7fd6f2a1671b]
/lib/x86_64-linux-gnu/libc.so.6(+0x39e96) [0x7fd6f2a27e96]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN10CbcRowCuts20addCutIfNotDuplicateERK9OsiRowCuti+0x99c) [0x7fd6f3290944]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN8CbcModel10serialCutsER7OsiCutsP7CbcNodeS1_i+0xd3e) [0x7fd6f333bd6a]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN8CbcModel13solveWithCutsER7OsiCutsiP7CbcNode+0x24ca) [0x7fd6f3335fa4]
/home/x27zhou/.local/lib/libCbc.so.0(_ZN8CbcModel14branchAndBoundEi+0x7e89) [0x7fd6f331e8a7]
/home/x27zhou/.local/lib/libCbc.so.0(_Z8CbcMain1St5dequeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EER8CbcModelR13CbcParametersPFiPS8_iEP9ampl_info+0x22516) [0x7fd6f33beb6a]
cbc(+0x6ad2) [0x5606c1363ad2]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90) [0x7fd6f2a17d90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80) [0x7fd6f2a17e40]
cbc(+0x6625) [0x5606c1363625]