Skip to content

[cons_indicator.c:3401] ERROR: Indicator variable <t_t_C32> is not binary 3 #186

@sfiruch

Description

@sfiruch

This model triggers a crash of SCIP 10.0.0.

>scip -f m.mps
SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0c80fdd8e9]
Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)

External libraries:
  SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 2207cfb2]
  CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
  ZLIB 1.3.1           General purpose compression library by J. Gailly and M. Adler (zlib.net)
  MPFR 4.2.2           GNU Multiple Precision Floating-Point Reliable Library (mpfr.org)
  Boost 1.89.0         Boost C++ Libraries (boost.org)
  TinyCThread 1.2      small portable implementation of the C11 threads API (tinycthread.github.io)
  GMP 6.3.0            GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
  ZIMPL 3.7.0          Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)
  AMPL/MP 4.0.3        AMPL .nl file reader library (github.com/ampl/mp)
  PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo) (built with TBB) [GitHash: 4cbdc327]
  Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
  sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
  Ipopt 3.14.19        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 <m.mps>
============

original problem has 46862 variables (25000 bin, 0 int, 21862 cont) and 58500 constraints

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

presolving:
(round 1, fast)       277 del vars, 3653 del conss, 0 add conss, 4711 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18800 impls, 1280 clqs, 0 implints
(round 2, fast)       2887 del vars, 5015 del conss, 0 add conss, 4960 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18820 impls, 1808 clqs, 0 implints
(round 3, fast)       3180 del vars, 7188 del conss, 0 add conss, 5591 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1796 clqs, 0 implints
(round 4, fast)       3241 del vars, 7375 del conss, 0 add conss, 5849 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1796 clqs, 0 implints
(round 5, fast)       3447 del vars, 7443 del conss, 0 add conss, 6051 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1796 clqs, 0 implints
(round 6, fast)       3470 del vars, 7514 del conss, 0 add conss, 6059 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1807 clqs, 0 implints
(round 7, fast)       3533 del vars, 7520 del conss, 0 add conss, 29232 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1808 clqs, 0 implints
(round 8, fast)       6033 del vars, 10026 del conss, 0 add conss, 29232 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1808 clqs, 0 implints
(round 9, fast)       6045 del vars, 10032 del conss, 0 add conss, 30193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18888 impls, 1808 clqs, 0 implints
(round 10, exhaustive) 6061 del vars, 10082 del conss, 0 add conss, 30193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18958 impls, 1788 clqs, 0 implints
(round 11, exhaustive) 6085 del vars, 10126 del conss, 0 add conss, 30193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18958 impls, 1788 clqs, 0 implints
(round 12, exhaustive) 6085 del vars, 10126 del conss, 0 add conss, 30193 chg bounds, 0 chg sides, 0 chg coeffs, 8753 upgd conss, 18958 impls, 1788 clqs, 0 implints
(round 13, exhaustive) 6097 del vars, 10138 del conss, 0 add conss, 30193 chg bounds, 0 chg sides, 0 chg coeffs, 11423 upgd conss, 19050 impls, 1776 clqs, 0 implints
   (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
   (1.0s) symmetry computation finished: 180 generators found (max: 1500, log10 of symmetry group size: 137.66) (symcode time: 0.00)
dynamic symmetry handling statistics:
   orbitopal reduction:       no components
   orbital reduction:         20 components of sizes 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9
   lexicographic reduction:  180 permutations with support sizes 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2
handled 20 out of 20 symmetry components
presolving (14 rounds: 14 fast, 5 medium, 5 exhaustive):
 6124 deleted vars, 10138 deleted constraints, 0 added constraints, 30193 tightened bounds, 0 added holes, 0 changed sides, 255 changed coefficients
 19646 implications, 4440 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
presolved problem has 40836 variables (22098 bin, 0 int, 18738 cont) and 47966 constraints
     80 constraints of type <varbound>
   1776 constraints of type <setppc>
  18796 constraints of type <linear>
   9159 constraints of type <logicor>
  18155 constraints of type <indicator>
Presolving Time: 1.00

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
p16.0s|     1 |     0 |    92 |     - |   locks|   0 |  40k|  47k|  47k|   0 |  0 |   0 |   0 | 0.000000e+00 | 4.506500e+03 |    Inf | unknown
i16.0s|     1 |     0 |    92 |     - |  oneopt|   0 |  40k|  47k|  47k|   0 |  0 |   0 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 25.0s|     1 |     0 | 21810 |     - |   370M |   0 |  40k|  46k|  47k|   0 |  0 |   0 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 26.0s|     1 |     0 | 22926 |     - |   393M |   0 |  40k|  46k|  42k| 213 |  1 |   0 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 27.0s|     1 |     0 | 24772 |     - |   397M |   0 |  40k|  46k|  42k| 249 |  2 |   0 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 28.0s|     1 |     0 | 26557 |     - |   402M |   0 |  40k|  45k|  42k| 285 |  3 |   0 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 28.0s|     1 |     0 | 27571 |     - |   408M |   0 |  40k|  45k|  42k| 315 |  4 |   2 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 29.0s|     1 |     0 | 29650 |     - |   412M |   0 |  40k|  45k|  42k| 363 |  5 |   2 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 30.0s|     1 |     0 | 31518 |     - |   418M |   0 |  40k|  45k|  42k| 394 |  6 |   2 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 31.0s|     1 |     0 | 32883 |     - |   422M |   0 |  40k|  45k|  42k| 418 |  7 |   2 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 32.0s|     1 |     0 | 33878 |     - |   428M |   0 |  40k|  45k|  42k| 437 |  8 |   2 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 32.0s|     1 |     0 | 34976 |     - |   432M |   0 |  40k|  45k|  42k| 462 |  9 |   3 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 33.0s|     1 |     0 | 36867 |     - |   437M |   0 |  40k|  44k|  42k| 496 | 10 |   3 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 34.0s|     1 |     0 | 37906 |     - |   441M |   0 |  40k|  44k|  42k| 520 | 11 |   3 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 36.0s|     1 |     0 | 42523 |     - |   441M |   0 |  40k|  44k|  42k| 520 | 11 |   5 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
 37.0s|     1 |     0 | 42630 |     - |   445M |   0 |  40k|  44k|  42k| 529 | 12 |   5 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 37.0s|     1 |     0 | 43176 |     - |   450M |   0 |  40k|  44k|  42k| 537 | 13 |   5 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 38.0s|     1 |     0 | 43458 |     - |   454M |   0 |  40k|  44k|  42k| 552 | 14 |   5 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 39.0s|     1 |     0 | 44175 |     - |   458M |   0 |  40k|  44k|  42k| 568 | 15 |   7 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 39.0s|     1 |     0 | 44338 |     - |   458M |   0 |  40k|  44k|  42k| 581 | 16 |   7 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 41.0s|     1 |     0 | 44914 |     - |   462M |   0 |  40k|  44k|  42k| 594 | 17 |  10 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 42.0s|     1 |     0 | 45203 |     - |   466M |   0 |  40k|  44k|  42k| 618 | 18 |  10 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 42.0s|     1 |     0 | 45741 |     - |   470M |   0 |  40k|  44k|  42k| 628 | 19 |  10 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 43.0s|     1 |     0 | 46069 |     - |   474M |   0 |  40k|  43k|  42k| 639 | 20 |  10 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 43.0s|     1 |     0 | 46080 |     - |   474M |   0 |  40k|  43k|  42k| 650 | 21 |  10 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 45.0s|     1 |     0 | 46601 |     - |   474M |   0 |  40k|  43k|  42k| 656 | 22 |  12 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
(run 1, node 1) restarting after 4874 global fixings of integer variables

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

presolving:
(round 1, fast)       5139 del vars, 1979 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 4546 chg coeffs, 0 upgd conss, 19674 impls, 3054 clqs, 0 implints
(round 2, fast)       5164 del vars, 2031 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 4547 chg coeffs, 0 upgd conss, 19680 impls, 3045 clqs, 0 implints
(round 3, fast)       5209 del vars, 2077 del conss, 0 add conss, 19 chg bounds, 0 chg sides, 4548 chg coeffs, 0 upgd conss, 19682 impls, 3039 clqs, 0 implints
(round 4, exhaustive) 5234 del vars, 2116 del conss, 8 add conss, 21 chg bounds, 0 chg sides, 4558 chg coeffs, 0 upgd conss, 19740 impls, 3009 clqs, 0 implints
(round 5, fast)       5265 del vars, 2167 del conss, 8 add conss, 36 chg bounds, 0 chg sides, 4559 chg coeffs, 0 upgd conss, 19742 impls, 3002 clqs, 0 implints
(round 6, fast)       5305 del vars, 2209 del conss, 8 add conss, 36 chg bounds, 0 chg sides, 4570 chg coeffs, 0 upgd conss, 19742 impls, 3005 clqs, 0 implints
(round 7, exhaustive) 5307 del vars, 2221 del conss, 9 add conss, 54 chg bounds, 0 chg sides, 4570 chg coeffs, 260 upgd conss, 19750 impls, 3003 clqs, 0 implints
(round 8, exhaustive) 5326 del vars, 2320 del conss, 9 add conss, 59 chg bounds, 0 chg sides, 4578 chg coeffs, 260 upgd conss, 19754 impls, 2991 clqs, 0 implints
(round 9, exhaustive) 5338 del vars, 2333 del conss, 9 add conss, 993 chg bounds, 0 chg sides, 4578 chg coeffs, 260 upgd conss, 19754 impls, 2991 clqs, 0 implints
presolving (10 rounds: 10 fast, 5 medium, 5 exhaustive):
 5342 deleted vars, 2337 deleted constraints, 9 added constraints, 993 tightened bounds, 0 added holes, 0 changed sides, 4610 changed coefficients
 19754 implications, 2991 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
presolved problem has 35507 variables (17115 bin, 0 int, 18392 cont) and 41693 constraints
    137 constraints of type <varbound>
     84 constraints of type <knapsack>
    307 constraints of type <setppc>
  18504 constraints of type <linear>
   4810 constraints of type <logicor>
      1 constraints of type <bounddisjunction>
  17850 constraints of type <indicator>
Presolving Time: 1.00

 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
 72.0s|     1 |     0 | 92872 |     - |   485M |   0 |  35k|  41k|  41k|   0 |  0 |  15 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 74.0s|     1 |     0 | 96424 |     - |   490M |   0 |  35k|  41k|  41k|  25 |  1 |  16 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 74.0s|     1 |     0 | 98910 |     - |   494M |   0 |  35k|  41k|  41k|  39 |  2 |  16 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 75.0s|     1 |     0 |100038 |     - |   500M |   0 |  35k|  41k|  41k|  57 |  3 |  18 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 75.0s|     1 |     0 |101809 |     - |   504M |   0 |  35k|  41k|  41k|  84 |  4 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 76.0s|     1 |     0 |102610 |     - |   508M |   0 |  35k|  41k|  41k| 109 |  5 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 77.0s|     1 |     0 |103365 |     - |   514M |   0 |  35k|  41k|  41k| 131 |  6 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 77.0s|     1 |     0 |104220 |     - |   520M |   0 |  35k|  41k|  41k| 155 |  7 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 78.0s|     1 |     0 |105072 |     - |   525M |   0 |  35k|  41k|  41k| 170 |  8 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 79.0s|     1 |     0 |105907 |     - |   539M |   0 |  35k|  41k|  41k| 197 |  9 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 80.0s|     1 |     0 |106437 |     - |   554M |   0 |  35k|  41k|  41k| 214 | 10 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 81.0s|     1 |     0 |107104 |     - |   558M |   0 |  35k|  41k|  41k| 225 | 11 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 82.0s|     1 |     0 |108634 |     - |   558M |   0 |  35k|  41k|  41k| 225 | 11 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 82.0s|     1 |     0 |109387 |     - |   558M |   0 |  35k|  41k|  41k| 241 | 12 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 83.0s|     1 |     0 |109740 |     - |   562M |   0 |  35k|  41k|  41k| 251 | 13 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
 84.0s|     1 |     0 |110703 |     - |   567M |   0 |  35k|  41k|  41k| 262 | 14 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 84.0s|     1 |     0 |111441 |     - |   571M |   0 |  35k|  41k|  41k| 272 | 15 |  20 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 85.0s|     1 |     0 |112167 |     - |   571M |   0 |  35k|  41k|  41k| 279 | 16 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 85.0s|     1 |     0 |112453 |     - |   576M |   0 |  35k|  41k|  41k| 290 | 17 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 86.0s|     1 |     0 |113521 |     - |   580M |   0 |  35k|  41k|  41k| 295 | 18 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 87.0s|     1 |     0 |115748 |     - |   584M |   0 |  35k|  41k|  41k| 311 | 19 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 88.0s|     1 |     0 |116227 |     - |   588M |   0 |  35k|  41k|  41k| 318 | 20 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 88.0s|     1 |     0 |116408 |     - |   589M |   0 |  35k|  41k|  41k| 323 | 21 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 88.0s|     1 |     0 |116726 |     - |   589M |   0 |  35k|  41k|  41k| 332 | 22 |  22 |   0 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
[cons_indicator.c:3401] ERROR: Indicator variable <t_t_C32> is not binary 3.
[cons_indicator.c:6061] ERROR: Error <0> in function call
[cons.c:6738] ERROR: Error <0> in function call
[prob.c:623] ERROR: Error <0> in function call
[scip_solve.c:289] ERROR: Error <0> in function call
[scip_solve.c:2475] ERROR: Error <0> in function call
WARNING: Error while presolving subproblem in RENS heuristic; sub-SCIP terminated with code <0>
 96.0s|     1 |     0 |119580 |     - |   590M |   0 |  35k|  41k|  41k| 332 | 22 |  22 |  22 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 97.0s|     1 |     0 |119877 |     - |   590M |   0 |  35k|  41k|  41k| 342 | 23 |  22 |  22 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 97.0s|     1 |     0 |120180 |     - |   590M |   0 |  35k|  41k|  41k| 348 | 24 |  22 |  22 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
  106s|     1 |     0 |120891 |     - |   592M |   0 |  35k|  41k|  41k| 348 | 24 |  24 |  51 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
  107s|     1 |     0 |121022 |     - |   592M |   0 |  35k|  41k|  41k| 357 | 25 |  24 |  51 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
  107s|     1 |     0 |121051 |     - |   592M |   0 |  35k|  41k|  41k| 361 | 26 |  24 |  51 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
 time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl.
  111s|     1 |     2 |121083 |     - |   593M |   0 |  35k|  41k|  41k| 361 | 26 |  24 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf | unknown
  170s|   100 |    68 |279237 |1832.3 |   630M |  51 |  35k|  41k|  41k| 390 |  1 |  87 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   2.29%
  189s|   200 |    74 |337565 |1207.8 |   641M |  59 |  35k|  41k|  41k| 421 |  1 | 115 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   5.23%
  192s|   300 |    86 |339353 | 811.1 |   642M |  59 |  35k|  41k|  41k| 439 |  1 | 115 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   5.23%
  195s|   400 |    96 |339722 | 609.3 |   642M |  67 |  35k|  41k|  41k| 448 |  1 | 115 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   5.23%
  205s|   500 |    82 |368132 | 544.2 |   660M |  67 |  35k|  41k|   0 | 570 |  0 | 124 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   5.49%
  214s|   600 |    84 |395401 | 499.0 |   670M |  67 |  35k|  41k|   0 | 609 |  0 | 137 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   5.49%
  223s|   700 |    92 |419758 | 462.5 |   677M |  67 |  35k|  41k|   0 | 724 |  0 | 156 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   5.78%
  236s|   800 |   103 |464745 | 460.9 |   680M |  67 |  35k|  41k|   0 | 856 |  0 | 174 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   6.97%
  245s|   900 |   117 |492241 | 440.3 |   687M |  67 |  35k|  41k|  41k| 913 |  1 | 178 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   7.40%
  253s|  1000 |   117 |517954 | 421.9 |   690M |  67 |  35k|  41k|  41k| 980 |  1 | 179 |  72 | 0.000000e+00 | 5.000000e-01 |    Inf |   7.54%
[cons_indicator.c:3401] ERROR: Indicator variable <t_t_C32> is not binary 3.
[cons_indicator.c:6061] ERROR: Error <0> in function call
[cons.c:6738] ERROR: Error <0> in function call
[prob.c:623] ERROR: Error <0> in function call
[scip_solve.c:289] ERROR: Error <0> in function call
[heur_alns.c:2614] ERROR: Error <0> in function call
[heur.c:1319] ERROR: Error <0> in function call
[solve.c:378] ERROR: Error <0> in function call
[solve.c:5517] ERROR: Error <0> in function call
[scip_solve.c:2790] ERROR: Error <0> in function call
[scipshell.c:111] ERROR: Error <0> in function call
[scipshell.c:564] ERROR: Error <0> in function call
[scipshell.c:640] ERROR: Error <0> in function call
SCIP Error (0): unspecified error

Thank you for SCIP!

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions