0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4441455-1721293751.opb>
0.00/0.02 c original problem has 3736 variables (3736 bin, 0 int, 0 impl, 0 cont) and 10457 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 23 del vars, 7 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 0 impls, 6807 clqs
0.00/0.05 c (round 2, fast) 41 del vars, 65 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 0 impls, 6823 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.09/0.17 c (0.2s) MILP presolver (6 rounds): 229 aggregations, 180 fixings, 0 bound changes
0.09/0.17 c (round 3, medium) 450 del vars, 65 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 0 impls, 5909 clqs
0.09/0.18 c (round 4, fast) 453 del vars, 1139 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 0 impls, 6050 clqs
0.09/0.18 c (round 5, exhaustive) 453 del vars, 1251 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 0 impls, 6050 clqs
0.09/0.18 c (round 6, fast) 557 del vars, 1355 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 0 upgd conss, 0 impls, 5842 clqs
0.09/0.20 c (round 7, exhaustive) 557 del vars, 1355 del conss, 0 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 9102 upgd conss, 0 impls, 5842 clqs
0.19/0.23 c (round 8, exhaustive) 557 del vars, 10021 del conss, 2886 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 9102 upgd conss, 0 impls, 5842 clqs
0.19/0.23 c (round 9, exhaustive) 596 del vars, 10029 del conss, 2894 add conss, 1 chg bounds, 184 chg sides, 368 chg coeffs, 9102 upgd conss, 0 impls, 5759 clqs
0.19/0.23 c (round 10, fast) 618 del vars, 10039 del conss, 2894 add conss, 1 chg bounds, 184 chg sides, 378 chg coeffs, 9102 upgd conss, 0 impls, 5748 clqs
0.19/0.24 c (round 11, exhaustive) 623 del vars, 10068 del conss, 2923 add conss, 1 chg bounds, 184 chg sides, 378 chg coeffs, 9102 upgd conss, 0 impls, 5734 clqs
0.19/0.24 c (round 12, fast) 625 del vars, 10079 del conss, 2923 add conss, 1 chg bounds, 184 chg sides, 378 chg coeffs, 9102 upgd conss, 0 impls, 5741 clqs
0.19/0.24 c (round 13, exhaustive) 625 del vars, 10085 del conss, 2925 add conss, 1 chg bounds, 184 chg sides, 378 chg coeffs, 9102 upgd conss, 0 impls, 5741 clqs
0.19/0.24 c (round 14, exhaustive) 645 del vars, 10108 del conss, 2927 add conss, 1 chg bounds, 184 chg sides, 378 chg coeffs, 9102 upgd conss, 0 impls, 5700 clqs
0.19/0.25 c (round 15, exhaustive) 646 del vars, 10112 del conss, 2929 add conss, 1 chg bounds, 184 chg sides, 378 chg coeffs, 9102 upgd conss, 0 impls, 5697 clqs
0.19/0.25 c (round 16, exhaustive) 649 del vars, 10116 del conss, 2929 add conss, 1 chg bounds, 184 chg sides, 379 chg coeffs, 9102 upgd conss, 0 impls, 5692 clqs
0.19/0.27 c (round 17, exhaustive) 739 del vars, 10117 del conss, 2929 add conss, 1 chg bounds, 184 chg sides, 380 chg coeffs, 9102 upgd conss, 0 impls, 6110 clqs
0.19/0.27 c (round 18, fast) 783 del vars, 10168 del conss, 2929 add conss, 1 chg bounds, 184 chg sides, 423 chg coeffs, 9107 upgd conss, 0 impls, 6060 clqs
0.19/0.27 c (round 19, exhaustive) 785 del vars, 10170 del conss, 2930 add conss, 1 chg bounds, 184 chg sides, 423 chg coeffs, 9107 upgd conss, 0 impls, 6058 clqs
0.19/0.27 c (round 20, fast) 786 del vars, 10172 del conss, 2930 add conss, 1 chg bounds, 184 chg sides, 424 chg coeffs, 9108 upgd conss, 0 impls, 6057 clqs
0.19/0.27 c (round 21, exhaustive) 792 del vars, 10175 del conss, 2933 add conss, 1 chg bounds, 184 chg sides, 424 chg coeffs, 9108 upgd conss, 0 impls, 6045 clqs
0.19/0.27 c (round 22, exhaustive) 792 del vars, 10178 del conss, 2933 add conss, 1 chg bounds, 184 chg sides, 424 chg coeffs, 9108 upgd conss, 0 impls, 6047 clqs
0.19/0.27 c (round 23, exhaustive) 793 del vars, 10186 del conss, 2941 add conss, 1 chg bounds, 184 chg sides, 424 chg coeffs, 9108 upgd conss, 0 impls, 6043 clqs
0.19/0.28 c (round 24, exhaustive) 793 del vars, 10191 del conss, 2942 add conss, 1 chg bounds, 184 chg sides, 424 chg coeffs, 9108 upgd conss, 0 impls, 6045 clqs
0.19/0.29 c (round 25, exhaustive) 836 del vars, 10192 del conss, 2942 add conss, 1 chg bounds, 184 chg sides, 424 chg coeffs, 9108 upgd conss, 0 impls, 11070 clqs
0.19/0.29 c (round 26, fast) 862 del vars, 10219 del conss, 2942 add conss, 1 chg bounds, 184 chg sides, 450 chg coeffs, 9116 upgd conss, 0 impls, 10976 clqs
0.19/0.30 c (round 27, exhaustive) 871 del vars, 10238 del conss, 2961 add conss, 1 chg bounds, 184 chg sides, 450 chg coeffs, 9116 upgd conss, 0 impls, 10935 clqs
0.19/0.30 c (round 28, exhaustive) 871 del vars, 10241 del conss, 2961 add conss, 1 chg bounds, 184 chg sides, 450 chg coeffs, 9116 upgd conss, 0 impls, 10943 clqs
0.19/0.30 c (round 29, exhaustive) 874 del vars, 10255 del conss, 2975 add conss, 1 chg bounds, 184 chg sides, 450 chg coeffs, 9116 upgd conss, 0 impls, 10934 clqs
0.29/0.31 c (round 30, exhaustive) 874 del vars, 10260 del conss, 2978 add conss, 1 chg bounds, 184 chg sides, 450 chg coeffs, 9116 upgd conss, 0 impls, 10938 clqs
0.29/0.33 c (round 31, exhaustive) 920 del vars, 10262 del conss, 2978 add conss, 1 chg bounds, 184 chg sides, 450 chg coeffs, 9116 upgd conss, 0 impls, 13464 clqs
0.29/0.33 c (round 32, fast) 949 del vars, 10303 del conss, 2978 add conss, 1 chg bounds, 184 chg sides, 481 chg coeffs, 9126 upgd conss, 0 impls, 13324 clqs
0.29/0.33 c (round 33, exhaustive) 957 del vars, 10306 del conss, 2981 add conss, 1 chg bounds, 184 chg sides, 481 chg coeffs, 9126 upgd conss, 0 impls, 13304 clqs
0.29/0.34 c (round 34, exhaustive) 958 del vars, 10315 del conss, 2989 add conss, 1 chg bounds, 184 chg sides, 481 chg coeffs, 9126 upgd conss, 0 impls, 13292 clqs
0.29/0.34 c (round 35, exhaustive) 958 del vars, 10318 del conss, 2991 add conss, 1 chg bounds, 184 chg sides, 481 chg coeffs, 9126 upgd conss, 0 impls, 13293 clqs
0.29/0.39 c (round 36, exhaustive) 984 del vars, 10319 del conss, 2991 add conss, 1 chg bounds, 184 chg sides, 481 chg coeffs, 9126 upgd conss, 0 impls, 23072 clqs
0.29/0.39 c (round 37, fast) 997 del vars, 10332 del conss, 2991 add conss, 1 chg bounds, 184 chg sides, 494 chg coeffs, 9134 upgd conss, 0 impls, 22849 clqs
0.29/0.39 c (round 38, medium) 1000 del vars, 10332 del conss, 2991 add conss, 1 chg bounds, 184 chg sides, 494 chg coeffs, 9134 upgd conss, 0 impls, 22818 clqs
0.29/0.39 c (round 39, fast) 1004 del vars, 10334 del conss, 2991 add conss, 1 chg bounds, 184 chg sides, 496 chg coeffs, 9135 upgd conss, 0 impls, 22804 clqs
0.29/0.40 c (round 40, exhaustive) 1010 del vars, 10346 del conss, 3003 add conss, 1 chg bounds, 184 chg sides, 496 chg coeffs, 9135 upgd conss, 0 impls, 22765 clqs
0.29/0.40 c (round 41, exhaustive) 1013 del vars, 10355 del conss, 3009 add conss, 1 chg bounds, 184 chg sides, 496 chg coeffs, 9135 upgd conss, 0 impls, 22710 clqs
0.39/0.44 c (round 42, exhaustive) 1039 del vars, 10357 del conss, 3009 add conss, 1 chg bounds, 184 chg sides, 496 chg coeffs, 9135 upgd conss, 0 impls, 26800 clqs
0.39/0.44 c (round 43, fast) 1055 del vars, 10376 del conss, 3009 add conss, 1 chg bounds, 184 chg sides, 512 chg coeffs, 9141 upgd conss, 0 impls, 26671 clqs
0.39/0.44 c (round 44, exhaustive) 1060 del vars, 10390 del conss, 3022 add conss, 1 chg bounds, 184 chg sides, 512 chg coeffs, 9141 upgd conss, 0 impls, 26589 clqs
0.39/0.45 c (round 45, exhaustive) 1060 del vars, 10397 del conss, 3027 add conss, 1 chg bounds, 184 chg sides, 512 chg coeffs, 9141 upgd conss, 0 impls, 26598 clqs
0.39/0.46 c (round 46, exhaustive) 1120 del vars, 10399 del conss, 3027 add conss, 1 chg bounds, 184 chg sides, 512 chg coeffs, 9141 upgd conss, 0 impls, 26271 clqs
0.39/0.46 c (round 47, fast) 1147 del vars, 10428 del conss, 3027 add conss, 1 chg bounds, 184 chg sides, 539 chg coeffs, 9159 upgd conss, 0 impls, 25984 clqs
0.39/0.46 c (round 48, exhaustive) 1148 del vars, 10435 del conss, 3034 add conss, 1 chg bounds, 184 chg sides, 539 chg coeffs, 9159 upgd conss, 0 impls, 25978 clqs
0.39/0.46 c (round 49, exhaustive) 1148 del vars, 10440 del conss, 3034 add conss, 1 chg bounds, 184 chg sides, 539 chg coeffs, 9159 upgd conss, 0 impls, 25979 clqs
0.39/0.46 c (round 50, exhaustive) 1160 del vars, 10453 del conss, 3035 add conss, 1 chg bounds, 184 chg sides, 539 chg coeffs, 9159 upgd conss, 0 impls, 25828 clqs
0.39/0.49 c (round 51, exhaustive) 1192 del vars, 10454 del conss, 3035 add conss, 1 chg bounds, 184 chg sides, 539 chg coeffs, 9159 upgd conss, 0 impls, 26667 clqs
0.39/0.49 c (round 52, fast) 1204 del vars, 10466 del conss, 3035 add conss, 1 chg bounds, 184 chg sides, 551 chg coeffs, 9169 upgd conss, 0 impls, 26436 clqs
0.39/0.49 c (round 53, exhaustive) 1204 del vars, 10473 del conss, 3042 add conss, 1 chg bounds, 184 chg sides, 551 chg coeffs, 9169 upgd conss, 0 impls, 26439 clqs
0.49/0.60 c (round 54, exhaustive) 1229 del vars, 10473 del conss, 3042 add conss, 1 chg bounds, 184 chg sides, 551 chg coeffs, 9169 upgd conss, 0 impls, 26416 clqs
0.49/0.60 c (round 55, fast) 1238 del vars, 10486 del conss, 3042 add conss, 1 chg bounds, 184 chg sides, 561 chg coeffs, 9174 upgd conss, 0 impls, 26100 clqs
0.58/0.60 c (round 56, exhaustive) 1238 del vars, 10492 del conss, 3048 add conss, 1 chg bounds, 184 chg sides, 561 chg coeffs, 9174 upgd conss, 0 impls, 26103 clqs
0.88/0.90 c (round 57, exhaustive) 1263 del vars, 10492 del conss, 3048 add conss, 1 chg bounds, 184 chg sides, 561 chg coeffs, 9174 upgd conss, 0 impls, 26739 clqs
0.88/0.90 c (round 58, fast) 1263 del vars, 10499 del conss, 3048 add conss, 1 chg bounds, 184 chg sides, 566 chg coeffs, 9180 upgd conss, 0 impls, 26739 clqs
0.88/0.91 c (round 59, exhaustive) 1264 del vars, 10504 del conss, 3053 add conss, 1 chg bounds, 184 chg sides, 566 chg coeffs, 9180 upgd conss, 0 impls, 26730 clqs
0.88/0.91 c (round 60, exhaustive) 1276 del vars, 10517 del conss, 3054 add conss, 1 chg bounds, 184 chg sides, 566 chg coeffs, 9180 upgd conss, 0 impls, 26412 clqs
0.98/1.07 c (round 61, exhaustive) 1301 del vars, 10518 del conss, 3054 add conss, 1 chg bounds, 184 chg sides, 566 chg coeffs, 9180 upgd conss, 0 impls, 26779 clqs
0.98/1.07 c (round 62, fast) 1309 del vars, 10530 del conss, 3054 add conss, 1 chg bounds, 184 chg sides, 578 chg coeffs, 9188 upgd conss, 0 impls, 26722 clqs
0.98/1.08 c (round 63, exhaustive) 1309 del vars, 10540 del conss, 3064 add conss, 1 chg bounds, 184 chg sides, 578 chg coeffs, 9188 upgd conss, 0 impls, 26729 clqs
1.08/1.17 c (1.2s) probing: 1000/3116 (32.1%) - 324 fixings, 94 aggregations, 266112 implications, 0 bound changes
1.08/1.19 c (round 64, exhaustive) 1334 del vars, 10541 del conss, 3064 add conss, 1 chg bounds, 184 chg sides, 578 chg coeffs, 9188 upgd conss, 0 impls, 26499 clqs
1.08/1.19 c (round 65, fast) 1336 del vars, 10544 del conss, 3064 add conss, 1 chg bounds, 184 chg sides, 581 chg coeffs, 9191 upgd conss, 0 impls, 26421 clqs
1.08/1.19 c (round 66, exhaustive) 1336 del vars, 10570 del conss, 3090 add conss, 1 chg bounds, 184 chg sides, 581 chg coeffs, 9191 upgd conss, 0 impls, 26424 clqs
1.08/1.19 c (round 67, exhaustive) 1336 del vars, 10574 del conss, 3090 add conss, 1 chg bounds, 184 chg sides, 581 chg coeffs, 9191 upgd conss, 0 impls, 26433 clqs
1.28/1.34 c (round 68, exhaustive) 1362 del vars, 10574 del conss, 3090 add conss, 1 chg bounds, 184 chg sides, 581 chg coeffs, 9191 upgd conss, 0 impls, 26604 clqs
1.28/1.34 c (round 69, fast) 1371 del vars, 10582 del conss, 3090 add conss, 1 chg bounds, 184 chg sides, 589 chg coeffs, 9199 upgd conss, 0 impls, 26421 clqs
1.28/1.34 c (round 70, exhaustive) 1372 del vars, 10591 del conss, 3099 add conss, 1 chg bounds, 184 chg sides, 589 chg coeffs, 9199 upgd conss, 0 impls, 26417 clqs
1.28/1.34 c (round 71, exhaustive) 1372 del vars, 10594 del conss, 3100 add conss, 1 chg bounds, 184 chg sides, 589 chg coeffs, 9199 upgd conss, 0 impls, 26418 clqs
1.38/1.42 c (round 72, exhaustive) 1398 del vars, 10594 del conss, 3100 add conss, 1 chg bounds, 184 chg sides, 589 chg coeffs, 9199 upgd conss, 0 impls, 26605 clqs
1.38/1.42 c (round 73, fast) 1413 del vars, 10611 del conss, 3100 add conss, 1 chg bounds, 184 chg sides, 604 chg coeffs, 9205 upgd conss, 0 impls, 26524 clqs
1.38/1.43 c (round 74, exhaustive) 1415 del vars, 10618 del conss, 3107 add conss, 1 chg bounds, 184 chg sides, 604 chg coeffs, 9205 upgd conss, 0 impls, 26506 clqs
1.38/1.43 c (round 75, exhaustive) 1415 del vars, 10620 del conss, 3109 add conss, 1 chg bounds, 184 chg sides, 604 chg coeffs, 9205 upgd conss, 0 impls, 26509 clqs
1.77/1.83 c (round 76, exhaustive) 1440 del vars, 10622 del conss, 3109 add conss, 1 chg bounds, 184 chg sides, 604 chg coeffs, 9205 upgd conss, 0 impls, 26572 clqs
1.77/1.84 c (round 77, fast) 1450 del vars, 10638 del conss, 3109 add conss, 1 chg bounds, 184 chg sides, 616 chg coeffs, 9218 upgd conss, 0 impls, 26336 clqs
1.77/1.84 c (round 78, exhaustive) 1451 del vars, 10649 del conss, 3120 add conss, 1 chg bounds, 184 chg sides, 616 chg coeffs, 9218 upgd conss, 0 impls, 26337 clqs
1.77/1.84 c (round 79, exhaustive) 1451 del vars, 10653 del conss, 3120 add conss, 1 chg bounds, 184 chg sides, 616 chg coeffs, 9218 upgd conss, 0 impls, 26343 clqs
1.77/1.85 c (round 80, exhaustive) 1452 del vars, 10655 del conss, 3121 add conss, 1 chg bounds, 184 chg sides, 616 chg coeffs, 9218 upgd conss, 0 impls, 26337 clqs
1.87/2.00 c (2.0s) probing: 2000/3116 (64.2%) - 387 fixings, 121 aggregations, 549118 implications, 0 bound changes
2.17/2.27 c (round 81, exhaustive) 1477 del vars, 10656 del conss, 3121 add conss, 1 chg bounds, 184 chg sides, 616 chg coeffs, 9218 upgd conss, 0 impls, 26366 clqs
2.17/2.27 c (round 82, fast) 1492 del vars, 10681 del conss, 3121 add conss, 1 chg bounds, 184 chg sides, 633 chg coeffs, 9237 upgd conss, 0 impls, 26216 clqs
2.17/2.28 c (round 83, exhaustive) 1492 del vars, 10685 del conss, 3125 add conss, 1 chg bounds, 184 chg sides, 633 chg coeffs, 9237 upgd conss, 0 impls, 26234 clqs
2.27/2.32 c (2.3s) probing: 2418/3116 (77.6%) - 403 fixings, 122 aggregations, 656622 implications, 0 bound changes
2.27/2.32 c (2.3s) probing aborted: 50/50 successive totally useless probings
2.27/2.32 c (round 84, exhaustive) 1494 del vars, 10685 del conss, 3125 add conss, 1 chg bounds, 184 chg sides, 633 chg coeffs, 9237 upgd conss, 0 impls, 27157 clqs
2.27/2.32 c (round 85, fast) 1496 del vars, 10689 del conss, 3125 add conss, 1 chg bounds, 184 chg sides, 635 chg coeffs, 9239 upgd conss, 0 impls, 27061 clqs
2.27/2.33 c (round 86, exhaustive) 1496 del vars, 10694 del conss, 3130 add conss, 1 chg bounds, 184 chg sides, 635 chg coeffs, 9239 upgd conss, 0 impls, 27063 clqs
2.27/2.33 c (2.3s) probing: 2423/3116 (77.8%) - 403 fixings, 122 aggregations, 656622 implications, 0 bound changes
2.27/2.33 c (2.3s) probing aborted: 50/50 successive totally useless probings
2.27/2.33 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.27/2.34 c (2.3s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
2.27/2.34 c dynamic symmetry handling statistics:
2.27/2.34 c orbitopal reduction: no components
2.27/2.34 c orbital reduction: no components
2.27/2.34 c lexicographic reduction: 1 permutations with support sizes 236
2.27/2.34 c handled 1 out of 1 symmetry components
2.27/2.35 c presolving (87 rounds: 87 fast, 63 medium, 61 exhaustive):
2.27/2.35 c 1496 deleted vars, 10694 deleted constraints, 3130 added constraints, 1 tightened bounds, 0 added holes, 184 changed sides, 635 changed coefficients
2.27/2.35 c 0 implications, 27068 cliques
2.27/2.35 c presolved problem has 2273 variables (2273 bin, 0 int, 0 impl, 0 cont) and 2608 constraints
2.27/2.35 c 368 constraints of type <knapsack>
2.27/2.35 c 336 constraints of type <setppc>
2.27/2.35 c 1902 constraints of type <and>
2.27/2.35 c 2 constraints of type <logicor>
2.27/2.35 c transformed objective value is always integral (scale: 1)
2.27/2.35 c Presolving Time: 2.31
2.27/2.35 c - non default parameters ----------------------------------------------------------------------
2.27/2.35 c # SCIP version 10.0.0
2.27/2.35 c
2.27/2.35 c # maximal time in seconds to run
2.27/2.35 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.27/2.35 c limits/time = 3596.998007
2.27/2.35 c
2.27/2.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.27/2.35 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.27/2.35 c limits/memory = 27900
2.27/2.35 c
2.27/2.35 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.27/2.35 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.27/2.35 c limits/solutions = 1
2.27/2.35 c
2.27/2.35 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
2.27/2.35 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.27/2.35 c misc/usesymmetry = 3
2.27/2.35 c
2.27/2.35 c # belongs reading time to solving time?
2.27/2.35 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.27/2.35 c timing/reading = TRUE
2.27/2.35 c
2.27/2.35 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.27/2.35 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.27/2.35 c propagating/symmetry/detectdoublelex = FALSE
2.27/2.35 c
2.27/2.35 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.27/2.35 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.27/2.35 c propagating/symmetry/detectsubgroups = FALSE
2.27/2.35 c
2.27/2.35 c # Type of symmetries that shall be computed?
2.27/2.35 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.27/2.35 c propagating/symmetry/symtype = 1
2.27/2.35 c
2.27/2.35 c # Should components consisting of a single full reflection be handled?
2.27/2.35 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.27/2.35 c propagating/symmetry/usesimplesgncomp = FALSE
2.27/2.35 c
2.27/2.35 c -----------------------------------------------------------------------------------------------
2.27/2.35 c start solving
2.27/2.35 c
2.38/2.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.38/2.44 c 2.4s| 1 | 0 | 1131 | - | 51M | 0 |2273 |2663 |4510 | 0 | 0 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
2.99/3.07 c 3.1s| 1 | 0 | 3760 | - | 58M | 0 |2273 |2743 |4790 | 280 | 1 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
3.28/3.37 c 3.4s| 1 | 0 | 4624 | - | 63M | 0 |2273 |2744 |5027 | 517 | 2 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.65 c 3.7s| 1 | 0 | 5381 | - | 65M | 0 |2273 |2748 |5225 | 715 | 3 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
3.88/3.98 c 4.0s| 1 | 0 | 6268 | - | 69M | 0 |2273 |2750 |5383 | 873 | 4 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
4.27/4.32 c 4.3s| 1 | 0 | 7191 | - | 74M | 0 |2273 |2752 |5516 |1006 | 5 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
4.57/4.66 c 4.7s| 1 | 0 | 7771 | - | 78M | 0 |2273 |2753 |5613 |1103 | 6 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
4.97/5.02 c 5.0s| 1 | 0 | 8346 | - | 85M | 0 |2273 |2754 |5691 |1181 | 7 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
5.37/5.45 c 5.4s| 1 | 0 | 8850 | - | 93M | 0 |2273 |2756 |5770 |1260 | 8 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
5.87/5.92 c 5.9s| 1 | 0 | 9321 | - | 99M | 0 |2273 |2758 |5839 |1329 | 9 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
6.27/6.37 c 6.4s| 1 | 0 | 9819 | - | 106M | 0 |2273 |2759 |5909 |1399 | 10 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
6.47/6.50 c 6.5s| 1 | 0 | 10134 | - | 107M | 0 |2273 |2760 |5958 |1448 | 11 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
8.56/8.61 c 8.6s| 1 | 2 | 13561 | - | 107M | 0 |2273 |2770 |5958 |1448 | 11 | 83 | 11 | 0.000000e+00 | -- | Inf | unknown
12.25/12.30 c 12.3s| 100 | 2 | 32310 | 224.0 | 112M | 20 |2273 |2382 |5665 |3019 | 1 | 229 | 11 | 0.000000e+00 | -- | Inf | 78.12%
14.34/14.49 c 14.5s| 200 | 6 | 40200 | 151.1 | 121M | 20 |2273 |2310 |5783 |3961 | 2 | 361 | 11 | 0.000000e+00 | -- | Inf | 89.84%
14.75/14.81 c
14.75/14.81 c SCIP Status : problem is solved [infeasible]
14.75/14.81 c Solving Time (sec) : 14.80
14.75/14.81 c Solving Nodes : 209
14.75/14.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
14.75/14.81 c Dual Bound : +1.00000000000000e+20
14.75/14.81 c Gap : 0.00 %
14.75/14.81 s UNSATISFIABLE
14.75/14.81 c SCIP Status : problem is solved [infeasible]
14.75/14.81 c Total Time : 14.80
14.75/14.81 c solving : 14.80
14.75/14.81 c presolving : 2.31 (included in solving)
14.75/14.81 c reading : 0.02 (included in solving)
14.75/14.81 c copying : 0.36 (51 #copies) (minimal 0.01, maximal 0.01, average 0.01)
14.75/14.81 c Original Problem :
14.75/14.81 c Problem name : HOME/instance-4441455-1721293751.opb
14.75/14.81 c Variables : 3736 (3736 binary, 0 integer, 0 implicit integer, 0 continuous)
14.75/14.81 c Constraints : 10457 initial, 10457 maximal
14.75/14.81 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
14.75/14.81 c Presolved Problem :
14.75/14.81 c Problem name : t_HOME/instance-4441455-1721293751.opb
14.75/14.81 c Variables : 2273 (2273 binary, 0 integer, 0 implicit integer, 0 continuous)
14.75/14.81 c Constraints : 2608 initial, 2903 maximal
14.75/14.81 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
14.75/14.81 c Nonzeros : 10361 constraint, 11883 clique table
14.75/14.81 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
14.75/14.81 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c domcol : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
14.75/14.81 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.75/14.81 c gateextraction : 0.02 0.00 59 0 0 0 0 0 8677 2890 0 0
14.75/14.81 c implics : 0.00 0.00 63 0 0 0 0 0 0 0 0 0
14.75/14.81 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c milp : 0.12 0.00 1 180 229 0 0 0 0 0 0 0
14.75/14.81 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.75/14.81 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c trivial : 0.00 0.00 87 33 0 0 0 0 0 0 0 0
14.75/14.81 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c dualfix : 0.00 0.00 87 0 0 0 0 0 0 0 0 0
14.75/14.81 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c probing : 1.84 0.00 17 403 122 0 0 0 0 0 0 0
14.75/14.81 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
14.75/14.81 c vbounds : 0.02 0.00 8 2 1 0 0 0 0 0 0 0
14.75/14.81 c knapsack : 0.01 0.00 195 0 0 0 0 0 0 0 0 0
14.75/14.81 c setppc : 0.02 0.00 195 0 1 0 0 0 105 0 0 0
14.75/14.81 c and : 0.18 0.00 129 13 367 0 0 0 557 240 0 266
14.75/14.81 c linear : 0.04 0.00 9 1 111 0 1 0 1355 0 184 368
14.75/14.81 c logicor : 0.00 0.00 157 0 0 0 0 0 0 0 0 1
14.75/14.81 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
14.75/14.81 c root node : - - - 1463 - - 1463 - - - - -
14.75/14.81 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
14.75/14.81 c benderslp : 0 0 0 0 124 0 0 29 0 0 0 0 0 0 0
14.75/14.81 c integral : 0 0 0 0 124 0 0 29 0 0 0 0 0 0 248
14.75/14.81 c knapsack : 368+ 385 11 23048 0 0 0 25 53 2 68 2201 118 0 0
14.75/14.81 c setppc : 336+ 366 11 23103 0 0 0 0 1181 34 1162 5 0 0 0
14.75/14.81 c and : 1902 1902 283 23069 0 0 0 0 6908 95 18856 4517 1953 0 0
14.75/14.81 c linear : 0+ 94 11 2847 0 0 0 3 17 2 35 33 4 0 0
14.75/14.81 c logicor : 2+ 283 11 1650 0 0 0 0 176 5 170 10 1 0 0
14.75/14.81 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
14.75/14.81 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c integral : 1.47 0.00 0.00 0.00 1.47 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c knapsack : 0.09 0.00 0.02 0.08 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c setppc : 0.07 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c and : 0.97 0.00 0.08 0.87 0.00 0.00 0.00 0.00 0.00 0.01
14.75/14.81 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c Propagators : #Propagate #ResProp Cutoffs DomReds
14.75/14.81 c dualfix : 1 0 0 0
14.75/14.81 c genvbounds : 0 0 0 0
14.75/14.81 c nlobbt : 0 0 0 0
14.75/14.81 c obbt : 0 0 0 0
14.75/14.81 c probing : 0 0 0 0
14.75/14.81 c pseudoobj : 0 0 0 0
14.75/14.81 c redcost : 0 0 0 0
14.75/14.81 c rootredcost : 0 0 0 0
14.75/14.81 c symmetry : 550 0 3 0
14.75/14.81 c vbounds : 3032 0 0 0
14.75/14.81 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
14.75/14.81 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c probing : 1.84 0.00 1.84 0.00 0.00 0.00
14.75/14.81 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
14.75/14.81 c symmetry : 0.02 0.00 0.01 0.00 0.00 0.00
14.75/14.81 c vbounds : 0.05 0.00 0.02 0.04 0.00 0.00
14.75/14.81 c Symmetry :
14.75/14.81 c orbitopal red. : 0 reductions applied, 0 cutoffs
14.75/14.81 c orbital reduction: 0 reductions applied, 0 cutoffs
14.75/14.81 c lexicographic red: 0 reductions applied, 3 cutoffs
14.75/14.81 c shadow tree time : 0.00 s
14.75/14.81 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
14.75/14.81 c propagation : 0.00 135 71 - 220 14.2 10 8.1 - - -
14.75/14.81 c infeasible LP : 0.03 69 67 - 166 15.5 8 9.9 67 9.0 0
14.75/14.81 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
14.75/14.81 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
14.75/14.81 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
14.75/14.81 c applied globally : 0.01 - - 0 310 9.1 - - 65 - -
14.75/14.81 c applied locally : - - - 0 0 0.0 - - 1 - -
14.75/14.81 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
14.75/14.81 c cut pool : 0.11 - 89 21 - - 6338 12232 - - - - - (maximal pool size: 6338)
14.75/14.81 c aggregation : 0.12 0.00 33 11 0 0 715 3338 0 185 185 0 0
14.75/14.81 c > cmir : - - - - - - - 2319 0 100 100 0 -
14.75/14.81 c > flowcover : - - - - - - - 987 0 78 78 0 -
14.75/14.81 c > knapsackcover : - - - - - - - 32 0 7 7 0 -
14.75/14.81 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c clique : 0.29 0.00 11 11 0 0 76 153 0 20 20 0 0
14.75/14.81 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c gomory : 1.53 0.00 32 10 0 0 3115 4087 390 146 136 10 0
14.75/14.81 c > gomorymi : - - - - - - - 2049 195 56 50 6 -
14.75/14.81 c > strongcg : - - - - - - - 2038 195 90 86 4 -
14.75/14.81 c impliedbounds : 0.05 0.00 33 11 0 3 2527 4159 0 1296 1296 0 0
14.75/14.81 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
14.75/14.81 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c multilinear : 0.00 0.00 50 11 0 0 0 0 0 0 0 0 0
14.75/14.81 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
14.75/14.81 c rapidlearning : 2.08 0.00 50 1 0 14852 0 0 0 0 0 0 105
14.75/14.81 c rlt : 1.06 0.00 21 10 0 0 219 224 58 156 120 36 0
14.75/14.81 c zerohalf : 0.15 0.00 33 11 0 0 187 271 53 138 117 21 0
14.75/14.81 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
14.75/14.81 c hybrid : 0.04 0.00 187 11 4026 0 14349 1448 0 10441
14.75/14.81 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c Pricers : ExecTime SetupTime Calls Vars
14.75/14.81 c problem variables: 0.00 - 0 0
14.75/14.81 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
14.75/14.81 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c random : 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c relpscost : 1.47 0.00 124 0 0 0 0 0 0 248
14.75/14.81 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
14.75/14.81 c Primal Heuristics : ExecTime SetupTime Calls Found Best
14.75/14.81 c LP solutions : 0.00 - - 0 0
14.75/14.81 c relax solutions : 0.00 - - 0 0
14.75/14.81 c pseudo solutions : 0.00 - - 0 0
14.75/14.81 c strong branching : 0.00 - - 0 0
14.75/14.81 c actconsdiving : 0.00 0.00 0 0 0
14.75/14.81 c adaptivediving : 0.22 0.00 1 0 0
14.75/14.81 c alns : 0.03 0.00 3 0 0
14.75/14.81 c bound : 0.00 0.00 0 0 0
14.75/14.81 c clique : 0.01 0.00 1 0 0
14.75/14.81 c coefdiving : 0.00 0.00 0 0 0
14.75/14.81 c completesol : 0.00 0.00 0 0 0
14.75/14.81 c conflictdiving : 0.63 0.00 1 0 0
14.75/14.81 c crossover : 0.00 0.00 0 0 0
14.75/14.81 c dins : 0.00 0.00 0 0 0
14.75/14.81 c distributiondivin: 0.01 0.00 0 0 0
14.75/14.81 c dps : 0.00 0.00 0 0 0
14.75/14.81 c dualval : 0.00 0.00 0 0 0
14.75/14.81 c farkasdiving : 0.00 0.00 0 0 0
14.75/14.81 c feasjump : 0.01 0.00 1 0 0
14.75/14.81 c feaspump : 0.15 0.00 1 0 0
14.75/14.81 c fixandinfer : 0.00 0.00 0 0 0
14.75/14.81 c fracdiving : 0.08 0.00 1 0 0
14.75/14.81 c gins : 0.00 0.00 0 0 0
14.75/14.81 c guideddiving : 0.00 0.00 0 0 0
14.75/14.81 c indcoefdiving : 0.00 0.00 0 0 0
14.75/14.81 c indicator : 0.00 0.00 0 0 0
14.75/14.81 c indicatordiving : 0.00 0.00 0 0 0
14.75/14.81 c indoneopt : 0.00 0.00 0 0 0
14.75/14.81 c indrounding : 0.00 0.00 0 0 0
14.75/14.81 c indtwoopt : 0.00 0.00 0 0 0
14.75/14.81 c intdiving : 0.00 0.00 0 0 0
14.75/14.81 c intshifting : 0.00 0.00 0 0 0
14.75/14.81 c linesearchdiving : 0.00 0.00 0 0 0
14.75/14.81 c localbranching : 0.00 0.00 0 0 0
14.75/14.81 c locks : 0.00 0.00 1 0 0
14.75/14.81 c lpface : 0.00 0.00 0 0 0
14.75/14.81 c mpec : 0.00 0.00 0 0 0
14.75/14.81 c multistart : 0.00 0.00 0 0 0
14.75/14.81 c mutation : 0.00 0.00 0 0 0
14.75/14.81 c nlpdiving : 0.00 0.00 0 0 0
14.75/14.81 c objpscostdiving : 0.00 0.00 0 0 0
14.75/14.81 c octane : 0.00 0.00 0 0 0
14.75/14.81 c ofins : 0.00 0.00 0 0 0
14.75/14.81 c oneopt : 0.00 0.00 0 0 0
14.75/14.81 c padm : 0.00 0.00 0 0 0
14.75/14.81 c proximity : 0.00 0.00 0 0 0
14.75/14.81 c pscostdiving : 0.06 0.00 1 0 0
14.75/14.81 c randrounding : 0.03 0.00 34 0 0
14.75/14.81 c rens : 0.00 0.00 0 0 0
14.75/14.81 c reoptsols : 0.00 0.00 0 0 0
14.75/14.81 c repair : 0.00 0.00 0 0 0
14.75/14.81 c rins : 0.00 0.00 0 0 0
14.75/14.81 c rootsoldiving : 0.00 0.00 0 0 0
14.75/14.81 c rounding : 0.03 0.00 224 0 0
14.75/14.81 c scheduler : 0.00 0.00 0 0 0
14.75/14.81 c shiftandpropagate: 0.01 0.00 1 0 0
14.75/14.81 c shifting : 0.14 0.00 66 0 0
14.75/14.81 c simplerounding : 0.00 0.00 0 0 0
14.75/14.81 c smallcard : 0.00 0.00 0 0 0
14.75/14.81 c subnlp : 0.00 0.00 0 0 0
14.75/14.81 c trivial : 0.00 0.00 2 0 0
14.75/14.81 c trivialnegation : 0.00 0.00 0 0 0
14.75/14.81 c trustregion : 0.00 0.00 0 0 0
14.75/14.81 c trysol : 0.00 0.00 0 0 0
14.75/14.81 c twoopt : 0.00 0.00 0 0 0
14.75/14.81 c undercover : 0.02 0.00 1 0 0
14.75/14.81 c vbounds : 0.01 0.00 1 0 0
14.75/14.81 c veclendiving : 0.02 0.00 1 0 0
14.75/14.81 c zeroobj : 0.00 0.00 0 0 0
14.75/14.81 c zirounding : 0.01 0.00 124 0 0
14.75/14.81 c other solutions : - - - 0 -
14.75/14.81 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
14.75/14.81 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
14.75/14.81 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
14.75/14.81 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
14.75/14.81 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
14.75/14.81 c primal LP : 0.01 13 0 0.00 0.00 0.01 13
14.75/14.81 c dual LP : 3.39 428 32695 77.85 9633.64 0.01 8
14.75/14.81 c lex dual LP : 0.00 0 0 0.00 -
14.75/14.81 c barrier LP : 0.00 0 0 0.00 - 0.00 0
14.75/14.81 c resolve instable : 0.00 0 0 0.00 -
14.75/14.81 c diving/probing LP: 1.20 43 8885 206.63 7381.61
14.75/14.81 c strong branching : 1.31 11 9346 849.64 7149.95 - - 14
14.75/14.81 c (at root node) : - 11 9346 849.64 -
14.75/14.81 c conflict analysis: 0.00 0 0 0.00 -
14.75/14.81 c B&B Tree :
14.75/14.81 c number of runs : 1
14.75/14.81 c nodes : 209 (124 internal, 85 leaves)
14.75/14.81 c feasible leaves : 0
14.75/14.81 c infeas. leaves : 85
14.75/14.81 c objective leaves : 0
14.75/14.81 c nodes (total) : 209 (124 internal, 85 leaves)
14.75/14.81 c nodes left : 0
14.75/14.81 c max depth : 20
14.75/14.81 c max depth (total): 20
14.75/14.81 c backtracks : 59 (28.2%)
14.75/14.81 c early backtracks : 0 (0.0%)
14.75/14.81 c nodes exc. ref. : 0 (0.0%)
14.75/14.81 c delayed cutoffs : 40
14.75/14.81 c repropagations : 75 (2998 domain reductions, 14 cutoffs)
14.75/14.81 c avg switch length: 2.90
14.75/14.81 c switching time : 0.08
14.75/14.81 c Root Node :
14.75/14.81 c First LP value : +0.00000000000000e+00
14.75/14.81 c First LP Iters : 1131 (26123.11 Iter/sec)
14.75/14.81 c First LP Time : 0.04
14.75/14.81 c Final Dual Bound : -
14.75/14.81 c Final Root Iters : 10134
14.75/14.81 c Root LP Estimate : +2.64427770384059e-02
14.75/14.81 c Solution :
14.75/14.81 c Solutions found : 0 (0 improvements)
14.75/14.81 c Primal Bound : infeasible
14.75/14.81 c Dual Bound : -
14.75/14.81 c Gap : 0.00 %
14.75/14.81 c Integrals : Total Avg%
14.75/14.81 c primal-dual : - - (problem infeasible)
14.75/14.81 c primal-ref : - - (problem infeasible)
14.75/14.81 c dual-ref : - - (problem infeasible)
14.84/14.90 c Time complete: 14.8568.