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-2693745-1277915727.wbo>
0.00/0.03 c original problem has 5520 variables (3355 bin, 0 int, 0 impl, 2165 cont) and 5349 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.04/0.06 c presolving:
0.04/0.07 c (round 1) 11 del vars, 4 del conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 4929 impls, 0 clqs
0.04/0.07 c (round 2) 11 del vars, 23 del conss, 0 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 4929 impls, 0 clqs
0.04/0.08 c (round 3) 12 del vars, 24 del conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 0 upgd conss, 4929 impls, 0 clqs
0.09/0.10 c (round 4) 13 del vars, 24 del conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 998 upgd conss, 4929 impls, 0 clqs
0.19/0.24 c (0.2s) probing: 370/3343 (11.1%) - 0 fixings, 3 aggregations, 8 implications, 0 bound changes
0.19/0.24 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.24 c (round 5) 16 del vars, 24 del conss, 2164 chg bounds, 64 chg sides, 128 chg coeffs, 998 upgd conss, 4976 impls, 0 clqs
0.19/0.26 c (0.2s) probing: 380/3343 (11.4%) - 0 fixings, 3 aggregations, 8 implications, 0 bound changes
0.19/0.26 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (6 rounds):
0.19/0.26 c 16 deleted vars, 24 deleted constraints, 2164 tightened bounds, 0 added holes, 64 changed sides, 128 changed coefficients
0.19/0.26 c 4976 implications, 0 cliques
0.19/0.26 c presolved problem has 5504 variables (3340 bin, 0 int, 0 impl, 2164 cont) and 5325 constraints
0.19/0.26 c 2164 constraints of type <indicator>
0.19/0.26 c 1 constraints of type <varbound>
0.19/0.26 c 32 constraints of type <knapsack>
0.19/0.26 c 2163 constraints of type <linear>
0.19/0.26 c 965 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.17
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.97
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 3420
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = -1
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c separating/rapidlearning/freq = 0
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.26 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.26 c 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.09/7.11 c 6.5s| 10000 | 10001 | 0 | 0.0 | 21M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.69/13.79 c 12.8s| 20000 | 20001 | 0 | 0.0 | 26M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.39/20.44 c 19.0s| 30000 | 30001 | 0 | 0.0 | 31M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.19/27.22 c 25.4s| 40000 | 40001 | 0 | 0.0 | 35M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.89/33.97 c 31.7s| 50000 | 50001 | 0 | 0.0 | 40M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.60/40.67 c 38.0s| 60000 | 60001 | 0 | 0.0 | 45M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.30/47.36 c 44.2s| 70000 | 70001 | 0 | 0.0 | 49M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.00/54.03 c 50.4s| 80000 | 80001 | 0 | 0.0 | 54M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.59/60.68 c 56.6s| 90000 | 90001 | 0 | 0.0 | 58M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.09/67.15 c 62.7s|100000 |100001 | 0 | 0.0 | 63M| 133 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
73.10/73.14 c 68.3s|110000 |110001 | 0 | 0.0 | 67M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.20/79.25 c 74.1s|120000 |120001 | 0 | 0.0 | 72M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
85.39/85.42 c 79.9s|130000 |130001 | 0 | 0.0 | 76M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
91.50/91.58 c 85.6s|140000 |140001 | 0 | 0.0 | 80M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.69/97.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.69/97.73 c 91.4s|150000 |150001 | 0 | 0.0 | 85M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
103.79/103.85 c 97.1s|160000 |160001 | 0 | 0.0 | 89M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.90/109.97 c 103s|170000 |170001 | 0 | 0.0 | 93M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
116.00/116.06 c 109s|180000 |180001 | 0 | 0.0 | 98M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
122.10/122.13 c 114s|190000 |190001 | 0 | 0.0 | 102M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.10/128.17 c 120s|200000 |200001 | 0 | 0.0 | 106M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.10/134.13 c 126s|210000 |210001 | 0 | 0.0 | 111M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
140.20/140.21 c 131s|220000 |220001 | 0 | 0.0 | 115M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.50/146.58 c 137s|230000 |230001 | 0 | 0.0 | 120M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.91/152.95 c 143s|240000 |240001 | 0 | 0.0 | 124M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.19/159.28 c 149s|250000 |250001 | 0 | 0.0 | 129M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.60/165.61 c 155s|260000 |260001 | 0 | 0.0 | 133M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
171.90/171.94 c 161s|270000 |270001 | 0 | 0.0 | 137M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
178.20/178.26 c 167s|280000 |280001 | 0 | 0.0 | 142M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
184.50/184.57 c 173s|290000 |290001 | 0 | 0.0 | 146M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
190.80/190.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.80/190.89 c 179s|300000 |300001 | 0 | 0.0 | 151M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
197.10/197.18 c 185s|310000 |310001 | 0 | 0.0 | 155M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
203.41/203.45 c 191s|320000 |320001 | 0 | 0.0 | 160M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
209.70/209.76 c 197s|330000 |330001 | 0 | 0.0 | 164M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
216.00/216.04 c 203s|340000 |340001 | 0 | 0.0 | 169M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
222.30/222.33 c 208s|350000 |350001 | 0 | 0.0 | 173M| 229 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
228.50/228.56 c 214s|360000 |360001 | 0 | 0.0 | 177M| 267 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
234.70/234.76 c 220s|370000 |370001 | 0 | 0.0 | 182M| 267 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
240.90/240.95 c 226s|380000 |380001 | 0 | 0.0 | 186M| 269 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
247.00/247.06 c 232s|390000 |390001 | 0 | 0.0 | 190M| 307 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
253.10/253.15 c 237s|400000 |400001 | 0 | 0.0 | 195M| 307 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
259.20/259.24 c 243s|410000 |410001 | 0 | 0.0 | 199M| 307 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
265.30/265.32 c 249s|420000 |420001 | 0 | 0.0 | 204M| 325 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
271.30/271.39 c 255s|430000 |430001 | 0 | 0.0 | 208M| 331 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
277.30/277.39 c 260s|440000 |440001 | 0 | 0.0 | 212M| 349 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
283.40/283.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.40/283.43 c 266s|450000 |450001 | 0 | 0.0 | 216M| 349 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
289.40/289.47 c 272s|460000 |460001 | 0 | 0.0 | 221M| 349 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
295.40/295.46 c 277s|470000 |470001 | 0 | 0.0 | 225M| 385 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
301.31/301.38 c 283s|480000 |480001 | 0 | 0.0 | 229M| 385 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
307.10/307.20 c 288s|490000 |490001 | 0 | 0.0 | 234M| 419 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
312.90/312.99 c 294s|500000 |500001 | 0 | 0.0 | 238M| 419 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
318.21/318.22 c 299s|510000 |510001 | 0 | 0.0 | 242M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
323.50/323.52 c 304s|520000 |520001 | 0 | 0.0 | 246M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
328.81/328.85 c 309s|530000 |530001 | 0 | 0.0 | 250M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
334.10/334.16 c 314s|540000 |540001 | 0 | 0.0 | 254M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
339.50/339.50 c 319s|550000 |550001 | 0 | 0.0 | 258M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
344.80/344.82 c 324s|560000 |560001 | 0 | 0.0 | 262M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
350.11/350.11 c 329s|570000 |570001 | 0 | 0.0 | 266M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
355.41/355.46 c 334s|580000 |580001 | 0 | 0.0 | 271M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
360.71/360.78 c 339s|590000 |590001 | 0 | 0.0 | 275M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
366.10/366.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.10/366.16 c 344s|600000 |600001 | 0 | 0.0 | 279M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
371.40/371.49 c 349s|610000 |610001 | 0 | 0.0 | 283M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
376.81/376.81 c 354s|620000 |620001 | 0 | 0.0 | 287M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
382.10/382.15 c 359s|630000 |630001 | 0 | 0.0 | 291M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
387.41/387.47 c 364s|640000 |640001 | 0 | 0.0 | 295M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
392.71/392.78 c 369s|650000 |650001 | 0 | 0.0 | 299M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
398.00/398.08 c 374s|660000 |660001 | 0 | 0.0 | 303M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
403.40/403.40 c 379s|670000 |670001 | 0 | 0.0 | 307M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
408.70/408.70 c 384s|680000 |680001 | 0 | 0.0 | 311M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
414.00/414.07 c 389s|690000 |690001 | 0 | 0.0 | 315M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
419.30/419.36 c 394s|700000 |700001 | 0 | 0.0 | 319M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
424.61/424.68 c 399s|710000 |710001 | 0 | 0.0 | 323M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
430.01/430.03 c 404s|720000 |720001 | 0 | 0.0 | 327M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
435.30/435.36 c 409s|730000 |730001 | 0 | 0.0 | 331M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
440.61/440.67 c 414s|740000 |740001 | 0 | 0.0 | 335M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
445.90/445.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.90/445.97 c 419s|750000 |750001 | 0 | 0.0 | 339M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
451.20/451.28 c 424s|760000 |760001 | 0 | 0.0 | 343M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
456.51/456.58 c 429s|770000 |770001 | 0 | 0.0 | 348M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
461.91/461.92 c 434s|780000 |780001 | 0 | 0.0 | 352M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
467.21/467.23 c 439s|790000 |790001 | 0 | 0.0 | 356M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
472.51/472.56 c 444s|800000 |800001 | 0 | 0.0 | 360M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
477.80/477.88 c 449s|810000 |810001 | 0 | 0.0 | 364M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
483.11/483.19 c 454s|820000 |820001 | 0 | 0.0 | 368M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
488.51/488.50 c 459s|830000 |830001 | 0 | 0.0 | 372M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
493.82/493.83 c 464s|840000 |840001 | 0 | 0.0 | 376M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
499.10/499.14 c 469s|850000 |850001 | 0 | 0.0 | 380M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
504.40/504.45 c 474s|860000 |860001 | 0 | 0.0 | 384M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
509.71/509.73 c 479s|870000 |870001 | 0 | 0.0 | 388M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
515.00/515.01 c 484s|880000 |880001 | 0 | 0.0 | 392M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
520.21/520.29 c 489s|890000 |890001 | 0 | 0.0 | 396M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
525.61/525.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.61/525.64 c 494s|900000 |900001 | 0 | 0.0 | 400M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
530.91/530.93 c 499s|910000 |910001 | 0 | 0.0 | 404M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
536.21/536.27 c 504s|920000 |920001 | 0 | 0.0 | 408M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
541.61/541.62 c 509s|930000 |930001 | 0 | 0.0 | 413M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
546.91/546.95 c 514s|940000 |940001 | 0 | 0.0 | 417M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
552.31/552.30 c 519s|950000 |950001 | 0 | 0.0 | 421M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
557.62/557.62 c 524s|960000 |960001 | 0 | 0.0 | 425M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
562.91/562.94 c 529s|970000 |970001 | 0 | 0.0 | 429M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
568.21/568.22 c 534s|980000 |980001 | 0 | 0.0 | 433M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
573.51/573.52 c 539s|990000 |990001 | 0 | 0.0 | 437M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
578.81/578.82 c 544s| 1000k| 1000k| 0 | 0.0 | 441M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
584.11/584.12 c 549s| 1010k| 1010k| 0 | 0.0 | 445M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
589.41/589.46 c 554s| 1020k| 1020k| 0 | 0.0 | 449M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
594.71/594.79 c 559s| 1030k| 1030k| 0 | 0.0 | 453M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
600.01/600.08 c 564s| 1040k| 1040k| 0 | 0.0 | 457M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
605.41/605.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.41/605.41 c 569s| 1050k| 1050k| 0 | 0.0 | 461M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
610.61/610.69 c 574s| 1060k| 1060k| 0 | 0.0 | 465M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
615.92/615.98 c 579s| 1070k| 1070k| 0 | 0.0 | 469M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
621.31/621.30 c 584s| 1080k| 1080k| 0 | 0.0 | 474M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
626.51/626.58 c 589s| 1090k| 1090k| 0 | 0.0 | 478M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
631.81/631.87 c 594s| 1100k| 1100k| 0 | 0.0 | 482M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
637.11/637.18 c 599s| 1110k| 1110k| 0 | 0.0 | 486M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
642.52/642.50 c 604s| 1120k| 1120k| 0 | 0.0 | 490M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
647.82/647.80 c 609s| 1130k| 1130k| 0 | 0.0 | 494M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
653.11/653.14 c 614s| 1140k| 1140k| 0 | 0.0 | 498M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
658.41/658.44 c 619s| 1150k| 1150k| 0 | 0.0 | 502M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
663.71/663.73 c 624s| 1160k| 1160k| 0 | 0.0 | 506M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
669.01/669.00 c 629s| 1170k| 1170k| 0 | 0.0 | 510M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
674.22/674.28 c 634s| 1180k| 1180k| 0 | 0.0 | 514M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
679.52/679.59 c 639s| 1190k| 1190k| 0 | 0.0 | 518M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
684.91/684.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.91/684.90 c 644s| 1200k| 1200k| 0 | 0.0 | 522M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
690.11/690.19 c 648s| 1210k| 1210k| 0 | 0.0 | 526M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
695.51/695.52 c 653s| 1220k| 1220k| 0 | 0.0 | 530M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
700.72/700.77 c 658s| 1230k| 1230k| 0 | 0.0 | 535M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
706.02/706.08 c 663s| 1240k| 1240k| 0 | 0.0 | 539M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
711.31/711.38 c 668s| 1250k| 1250k| 0 | 0.0 | 543M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
716.61/716.68 c 673s| 1260k| 1260k| 0 | 0.0 | 547M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
721.92/721.97 c 678s| 1270k| 1270k| 0 | 0.0 | 551M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
727.21/727.29 c 683s| 1280k| 1280k| 0 | 0.0 | 555M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
732.62/732.62 c 688s| 1290k| 1290k| 0 | 0.0 | 559M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
737.92/737.91 c 693s| 1300k| 1300k| 0 | 0.0 | 563M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
743.21/743.23 c 698s| 1310k| 1310k| 0 | 0.0 | 567M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
748.52/748.52 c 703s| 1320k| 1320k| 0 | 0.0 | 571M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
753.82/753.80 c 708s| 1330k| 1330k| 0 | 0.0 | 575M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
759.11/759.12 c 713s| 1340k| 1340k| 0 | 0.0 | 579M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
764.31/764.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.31/764.39 c 718s| 1350k| 1350k| 0 | 0.0 | 583M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
769.72/769.71 c 724s| 1360k| 1360k| 0 | 0.0 | 587M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
775.02/775.00 c 729s| 1370k| 1370k| 0 | 0.0 | 591M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
780.22/780.29 c 734s| 1380k| 1380k| 0 | 0.0 | 595M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
785.51/785.59 c 739s| 1390k| 1390k| 0 | 0.0 | 600M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
790.82/790.87 c 744s| 1400k| 1400k| 0 | 0.0 | 604M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
796.12/796.12 c 748s| 1410k| 1410k| 0 | 0.0 | 608M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
801.31/801.39 c 754s| 1420k| 1420k| 0 | 0.0 | 612M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
806.61/806.67 c 759s| 1430k| 1430k| 0 | 0.0 | 616M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
811.92/811.97 c 764s| 1440k| 1440k| 0 | 0.0 | 620M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
817.22/817.27 c 769s| 1450k| 1450k| 0 | 0.0 | 624M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
822.52/822.59 c 774s| 1460k| 1460k| 0 | 0.0 | 628M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
827.92/827.91 c 779s| 1470k| 1470k| 0 | 0.0 | 632M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
833.12/833.19 c 784s| 1480k| 1480k| 0 | 0.0 | 636M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
838.41/838.47 c 789s| 1490k| 1490k| 0 | 0.0 | 640M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
843.72/843.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.72/843.75 c 794s| 1500k| 1500k| 0 | 0.0 | 644M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
849.01/849.04 c 799s| 1510k| 1510k| 0 | 0.0 | 648M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
854.32/854.31 c 804s| 1520k| 1520k| 0 | 0.0 | 652M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
859.52/859.57 c 809s| 1530k| 1530k| 0 | 0.0 | 656M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
864.82/864.83 c 814s| 1540k| 1540k| 0 | 0.0 | 660M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
870.02/870.08 c 818s| 1550k| 1550k| 0 | 0.0 | 664M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
875.31/875.33 c 823s| 1560k| 1560k| 0 | 0.0 | 669M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
880.62/880.60 c 828s| 1570k| 1570k| 0 | 0.0 | 673M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
885.92/885.96 c 833s| 1580k| 1580k| 0 | 0.0 | 677M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
891.22/891.26 c 838s| 1590k| 1590k| 0 | 0.0 | 681M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
896.53/896.55 c 843s| 1600k| 1600k| 0 | 0.0 | 685M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
901.82/901.83 c 848s| 1610k| 1610k| 0 | 0.0 | 689M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
907.12/907.13 c 853s| 1620k| 1620k| 0 | 0.0 | 693M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
912.32/912.39 c 858s| 1630k| 1630k| 0 | 0.0 | 697M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
917.62/917.69 c 863s| 1640k| 1640k| 0 | 0.0 | 701M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
922.92/922.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.92/922.96 c 868s| 1650k| 1650k| 0 | 0.0 | 705M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
928.22/928.21 c 873s| 1660k| 1660k| 0 | 0.0 | 709M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
933.42/933.45 c 878s| 1670k| 1670k| 0 | 0.0 | 713M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
938.72/938.75 c 883s| 1680k| 1680k| 0 | 0.0 | 717M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
944.02/944.01 c 888s| 1690k| 1690k| 0 | 0.0 | 721M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
949.33/949.31 c 893s| 1700k| 1700k| 0 | 0.0 | 725M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
954.52/954.55 c 898s| 1710k| 1710k| 0 | 0.0 | 729M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
959.82/959.85 c 903s| 1720k| 1720k| 0 | 0.0 | 733M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
965.12/965.13 c 908s| 1730k| 1730k| 0 | 0.0 | 737M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
970.33/970.39 c 913s| 1740k| 1740k| 0 | 0.0 | 742M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
975.63/975.65 c 918s| 1750k| 1750k| 0 | 0.0 | 746M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
980.82/980.89 c 923s| 1760k| 1760k| 0 | 0.0 | 750M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
986.13/986.17 c 928s| 1770k| 1770k| 0 | 0.0 | 754M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
991.42/991.42 c 933s| 1780k| 1780k| 0 | 0.0 | 758M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
996.62/996.69 c 938s| 1790k| 1790k| 0 | 0.0 | 762M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1001.92/1001.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.92/1001.97 c 943s| 1800k| 1800k| 0 | 0.0 | 766M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1007.22/1007.27 c 948s| 1810k| 1810k| 0 | 0.0 | 770M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1012.53/1012.55 c 953s| 1820k| 1820k| 0 | 0.0 | 774M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1017.82/1017.85 c 958s| 1830k| 1830k| 0 | 0.0 | 778M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1023.12/1023.14 c 963s| 1840k| 1840k| 0 | 0.0 | 782M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1028.42/1028.42 c 968s| 1850k| 1850k| 0 | 0.0 | 786M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1033.63/1033.69 c 973s| 1860k| 1860k| 0 | 0.0 | 790M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1038.92/1038.96 c 978s| 1870k| 1870k| 0 | 0.0 | 794M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1044.23/1044.22 c 983s| 1880k| 1880k| 0 | 0.0 | 798M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1049.43/1049.47 c 988s| 1890k| 1890k| 0 | 0.0 | 802M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1054.73/1054.72 c 993s| 1900k| 1900k| 0 | 0.0 | 806M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1059.93/1059.98 c 998s| 1910k| 1910k| 0 | 0.0 | 810M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1065.23/1065.20 c 1003s| 1920k| 1920k| 0 | 0.0 | 814M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1070.42/1070.42 c 1008s| 1930k| 1930k| 0 | 0.0 | 818M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1075.62/1075.69 c 1013s| 1940k| 1940k| 0 | 0.0 | 823M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1080.92/1080.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.92/1080.93 c 1018s| 1950k| 1950k| 0 | 0.0 | 827M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1086.13/1086.19 c 1023s| 1960k| 1960k| 0 | 0.0 | 831M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1091.43/1091.43 c 1028s| 1970k| 1970k| 0 | 0.0 | 835M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1096.64/1096.68 c 1033s| 1980k| 1980k| 0 | 0.0 | 839M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1101.92/1101.92 c 1038s| 1990k| 1990k| 0 | 0.0 | 843M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1107.12/1107.11 c 1043s| 2000k| 2000k| 0 | 0.0 | 847M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1112.33/1112.33 c 1048s| 2010k| 2010k| 0 | 0.0 | 851M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1117.43/1117.50 c 1053s| 2020k| 2020k| 0 | 0.0 | 855M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1122.62/1122.64 c 1057s| 2030k| 2030k| 0 | 0.0 | 859M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1127.62/1127.68 c 1062s| 2040k| 2040k| 0 | 0.0 | 863M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1132.73/1132.76 c 1067s| 2050k| 2050k| 0 | 0.0 | 867M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1138.02/1138.04 c 1072s| 2060k| 2060k| 0 | 0.0 | 871M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1143.32/1143.31 c 1077s| 2070k| 2070k| 0 | 0.0 | 875M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1148.62/1148.61 c 1082s| 2080k| 2080k| 0 | 0.0 | 879M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1153.83/1153.86 c 1087s| 2090k| 2090k| 0 | 0.0 | 883M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1159.13/1159.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.13/1159.17 c 1092s| 2100k| 2100k| 0 | 0.0 | 887M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1164.43/1164.47 c 1097s| 2110k| 2110k| 0 | 0.0 | 891M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1169.73/1169.71 c 1102s| 2120k| 2120k| 0 | 0.0 | 895M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1174.93/1174.94 c 1107s| 2130k| 2130k| 0 | 0.0 | 899M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1180.23/1180.22 c 1112s| 2140k| 2140k| 0 | 0.0 | 903M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1185.53/1185.50 c 1117s| 2150k| 2150k| 0 | 0.0 | 907M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1190.83/1190.83 c 1122s| 2160k| 2160k| 0 | 0.0 | 911M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1196.03/1196.06 c 1127s| 2170k| 2170k| 0 | 0.0 | 915M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1201.24/1201.28 c 1132s| 2180k| 2180k| 0 | 0.0 | 919M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1206.53/1206.52 c 1137s| 2190k| 2190k| 0 | 0.0 | 923M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1211.73/1211.79 c 1142s| 2200k| 2200k| 0 | 0.0 | 927M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1217.13/1217.12 c 1147s| 2210k| 2210k| 0 | 0.0 | 931M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1222.43/1222.43 c 1152s| 2220k| 2220k| 0 | 0.0 | 935M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1227.64/1227.66 c 1157s| 2230k| 2230k| 0 | 0.0 | 939M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1232.93/1232.96 c 1162s| 2240k| 2240k| 0 | 0.0 | 943M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1238.23/1238.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.23/1238.23 c 1167s| 2250k| 2250k| 0 | 0.0 | 947M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1243.53/1243.54 c 1172s| 2260k| 2260k| 0 | 0.0 | 951M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1248.83/1248.84 c 1177s| 2270k| 2270k| 0 | 0.0 | 955M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1254.04/1254.08 c 1182s| 2280k| 2280k| 0 | 0.0 | 959M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1259.33/1259.32 c 1187s| 2290k| 2290k| 0 | 0.0 | 963M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1264.53/1264.57 c 1192s| 2300k| 2300k| 0 | 0.0 | 967M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1269.83/1269.83 c 1197s| 2310k| 2310k| 0 | 0.0 | 971M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1275.13/1275.17 c 1203s| 2320k| 2320k| 0 | 0.0 | 976M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1280.53/1280.51 c 1208s| 2330k| 2330k| 0 | 0.0 | 980M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1285.73/1285.78 c 1213s| 2340k| 2340k| 0 | 0.0 | 984M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1291.03/1291.04 c 1218s| 2350k| 2350k| 0 | 0.0 | 988M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1296.23/1296.28 c 1223s| 2360k| 2360k| 0 | 0.0 | 992M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1301.53/1301.58 c 1228s| 2370k| 2370k| 0 | 0.0 | 996M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1306.83/1306.85 c 1233s| 2380k| 2380k| 0 | 0.0 |1000M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1312.13/1312.16 c 1238s| 2390k| 2390k| 0 | 0.0 |1004M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1317.43/1317.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.43/1317.46 c 1243s| 2400k| 2400k| 0 | 0.0 |1008M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1322.74/1322.72 c 1248s| 2410k| 2410k| 0 | 0.0 |1012M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1328.04/1328.02 c 1253s| 2420k| 2420k| 0 | 0.0 |1016M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1333.24/1333.24 c 1258s| 2430k| 2430k| 0 | 0.0 |1020M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1338.44/1338.49 c 1263s| 2440k| 2440k| 0 | 0.0 |1024M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1343.73/1343.75 c 1268s| 2450k| 2450k| 0 | 0.0 |1028M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1349.04/1349.03 c 1273s| 2460k| 2460k| 0 | 0.0 |1032M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1354.34/1354.32 c 1278s| 2470k| 2470k| 0 | 0.0 |1036M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1359.54/1359.54 c 1283s| 2480k| 2480k| 0 | 0.0 |1040M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1364.73/1364.76 c 1288s| 2490k| 2490k| 0 | 0.0 |1044M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1369.94/1369.94 c 1293s| 2500k| 2500k| 0 | 0.0 |1048M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1375.14/1375.15 c 1298s| 2510k| 2510k| 0 | 0.0 |1052M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1380.33/1380.39 c 1303s| 2520k| 2520k| 0 | 0.0 |1056M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1385.64/1385.69 c 1308s| 2530k| 2530k| 0 | 0.0 |1060M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1390.93/1390.94 c 1313s| 2540k| 2540k| 0 | 0.0 |1064M| 961 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1395.63/1395.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.63/1395.65 c 1317s| 2550k| 2550k| 0 | 0.0 |1068M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1400.64/1400.65 c 1322s| 2560k| 2560k| 0 | 0.0 |1072M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1405.63/1405.63 c 1327s| 2570k| 2570k| 0 | 0.0 |1076M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1410.63/1410.63 c 1331s| 2580k| 2580k| 0 | 0.0 |1080M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1415.64/1415.68 c 1336s| 2590k| 2590k| 0 | 0.0 |1084M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1420.63/1420.69 c 1341s| 2600k| 2600k| 0 | 0.0 |1088M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1425.64/1425.65 c 1346s| 2610k| 2610k| 0 | 0.0 |1092M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1430.63/1430.66 c 1350s| 2620k| 2620k| 0 | 0.0 |1096M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1435.64/1435.66 c 1355s| 2630k| 2630k| 0 | 0.0 |1100M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1440.64/1440.65 c 1360s| 2640k| 2640k| 0 | 0.0 |1105M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1445.74/1445.70 c 1365s| 2650k| 2650k| 0 | 0.0 |1109M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1450.73/1450.74 c 1369s| 2660k| 2660k| 0 | 0.0 |1113M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1455.73/1455.72 c 1374s| 2670k| 2670k| 0 | 0.0 |1117M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1460.74/1460.74 c 1379s| 2680k| 2680k| 0 | 0.0 |1121M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1465.73/1465.75 c 1384s| 2690k| 2690k| 0 | 0.0 |1125M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1470.74/1470.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.74/1470.70 c 1388s| 2700k| 2700k| 0 | 0.0 |1129M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1475.64/1475.69 c 1393s| 2710k| 2710k| 0 | 0.0 |1133M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1480.74/1480.77 c 1398s| 2720k| 2720k| 0 | 0.0 |1137M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1485.74/1485.75 c 1403s| 2730k| 2730k| 0 | 0.0 |1141M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1490.73/1490.72 c 1407s| 2740k| 2740k| 0 | 0.0 |1145M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1495.74/1495.76 c 1412s| 2750k| 2750k| 0 | 0.0 |1149M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1500.74/1500.74 c 1417s| 2760k| 2760k| 0 | 0.0 |1153M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1505.64/1505.69 c 1422s| 2770k| 2770k| 0 | 0.0 |1157M|1391 | - |5504 |5325 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1510.74/1510.71 c 1426s| 2780k| 2779k| 0 | 0.0 |1161M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1515.85/1515.81 c 1431s| 2790k| 2789k| 0 | 0.0 |1165M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1520.94/1520.90 c 1436s| 2800k| 2799k| 0 | 0.0 |1169M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1525.94/1525.91 c 1441s| 2810k| 2809k| 0 | 0.0 |1173M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1530.94/1530.92 c 1446s| 2820k| 2819k| 0 | 0.0 |1178M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1536.03/1536.03 c 1450s| 2830k| 2829k| 0 | 0.0 |1182M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1541.15/1541.13 c 1455s| 2840k| 2839k| 0 | 0.0 |1186M|1391 | - |5504 |5332 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1546.14/1546.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.14/1546.17 c 1460s| 2850k| 2849k| 0 | 0.0 |1190M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1551.24/1551.26 c 1465s| 2860k| 2859k| 0 | 0.0 |1194M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1556.34/1556.36 c 1470s| 2870k| 2869k| 0 | 0.0 |1198M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1561.34/1561.39 c 1474s| 2880k| 2879k| 0 | 0.0 |1202M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1566.34/1566.37 c 1479s| 2890k| 2889k| 0 | 0.0 |1206M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1571.44/1571.45 c 1484s| 2900k| 2899k| 0 | 0.0 |1210M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1576.54/1576.52 c 1489s| 2910k| 2909k| 0 | 0.0 |1214M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1581.54/1581.51 c 1493s| 2920k| 2919k| 0 | 0.0 |1218M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1586.55/1586.55 c 1498s| 2930k| 2929k| 0 | 0.0 |1223M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1591.65/1591.65 c 1503s| 2940k| 2939k| 0 | 0.0 |1227M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1596.64/1596.69 c 1508s| 2950k| 2949k| 0 | 0.0 |1231M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1601.74/1601.76 c 1513s| 2960k| 2959k| 0 | 0.0 |1235M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1606.94/1606.91 c 1518s| 2970k| 2969k| 0 | 0.0 |1239M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1611.94/1611.94 c 1522s| 2980k| 2979k| 0 | 0.0 |1243M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1617.04/1617.07 c 1527s| 2990k| 2989k| 0 | 0.0 |1247M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1622.14/1622.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.14/1622.14 c 1532s| 3000k| 2999k| 0 | 0.0 |1251M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1627.14/1627.13 c 1537s| 3010k| 3009k| 0 | 0.0 |1255M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1632.25/1632.21 c 1542s| 3020k| 3019k| 0 | 0.0 |1259M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1637.34/1637.30 c 1546s| 3030k| 3029k| 0 | 0.0 |1263M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1642.35/1642.36 c 1551s| 3040k| 3039k| 0 | 0.0 |1268M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1647.44/1647.49 c 1556s| 3050k| 3049k| 0 | 0.0 |1272M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1652.54/1652.50 c 1561s| 3060k| 3059k| 0 | 0.0 |1276M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1657.55/1657.59 c 1566s| 3070k| 3069k| 0 | 0.0 |1280M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1662.64/1662.67 c 1570s| 3080k| 3079k| 0 | 0.0 |1284M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1667.74/1667.73 c 1575s| 3090k| 3089k| 0 | 0.0 |1288M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1672.84/1672.86 c 1580s| 3100k| 3099k| 0 | 0.0 |1292M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1677.94/1677.90 c 1585s| 3110k| 3109k| 0 | 0.0 |1296M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1683.05/1683.00 c 1590s| 3120k| 3119k| 0 | 0.0 |1300M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1688.05/1688.07 c 1594s| 3130k| 3129k| 0 | 0.0 |1304M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1693.14/1693.15 c 1599s| 3140k| 3139k| 0 | 0.0 |1308M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1698.24/1698.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.24/1698.23 c 1604s| 3150k| 3149k| 0 | 0.0 |1313M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1703.25/1703.28 c 1609s| 3160k| 3159k| 0 | 0.0 |1317M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1708.35/1708.32 c 1614s| 3170k| 3169k| 0 | 0.0 |1321M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1713.34/1713.35 c 1618s| 3180k| 3179k| 0 | 0.0 |1325M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1718.44/1718.43 c 1623s| 3190k| 3189k| 0 | 0.0 |1329M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1723.44/1723.47 c 1628s| 3200k| 3199k| 0 | 0.0 |1333M|1391 | - |5504 |5331 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1728.54/1728.54 c 1633s| 3210k| 3209k| 0 | 0.0 |1337M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1733.65/1733.62 c 1638s| 3220k| 3219k| 0 | 0.0 |1341M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1738.65/1738.69 c 1643s| 3230k| 3229k| 0 | 0.0 |1345M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1743.75/1743.73 c 1647s| 3240k| 3239k| 0 | 0.0 |1349M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1748.75/1748.78 c 1652s| 3250k| 3249k| 0 | 0.0 |1353M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1753.84/1753.81 c 1657s| 3260k| 3259k| 0 | 0.0 |1358M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1758.85/1758.87 c 1662s| 3270k| 3269k| 0 | 0.0 |1362M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1763.85/1763.86 c 1666s| 3280k| 3279k| 0 | 0.0 |1366M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1768.85/1768.83 c 1671s| 3290k| 3289k| 0 | 0.0 |1370M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1773.95/1773.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.95/1773.90 c 1676s| 3300k| 3299k| 0 | 0.0 |1374M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1778.85/1778.89 c 1681s| 3310k| 3309k| 0 | 0.0 |1378M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1783.85/1783.86 c 1685s| 3320k| 3319k| 0 | 0.0 |1382M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1788.84/1788.87 c 1690s| 3330k| 3329k| 0 | 0.0 |1386M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1793.85/1793.87 c 1695s| 3340k| 3339k| 0 | 0.0 |1390M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | -- | Inf
1798.85/1798.84 c 1700s| 3350k| 3349k| 0 | 0.0 |1394M|1391 | - |5504 |5330 | 0 | 0 | 0 | 7 | 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) : 1700.75
1800.05/1800.00 c Solving Nodes : 3352378
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 : 1700.75
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693745-1277915727.wbo
1800.05/1800.00 c Variables : 5520 (3355 binary, 0 integer, 0 implicit integer, 2165 continuous)
1800.05/1800.00 c Constraints : 5349 initial, 5349 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693745-1277915727.wbo
1800.05/1800.00 c Variables : 5504 (3340 binary, 0 integer, 0 implicit integer, 2164 continuous)
1800.05/1800.00 c Constraints : 5325 initial, 5332 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 2 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.00 0 9 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.12 0 3 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 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.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.02 0 2 0 2164 0 23 64 128
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 : 2164 0 5837203 0 3352377 0 2832683 0 0 0
1800.05/1800.00 c varbound : 1 0 5023280 0 2693876 0 0 0 0 0
1800.05/1800.00 c knapsack : 32 0 5837203 0 3352377 0 0 0 0 0
1800.05/1800.00 c linear : 2163 0 5837203 0 3352377 0 1418595 0 0 0
1800.05/1800.00 c logicor : 965+ 0 1651118 0 3352377 1 1572946 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 3352377 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 : 476.10 0.00 118.84 0.00 357.26
1800.05/1800.00 c varbound : 0.03 0.00 0.01 0.00 0.02
1800.05/1800.00 c knapsack : 1.67 0.00 0.92 0.00 0.75
1800.05/1800.00 c linear : 75.30 0.00 74.50 0.00 0.80
1800.05/1800.00 c logicor : 144.55 0.00 2.47 0.00 142.08
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 8750 0 119
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 264.92 5836434 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 1 1 1 6.0 6 3.2 -
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 : - - - 7 3.6 - - -
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 : 703.75 3352377 0 0 0 0 6704754
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.00 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.00 0 0
1800.05/1800.00 c trysol : 0.00 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 : 3352378
1800.05/1800.00 c nodes (total) : 3352378
1800.05/1800.00 c nodes left : 3352377
1800.05/1800.00 c max depth : 1391
1800.05/1800.00 c max depth (total): 1391
1800.05/1800.00 c backtracks : 9731 (0.3%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 11 (7 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 2.11
1800.05/1800.00 c switching time : 15.93
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