❯ ../usr/bin/cbc test/value_178.lp
Welcome to the CBC MILP Solver
Version: trunk
Build Date: Mar 14 2024
command line - test/value_178.lp (default strategy 1)
CoinLpIO::readLp(): Maximization problem reformulated as minimization
Coin0009I Switching back to maximization to get correct duals etc
Continuous objective value is 178 - 0.000235 seconds
Cgl0004I processed model has 2 rows, 2 columns (2 integer (1 of which binary)) and 4 elements
Coin3009W Conflict graph built in 0.000 seconds, density: 10.000%
Cgl0015I Clique Strengthening extended 0 cliques, 0 were dominated
cbc: /local/ssd/cullmann/build/lpsolve.clpsolve/libcbc/src/Clp/src/OsiClp/OsiClpSolverInterface.cpp:7944: void OsiClpSolverInterface::crunch(): Assertion `whichRow[i] >= -CoinMax(numberRows, numberColumns) && whichRow[i] < CoinMax(numberRows, numberColumns)' failed.
zsh: IOT instruction (core dumped) ../usr/bin/cbc test/value_178.lp
See this ilp value_178.lp.txt
and current master of cbc/clp/...