scip crashes with Assertion SCIPsetIsFeasLE(set, var->locdom.ub, var->glbdom.ub) failed

[zxt5]

scip crashes on seed.lp.txt

root@b9f8d0525121:/tmp# scip -f seed.lp
SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: debug] [LP solver: Soplex 8.0.0] [GitHash: 6feaff31f8]
Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)

External libraries:
  Readline 8.0         GNU library for command line editing (gnu.org/s/readline)
  Soplex 8.0.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: f1cf1fed]
  CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
  ZLIB 1.2.11          General purpose compression library by J. Gailly and M. Adler (zlib.net)
  TinyCThread 1.2      small portable implementation of the C11 threads API (tinycthread.github.io)
  GMP 6.2.0            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
  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)

reading user parameter file <scip.set>

read problem <seed-pulp.lp>
============

original problem has 7 variables (0 bin, 5 int, 0 impl, 2 cont) and 90 constraints

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

presolving:
   (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
   (0.0s) no symmetry present (symcode time: 0.00)
presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
 0 implications, 0 cliques
presolved problem has 7 variables (0 bin, 5 int, 0 impl, 2 cont) and 90 constraints
     90 constraints of type <linear>
Presolving Time: 0.01

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
  0.0s|     1 |     0 |    10 |     - |  1128k |   0 |   7 |  90 |  90 |   0 |  0 |   0 |   0 |-1.685658e+04 |      --      |    Inf | unknown
  0.1s|     1 |     0 |    12 |     - |  1228k |   0 |   7 |  90 |  92 |   2 |  1 |   0 |   0 |-1.683198e+04 |      --      |    Inf | unknown
  0.2s|     1 |     0 |    15 |     - |  1238k |   0 |   7 |  90 |  93 |   3 |  2 |   0 |   0 |-1.682025e+04 |      --      |    Inf | unknown
  0.3s|     1 |     0 |    16 |     - |  1248k |   0 |   7 |  90 |  94 |   4 |  3 |   0 |   0 |-1.681203e+04 |      --      |    Inf | unknown
r 0.3s|     1 |     0 |    16 |     - |shifting|   0 |   7 |  90 |  94 |   4 |  3 |   0 |   0 |-1.681203e+04 |-1.676138e+04 |   0.30%| unknown
  0.3s|     1 |     0 |    19 |     - |  1258k |   0 |   7 |  90 |  95 |   5 |  4 |   0 |   0 |-1.680819e+04 |-1.676138e+04 |   0.28%| unknown
r 0.3s|     1 |     0 |    19 |     - |randroun|   0 |   7 |  90 |  95 |   0 |  4 |   0 |   0 |-1.680819e+04 |-1.679198e+04 |   0.10%| unknown
  0.3s|     1 |     0 |    19 |     - |  1261k |   0 |   7 |  90 |  95 |   5 |  4 |   0 |   0 |-1.680819e+04 |-1.679198e+04 |   0.10%| unknown
  0.3s|     1 |     0 |    19 |     - |  1261k |   0 |   7 |  90 |  95 |   5 |  4 |   0 |   0 |-1.680819e+04 |-1.679198e+04 |   0.10%| unknown
  0.4s|     1 |     0 |    21 |     - |  1270k |   0 |   7 |  90 |  96 |   6 |  5 |   0 |   0 |-1.680598e+04 |-1.679198e+04 |   0.08%| unknown
r 0.4s|     1 |     0 |    21 |     - |randroun|   0 |   7 |  90 |  96 |   0 |  5 |   0 |   0 |-1.680598e+04 |-1.679399e+04 |   0.07%| unknown
  0.4s|     1 |     0 |    24 |     - |  1280k |   0 |   7 |  90 |  97 |   7 |  6 |   0 |   0 |-1.680353e+04 |-1.679399e+04 |   0.06%| unknown
  0.4s|     1 |     0 |    25 |     - |  1307k |   0 |   7 |  90 |  98 |   8 |  7 |   0 |   0 |-1.680263e+04 |-1.679399e+04 |   0.05%| unknown
  0.5s|     1 |     0 |    27 |     - |  1317k |   0 |   7 |  90 |  99 |   9 |  8 |   0 |   0 |-1.680171e+04 |-1.679399e+04 |   0.05%| unknown
  0.5s|     1 |     0 |    28 |     - |  1349k |   0 |   7 |  90 | 100 |  10 |  9 |   0 |   0 |-1.680108e+04 |-1.679399e+04 |   0.04%| unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
  0.6s|     1 |     0 |    29 |     - |  1360k |   0 |   7 |  90 | 101 |  11 | 10 |   0 |   0 |-1.680073e+04 |-1.679399e+04 |   0.04%| unknown
  0.7s|     1 |     0 |    30 |     - |  1371k |   0 |   7 |  90 | 102 |  12 | 11 |   0 |   0 |-1.680063e+04 |-1.679399e+04 |   0.04%| unknown
  0.8s|     1 |     0 |    30 |     - |  1382k |   0 |   7 |  90 | 102 |  12 | 12 |   0 |   0 |-1.680063e+04 |-1.679399e+04 |   0.04%| unknown
d 0.8s|     1 |     0 |    39 |     - |conflict|   0 |   7 |  90 | 102 |   0 | 13 |   1 |   0 |-1.679985e+04 |-1.679573e+04 |   0.02%| unknown
(run 1, node 1) restarting after 1 global fixings of integer variables

(restart) converted 12 cuts from the global cut pool into linear constraints

presolving:
(round 1, fast)       1 del vars, 2 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
(round 2, fast)       1 del vars, 2 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
presolving (3 rounds: 3 fast, 1 medium, 1 exhaustive):
 1 deleted vars, 2 deleted constraints, 0 added constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
 0 implications, 0 cliques
presolved problem has 6 variables (0 bin, 4 int, 0 impl, 2 cont) and 100 constraints
    100 constraints of type <linear>
Presolving Time: 0.02
transformed 7/7 original solutions to the transformed problem space

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
  0.9s|     1 |     0 |    56 |     - |  1444k |   0 |   6 | 100 | 100 |   0 |  0 |   1 |   0 |-1.679985e+04 |-1.679573e+04 |   0.02%| unknown
  0.9s|     1 |     0 |    56 |     - |  1445k |   0 |   6 | 100 |  99 |   0 |  0 |   1 |   0 |-1.679985e+04 |-1.679573e+04 |   0.02%| unknown
  0.9s|     1 |     0 |    57 |     - |  1445k |   0 |   6 | 100 | 100 |   1 |  1 |   1 |   0 |-1.679879e+04 |-1.679573e+04 |   0.02%| unknown
  1.0s|     1 |     0 |    58 |     - |  1445k |   0 |   6 | 100 | 101 |   2 |  2 |   1 |   0 |-1.679840e+04 |-1.679573e+04 |   0.02%| unknown
  1.1s|     1 |     0 |    59 |     - |  1445k |   0 |   6 | 100 | 102 |   3 |  3 |   1 |   0 |-1.679750e+04 |-1.679573e+04 |   0.01%| unknown
  1.1s|     1 |     0 |    60 |     - |  1445k |   0 |   6 | 100 | 103 |   4 |  4 |   1 |   0 |-1.679731e+04 |-1.679573e+04 |   0.01%| unknown
  1.2s|     1 |     0 |    61 |     - |  1456k |   0 |   6 | 100 | 104 |   5 |  5 |   1 |   0 |-1.679684e+04 |-1.679573e+04 |   0.01%| unknown
  1.2s|     1 |     0 |    62 |     - |  1467k |   0 |   6 | 100 | 105 |   6 |  6 |   1 |   0 |-1.679673e+04 |-1.679573e+04 |   0.01%| unknown
  1.3s|     1 |     0 |    63 |     - |  1478k |   0 |   6 | 100 | 106 |   7 |  7 |   1 |   0 |-1.679646e+04 |-1.679573e+04 |   0.00%| unknown
  1.4s|     1 |     0 |    64 |     - |  1490k |   0 |   6 | 100 | 107 |   8 |  8 |   1 |   0 |-1.679640e+04 |-1.679573e+04 |   0.00%| unknown
  1.4s|     1 |     0 |    65 |     - |  1502k |   0 |   6 | 100 | 108 |   9 |  9 |   1 |   0 |-1.679626e+04 |-1.679573e+04 |   0.00%| unknown
  1.5s|     1 |     0 |    65 |     - |  1512k |   0 |   6 |  98 | 108 |   9 | 10 |   1 |   0 |-1.679626e+04 |-1.679573e+04 |   0.00%| unknown
scip: /tmp/scip/src/scip/var.c:6901: varProcessChgUbGlobal: Assertion `SCIPsetIsFeasLE(set, var->locdom.ub, var->glbdom.ub)' failed.
Aborted (core dumped)