Error in CglRedSplit::generateCuts(): rstat[557]: 0 and wrong result

[christoph-cullmann]

With

value_8315709965526.lp.txt

and the driver options

        /**
         * deactivate all cuts first and then activate the ones we know are good below one by one
         */
        "-cuts=off",

        /**
         * Gomory
         *   used A LOT
         */
        "-gomory=on",

        /**
         * Gomory(2)
         *   alternative variant of Gomory
         *   fixes timeout for e.g. value_530288.lp
         *   kills e.g. value_87454.lp
         */
        "-gmi=on",

        /**
         * TwoMirCuts
         *   needed as "on" for e.g. value_24093348.lp to avoid timeout even on Linux
         */
        "-two=on",

        /**
         * Reduce-and-split
         *   improves A LOT of problems, e.g. makes value_6054.lp solvable at all without cplex
         */
        "-reduce=on",

        /**
         * Probing
         *   fixes rounding for test/value_2266800625.lp
         */
        "-probing=on",

        /**
         * enable some diving heuristics
         * e.g. this fixes issue with value_8923.lp on Windows, is else infeasible
         */
        "-DivingS=on",
        "-DivingL=on",
        "-DivingC=on",

I run into

./clpsolve test/value_8315709965526.lp 
This is clpsolve, Release: 24.04i, Build: 15541391, Tag: master, Branch: master
(c) Copyright AbsInt Angewandte Informatik GmbH
Progress: [12:36:24]: Reading lp file 'test/value_8315709965526.lp'...
Progress: [12:36:24]: Finished reading lp file.
Progress: [12:36:24]: 0 fixed, 171 tightened bounds, 13 strengthened rows, 0 substitutions
Progress: [12:36:24]: 0 fixed, 74 tightened bounds, 1 strengthened rows, 0 substitutions
Progress: [12:36:24]: 0 fixed, 10 tightened bounds, 0 strengthened rows, 0 substitutions
Progress: [12:36:24]: processed model has 557 rows, 418 columns (418 integer (133 of which binary)) and 1859 elements
### ERROR: CglRedSplit::generateCuts(): rstat[557]: 0
### ERROR: CglRedSplit::generateCuts(): rstat[557]: 0
Progress: [12:36:24]: 6 added rows had average density of 48.166667
Progress: [12:36:24]: At root node, 6 cuts changed objective from 8.31571e+12 to 8.315582e+12 in 100 passes
Progress: [12:36:24]: Cut generator 0 (Probing) - 1440 row cuts average 4.3 elements, 0 column cuts (0 active)  in 0.347 seconds - new frequency is 1
Progress: [12:36:24]: Cut generator 1 (Gomory) - 15 row cuts average 51.7 elements, 0 column cuts (0 active)  in 0.009 seconds - new frequency is 1
Progress: [12:36:24]: Cut generator 2 (Reduce-and-split) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.014 seconds - new frequency is 1000
Progress: [12:36:24]: Cut generator 3 (Gomory(2)) - 20 row cuts average 67.2 elements, 0 column cuts (0 active)  in 0.012 seconds - new frequency is 1
Progress: [12:36:24]: Cut generator 4 (TwoMirCuts) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)  in 0.006 seconds - new frequency is 1000
Progress: [12:36:24]: Integer solution of 8.315581e+12 found by DiveAny after 138 iterations and 1 nodes (0.63 seconds)
Progress: [12:36:24]: After 1 nodes, 2 on tree, 8.315581e+12 best solution, best possible 8.315582e+12 (0.68 seconds)
Progress: [12:36:24]: Integer solution of 8.315582e+12 found by rounding after 148 iterations and 2 nodes (0.69 seconds)
Progress: [12:36:24]: Integer solution of 8.315582e+12 found by DiveCoefficient after 148 iterations and 2 nodes (0.69 seconds)
Progress: [12:36:24]: Search completed - best objective 8315581980910, took 214 iterations and 4 nodes (0.69 seconds)
Progress: [12:36:24]: Strong branching done 98 times (777 iterations), fathomed 1 nodes and fixed 20 variables
Progress: [12:36:24]: Maximum depth 1, 89 variables fixed on reduced cost
Progress: [12:36:24]: Cuts at root node changed objective from 8.31571e+12 to 8.31558e+12
Progress: [12:36:24]: Probing was tried 102 times and created 1457 cuts (0.347075 seconds)
Progress: [12:36:24]: Gomory was tried 102 times and created 15 cuts (0.009246 seconds)
Progress: [12:36:24]: Reduce-and-split was tried 100 times and created 0 cuts (0.013587 seconds)
Progress: [12:36:24]: Gomory(2) was tried 102 times and created 20 cuts (0.012007 seconds)
Progress: [12:36:24]: TwoMirCuts was tried 100 times and created 0 cuts (0.005909 seconds)
Progress: [12:36:24]: Result - Optimal solution found
Progress: [12:36:24]: Objective value:                8.31558198091e+12
    Enumerated nodes:               4
    Total iterations:               214
    Time (CPU seconds):             0.695438
    Time (Wallclock seconds):       0.713187
Note: Value of objective function: 8315581980910.
Note: Solving succeeded.