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-2693642-1277913889.wbo>
0.00/0.06 c original problem has 8806 variables (6212 bin, 0 int, 0 impl, 2594 cont) and 6526 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.06 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.09/0.10 c presolving:
0.09/0.12 c (round 1) 14 del vars, 2 del conss, 1 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 4686 impls, 0 clqs
0.09/0.12 c (round 2) 16 del vars, 31 del conss, 3 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 4686 impls, 0 clqs
0.09/0.12 c (round 3) 18 del vars, 36 del conss, 4 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 4686 impls, 0 clqs
0.09/0.13 c (round 4) 34 del vars, 39 del conss, 4 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 4686 impls, 0 clqs
0.09/0.14 c (round 5) 37 del vars, 39 del conss, 2594 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 4686 impls, 0 clqs
0.09/0.17 c (round 6) 37 del vars, 39 del conss, 2594 chg bounds, 539 chg sides, 1076 chg coeffs, 1309 upgd conss, 4686 impls, 0 clqs
0.19/0.24 c (0.2s) probing: 101/6179 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c presolving (7 rounds):
0.19/0.24 c 37 deleted vars, 39 deleted constraints, 2594 tightened bounds, 0 added holes, 539 changed sides, 1076 changed coefficients
0.19/0.24 c 4688 implications, 0 cliques
0.19/0.24 c presolved problem has 8769 variables (6179 bin, 0 int, 0 impl, 2590 cont) and 6487 constraints
0.19/0.24 c 2590 constraints of type <indicator>
0.19/0.24 c 2 constraints of type <varbound>
0.19/0.24 c 362 constraints of type <knapsack>
0.19/0.24 c 2588 constraints of type <linear>
0.19/0.24 c 945 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.15
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 1.2.1.2
0.19/0.24 c
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = 10000
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1799.94
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 3420
0.19/0.24 c
0.19/0.24 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.24 c lp/solvefreq = -1
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify inequalities
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/linear/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # should presolving try to simplify knapsacks
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.2s| 1 | 2 | 0 | - | 27M| 0 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.89/10.94 c 10.7s| 10000 | 10001 | 0 | 0.0 | 32M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.00/22.02 c 21.7s| 20000 | 20001 | 0 | 0.0 | 37M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.09/33.10 c 32.6s| 30000 | 30001 | 0 | 0.0 | 41M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.20/44.20 c 43.6s| 40000 | 40001 | 0 | 0.0 | 46M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.19/55.25 c 54.5s| 50000 | 50001 | 0 | 0.0 | 50M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.29/66.34 c 65.5s| 60000 | 60001 | 0 | 0.0 | 54M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.40/77.41 c 76.4s| 70000 | 70001 | 0 | 0.0 | 59M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
88.39/88.45 c 87.3s| 80000 | 80001 | 0 | 0.0 | 63M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
99.39/99.40 c 98.1s| 90000 | 90001 | 0 | 0.0 | 68M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
110.29/110.33 c 109s|100000 |100001 | 0 | 0.0 | 72M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.19/121.21 c 120s|110000 |110001 | 0 | 0.0 | 76M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.89/131.98 c 130s|120000 |120001 | 0 | 0.0 | 81M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.69/142.71 c 141s|130000 |130001 | 0 | 0.0 | 85M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.19/153.26 c 151s|140000 |140001 | 0 | 0.0 | 89M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
163.50/163.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.50/163.56 c 162s|150000 |150001 | 0 | 0.0 | 93M| 283 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.00/174.02 c 172s|160000 |160001 | 0 | 0.0 | 97M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
184.89/184.96 c 183s|170000 |170001 | 0 | 0.0 | 102M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
195.90/195.92 c 194s|180000 |180001 | 0 | 0.0 | 106M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
206.80/206.89 c 204s|190000 |190001 | 0 | 0.0 | 110M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
217.80/217.85 c 215s|200000 |200001 | 0 | 0.0 | 114M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
228.70/228.80 c 226s|210000 |210001 | 0 | 0.0 | 119M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
239.70/239.75 c 237s|220000 |220001 | 0 | 0.0 | 123M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
250.59/250.66 c 248s|230000 |230001 | 0 | 0.0 | 127M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
261.60/261.62 c 258s|240000 |240001 | 0 | 0.0 | 131M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
272.50/272.56 c 269s|250000 |250001 | 0 | 0.0 | 135M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
283.40/283.49 c 280s|260000 |260001 | 0 | 0.0 | 139M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
294.40/294.41 c 291s|270000 |270001 | 0 | 0.0 | 144M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
305.30/305.33 c 302s|280000 |280001 | 0 | 0.0 | 148M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
316.20/316.28 c 313s|290000 |290001 | 0 | 0.0 | 152M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
327.20/327.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.20/327.23 c 323s|300000 |300001 | 0 | 0.0 | 156M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
338.20/338.21 c 334s|310000 |310001 | 0 | 0.0 | 160M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
349.10/349.12 c 345s|320000 |320001 | 0 | 0.0 | 165M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
359.90/360.00 c 356s|330000 |330001 | 0 | 0.0 | 169M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
370.80/370.86 c 367s|340000 |340001 | 0 | 0.0 | 173M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
381.71/381.76 c 377s|350000 |350001 | 0 | 0.0 | 177M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
392.51/392.58 c 388s|360000 |360001 | 0 | 0.0 | 181M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
403.40/403.45 c 399s|370000 |370001 | 0 | 0.0 | 186M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
414.20/414.27 c 409s|380000 |380001 | 0 | 0.0 | 190M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
425.10/425.10 c 420s|390000 |390001 | 0 | 0.0 | 194M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
435.90/435.93 c 431s|400000 |400001 | 0 | 0.0 | 198M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
446.71/446.73 c 442s|410000 |410001 | 0 | 0.0 | 202M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
457.40/457.45 c 452s|420000 |420001 | 0 | 0.0 | 206M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
468.11/468.15 c 463s|430000 |430001 | 0 | 0.0 | 210M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
478.91/478.90 c 473s|440000 |440001 | 0 | 0.0 | 215M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
489.61/489.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.61/489.64 c 484s|450000 |450001 | 0 | 0.0 | 219M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
500.20/500.28 c 495s|460000 |460001 | 0 | 0.0 | 223M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
510.91/510.94 c 505s|470000 |470001 | 0 | 0.0 | 227M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
521.61/521.64 c 516s|480000 |480001 | 0 | 0.0 | 231M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
532.31/532.35 c 526s|490000 |490001 | 0 | 0.0 | 235M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
543.00/543.08 c 537s|500000 |500001 | 0 | 0.0 | 239M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
553.81/553.80 c 547s|510000 |510001 | 0 | 0.0 | 244M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
564.41/564.44 c 558s|520000 |520001 | 0 | 0.0 | 248M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
575.01/575.06 c 568s|530000 |530001 | 0 | 0.0 | 252M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
585.71/585.73 c 579s|540000 |540001 | 0 | 0.0 | 256M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
596.31/596.38 c 590s|550000 |550001 | 0 | 0.0 | 260M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
607.01/607.04 c 600s|560000 |560001 | 0 | 0.0 | 264M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
617.71/617.74 c 611s|570000 |570001 | 0 | 0.0 | 268M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
628.51/628.50 c 621s|580000 |580001 | 0 | 0.0 | 272M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
639.21/639.28 c 632s|590000 |590001 | 0 | 0.0 | 276M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
650.01/650.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.01/650.06 c 643s|600000 |600001 | 0 | 0.0 | 281M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
660.81/660.85 c 653s|610000 |610001 | 0 | 0.0 | 285M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
671.61/671.65 c 664s|620000 |620001 | 0 | 0.0 | 289M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
682.41/682.44 c 675s|630000 |630001 | 0 | 0.0 | 293M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
693.21/693.21 c 685s|640000 |640001 | 0 | 0.0 | 297M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
703.92/703.91 c 696s|650000 |650001 | 0 | 0.0 | 301M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
714.51/714.57 c 706s|660000 |660001 | 0 | 0.0 | 305M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
725.11/725.19 c 717s|670000 |670001 | 0 | 0.0 | 309M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
735.61/735.67 c 727s|680000 |680001 | 0 | 0.0 | 314M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
746.11/746.15 c 738s|690000 |690001 | 0 | 0.0 | 318M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
756.41/756.45 c 748s|700000 |700001 | 0 | 0.0 | 322M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
766.82/766.80 c 758s|710000 |710001 | 0 | 0.0 | 325M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
777.11/777.16 c 768s|720000 |720001 | 0 | 0.0 | 329M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
787.41/787.46 c 779s|730000 |730001 | 0 | 0.0 | 333M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
797.71/797.79 c 789s|740000 |740001 | 0 | 0.0 | 337M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
808.11/808.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.11/808.14 c 799s|750000 |750001 | 0 | 0.0 | 341M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
818.42/818.47 c 809s|760000 |760001 | 0 | 0.0 | 345M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
828.71/828.77 c 819s|770000 |770001 | 0 | 0.0 | 349M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
839.01/839.08 c 830s|780000 |780001 | 0 | 0.0 | 353M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
849.31/849.38 c 840s|790000 |790001 | 0 | 0.0 | 357M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
859.62/859.62 c 850s|800000 |800001 | 0 | 0.0 | 361M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
869.92/869.94 c 860s|810000 |810001 | 0 | 0.0 | 365M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
880.22/880.21 c 870s|820000 |820001 | 0 | 0.0 | 369M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
890.51/890.53 c 881s|830000 |830001 | 0 | 0.0 | 373M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
900.82/900.84 c 891s|840000 |840001 | 0 | 0.0 | 377M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
911.12/911.18 c 901s|850000 |850001 | 0 | 0.0 | 381M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
921.42/921.44 c 911s|860000 |860001 | 0 | 0.0 | 385M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
931.72/931.73 c 921s|870000 |870001 | 0 | 0.0 | 388M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
942.02/942.01 c 931s|880000 |880001 | 0 | 0.0 | 392M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
952.21/952.26 c 942s|890000 |890001 | 0 | 0.0 | 396M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
962.52/962.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.52/962.53 c 952s|900000 |900001 | 0 | 0.0 | 400M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
972.82/972.81 c 962s|910000 |910001 | 0 | 0.0 | 404M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
983.02/983.06 c 972s|920000 |920001 | 0 | 0.0 | 408M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
993.22/993.26 c 982s|930000 |930001 | 0 | 0.0 | 412M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1003.41/1003.49 c 992s|940000 |940001 | 0 | 0.0 | 416M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1013.71/1013.70 c 1002s|950000 |950001 | 0 | 0.0 | 420M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1023.92/1023.91 c 1012s|960000 |960001 | 0 | 0.0 | 424M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1034.12/1034.16 c 1023s|970000 |970001 | 0 | 0.0 | 428M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1044.32/1044.36 c 1033s|980000 |980001 | 0 | 0.0 | 432M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1054.52/1054.59 c 1043s|990000 |990001 | 0 | 0.0 | 436M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1064.83/1064.81 c 1053s| 1000k| 1000k| 0 | 0.0 | 440M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1075.01/1075.01 c 1063s| 1010k| 1010k| 0 | 0.0 | 443M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1085.22/1085.22 c 1073s| 1020k| 1020k| 0 | 0.0 | 447M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1095.42/1095.40 c 1083s| 1030k| 1030k| 0 | 0.0 | 451M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1105.52/1105.59 c 1093s| 1040k| 1040k| 0 | 0.0 | 455M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1115.71/1115.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.71/1115.72 c 1103s| 1050k| 1050k| 0 | 0.0 | 459M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1125.82/1125.86 c 1113s| 1060k| 1060k| 0 | 0.0 | 463M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1135.92/1135.95 c 1123s| 1070k| 1070k| 0 | 0.0 | 467M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1146.02/1146.06 c 1133s| 1080k| 1080k| 0 | 0.0 | 471M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1156.13/1156.13 c 1143s| 1090k| 1090k| 0 | 0.0 | 475M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1166.22/1166.23 c 1153s| 1100k| 1100k| 0 | 0.0 | 479M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1176.22/1176.20 c 1163s| 1110k| 1110k| 0 | 0.0 | 483M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1186.21/1186.22 c 1173s| 1120k| 1120k| 0 | 0.0 | 487M| 285 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1196.02/1196.02 c 1182s| 1130k| 1130k| 0 | 0.0 | 491M| 313 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1205.92/1205.96 c 1192s| 1140k| 1140k| 0 | 0.0 | 494M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1215.92/1215.97 c 1202s| 1150k| 1150k| 0 | 0.0 | 498M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1226.12/1226.11 c 1212s| 1160k| 1160k| 0 | 0.0 | 502M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1236.22/1236.29 c 1222s| 1170k| 1170k| 0 | 0.0 | 506M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1246.42/1246.45 c 1232s| 1180k| 1180k| 0 | 0.0 | 510M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1256.72/1256.74 c 1242s| 1190k| 1190k| 0 | 0.0 | 514M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1266.82/1266.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.82/1266.84 c 1252s| 1200k| 1200k| 0 | 0.0 | 518M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1276.93/1276.98 c 1262s| 1210k| 1210k| 0 | 0.0 | 522M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1287.03/1287.09 c 1272s| 1220k| 1220k| 0 | 0.0 | 526M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1297.22/1297.23 c 1282s| 1230k| 1230k| 0 | 0.0 | 529M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1307.42/1307.45 c 1293s| 1240k| 1240k| 0 | 0.0 | 533M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1317.52/1317.53 c 1302s| 1250k| 1250k| 0 | 0.0 | 537M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1327.73/1327.73 c 1313s| 1260k| 1260k| 0 | 0.0 | 541M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1338.03/1338.00 c 1323s| 1270k| 1270k| 0 | 0.0 | 545M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1348.12/1348.17 c 1333s| 1280k| 1280k| 0 | 0.0 | 549M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1358.33/1358.35 c 1343s| 1290k| 1290k| 0 | 0.0 | 553M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1368.63/1368.67 c 1353s| 1300k| 1300k| 0 | 0.0 | 557M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1378.73/1378.70 c 1363s| 1310k| 1310k| 0 | 0.0 | 561M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1388.92/1388.96 c 1373s| 1320k| 1320k| 0 | 0.0 | 565M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1399.13/1399.10 c 1383s| 1330k| 1330k| 0 | 0.0 | 568M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1409.33/1409.38 c 1393s| 1340k| 1340k| 0 | 0.0 | 572M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1419.43/1419.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.43/1419.44 c 1403s| 1350k| 1350k| 0 | 0.0 | 576M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1429.62/1429.69 c 1413s| 1360k| 1360k| 0 | 0.0 | 580M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1439.93/1439.97 c 1423s| 1370k| 1370k| 0 | 0.0 | 584M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1450.23/1450.21 c 1434s| 1380k| 1380k| 0 | 0.0 | 588M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1460.43/1460.40 c 1444s| 1390k| 1390k| 0 | 0.0 | 592M| 337 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1470.53/1470.55 c 1454s| 1400k| 1400k| 0 | 0.0 | 596M| 402 | - |8769 |6487 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1479.63/1479.60 c 1463s| 1410k| 1409k| 0 | 0.0 | 601M|1110 | - |8769 |6489 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1488.72/1488.71 c 1472s| 1420k| 1419k| 0 | 0.0 | 605M|1110 | - |8769 |6489 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1497.92/1497.95 c 1481s| 1430k| 1429k| 0 | 0.0 | 609M|1110 | - |8769 |6489 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1507.03/1507.04 c 1490s| 1440k| 1439k| 0 | 0.0 | 613M|1110 | - |8769 |6489 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1516.23/1516.20 c 1499s| 1450k| 1449k| 0 | 0.0 | 617M|1110 | - |8769 |6489 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1525.33/1525.39 c 1508s| 1460k| 1459k| 0 | 0.0 | 621M|1110 | - |8769 |6488 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1534.53/1534.53 c 1517s| 1470k| 1469k| 0 | 0.0 | 625M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1543.73/1543.72 c 1526s| 1480k| 1479k| 0 | 0.0 | 628M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1552.93/1552.90 c 1535s| 1490k| 1489k| 0 | 0.0 | 632M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1562.04/1562.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.04/1562.08 c 1544s| 1500k| 1499k| 0 | 0.0 | 636M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1571.23/1571.22 c 1553s| 1510k| 1509k| 0 | 0.0 | 640M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1580.43/1580.40 c 1562s| 1520k| 1519k| 0 | 0.0 | 644M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1589.63/1589.62 c 1571s| 1530k| 1529k| 0 | 0.0 | 648M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1598.83/1598.88 c 1580s| 1540k| 1539k| 0 | 0.0 | 652M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1608.03/1608.04 c 1589s| 1550k| 1549k| 0 | 0.0 | 656M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1617.04/1617.08 c 1598s| 1560k| 1559k| 0 | 0.0 | 660M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1626.24/1626.23 c 1607s| 1570k| 1569k| 0 | 0.0 | 664M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1635.34/1635.38 c 1617s| 1580k| 1579k| 0 | 0.0 | 668M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1644.63/1644.60 c 1626s| 1590k| 1589k| 0 | 0.0 | 672M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1653.73/1653.71 c 1635s| 1600k| 1599k| 0 | 0.0 | 676M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1662.83/1662.87 c 1644s| 1610k| 1609k| 0 | 0.0 | 680M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1672.04/1672.06 c 1653s| 1620k| 1619k| 0 | 0.0 | 684M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1681.24/1681.27 c 1662s| 1630k| 1629k| 0 | 0.0 | 688M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1690.53/1690.50 c 1671s| 1640k| 1639k| 0 | 0.0 | 692M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1699.74/1699.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.74/1699.70 c 1680s| 1650k| 1649k| 0 | 0.0 | 696M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1708.84/1708.89 c 1689s| 1660k| 1659k| 0 | 0.0 | 700M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1718.03/1718.06 c 1698s| 1670k| 1669k| 0 | 0.0 | 704M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1727.24/1727.22 c 1707s| 1680k| 1679k| 0 | 0.0 | 708M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1736.34/1736.39 c 1716s| 1690k| 1689k| 0 | 0.0 | 712M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1745.53/1745.58 c 1725s| 1700k| 1699k| 0 | 0.0 | 716M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1754.83/1754.84 c 1735s| 1710k| 1709k| 0 | 0.0 | 720M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1763.83/1763.83 c 1744s| 1720k| 1719k| 0 | 0.0 | 723M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1772.94/1772.92 c 1752s| 1730k| 1729k| 0 | 0.0 | 727M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1782.04/1782.05 c 1762s| 1740k| 1739k| 0 | 0.0 | 731M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1791.14/1791.17 c 1771s| 1750k| 1749k| 0 | 0.0 | 735M|1110 | - |8769 |6487 | 0 | 0 | 0 | 2 | 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) : 1779.27
1800.04/1800.00 c Solving Nodes : 1759723
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 : 1779.27
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693642-1277913889.wbo
1800.04/1800.00 c Variables : 8806 (6212 binary, 0 integer, 0 implicit integer, 2594 continuous)
1800.04/1800.00 c Constraints : 6526 initial, 6526 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693642-1277913889.wbo
1800.04/1800.00 c Variables : 8769 (6179 binary, 0 integer, 0 implicit integer, 2590 continuous)
1800.04/1800.00 c Constraints : 6487 initial, 6489 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 20 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.01 0 13 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 4 0 0
1800.04/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.07 4 0 0 2594 0 35 539 1076
1800.04/1800.00 c logicor : 0.01 0 0 0 0 0 0 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 : 2590 0 3383526 0 1759722 0 1088306 0 0 0
1800.04/1800.00 c varbound : 2 0 2844432 0 1414646 0 631 0 0 0
1800.04/1800.00 c knapsack : 362 0 3383526 0 1759722 0 31549 0 0 0
1800.04/1800.00 c linear : 2588 0 3383526 0 1759722 2 500841 0 0 0
1800.04/1800.00 c logicor : 945+ 0 1166310 0 1759722 0 1180052 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1759722 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 : 358.09 0.00 92.83 0.00 265.26
1800.04/1800.00 c varbound : 1.65 0.00 1.07 0.00 0.58
1800.04/1800.00 c knapsack : 23.96 0.00 21.32 0.00 2.64
1800.04/1800.00 c linear : 93.93 0.00 92.24 0.00 1.69
1800.04/1800.00 c logicor : 135.25 0.00 3.81 0.00 131.44
1800.04/1800.00 c countsols : 0.52 0.00 0.00 0.00 0.52
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.35 1894 0 631
1800.04/1800.00 c rootredcost : 0.95 0 0 0
1800.04/1800.00 c pseudoobj : 189.46 3383326 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 2 2 2 4.5 0 0.0 -
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 : - - - 2 4.5 - - -
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 : 923.56 1759722 0 0 0 0 3519444
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.65 0 0
1800.04/1800.00 c trivial : 0.01 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.76 0 0
1800.04/1800.00 c trysol : 0.79 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 : 1759723
1800.04/1800.00 c nodes (total) : 1759723
1800.04/1800.00 c nodes left : 1759721
1800.04/1800.00 c max depth : 1110
1800.04/1800.00 c max depth (total): 1110
1800.04/1800.00 c backtracks : 9628 (0.5%)
1800.04/1800.00 c delayed cutoffs : 1
1800.04/1800.00 c repropagations : 1 (3 domain reductions, 1 cutoffs)
1800.04/1800.00 c avg switch length: 2.21
1800.04/1800.00 c switching time : 14.72
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.63/1801.60 c Time complete: 1801.64.