Error in presolve related to set constraints

[chistopher]

Scip throws an error on this input. problem.cip (.txt because github forced me)

The model was built programmatically. When I save it as lp or mps, scip solves it just fine, so I guess the issue depends on the order of variables and constraints. I also tried building scip from source with sanitizers and in debug mode but the error does not occur there.

Here is the log when I run scip -f problem.cip.

SCIP version 9.1.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 66f11a6724]
Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)

External libraries: 
  Readline 8.2         GNU library for command line editing (gnu.org/s/readline)
  Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 595bfac9]
  CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
  ZLIB 1.2.12          General purpose compression library by J. Gailly and M. Adler (zlib.net)
  GMP 6.3.0            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
  PaPILO 2.3.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo) (built with TBB)
  Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
  sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
  Ipopt 3.14.16        Interior Point Optimizer developed by A. Waechter et.al. (github.com/coin-or/Ipopt)

user parameter file <scip.set> not found - using default parameters

read problem <problem.cip>
============

original problem has 1091 variables (1091 bin, 0 int, 0 impl, 0 cont) and 99 constraints

solve problem
=============

presolving:
(round 1, fast)       27 del vars, 27 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
   (0.0s) running MILP presolver
   (0.0s) MILP presolver (8 rounds): 0 aggregations, 22 fixings, 0 bound changes
(round 2, medium)     74 del vars, 27 del conss, 0 add conss, 0 chg bounds, 25 chg sides, 25 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
(round 3, fast)       80 del vars, 27 del conss, 0 add conss, 0 chg bounds, 25 chg sides, 25 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
(round 4, exhaustive) 385 del vars, 32 del conss, 0 add conss, 0 chg bounds, 25 chg sides, 25 chg coeffs, 0 upgd conss, 0 impls, 66 clqs
(round 5, fast)       457 del vars, 35 del conss, 0 add conss, 0 chg bounds, 25 chg sides, 25 chg coeffs, 0 upgd conss, 0 impls, 63 clqs
(round 6, fast)       459 del vars, 35 del conss, 0 add conss, 0 chg bounds, 25 chg sides, 25 chg coeffs, 0 upgd conss, 0 impls, 63 clqs
   (0.0s) running MILP presolver
   (0.0s) MILP presolver (38 rounds): 3 aggregations, 248 fixings, 0 bound changes
(round 7, medium)     715 del vars, 40 del conss, 1 add conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 58 clqs
(round 8, fast)       715 del vars, 41 del conss, 1 add conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 58 clqs
(round 9, exhaustive) 784 del vars, 44 del conss, 1 add conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 52 clqs
(round 10, fast)       814 del vars, 52 del conss, 1 add conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 46 clqs
(round 11, fast)       861 del vars, 55 del conss, 1 add conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 44 clqs
(round 12, fast)       865 del vars, 56 del conss, 1 add conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 43 clqs
   (0.0s) running MILP presolver
   (0.0s) MILP presolver (26 rounds): 6 aggregations, 140 fixings, 0 bound changes
(round 13, medium)     1016 del vars, 69 del conss, 4 add conss, 0 chg bounds, 32 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 32 clqs
(round 14, fast)       1017 del vars, 71 del conss, 4 add conss, 0 chg bounds, 32 chg sides, 34 chg coeffs, 0 upgd conss, 0 impls, 31 clqs
(round 15, medium)     1018 del vars, 71 del conss, 4 add conss, 0 chg bounds, 33 chg sides, 35 chg coeffs, 0 upgd conss, 0 impls, 31 clqs
(round 16, exhaustive) 1019 del vars, 73 del conss, 4 add conss, 0 chg bounds, 33 chg sides, 35 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
(round 17, medium)     1020 del vars, 73 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 36 chg coeffs, 0 upgd conss, 0 impls, 30 clqs
(round 18, exhaustive) 1020 del vars, 73 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 36 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
(round 19, exhaustive) 1025 del vars, 73 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 36 chg coeffs, 2 upgd conss, 0 impls, 31 clqs
(round 20, fast)       1026 del vars, 74 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 36 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
   (0.0s) running MILP presolver
   (0.0s) MILP presolver found nothing
   (0.0s) sparsify finished: 3/180 (1.7%) nonzeros canceled - in total 3 canceled nonzeros, 3 changed coefficients, 0 added nonzeros
(round 21, exhaustive) 1026 del vars, 74 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 39 chg coeffs, 2 upgd conss, 0 impls, 30 clqs
(round 22, exhaustive) 1026 del vars, 74 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 39 chg coeffs, 3 upgd conss, 0 impls, 31 clqs
(round 23, fast)       1027 del vars, 74 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 39 chg coeffs, 3 upgd conss, 0 impls, 30 clqs
(round 24, fast)       1027 del vars, 75 del conss, 4 add conss, 0 chg bounds, 34 chg sides, 39 chg coeffs, 3 upgd conss, 0 impls, 30 clqs
[misc.c:3219] ERROR: Error <-15> in function call
[cons_setppc.c:6055] ERROR: Error <-15> in function call
[cons_setppc.c:8485] ERROR: Error <-15> in function call
[cons.c:4091] ERROR: Error <-15> in function call
[scip_solve.c:867] ERROR: Error <-15> in function call
[scip_solve.c:1076] ERROR: Error <-15> in function call
[scip_solve.c:1247] ERROR: Error <-15> in function call
[scip_solve.c:2369] ERROR: Error <-15> in function call
[scip_solve.c:2607] ERROR: Error <-15> in function call
[scipshell.c:110] ERROR: Error <-15> in function call
[scipshell.c:527] ERROR: Error <-15> in function call
[scipshell.c:594] ERROR: Error <-15> in function call
SCIP Error (-15): the given key is already existing in table