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-2693612-1277913067.wbo>
0.00/0.06 c original problem has 6855 variables (4605 bin, 0 int, 0 impl, 2250 cont) and 8995 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.06/0.09 c presolving:
0.09/0.11 c (round 1) 56 del vars, 36 del conss, 15 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.12 c (round 2) 64 del vars, 135 del conss, 17 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.12 c (round 3) 75 del vars, 142 del conss, 21 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.13 c (round 4) 81 del vars, 151 del conss, 26 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44861 impls, 0 clqs
0.09/0.13 c (round 5) 90 del vars, 175 del conss, 31 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44867 impls, 0 clqs
0.09/0.13 c (round 6) 123 del vars, 245 del conss, 51 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44941 impls, 0 clqs
0.09/0.14 c (round 7) 147 del vars, 277 del conss, 52 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 44961 impls, 0 clqs
0.09/0.14 c (round 8) 173 del vars, 302 del conss, 52 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 45059 impls, 0 clqs
0.09/0.15 c (round 9) 183 del vars, 315 del conss, 52 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 45059 impls, 0 clqs
0.09/0.16 c (round 10) 188 del vars, 316 del conss, 2258 chg bounds, 88 chg sides, 194 chg coeffs, 0 upgd conss, 45059 impls, 0 clqs
0.09/0.19 c (round 11) 189 del vars, 316 del conss, 2258 chg bounds, 88 chg sides, 194 chg coeffs, 4282 upgd conss, 45059 impls, 0 clqs
0.69/0.73 c (0.6s) probing: 1000/4460 (22.4%) - 0 fixings, 13 aggregations, 1854 implications, 0 bound changes
1.00/1.10 c (1.0s) probing: 2000/4460 (44.8%) - 0 fixings, 18 aggregations, 1926 implications, 0 bound changes
1.19/1.21 c (1.1s) probing: 2308/4460 (51.7%) - 0 fixings, 18 aggregations, 1940 implications, 0 bound changes
1.19/1.21 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.19/1.21 c (round 12) 207 del vars, 316 del conss, 2258 chg bounds, 88 chg sides, 194 chg coeffs, 4282 upgd conss, 56880 impls, 0 clqs
1.19/1.23 c (1.1s) probing: 2318/4460 (52.0%) - 0 fixings, 18 aggregations, 1940 implications, 0 bound changes
1.19/1.23 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.19/1.23 c presolving (13 rounds):
1.19/1.23 c 207 deleted vars, 316 deleted constraints, 2258 tightened bounds, 0 added holes, 88 changed sides, 194 changed coefficients
1.19/1.23 c 56880 implications, 0 cliques
1.19/1.23 c presolved problem has 6648 variables (4442 bin, 0 int, 0 impl, 2206 cont) and 8679 constraints
1.19/1.23 c 2206 constraints of type <indicator>
1.19/1.23 c 15 constraints of type <varbound>
1.19/1.23 c 117 constraints of type <knapsack>
1.19/1.23 c 2191 constraints of type <linear>
1.19/1.23 c 4150 constraints of type <logicor>
1.19/1.23 c transformed objective value is always integral (scale: 1)
1.19/1.23 c Presolving Time: 1.10
1.19/1.23 c - non default parameters ----------------------------------------------------------------------
1.19/1.23 c # SCIP version 1.2.1.2
1.19/1.23 c
1.19/1.23 c # frequency for displaying node information lines
1.19/1.23 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.23 c display/freq = 10000
1.19/1.23 c
1.19/1.23 c # maximal time in seconds to run
1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.23 c limits/time = 1799.95
1.19/1.23 c
1.19/1.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.23 c limits/memory = 3420
1.19/1.23 c
1.19/1.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.19/1.23 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23 c lp/solvefreq = -1
1.19/1.23 c
1.19/1.23 c # should presolving try to simplify inequalities
1.19/1.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.23 c constraints/linear/simplifyinequalities = TRUE
1.19/1.23 c
1.19/1.23 c # should presolving try to simplify knapsacks
1.19/1.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.23 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.23 c
1.19/1.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.23 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.23 c separating/rapidlearning/freq = 0
1.19/1.23 c
1.19/1.23 c -----------------------------------------------------------------------------------------------
1.19/1.23 c start solving
1.19/1.23 c
1.19/1.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.24 c 1.1s| 1 | 2 | 0 | - | 24M| 0 | - |6648 |8679 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.49/13.52 c 13.2s| 10000 | 10001 | 0 | 0.0 | 33M| 77 | - |6648 |8679 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.29/25.39 c 24.9s| 20000 | 20001 | 0 | 0.0 | 40M| 89 | - |6648 |8679 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.09/37.11 c 36.5s| 30000 | 30001 | 0 | 0.0 | 47M| 89 | - |6648 |8679 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.50/48.57 c 47.7s| 40000 | 40001 | 0 | 0.0 | 55M| 89 | - |6648 |8679 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.69/59.74 c 58.7s| 50000 | 49999 | 0 | 0.0 | 62M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
71.20/71.25 c 70.0s| 60000 | 59999 | 0 | 0.0 | 69M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
82.59/82.64 c 81.2s| 70000 | 69999 | 0 | 0.0 | 75M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
93.89/93.95 c 92.4s| 80000 | 79999 | 0 | 0.0 | 82M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
105.20/105.20 c 103s| 90000 | 89999 | 0 | 0.0 | 89M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
116.39/116.45 c 115s|100000 | 99999 | 0 | 0.0 | 96M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
127.60/127.69 c 126s|110000 |109999 | 0 | 0.0 | 102M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
138.79/138.89 c 137s|120000 |119999 | 0 | 0.0 | 109M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
150.00/150.03 c 148s|130000 |129999 | 0 | 0.0 | 116M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
161.09/161.17 c 159s|140000 |139999 | 0 | 0.0 | 122M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
172.19/172.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.19/172.22 c 169s|150000 |149999 | 0 | 0.0 | 129M| 103 | - |6648 |8680 | 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
183.19/183.21 c 180s|160000 |159997 | 0 | 0.0 | 135M| 103 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
194.19/194.20 c 191s|170000 |169997 | 0 | 0.0 | 142M| 103 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
205.10/205.17 c 202s|180000 |179997 | 0 | 0.0 | 149M| 103 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
216.00/216.00 c 213s|190000 |189997 | 0 | 0.0 | 155M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
226.60/226.64 c 223s|200000 |199997 | 0 | 0.0 | 162M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
237.20/237.21 c 234s|210000 |209997 | 0 | 0.0 | 168M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
247.70/247.73 c 244s|220000 |219997 | 0 | 0.0 | 175M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
258.20/258.28 c 254s|230000 |229997 | 0 | 0.0 | 181M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
268.70/268.76 c 265s|240000 |239997 | 0 | 0.0 | 188M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
279.31/279.39 c 275s|250000 |249997 | 0 | 0.0 | 194M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
290.31/290.31 c 286s|260000 |259997 | 0 | 0.0 | 201M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
301.41/301.49 c 297s|270000 |269997 | 0 | 0.0 | 207M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
312.60/312.69 c 308s|280000 |279997 | 0 | 0.0 | 214M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
323.80/323.80 c 319s|290000 |289997 | 0 | 0.0 | 221M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
334.90/334.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.90/334.91 c 330s|300000 |299997 | 0 | 0.0 | 227M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
346.00/346.01 c 341s|310000 |309997 | 0 | 0.0 | 234M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
356.90/356.99 c 352s|320000 |319997 | 0 | 0.0 | 240M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
368.00/368.02 c 362s|330000 |329997 | 0 | 0.0 | 247M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
378.91/378.90 c 373s|340000 |339997 | 0 | 0.0 | 253M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
389.71/389.77 c 384s|350000 |349997 | 0 | 0.0 | 259M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
400.71/400.70 c 395s|360000 |359997 | 0 | 0.0 | 266M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
411.50/411.59 c 405s|370000 |369997 | 0 | 0.0 | 272M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
422.41/422.46 c 416s|380000 |379997 | 0 | 0.0 | 278M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
433.41/433.45 c 427s|390000 |389997 | 0 | 0.0 | 285M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
444.31/444.35 c 438s|400000 |399997 | 0 | 0.0 | 291M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
455.21/455.26 c 448s|410000 |409997 | 0 | 0.0 | 297M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
466.11/466.14 c 459s|420000 |419997 | 0 | 0.0 | 304M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
477.01/477.09 c 470s|430000 |429997 | 0 | 0.0 | 310M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
487.91/487.97 c 481s|440000 |439997 | 0 | 0.0 | 317M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
498.81/498.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.81/498.80 c 491s|450000 |449997 | 0 | 0.0 | 323M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
509.60/509.65 c 502s|460000 |459997 | 0 | 0.0 | 329M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
520.51/520.52 c 513s|470000 |469997 | 0 | 0.0 | 336M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
531.31/531.38 c 523s|480000 |479997 | 0 | 0.0 | 342M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
542.22/542.25 c 534s|490000 |489997 | 0 | 0.0 | 348M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
553.01/553.03 c 545s|500000 |499997 | 0 | 0.0 | 355M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
563.81/563.85 c 555s|510000 |509997 | 0 | 0.0 | 361M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
574.61/574.67 c 566s|520000 |519997 | 0 | 0.0 | 367M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
585.51/585.50 c 577s|530000 |529997 | 0 | 0.0 | 374M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
596.22/596.22 c 587s|540000 |539997 | 0 | 0.0 | 380M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
606.91/606.98 c 598s|550000 |549997 | 0 | 0.0 | 386M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
617.71/617.78 c 608s|560000 |559997 | 0 | 0.0 | 393M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
628.51/628.56 c 619s|570000 |569997 | 0 | 0.0 | 399M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
639.31/639.37 c 630s|580000 |579997 | 0 | 0.0 | 406M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
650.02/650.10 c 640s|590000 |589997 | 0 | 0.0 | 412M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
660.81/660.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.81/660.82 c 651s|600000 |599997 | 0 | 0.0 | 419M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
671.52/671.57 c 661s|610000 |609997 | 0 | 0.0 | 425M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
682.31/682.32 c 672s|620000 |619997 | 0 | 0.0 | 431M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
693.02/693.04 c 683s|630000 |629997 | 0 | 0.0 | 438M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
703.72/703.73 c 693s|640000 |639997 | 0 | 0.0 | 444M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
714.42/714.40 c 704s|650000 |649997 | 0 | 0.0 | 451M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
725.02/725.09 c 714s|660000 |659997 | 0 | 0.0 | 457M| 121 | - |6648 |8681 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
735.83/735.81 c 725s|670000 |669995 | 0 | 0.0 | 463M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
746.52/746.51 c 735s|680000 |679995 | 0 | 0.0 | 470M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
757.21/757.24 c 746s|690000 |689995 | 0 | 0.0 | 476M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
767.92/767.91 c 756s|700000 |699995 | 0 | 0.0 | 483M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
778.52/778.57 c 767s|710000 |709995 | 0 | 0.0 | 489M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
789.22/789.28 c 777s|720000 |719995 | 0 | 0.0 | 495M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
800.02/800.05 c 788s|730000 |729995 | 0 | 0.0 | 502M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
810.72/810.79 c 799s|740000 |739995 | 0 | 0.0 | 508M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
821.42/821.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.42/821.45 c 809s|750000 |749995 | 0 | 0.0 | 515M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
832.02/832.06 c 820s|760000 |759995 | 0 | 0.0 | 521M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
842.72/842.72 c 830s|770000 |769995 | 0 | 0.0 | 528M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
853.32/853.38 c 841s|780000 |779995 | 0 | 0.0 | 534M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
864.12/864.11 c 851s|790000 |789995 | 0 | 0.0 | 540M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
874.82/874.84 c 862s|800000 |799995 | 0 | 0.0 | 547M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
885.53/885.52 c 872s|810000 |809995 | 0 | 0.0 | 553M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
896.02/896.06 c 883s|820000 |819995 | 0 | 0.0 | 560M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
906.62/906.63 c 893s|830000 |829995 | 0 | 0.0 | 566M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
917.12/917.19 c 903s|840000 |839995 | 0 | 0.0 | 572M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
927.72/927.80 c 914s|850000 |849995 | 0 | 0.0 | 579M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
938.42/938.40 c 924s|860000 |859995 | 0 | 0.0 | 585M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
948.93/948.99 c 935s|870000 |869995 | 0 | 0.0 | 591M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
959.42/959.46 c 945s|880000 |879995 | 0 | 0.0 | 597M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
969.92/969.99 c 956s|890000 |889995 | 0 | 0.0 | 604M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
980.52/980.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.52/980.56 c 966s|900000 |899995 | 0 | 0.0 | 610M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
991.13/991.12 c 976s|910000 |909995 | 0 | 0.0 | 616M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1001.73/1001.70 c 987s|920000 |919995 | 0 | 0.0 | 622M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1012.33/1012.32 c 997s|930000 |929995 | 0 | 0.0 | 629M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1022.83/1022.88 c 1008s|940000 |939995 | 0 | 0.0 | 635M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1033.43/1033.43 c 1018s|950000 |949995 | 0 | 0.0 | 641M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1043.93/1043.93 c 1028s|960000 |959995 | 0 | 0.0 | 648M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1054.43/1054.48 c 1039s|970000 |969995 | 0 | 0.0 | 654M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1065.02/1065.01 c 1049s|980000 |979995 | 0 | 0.0 | 660M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1075.53/1075.59 c 1060s|990000 |989995 | 0 | 0.0 | 666M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1086.13/1086.16 c 1070s| 1000k|999995 | 0 | 0.0 | 673M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1096.64/1096.64 c 1080s| 1010k| 1009k| 0 | 0.0 | 679M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1107.13/1107.14 c 1091s| 1020k| 1019k| 0 | 0.0 | 685M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1117.64/1117.69 c 1101s| 1030k| 1029k| 0 | 0.0 | 692M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1128.23/1128.22 c 1111s| 1040k| 1039k| 0 | 0.0 | 698M| 121 | - |6648 |8682 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1138.73/1138.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.73/1138.71 c 1122s| 1050k| 1049k| 0 | 0.0 | 704M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1149.23/1149.27 c 1132s| 1060k| 1059k| 0 | 0.0 | 711M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1159.73/1159.73 c 1142s| 1070k| 1069k| 0 | 0.0 | 717M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1170.13/1170.15 c 1153s| 1080k| 1079k| 0 | 0.0 | 723M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1180.53/1180.59 c 1163s| 1090k| 1089k| 0 | 0.0 | 730M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1191.03/1191.09 c 1173s| 1100k| 1099k| 0 | 0.0 | 736M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1201.53/1201.57 c 1184s| 1110k| 1109k| 0 | 0.0 | 742M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1212.04/1212.04 c 1194s| 1120k| 1119k| 0 | 0.0 | 749M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1222.53/1222.54 c 1204s| 1130k| 1129k| 0 | 0.0 | 755M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1232.94/1232.96 c 1215s| 1140k| 1139k| 0 | 0.0 | 761M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1243.43/1243.41 c 1225s| 1150k| 1149k| 0 | 0.0 | 768M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1253.84/1253.85 c 1235s| 1160k| 1159k| 0 | 0.0 | 774M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1264.24/1264.27 c 1245s| 1170k| 1169k| 0 | 0.0 | 780M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1274.74/1274.75 c 1256s| 1180k| 1179k| 0 | 0.0 | 787M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1285.14/1285.19 c 1266s| 1190k| 1189k| 0 | 0.0 | 793M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1295.53/1295.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.53/1295.59 c 1276s| 1200k| 1199k| 0 | 0.0 | 799M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1305.94/1305.95 c 1287s| 1210k| 1209k| 0 | 0.0 | 806M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1316.44/1316.40 c 1297s| 1220k| 1219k| 0 | 0.0 | 812M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1326.83/1326.80 c 1307s| 1230k| 1229k| 0 | 0.0 | 818M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1337.24/1337.23 c 1317s| 1240k| 1239k| 0 | 0.0 | 825M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1347.64/1347.63 c 1328s| 1250k| 1249k| 0 | 0.0 | 831M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1358.03/1358.08 c 1338s| 1260k| 1259k| 0 | 0.0 | 838M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1368.35/1368.39 c 1348s| 1270k| 1269k| 0 | 0.0 | 844M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1378.74/1378.71 c 1358s| 1280k| 1279k| 0 | 0.0 | 850M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1389.04/1389.07 c 1368s| 1290k| 1289k| 0 | 0.0 | 856M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1399.44/1399.46 c 1379s| 1300k| 1299k| 0 | 0.0 | 863M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1409.94/1409.91 c 1389s| 1310k| 1309k| 0 | 0.0 | 869M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1420.34/1420.37 c 1399s| 1320k| 1319k| 0 | 0.0 | 876M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1430.84/1430.87 c 1410s| 1330k| 1329k| 0 | 0.0 | 882M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1441.14/1441.16 c 1420s| 1340k| 1339k| 0 | 0.0 | 888M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1451.54/1451.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.54/1451.57 c 1430s| 1350k| 1349k| 0 | 0.0 | 895M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1462.04/1462.02 c 1440s| 1360k| 1359k| 0 | 0.0 | 901M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1472.44/1472.47 c 1451s| 1370k| 1369k| 0 | 0.0 | 907M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1482.95/1482.93 c 1461s| 1380k| 1379k| 0 | 0.0 | 914M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1493.34/1493.36 c 1471s| 1390k| 1389k| 0 | 0.0 | 920M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1503.75/1503.77 c 1481s| 1400k| 1399k| 0 | 0.0 | 926M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1514.14/1514.12 c 1492s| 1410k| 1409k| 0 | 0.0 | 933M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1524.55/1524.53 c 1502s| 1420k| 1419k| 0 | 0.0 | 939M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1534.95/1534.94 c 1512s| 1430k| 1429k| 0 | 0.0 | 946M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1545.46/1545.40 c 1522s| 1440k| 1439k| 0 | 0.0 | 952M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1555.84/1555.89 c 1533s| 1450k| 1449k| 0 | 0.0 | 959M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1566.36/1566.36 c 1543s| 1460k| 1459k| 0 | 0.0 | 965M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1576.65/1576.67 c 1553s| 1470k| 1469k| 0 | 0.0 | 971M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1587.05/1587.09 c 1563s| 1480k| 1479k| 0 | 0.0 | 978M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1597.65/1597.61 c 1574s| 1490k| 1489k| 0 | 0.0 | 984M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1608.15/1608.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1608.15/1608.13 c 1584s| 1500k| 1499k| 0 | 0.0 | 991M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1618.65/1618.61 c 1594s| 1510k| 1509k| 0 | 0.0 | 997M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1628.95/1628.96 c 1605s| 1520k| 1519k| 0 | 0.0 |1004M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1639.35/1639.32 c 1615s| 1530k| 1529k| 0 | 0.0 |1010M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1649.75/1649.77 c 1625s| 1540k| 1539k| 0 | 0.0 |1017M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1660.25/1660.24 c 1635s| 1550k| 1549k| 0 | 0.0 |1023M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1670.65/1670.69 c 1646s| 1560k| 1559k| 0 | 0.0 |1030M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1681.05/1681.03 c 1656s| 1570k| 1569k| 0 | 0.0 |1036M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1691.45/1691.49 c 1666s| 1580k| 1579k| 0 | 0.0 |1042M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1701.95/1701.99 c 1677s| 1590k| 1589k| 0 | 0.0 |1049M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1712.45/1712.41 c 1687s| 1600k| 1599k| 0 | 0.0 |1055M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1722.94/1722.95 c 1697s| 1610k| 1609k| 0 | 0.0 |1062M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1733.44/1733.42 c 1707s| 1620k| 1619k| 0 | 0.0 |1068M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1743.84/1743.84 c 1717s| 1630k| 1629k| 0 | 0.0 |1075M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1754.25/1754.21 c 1727s| 1640k| 1639k| 0 | 0.0 |1081M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1764.64/1764.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.64/1764.60 c 1737s| 1650k| 1649k| 0 | 0.0 |1087M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1774.95/1774.93 c 1746s| 1660k| 1659k| 0 | 0.0 |1094M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1785.25/1785.30 c 1756s| 1670k| 1669k| 0 | 0.0 |1100M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1795.64/1795.62 c 1766s| 1680k| 1679k| 0 | 0.0 |1107M| 121 | - |6648 |8681 | 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1770.36
1800.05/1800.00 c Solving Nodes : 1684262
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1770.36
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693612-1277913067.wbo
1800.05/1800.00 c Variables : 6855 (4605 binary, 0 integer, 0 implicit integer, 2250 continuous)
1800.05/1800.00 c Constraints : 8995 initial, 8995 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693612-1277913067.wbo
1800.05/1800.00 c Variables : 6648 (4442 binary, 0 integer, 0 implicit integer, 2206 continuous)
1800.05/1800.00 c Constraints : 8679 initial, 8682 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 88 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.01 0 47 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.97 0 18 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 44 0 0
1800.05/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.06 52 2 0 2258 0 272 88 194
1800.05/1800.00 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 2206 0 5989459 0 1684262 0 475394 0 0 0
1800.05/1800.00 c varbound : 15 0 5989459 0 1684262 0 99800 0 0 0
1800.05/1800.00 c knapsack : 117 0 5989459 0 1684262 0 0 0 0 0
1800.05/1800.00 c linear : 2191 0 5989459 0 1684262 0 310069 0 0 0
1800.05/1800.00 c logicor : 4150+ 0 5207467 0 1684262 3 9293511 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1684259 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 321.31 0.00 126.99 0.00 194.32
1800.05/1800.00 c varbound : 3.71 0.00 2.83 0.00 0.88
1800.05/1800.00 c knapsack : 13.32 0.00 11.18 0.00 2.14
1800.05/1800.00 c linear : 105.41 0.00 102.40 0.00 3.01
1800.05/1800.00 c logicor : 438.73 0.00 22.29 0.00 416.44
1800.05/1800.00 c countsols : 0.37 0.00 0.00 0.00 0.37
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 5.77 569365 0 52649
1800.05/1800.00 c rootredcost : 1.30 0 0 0
1800.05/1800.00 c pseudoobj : 285.70 5984061 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 3 3 3 3.7 0 0.0 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 3 3.7 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 517.70 1684259 0 0 0 0 3368518
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.36 0 0
1800.05/1800.00 c trivial : 0.02 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.45 0 0
1800.05/1800.00 c trysol : 0.29 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 1684262
1800.05/1800.00 c nodes (total) : 1684262
1800.05/1800.00 c nodes left : 1684257
1800.05/1800.00 c max depth : 121
1800.05/1800.00 c max depth (total): 121
1800.05/1800.00 c backtracks : 26581 (1.6%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 9 (17 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 2.72
1800.05/1800.00 c switching time : 34.75
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0