CglProbing.cpp:5685: Assertion `newLo[icol]==COIN_DBL_MAX' failed

[zxt5]

Minimize
OBJ: - 65.57 x0 + 71.44 x1 + 27.61 x2 + 159.68 x3
Subject To
    34.61 x2 <= 2594.6
    - 89.72 x0 + 79.98 x3 - 7.36 x4 >= -3761
    - 93.88 x1 + 26.13 x3 >= -8429.55
    - 46.31 x3 >= 1333.69
    - 20.74 x0 + 31.72 x1 - 86.3 x4 >= 4185.3
    - 48.38 x0 - 53.93 x4 <= 3135.08
    36.83 x0 >= -1438.39
    8.44 x0 + 36.48 x4 <= -500.64
    74.8 x2 + 6.6 x4 >= 1368.82
    - 98.28 x0 + 9.93 x4 <= 656.18
Bounds
 -100 <= x0 <= 100
 -100 <= x1 <= 100
 -100 <= x2 <= 100
 -100 <= x3 <= 100
 -100 <= x4 <= 100
Generals
x2
x3
x4
End

The above instance triggers cbc to crash:

Welcome to the CBC MILP Solver
Version: Devel (unstable)
Build Date: Sep 30 2025
command line - small.lp (default strategy 1)
Problem small.lp has 10 rows, 5 columns and 19 elements
Continuous objective value is -10158.2 - 0.000408 seconds
cbc: /home/cbc/Cgl/src/CglProbing/CglProbing.cpp:5685: int CglProbing::probe(const OsiSolverInterface &, const OsiRowCutDebugger *, OsiCuts &, double *, double *, CoinPackedMatrix *, CoinPackedMatrix *, const CoinBigIndex *, const int *, const double *, const double *, const char *, double *, double *, int *, CglTreeInfo *): Assertion `newLo[icol]==COIN_DBL_MAX' failed.

[jjhforrest]

Code works but have changed
if (doFixedBothWays && intVar[icol]) {

to

if (doFixedBothWays && intVar[icol]
&& colLower[icol] != colUpper[icol]) {