0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik 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-2693769-1277916373.wbo>
0.09/0.14 c original problem has 15916 variables (10376 bin, 0 int, 0 impl, 5540 cont) and 22190 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.14 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.28 c presolving:
0.29/0.39 c (round 1) 625 del vars, 1802 del conss, 420 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 253642 impls, 0 clqs
0.39/0.45 c (round 2) 1709 del vars, 5236 del conss, 923 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 258590 impls, 0 clqs
0.49/0.51 c (round 3) 3478 del vars, 7982 del conss, 1208 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 260561 impls, 0 clqs
0.49/0.54 c (round 4) 5286 del vars, 9719 del conss, 1334 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 262565 impls, 0 clqs
0.49/0.57 c (round 5) 6399 del vars, 10472 del conss, 1375 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 262887 impls, 0 clqs
0.49/0.58 c (round 6) 6999 del vars, 10841 del conss, 1407 chg bounds, 19 chg sides, 21 chg coeffs, 0 upgd conss, 263055 impls, 0 clqs
0.49/0.59 c (round 7) 7255 del vars, 10993 del conss, 1414 chg bounds, 23 chg sides, 24 chg coeffs, 0 upgd conss, 263123 impls, 0 clqs
0.49/0.59 c (round 8) 7374 del vars, 11038 del conss, 1417 chg bounds, 23 chg sides, 24 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.60 c (round 9) 7412 del vars, 11057 del conss, 1419 chg bounds, 24 chg sides, 25 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.61 c (round 10) 7425 del vars, 11065 del conss, 1420 chg bounds, 28 chg sides, 29 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.62 c (round 11) 7432 del vars, 11066 del conss, 4350 chg bounds, 28 chg sides, 29 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.68 c (round 12) 7433 del vars, 11066 del conss, 4350 chg bounds, 28 chg sides, 29 chg coeffs, 5423 upgd conss, 263125 impls, 0 clqs
0.59/0.69 c (round 13) 7440 del vars, 11091 del conss, 4352 chg bounds, 47 chg sides, 145 chg coeffs, 5423 upgd conss, 264356 impls, 254 clqs
0.69/0.71 c (round 14) 7446 del vars, 11119 del conss, 4352 chg bounds, 91 chg sides, 384 chg coeffs, 5423 upgd conss, 264510 impls, 274 clqs
0.69/0.72 c (round 15) 7467 del vars, 11190 del conss, 4352 chg bounds, 124 chg sides, 552 chg coeffs, 5423 upgd conss, 265258 impls, 301 clqs
0.69/0.73 c (round 16) 7492 del vars, 11249 del conss, 4352 chg bounds, 129 chg sides, 606 chg coeffs, 5423 upgd conss, 265420 impls, 323 clqs
0.69/0.75 c (round 17) 7529 del vars, 11289 del conss, 4352 chg bounds, 133 chg sides, 636 chg coeffs, 5423 upgd conss, 265454 impls, 330 clqs
0.69/0.77 c (round 18) 7565 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5423 upgd conss, 265454 impls, 332 clqs
0.79/0.80 c (round 19) 7578 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5435 upgd conss, 265454 impls, 332 clqs
0.89/0.95 c (round 20) 7629 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5435 upgd conss, 293116 impls, 332 clqs
0.89/0.97 c (round 21) 7636 del vars, 11669 del conss, 4368 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 332 clqs
0.89/0.98 c (round 22) 7746 del vars, 11780 del conss, 4368 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 333 clqs
0.89/1.00 c (round 23) 7856 del vars, 11786 del conss, 4382 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 333 clqs
1.00/1.02 c (round 24) 7862 del vars, 11786 del conss, 4382 chg bounds, 133 chg sides, 640 chg coeffs, 5442 upgd conss, 294806 impls, 333 clqs
1.59/1.65 c (round 25) 7912 del vars, 11786 del conss, 4384 chg bounds, 133 chg sides, 640 chg coeffs, 5442 upgd conss, 390100 impls, 332 clqs
1.59/1.68 c (round 26) 7922 del vars, 11998 del conss, 4384 chg bounds, 135 chg sides, 680 chg coeffs, 5442 upgd conss, 390230 impls, 333 clqs
1.59/1.69 c (round 27) 7987 del vars, 12076 del conss, 4384 chg bounds, 138 chg sides, 704 chg coeffs, 5442 upgd conss, 390254 impls, 340 clqs
1.69/1.70 c (round 28) 8056 del vars, 12095 del conss, 4384 chg bounds, 138 chg sides, 707 chg coeffs, 5442 upgd conss, 390254 impls, 346 clqs
1.69/1.71 c (round 29) 8072 del vars, 12103 del conss, 4384 chg bounds, 138 chg sides, 710 chg coeffs, 5442 upgd conss, 390266 impls, 346 clqs
1.69/1.72 c (round 30) 8077 del vars, 12118 del conss, 4387 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.69/1.74 c (round 31) 8086 del vars, 12125 del conss, 4387 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.69/1.75 c (round 32) 8093 del vars, 12127 del conss, 4411 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.69/1.78 c (round 33) 8095 del vars, 12127 del conss, 4411 chg bounds, 138 chg sides, 711 chg coeffs, 5448 upgd conss, 390307 impls, 346 clqs
2.79/2.85 c (round 34) 8145 del vars, 12127 del conss, 4412 chg bounds, 138 chg sides, 711 chg coeffs, 5448 upgd conss, 442239 impls, 341 clqs
2.79/2.87 c (round 35) 8155 del vars, 12376 del conss, 4412 chg bounds, 138 chg sides, 748 chg coeffs, 5448 upgd conss, 442583 impls, 341 clqs
2.79/2.89 c (round 36) 8243 del vars, 12477 del conss, 4412 chg bounds, 147 chg sides, 811 chg coeffs, 5448 upgd conss, 442589 impls, 358 clqs
2.89/2.90 c (round 37) 8335 del vars, 12493 del conss, 4412 chg bounds, 148 chg sides, 831 chg coeffs, 5448 upgd conss, 442589 impls, 364 clqs
2.89/2.92 c (round 38) 8350 del vars, 12496 del conss, 4430 chg bounds, 148 chg sides, 837 chg coeffs, 5448 upgd conss, 442603 impls, 366 clqs
2.89/2.95 c (round 39) 8353 del vars, 12496 del conss, 4430 chg bounds, 149 chg sides, 845 chg coeffs, 5456 upgd conss, 442603 impls, 366 clqs
2.89/2.97 c (2.7s) probing: 1000/5462 (18.3%) - 143 fixings, 8 aggregations, 47213 implications, 3 bound changes
3.79/3.80 c (3.5s) probing: 2000/5462 (36.6%) - 162 fixings, 16 aggregations, 52612 implications, 3 bound changes
4.09/4.17 c (3.9s) probing: 2663/5462 (48.8%) - 162 fixings, 18 aggregations, 53146 implications, 3 bound changes
4.09/4.17 c (3.9s) probing aborted: 100/100 successive totally useless probings
4.09/4.17 c (round 40) 8382 del vars, 12496 del conss, 4430 chg bounds, 149 chg sides, 845 chg coeffs, 5456 upgd conss, 459190 impls, 364 clqs
4.09/4.19 c (round 41) 8385 del vars, 12594 del conss, 4430 chg bounds, 166 chg sides, 975 chg coeffs, 5456 upgd conss, 459298 impls, 373 clqs
4.19/4.21 c (round 42) 8419 del vars, 12637 del conss, 4430 chg bounds, 175 chg sides, 1052 chg coeffs, 5456 upgd conss, 459302 impls, 402 clqs
4.19/4.22 c (round 43) 8456 del vars, 12646 del conss, 4430 chg bounds, 178 chg sides, 1083 chg coeffs, 5456 upgd conss, 459314 impls, 404 clqs
4.19/4.24 c (round 44) 8461 del vars, 12647 del conss, 4438 chg bounds, 178 chg sides, 1092 chg coeffs, 5456 upgd conss, 459324 impls, 409 clqs
4.19/4.26 c (round 45) 8462 del vars, 12647 del conss, 4438 chg bounds, 178 chg sides, 1096 chg coeffs, 5460 upgd conss, 459332 impls, 411 clqs
4.19/4.28 c (4.0s) probing: 2673/5462 (48.9%) - 162 fixings, 18 aggregations, 53146 implications, 3 bound changes
4.19/4.28 c (4.0s) probing aborted: 100/100 successive totally useless probings
4.19/4.28 c presolving (46 rounds):
4.19/4.28 c 8462 deleted vars, 12647 deleted constraints, 4438 tightened bounds, 0 added holes, 178 changed sides, 1098 changed coefficients
4.19/4.28 c 459332 implications, 413 cliques
4.19/4.28 c presolved problem has 7454 variables (4897 bin, 0 int, 0 impl, 2557 cont) and 9666 constraints
4.19/4.28 c 2557 constraints of type <indicator>
4.19/4.28 c 181 constraints of type <varbound>
4.19/4.28 c 186 constraints of type <knapsack>
4.19/4.28 c 82 constraints of type <setppc>
4.19/4.28 c 2376 constraints of type <linear>
4.19/4.28 c 4284 constraints of type <logicor>
4.19/4.28 c transformed objective value is always integral (scale: 1)
4.19/4.28 c Presolving Time: 3.94
4.19/4.28 c - non default parameters ----------------------------------------------------------------------
4.19/4.28 c # SCIP version 1.2.1.2
4.19/4.28 c
4.19/4.28 c # frequency for displaying node information lines
4.19/4.28 c # [type: int, range: [-1,2147483647], default: 100]
4.19/4.28 c display/freq = 10000
4.19/4.28 c
4.19/4.28 c # maximal time in seconds to run
4.19/4.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.28 c limits/time = 1799.87
4.19/4.28 c
4.19/4.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.19/4.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.19/4.28 c limits/memory = 3420
4.19/4.28 c
4.19/4.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.19/4.28 c # [type: int, range: [-1,2147483647], default: 1]
4.19/4.28 c lp/solvefreq = -1
4.19/4.28 c
4.19/4.28 c # should presolving try to simplify inequalities
4.19/4.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.28 c constraints/linear/simplifyinequalities = TRUE
4.19/4.28 c
4.19/4.28 c # should presolving try to simplify knapsacks
4.19/4.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.19/4.28 c constraints/knapsack/simplifyinequalities = TRUE
4.19/4.28 c
4.19/4.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.19/4.28 c # [type: int, range: [-1,2147483647], default: -1]
4.19/4.28 c separating/rapidlearning/freq = 0
4.19/4.28 c
4.19/4.28 c -----------------------------------------------------------------------------------------------
4.19/4.28 c start solving
4.19/4.29 c
4.19/4.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.30 c 4.0s| 1 | 2 | 0 | - | 56M| 0 | - |7454 |9666 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.90/22.96 c 22.4s| 10000 | 9991 | 0 | 0.0 | 73M| 55 | - |7454 |9672 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
41.19/41.29 c 40.4s| 20000 | 19987 | 0 | 0.0 | 89M| 55 | - |7454 |9672 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
57.79/57.87 c 56.7s| 30000 | 29977 | 0 | 0.0 | 103M| 77 | - |7454 |9679 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
74.19/74.27 c 72.9s| 40000 | 39963 | 0 | 0.0 | 117M| 91 | - |7454 |9686 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
90.49/90.56 c 88.9s| 50000 | 49955 | 0 | 0.0 | 131M| 91 | - |7454 |9684 | 0 | 0 | 0 | 33 | 0 | 0.000000e+00 | -- | Inf
106.80/106.87 c 105s| 60000 | 59945 | 0 | 0.0 | 144M| 91 | - |7454 |9692 | 0 | 0 | 0 | 43 | 0 | 0.000000e+00 | -- | Inf
122.90/122.92 c 121s| 70000 | 69929 | 0 | 0.0 | 157M| 93 | - |7454 |9707 | 0 | 0 | 0 | 61 | 0 | 0.000000e+00 | -- | Inf
138.60/138.69 c 136s| 80000 | 79925 | 0 | 0.0 | 170M| 93 | - |7454 |9696 | 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf
154.69/154.73 c 152s| 90000 | 89923 | 0 | 0.0 | 182M| 93 | - |7454 |9695 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
171.10/171.10 c 167s|100000 | 99919 | 0 | 0.0 | 194M| 93 | - |7454 |9700 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
187.10/187.10 c 183s|110000 |109915 | 0 | 0.0 | 207M| 93 | - |7454 |9698 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
202.99/203.00 c 198s|120000 |119913 | 0 | 0.0 | 219M| 93 | - |7454 |9698 | 0 | 0 | 0 | 80 | 0 | 0.000000e+00 | -- | Inf
218.70/218.80 c 213s|130000 |129909 | 0 | 0.0 | 230M| 93 | - |7454 |9700 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
234.40/234.48 c 228s|140000 |139909 | 0 | 0.0 | 242M| 93 | - |7454 |9698 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
249.99/250.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.99/250.09 c 243s|150000 |149907 | 0 | 0.0 | 253M| 93 | - |7454 |9695 | 0 | 0 | 0 | 84 | 0 | 0.000000e+00 | -- | Inf
265.59/265.63 c 258s|160000 |159905 | 0 | 0.0 | 264M| 93 | - |7454 |9696 | 0 | 0 | 0 | 85 | 0 | 0.000000e+00 | -- | Inf
281.10/281.12 c 273s|170000 |169899 | 0 | 0.0 | 275M| 93 | - |7454 |9698 | 0 | 0 | 0 | 88 | 0 | 0.000000e+00 | -- | Inf
296.39/296.42 c 287s|180000 |179891 | 0 | 0.0 | 286M| 93 | - |7454 |9704 | 0 | 0 | 0 | 94 | 0 | 0.000000e+00 | -- | Inf
312.70/312.75 c 303s|190000 |189885 | 0 | 0.0 | 300M| 93 | - |7454 |9703 | 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | -- | Inf
328.81/328.89 c 318s|200000 |199883 | 0 | 0.0 | 313M| 93 | - |7454 |9699 | 0 | 0 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf
345.00/345.06 c 334s|210000 |209883 | 0 | 0.0 | 326M| 93 | - |7454 |9698 | 0 | 0 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf
361.00/361.02 c 349s|220000 |219879 | 0 | 0.0 | 339M| 93 | - |7454 |9700 | 0 | 0 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf
376.90/376.95 c 365s|230000 |229879 | 0 | 0.0 | 351M| 93 | - |7454 |9697 | 0 | 0 | 0 | 105 | 0 | 0.000000e+00 | -- | Inf
392.61/392.66 c 380s|240000 |239869 | 0 | 0.0 | 364M| 93 | - |7454 |9705 | 0 | 0 | 0 | 115 | 0 | 0.000000e+00 | -- | Inf
408.50/408.54 c 395s|250000 |249863 | 0 | 0.0 | 376M| 93 | - |7454 |9704 | 0 | 0 | 0 | 118 | 0 | 0.000000e+00 | -- | Inf
424.30/424.33 c 410s|260000 |259863 | 0 | 0.0 | 389M| 93 | - |7454 |9702 | 0 | 0 | 0 | 118 | 0 | 0.000000e+00 | -- | Inf
440.01/440.01 c 425s|270000 |269857 | 0 | 0.0 | 401M| 93 | - |7454 |9709 | 0 | 0 | 0 | 128 | 0 | 0.000000e+00 | -- | Inf
455.61/455.65 c 440s|280000 |279851 | 0 | 0.0 | 413M| 93 | - |7454 |9709 | 0 | 0 | 0 | 133 | 0 | 0.000000e+00 | -- | Inf
471.31/471.35 c 455s|290000 |289849 | 0 | 0.0 | 425M| 93 | - |7454 |9705 | 0 | 0 | 0 | 136 | 0 | 0.000000e+00 | -- | Inf
486.91/486.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.91/486.92 c 470s|300000 |299847 | 0 | 0.0 | 437M| 93 | - |7454 |9704 | 0 | 0 | 0 | 140 | 0 | 0.000000e+00 | -- | Inf
502.50/502.51 c 485s|310000 |309845 | 0 | 0.0 | 448M| 93 | - |7454 |9702 | 0 | 0 | 0 | 141 | 0 | 0.000000e+00 | -- | Inf
518.11/518.12 c 500s|320000 |319843 | 0 | 0.0 | 460M| 93 | - |7454 |9702 | 0 | 0 | 0 | 142 | 0 | 0.000000e+00 | -- | Inf
533.81/533.86 c 515s|330000 |329843 | 0 | 0.0 | 472M| 93 | - |7454 |9700 | 0 | 0 | 0 | 142 | 0 | 0.000000e+00 | -- | Inf
549.41/549.46 c 530s|340000 |339843 | 0 | 0.0 | 484M| 93 | - |7454 |9700 | 0 | 0 | 0 | 142 | 0 | 0.000000e+00 | -- | Inf
565.01/565.08 c 545s|350000 |349843 | 0 | 0.0 | 495M| 93 | - |7454 |9700 | 0 | 0 | 0 | 142 | 0 | 0.000000e+00 | -- | Inf
580.50/580.58 c 560s|360000 |359841 | 0 | 0.0 | 507M| 93 | - |7454 |9704 | 0 | 0 | 0 | 146 | 0 | 0.000000e+00 | -- | Inf
596.12/596.16 c 575s|370000 |369839 | 0 | 0.0 | 518M| 93 | - |7454 |9699 | 0 | 0 | 0 | 146 | 0 | 0.000000e+00 | -- | Inf
611.61/611.66 c 590s|380000 |379837 | 0 | 0.0 | 530M| 93 | - |7454 |9699 | 0 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf
627.11/627.15 c 605s|390000 |389833 | 0 | 0.0 | 541M| 93 | - |7454 |9704 | 0 | 0 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf
642.61/642.63 c 619s|400000 |399831 | 0 | 0.0 | 552M| 93 | - |7454 |9701 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
658.11/658.15 c 634s|410000 |409831 | 0 | 0.0 | 563M| 93 | - |7454 |9700 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
673.51/673.59 c 649s|420000 |419831 | 0 | 0.0 | 574M| 93 | - |7454 |9699 | 0 | 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf
689.11/689.10 c 664s|430000 |429829 | 0 | 0.0 | 585M| 93 | - |7454 |9700 | 0 | 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf
704.61/704.60 c 679s|440000 |439829 | 0 | 0.0 | 596M| 93 | - |7454 |9700 | 0 | 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf
720.01/720.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.01/720.09 c 694s|450000 |449829 | 0 | 0.0 | 607M| 93 | - |7454 |9700 | 0 | 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf
735.51/735.59 c 708s|460000 |459829 | 0 | 0.0 | 618M| 93 | - |7454 |9700 | 0 | 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf
751.11/751.13 c 723s|470000 |469827 | 0 | 0.0 | 629M| 93 | - |7454 |9702 | 0 | 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf
766.51/766.55 c 738s|480000 |479825 | 0 | 0.0 | 640M| 93 | - |7454 |9702 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
781.82/781.88 c 753s|490000 |489825 | 0 | 0.0 | 651M| 93 | - |7454 |9701 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
797.22/797.24 c 768s|500000 |499825 | 0 | 0.0 | 661M| 93 | - |7454 |9701 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
816.12/816.12 c 786s|510000 |509823 | 0 | 0.0 | 672M| 93 | - |7454 |9700 | 0 | 0 | 0 | 159 | 0 | 0.000000e+00 | -- | Inf
831.62/831.61 c 801s|520000 |519821 | 0 | 0.0 | 682M| 93 | - |7454 |9698 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
847.02/847.01 c 815s|530000 |529821 | 0 | 0.0 | 692M| 93 | - |7454 |9698 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
862.12/862.14 c 830s|540000 |539821 | 0 | 0.0 | 703M| 93 | - |7454 |9697 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
877.22/877.23 c 844s|550000 |549821 | 0 | 0.0 | 713M| 93 | - |7454 |9697 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
892.12/892.14 c 859s|560000 |559821 | 0 | 0.0 | 723M| 93 | - |7454 |9697 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
907.12/907.18 c 873s|570000 |569815 | 0 | 0.0 | 734M| 95 | - |7454 |9702 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
922.71/922.71 c 888s|580000 |579809 | 0 | 0.0 | 746M| 95 | - |7454 |9705 | 0 | 0 | 0 | 169 | 0 | 0.000000e+00 | -- | Inf
938.12/938.18 c 903s|590000 |589807 | 0 | 0.0 | 758M| 95 | - |7454 |9709 | 0 | 0 | 0 | 174 | 0 | 0.000000e+00 | -- | Inf
953.63/953.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.63/953.67 c 918s|600000 |599795 | 0 | 0.0 | 771M| 95 | - |7454 |9716 | 0 | 0 | 0 | 182 | 0 | 0.000000e+00 | -- | Inf
969.02/969.05 c 932s|610000 |609779 | 0 | 0.0 | 782M| 95 | - |7454 |9715 | 0 | 0 | 0 | 186 | 0 | 0.000000e+00 | -- | Inf
984.72/984.72 c 947s|620000 |619743 | 0 | 0.0 | 795M| 95 | - |7454 |9721 | 0 | 0 | 0 | 197 | 0 | 0.000000e+00 | -- | Inf
1001.92/1001.91 c 964s|630000 |629680 | 0 | 0.0 | 806M| 95 | - |7454 |9725 | 0 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf
1017.82/1017.83 c 979s|640000 |639664 | 0 | 0.0 | 818M| 95 | - |7454 |9726 | 0 | 0 | 0 | 209 | 0 | 0.000000e+00 | -- | Inf
1033.72/1033.75 c 994s|650000 |649587 | 0 | 0.0 | 830M| 95 | - |7454 |9725 | 0 | 0 | 0 | 212 | 0 | 0.000000e+00 | -- | Inf
1050.12/1050.13 c 1009s|660000 |659583 | 0 | 0.0 | 843M| 95 | - |7454 |9726 | 0 | 0 | 0 | 214 | 0 | 0.000000e+00 | -- | Inf
1066.02/1066.09 c 1024s|670000 |669503 | 0 | 0.0 | 855M| 95 | - |7454 |9733 | 0 | 0 | 0 | 224 | 0 | 0.000000e+00 | -- | Inf
1082.02/1082.09 c 1040s|680000 |679497 | 0 | 0.0 | 868M| 95 | - |7454 |9730 | 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | -- | Inf
1098.12/1098.16 c 1055s|690000 |689413 | 0 | 0.0 | 880M| 95 | - |7454 |9740 | 0 | 0 | 0 | 239 | 0 | 0.000000e+00 | -- | Inf
1114.12/1114.18 c 1070s|700000 |699401 | 0 | 0.0 | 893M| 95 | - |7454 |9743 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
1130.32/1130.33 c 1085s|710000 |709395 | 0 | 0.0 | 906M| 95 | - |7454 |9743 | 0 | 0 | 0 | 253 | 0 | 0.000000e+00 | -- | Inf
1146.63/1146.68 c 1101s|720000 |719395 | 0 | 0.0 | 919M| 95 | - |7454 |9739 | 0 | 0 | 0 | 253 | 0 | 0.000000e+00 | -- | Inf
1162.73/1162.73 c 1116s|730000 |729355 | 0 | 0.0 | 931M| 95 | - |7454 |9752 | 0 | 0 | 0 | 268 | 0 | 0.000000e+00 | -- | Inf
1178.72/1178.70 c 1131s|740000 |739325 | 0 | 0.0 | 944M| 95 | - |7454 |9760 | 0 | 0 | 0 | 279 | 0 | 0.000000e+00 | -- | Inf
1194.63/1194.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.63/1194.62 c 1146s|750000 |749318 | 0 | 0.0 | 956M| 95 | - |7454 |9765 | 0 | 0 | 0 | 288 | 0 | 0.000000e+00 | -- | Inf
1210.33/1210.36 c 1161s|760000 |759306 | 0 | 0.0 | 968M| 95 | - |7454 |9764 | 0 | 0 | 0 | 293 | 0 | 0.000000e+00 | -- | Inf
1226.22/1226.24 c 1176s|770000 |769296 | 0 | 0.0 | 981M| 95 | - |7454 |9769 | 0 | 0 | 0 | 305 | 0 | 0.000000e+00 | -- | Inf
1242.12/1242.10 c 1191s|780000 |779296 | 0 | 0.0 | 993M| 95 | - |7454 |9766 | 0 | 0 | 0 | 305 | 0 | 0.000000e+00 | -- | Inf
1258.02/1258.07 c 1206s|790000 |789292 | 0 | 0.0 |1005M| 95 | - |7454 |9761 | 0 | 0 | 0 | 308 | 0 | 0.000000e+00 | -- | Inf
1273.83/1273.84 c 1221s|800000 |799290 | 0 | 0.0 |1017M| 95 | - |7454 |9758 | 0 | 0 | 0 | 309 | 0 | 0.000000e+00 | -- | Inf
1289.62/1289.60 c 1236s|810000 |809290 | 0 | 0.0 |1029M| 95 | - |7454 |9752 | 0 | 0 | 0 | 309 | 0 | 0.000000e+00 | -- | Inf
1305.32/1305.37 c 1251s|820000 |819286 | 0 | 0.0 |1041M| 95 | - |7454 |9754 | 0 | 0 | 0 | 312 | 0 | 0.000000e+00 | -- | Inf
1321.13/1321.17 c 1266s|830000 |829286 | 0 | 0.0 |1053M| 95 | - |7454 |9752 | 0 | 0 | 0 | 312 | 0 | 0.000000e+00 | -- | Inf
1336.72/1336.71 c 1281s|840000 |839286 | 0 | 0.0 |1064M| 95 | - |7454 |9750 | 0 | 0 | 0 | 312 | 0 | 0.000000e+00 | -- | Inf
1352.32/1352.38 c 1296s|850000 |849282 | 0 | 0.0 |1076M| 95 | - |7454 |9752 | 0 | 0 | 0 | 314 | 0 | 0.000000e+00 | -- | Inf
1368.02/1368.02 c 1311s|860000 |859282 | 0 | 0.0 |1087M| 95 | - |7454 |9747 | 0 | 0 | 0 | 314 | 0 | 0.000000e+00 | -- | Inf
1383.73/1383.70 c 1326s|870000 |869282 | 0 | 0.0 |1099M| 95 | - |7454 |9744 | 0 | 0 | 0 | 314 | 0 | 0.000000e+00 | -- | Inf
1399.33/1399.32 c 1340s|880000 |879282 | 0 | 0.0 |1110M| 95 | - |7454 |9743 | 0 | 0 | 0 | 314 | 0 | 0.000000e+00 | -- | Inf
1414.93/1414.95 c 1355s|890000 |889280 | 0 | 0.0 |1122M| 95 | - |7454 |9739 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
1430.62/1430.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.62/1430.67 c 1370s|900000 |899280 | 0 | 0.0 |1133M| 95 | - |7454 |9735 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
1446.33/1446.30 c 1385s|910000 |909280 | 0 | 0.0 |1145M| 95 | - |7454 |9734 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
1462.13/1462.10 c 1400s|920000 |919264 | 0 | 0.0 |1157M| 95 | - |7454 |9735 | 0 | 0 | 0 | 318 | 0 | 0.000000e+00 | -- | Inf
1477.63/1477.65 c 1415s|930000 |929262 | 0 | 0.0 |1168M| 95 | - |7454 |9737 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
1493.33/1493.34 c 1430s|940000 |939262 | 0 | 0.0 |1180M| 95 | - |7454 |9735 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
1508.93/1508.90 c 1444s|950000 |949262 | 0 | 0.0 |1191M| 95 | - |7454 |9734 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
1524.53/1524.52 c 1459s|960000 |959262 | 0 | 0.0 |1203M| 95 | - |7454 |9734 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
1539.94/1539.96 c 1474s|970000 |969262 | 0 | 0.0 |1214M| 95 | - |7454 |9733 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
1555.63/1555.61 c 1489s|980000 |979262 | 0 | 0.0 |1226M| 95 | - |7454 |9732 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
1571.24/1571.21 c 1504s|990000 |989259 | 0 | 0.0 |1237M| 95 | - |7454 |9733 | 0 | 0 | 0 | 322 | 0 | 0.000000e+00 | -- | Inf
1586.63/1586.67 c 1518s| 1000k|999251 | 0 | 0.0 |1248M| 95 | - |7454 |9736 | 0 | 0 | 0 | 329 | 0 | 0.000000e+00 | -- | Inf
1602.44/1602.47 c 1533s| 1010k| 1009k| 0 | 0.0 |1260M| 95 | - |7454 |9737 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
1618.14/1618.12 c 1548s| 1020k| 1019k| 0 | 0.0 |1271M| 95 | - |7454 |9740 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
1633.74/1633.76 c 1563s| 1030k| 1029k| 0 | 0.0 |1283M| 95 | - |7454 |9741 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
1649.34/1649.37 c 1578s| 1040k| 1039k| 0 | 0.0 |1294M| 95 | - |7454 |9739 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
1665.13/1665.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.13/1665.10 c 1593s| 1050k| 1049k| 0 | 0.0 |1306M| 95 | - |7454 |9738 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
1680.74/1680.72 c 1607s| 1060k| 1059k| 0 | 0.0 |1317M| 95 | - |7454 |9736 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
1696.34/1696.37 c 1622s| 1070k| 1069k| 0 | 0.0 |1329M| 95 | - |7454 |9737 | 0 | 0 | 0 | 344 | 0 | 0.000000e+00 | -- | Inf
1711.93/1711.91 c 1637s| 1080k| 1079k| 0 | 0.0 |1340M| 95 | - |7454 |9738 | 0 | 0 | 0 | 348 | 0 | 0.000000e+00 | -- | Inf
1727.64/1727.60 c 1652s| 1090k| 1089k| 0 | 0.0 |1351M| 95 | - |7454 |9738 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
1743.24/1743.21 c 1667s| 1100k| 1099k| 0 | 0.0 |1362M| 95 | - |7454 |9738 | 0 | 0 | 0 | 353 | 0 | 0.000000e+00 | -- | Inf
1758.74/1758.78 c 1682s| 1110k| 1109k| 0 | 0.0 |1373M| 95 | - |7454 |9737 | 0 | 0 | 0 | 354 | 0 | 0.000000e+00 | -- | Inf
1774.54/1774.54 c 1696s| 1120k| 1119k| 0 | 0.0 |1384M| 95 | - |7454 |9737 | 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf
1790.04/1790.07 c 1711s| 1130k| 1129k| 0 | 0.0 |1395M| 95 | - |7454 |9740 | 0 | 0 | 0 | 361 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1720.65
1800.04/1800.00 c Solving Nodes : 1136316
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1720.65
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693769-1277916373.wbo
1800.04/1800.00 c Variables : 15916 (10376 binary, 0 integer, 0 implicit integer, 5540 continuous)
1800.04/1800.00 c Constraints : 22190 initial, 22190 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693769-1277916373.wbo
1800.04/1800.00 c Variables : 7454 (4897 binary, 0 integer, 0 implicit integer, 2557 continuous)
1800.04/1800.00 c Constraints : 9666 initial, 9769 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.01 42 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.03 6318 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.02 0 36 0 0 0 0 0 0
1800.04/1800.00 c probing : 2.94 162 18 0 3 0 0 0 0
1800.04/1800.00 c indicator : 0.05 0 0 0 0 0 2983 0 0
1800.04/1800.00 c varbound : 0.00 0 0 0 0 0 15 0 0
1800.04/1800.00 c knapsack : 0.13 0 0 0 2 0 16 150 1069
1800.04/1800.00 c setppc : 0.01 0 0 0 0 0 41 0 0
1800.04/1800.00 c linear : 0.42 1383 473 0 4430 0 8814 28 29
1800.04/1800.00 c logicor : 0.20 30 0 0 3 0 778 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 2557 0 5508317 0 1135924 0 739663 0 0 0
1800.04/1800.00 c varbound : 181 0 5508317 0 1135924 0 25531 0 0 0
1800.04/1800.00 c knapsack : 186 0 5508317 0 1135924 35 3104598 0 0 0
1800.04/1800.00 c setppc : 82 0 5508282 0 1135924 8 474490 0 0 0
1800.04/1800.00 c linear : 2376 0 5508274 0 1135924 0 709825 0 0 0
1800.04/1800.00 c logicor : 4284+ 0 4933607 0 1135924 409 12608795 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1135924 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 380.61 0.00 166.24 0.00 214.37
1800.04/1800.00 c varbound : 10.48 0.00 10.39 0.00 0.09
1800.04/1800.00 c knapsack : 66.21 0.00 27.09 0.00 39.12
1800.04/1800.00 c setppc : 12.15 0.00 4.10 0.00 8.05
1800.04/1800.00 c linear : 102.22 0.00 101.77 0.00 0.45
1800.04/1800.00 c logicor : 310.63 0.00 37.95 0.00 272.68
1800.04/1800.00 c countsols : 0.03 0.00 0.00 0.00 0.03
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 34.80 1052158 0 31685
1800.04/1800.00 c rootredcost : 0.15 0 0 0
1800.04/1800.00 c pseudoobj : 311.39 5497150 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 392 210 404 7.1 15 5.6 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 363 6.6 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 406.15 1135924 0 0 0 0 2271848
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.03 0 0
1800.04/1800.00 c trivial : 0.07 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.02 0 0
1800.04/1800.00 c trysol : 0.03 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1136316
1800.04/1800.00 c nodes (total) : 1136316
1800.04/1800.00 c nodes left : 1135527
1800.04/1800.00 c max depth : 95
1800.04/1800.00 c max depth (total): 95
1800.04/1800.00 c backtracks : 22869 (2.0%)
1800.04/1800.00 c delayed cutoffs : 6
1800.04/1800.00 c repropagations : 1159 (4862 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 2.60
1800.04/1800.00 c switching time : 64.45
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1801.74/1801.75 c Time complete: 1801.79.