0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665540-1276467654.opb>
0.00/0.06 c original problem has 498 variables (498 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.07 c presolving:
0.00/0.09 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15732 impls, 0 clqs
0.09/0.14 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2370 upgd conss, 15732 impls, 0 clqs
0.09/0.16 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2425 upgd conss, 15732 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (4 rounds):
0.19/0.20 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 15732 implications, 0 cliques
0.19/0.20 c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 2425 constraints
0.19/0.20 c 2425 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.12
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c conflict/interconss = 0
0.19/0.20 c
0.19/0.20 c # should binary conflicts be preferred?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c conflict/preferbinary = TRUE
0.19/0.20 c
0.19/0.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c constraints/agelimit = 1
0.19/0.20 c
0.19/0.20 c # should enforcement of pseudo solution be disabled?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/disableenfops = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.94
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = 0
0.19/0.20 c
0.19/0.20 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.20 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.20 c lp/pricing = a
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # priority of node selection rule <dfs> in standard mode
0.19/0.20 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.20 c nodeselection/dfs/stdpriority = 1000000
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 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 | 0 | 505 | - |5117k| 0 | 293 | 492 |2425 | 492 |2425 | 0 | 0 | 0 | 1.495000e+02 | -- | Inf
0.39/0.42 c 0.3s| 1 | 0 | 612 | - |5344k| 0 | 288 | 492 |2425 | 492 |2436 | 11 | 0 | 0 | 1.535000e+02 | -- | Inf
0.49/0.52 c 0.4s| 1 | 0 | 623 | - |5482k| 0 | 282 | 492 |2425 | 492 |2442 | 17 | 0 | 0 | 1.550000e+02 | -- | Inf
0.69/0.70 c 0.6s| 1 | 0 | 632 | - |5666k| 0 | 282 | 492 |2425 | 492 |2443 | 18 | 0 | 0 | 1.550000e+02 | -- | Inf
0.79/0.84 c 0.7s| 1 | 0 | 640 | - |5814k| 0 | 282 | 492 |2425 | 492 |2446 | 21 | 0 | 0 | 1.550000e+02 | -- | Inf
0.89/0.97 c 0.8s| 1 | 0 | 722 | - |5939k| 0 | 282 | 492 |2425 | 492 |2451 | 26 | 0 | 0 | 1.550000e+02 | -- | Inf
1.09/1.14 c 1.0s| 1 | 0 | 780 | - |6050k| 0 | 285 | 492 |2425 | 492 |2455 | 30 | 0 | 0 | 1.550000e+02 | -- | Inf
1.29/1.30 c 1.2s| 1 | 0 | 834 | - |6194k| 0 | 282 | 492 |2425 | 492 |2460 | 35 | 0 | 0 | 1.550000e+02 | -- | Inf
2.49/2.59 c 2.4s| 1 | 2 | 834 | - |6202k| 0 | 282 | 492 |2425 | 492 |2460 | 35 | 0 | 19 | 1.550000e+02 | -- | Inf
2.59/2.60 o 229
2.59/2.60 c * 2.4s| 57 | 31 | 834 | 0.0 |6277k| 53 | - | 492 |2427 | 0 | 0 | 35 | 2 | 19 | 1.550000e+02 | 2.290000e+02 | 47.74%
3.59/3.67 o 228
3.59/3.67 c * 3.4s| 3831 | 33 | 834 | 0.0 |6317k| 53 | - | 492 |2440 | 0 | 0 | 35 | 805 | 19 | 1.550000e+02 | 2.280000e+02 | 47.10%
3.68/3.72 o 227
3.68/3.72 c * 3.4s| 3999 | 31 | 834 | 0.0 |6324k| 53 | - | 492 |2442 | 0 | 0 | 35 | 852 | 19 | 1.550000e+02 | 2.270000e+02 | 46.45%
5.50/5.54 c 5.1s| 10000 | 23 | 834 | 0.0 |6355k| 53 | - | 492 |2486 | 0 | 0 | 35 |2473 | 19 | 1.550000e+02 | 2.270000e+02 | 46.45%
8.18/8.27 c 7.7s| 20000 | 28 | 834 | 0.0 |6345k| 53 | - | 492 |2439 | 0 | 0 | 35 |5130 | 19 | 1.550000e+02 | 2.270000e+02 | 46.45%
10.69/10.76 o 226
10.69/10.76 c *10.0s| 28184 | 21 | 834 | 0.0 |6365k| 53 | - | 492 |2454 | 0 | 0 | 35 |7355 | 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
11.19/11.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.24 c 10.4s| 30000 | 23 | 834 | 0.0 |6366k| 53 | - | 492 |2457 | 0 | 0 | 35 |7680 | 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
13.78/13.82 c 12.8s| 40000 | 24 | 834 | 0.0 |6371k| 53 | - | 492 |2466 | 0 | 0 | 35 | 10k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
16.59/16.66 c 15.4s| 50000 | 26 | 834 | 0.0 |6370k| 53 | - | 492 |2444 | 0 | 0 | 35 | 12k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
19.38/19.47 c 18.0s| 60000 | 23 | 834 | 0.0 |6380k| 53 | - | 492 |2461 | 0 | 0 | 35 | 15k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
22.18/22.29 c 20.6s| 70000 | 21 | 834 | 0.0 |6401k| 53 | - | 492 |2509 | 0 | 0 | 35 | 18k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
24.88/24.94 c 23.1s| 80000 | 26 | 834 | 0.0 |6385k| 53 | - | 492 |2456 | 0 | 0 | 35 | 21k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
27.49/27.60 c 25.6s| 90000 | 24 | 834 | 0.0 |6382k| 53 | - | 492 |2447 | 0 | 0 | 35 | 23k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
30.38/30.46 c 28.2s|100000 | 26 | 834 | 0.0 |6386k| 53 | - | 492 |2452 | 0 | 0 | 35 | 26k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
33.68/33.72 c 31.3s|110000 | 22 | 834 | 0.0 |6398k| 53 | - | 492 |2469 | 0 | 0 | 35 | 29k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
36.48/36.59 c 33.9s|120000 | 21 | 834 | 0.0 |6408k| 53 | - | 492 |2481 | 0 | 0 | 35 | 32k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
39.38/39.41 c 36.6s|130000 | 23 | 834 | 0.0 |6409k| 53 | - | 492 |2479 | 0 | 0 | 35 | 34k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
42.08/42.10 c 39.1s|140000 | 19 | 834 | 0.0 |6448k| 53 | - | 492 |2572 | 0 | 0 | 35 | 37k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
44.68/44.72 c 41.5s|150000 | 24 | 834 | 0.0 |6438k| 53 | - | 492 |2541 | 0 | 0 | 35 | 39k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
47.08/47.19 c 43.8s|160000 | 18 | 834 | 0.0 |6439k| 53 | - | 492 |2546 | 0 | 0 | 35 | 41k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
49.67/49.70 c 46.1s|170000 | 23 | 834 | 0.0 |6439k| 53 | - | 492 |2546 | 0 | 0 | 35 | 44k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
52.37/52.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.37/52.41 c 48.6s|180000 | 24 | 834 | 0.0 |6403k| 53 | - | 492 |2448 | 0 | 0 | 35 | 46k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
54.98/55.05 c 51.1s|190000 | 21 | 834 | 0.0 |6405k| 53 | - | 492 |2454 | 0 | 0 | 35 | 49k| 19 | 1.550000e+02 | 2.260000e+02 | 45.81%
57.47/57.51 o 218
57.47/57.51 c *53.4s|198451 | 77 | 834 | 0.0 |6443k| 86 | - | 492 |2492 | 0 | 0 | 35 | 51k| 19 | 1.550000e+02 | 2.180000e+02 | 40.65%
57.87/57.97 c 53.8s|200000 | 46 | 834 | 0.0 |6437k| 86 | - | 492 |2495 | 0 | 0 | 35 | 51k| 19 | 1.550000e+02 | 2.180000e+02 | 40.65%
58.18/58.30 o 217
58.18/58.30 c *54.1s|200991 | 41 | 834 | 0.0 |6445k| 86 | - | 492 |2497 | 0 | 0 | 35 | 52k| 19 | 1.550000e+02 | 2.170000e+02 | 40.00%
58.97/59.04 o 216
58.97/59.04 c *54.8s|203132 | 40 | 834 | 0.0 |6455k| 86 | - | 492 |2503 | 0 | 0 | 35 | 52k| 19 | 1.550000e+02 | 2.160000e+02 | 39.35%
59.77/59.85 o 215
59.77/59.85 c *55.6s|205485 | 22 | 834 | 0.0 |6456k| 86 | - | 492 |2499 | 0 | 0 | 35 | 53k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
61.07/61.18 c 56.8s|210000 | 23 | 834 | 0.0 |6454k| 86 | - | 492 |2500 | 0 | 0 | 35 | 54k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
63.67/63.72 c 59.2s|220000 | 20 | 834 | 0.0 |6457k| 86 | - | 492 |2502 | 0 | 0 | 35 | 56k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
66.36/66.49 c 61.7s|230000 | 28 | 834 | 0.0 |6462k| 86 | - | 492 |2504 | 0 | 0 | 35 | 58k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
69.06/69.16 c 64.2s|240000 | 19 | 834 | 0.0 |6471k| 86 | - | 492 |2527 | 0 | 0 | 35 | 60k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
71.76/71.83 c 66.7s|250000 | 16 | 834 | 0.0 |6479k| 86 | - | 492 |2541 | 0 | 0 | 35 | 62k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
74.46/74.60 c 69.3s|260000 | 19 | 834 | 0.0 |6447k| 86 | - | 492 |2448 | 0 | 0 | 35 | 64k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
77.47/77.58 c 72.0s|270000 | 18 | 834 | 0.0 |6447k| 86 | - | 492 |2447 | 0 | 0 | 35 | 66k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
80.27/80.40 c 74.7s|280000 | 25 | 834 | 0.0 |6455k| 86 | - | 492 |2460 | 0 | 0 | 35 | 69k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
82.76/82.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.76/82.87 c 76.9s|290000 | 17 | 834 | 0.0 |6452k| 86 | - | 492 |2458 | 0 | 0 | 35 | 70k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
85.36/85.49 c 79.3s|300000 | 24 | 834 | 0.0 |6451k| 86 | - | 492 |2445 | 0 | 0 | 35 | 72k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
87.97/88.04 c 81.7s|310000 | 17 | 834 | 0.0 |6455k| 86 | - | 492 |2459 | 0 | 0 | 35 | 74k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
90.56/90.63 c 84.1s|320000 | 17 | 834 | 0.0 |6458k| 86 | - | 492 |2465 | 0 | 0 | 35 | 76k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
93.55/93.68 c 87.0s|330000 | 49 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 78k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
97.66/97.73 c 90.8s|340000 | 46 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 81k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
101.75/101.83 c 94.7s|350000 | 45 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 84k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
106.05/106.10 c 98.8s|360000 | 46 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 88k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
110.45/110.52 c 103s|370000 | 45 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 92k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
114.95/115.00 c 107s|380000 | 40 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 96k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
119.15/119.27 c 111s|390000 | 42 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 99k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
123.35/123.47 c 115s|400000 | 41 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 102k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
128.14/128.29 c 120s|410000 | 40 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 106k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
133.14/133.20 c 125s|420000 | 40 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 111k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
137.65/137.74 c 129s|430000 | 37 | 834 | 0.0 |6459k| 86 | - | 492 |2450 | 0 | 0 | 35 | 115k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
142.25/142.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.25/142.35 c 133s|440000 | 42 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 119k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
146.64/146.76 c 138s|450000 | 40 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 122k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
151.03/151.14 c 142s|460000 | 39 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 125k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
155.23/155.38 c 146s|470000 | 37 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 128k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
159.63/159.77 c 150s|480000 | 38 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 131k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
164.13/164.22 c 154s|490000 | 40 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 134k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
169.03/169.13 c 159s|500000 | 36 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 138k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
173.93/174.01 c 164s|510000 | 40 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 142k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
178.83/178.93 c 168s|520000 | 36 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 147k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
183.33/183.47 c 173s|530000 | 41 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 150k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
187.82/187.93 c 177s|540000 | 37 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 153k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
192.22/192.37 c 181s|550000 | 38 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 156k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
196.73/196.85 c 185s|560000 | 37 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 159k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
201.13/201.28 c 190s|570000 | 33 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 162k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
205.63/205.76 c 194s|580000 | 36 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 165k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
210.22/210.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.22/210.31 c 198s|590000 | 35 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 168k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
214.62/214.78 c 203s|600000 | 38 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 171k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
219.22/219.30 c 207s|610000 | 34 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 175k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
223.62/223.79 c 211s|620000 | 39 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 178k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
228.22/228.39 c 216s|630000 | 39 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 181k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
232.81/232.92 c 220s|640000 | 35 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 184k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
237.31/237.46 c 224s|650000 | 36 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 187k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
241.92/242.04 c 229s|660000 | 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 190k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
246.40/246.56 c 233s|670000 | 39 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 193k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
250.91/251.08 c 237s|680000 | 37 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 196k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
255.40/255.54 c 241s|690000 | 37 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 199k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
260.00/260.17 c 246s|700000 | 38 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 203k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
264.40/264.59 c 250s|710000 | 54 | 834 | 0.0 |6466k| 86 | - | 492 |2449 | 0 | 0 | 35 | 206k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
268.90/269.08 c 254s|720000 | 39 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 209k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
273.39/273.52 c 259s|730000 | 40 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 212k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
277.79/277.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.79/277.95 c 263s|740000 | 37 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 215k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
282.39/282.55 c 267s|750000 | 35 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 218k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
286.90/287.03 c 271s|760000 | 40 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 221k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
291.49/291.68 c 276s|770000 | 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 224k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
296.09/296.20 c 280s|780000 | 44 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 227k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
300.58/300.76 c 285s|790000 | 34 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 231k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
305.29/305.42 c 289s|800000 | 32 | 834 | 0.0 |6459k| 86 | - | 492 |2449 | 0 | 0 | 35 | 234k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
309.78/309.90 c 293s|810000 | 41 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 237k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
314.39/314.57 c 298s|820000 | 37 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 240k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
319.08/319.21 c 302s|830000 | 39 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 244k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
323.78/323.96 c 307s|840000 | 43 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 247k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
328.48/328.66 c 311s|850000 | 38 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 250k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
333.08/333.30 c 316s|860000 | 38 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 253k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
337.78/337.96 c 320s|870000 | 35 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 257k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
342.37/342.56 c 325s|880000 | 37 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 260k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
346.97/347.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.97/347.15 c 329s|890000 | 34 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 263k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
351.47/351.61 c 333s|900000 | 41 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 266k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
355.97/356.10 c 338s|910000 | 41 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 269k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
360.58/360.72 c 342s|920000 | 35 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 272k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
365.07/365.27 c 346s|930000 | 37 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 275k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
369.66/369.81 c 351s|940000 | 36 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 279k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
374.07/374.23 c 355s|950000 | 56 | 834 | 0.0 |6467k| 86 | - | 492 |2453 | 0 | 0 | 35 | 282k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
378.56/378.74 c 359s|960000 | 36 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 285k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
383.06/383.23 c 363s|970000 | 36 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 288k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
387.56/387.79 c 368s|980000 | 35 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 291k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
392.16/392.31 c 372s|990000 | 33 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 294k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
396.45/396.67 c 376s| 1000k| 37 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 297k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
401.06/401.24 c 381s| 1010k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 300k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
405.56/405.71 c 385s| 1020k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 303k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
410.06/410.20 c 389s| 1030k| 36 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 306k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
414.56/414.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.56/414.73 c 394s| 1040k| 39 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 309k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
419.15/419.34 c 398s| 1050k| 38 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 312k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
423.85/424.05 c 402s| 1060k| 34 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 316k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
428.35/428.58 c 407s| 1070k| 39 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 319k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
432.95/433.15 c 411s| 1080k| 34 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 322k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
437.55/437.71 c 416s| 1090k| 35 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 325k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
442.14/442.38 c 420s| 1100k| 35 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 328k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
446.74/446.93 c 424s| 1110k| 36 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 331k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
451.23/451.41 c 429s| 1120k| 37 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 334k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
455.74/455.92 c 433s| 1130k| 32 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 338k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
460.33/460.54 c 437s| 1140k| 34 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 341k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
464.93/465.13 c 442s| 1150k| 35 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 344k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
469.44/469.65 c 446s| 1160k| 38 | 834 | 0.0 |6463k| 86 | - | 492 |2449 | 0 | 0 | 35 | 347k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
473.83/474.09 c 450s| 1170k| 34 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 350k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
478.03/478.26 c 454s| 1180k| 44 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 353k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
482.93/483.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.93/483.16 c 459s| 1190k| 37 | 834 | 0.0 |6461k| 86 | - | 492 |2450 | 0 | 0 | 35 | 357k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
488.14/488.34 c 464s| 1200k| 33 | 834 | 0.0 |6460k| 86 | - | 492 |2450 | 0 | 0 | 35 | 362k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
493.32/493.52 c 469s| 1210k| 38 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 366k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
498.32/498.58 c 474s| 1220k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 370k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
503.53/503.72 c 479s| 1230k| 37 | 834 | 0.0 |6461k| 86 | - | 492 |2450 | 0 | 0 | 35 | 374k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
508.52/508.70 c 483s| 1240k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 378k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
513.62/513.86 c 488s| 1250k| 36 | 834 | 0.0 |6461k| 86 | - | 492 |2450 | 0 | 0 | 35 | 382k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
518.51/518.79 c 493s| 1260k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 386k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
523.61/523.85 c 498s| 1270k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 390k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
528.71/528.93 c 503s| 1280k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 395k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
533.70/533.98 c 508s| 1290k| 30 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 399k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
538.82/539.01 c 512s| 1300k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 403k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
543.81/544.10 c 517s| 1310k| 35 | 834 | 0.0 |6461k| 86 | - | 492 |2450 | 0 | 0 | 35 | 407k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
548.91/549.16 c 522s| 1320k| 40 | 834 | 0.0 |6463k| 86 | - | 492 |2450 | 0 | 0 | 35 | 411k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
553.80/554.03 c 527s| 1330k| 47 | 834 | 0.0 |6465k| 86 | - | 492 |2450 | 0 | 0 | 35 | 415k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
558.20/558.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.20/558.41 c 531s| 1340k| 37 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 418k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
562.91/563.12 c 535s| 1350k| 38 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 421k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
567.60/567.80 c 540s| 1360k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 424k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
572.29/572.53 c 544s| 1370k| 39 | 834 | 0.0 |6464k| 86 | - | 492 |2449 | 0 | 0 | 35 | 428k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
576.89/577.17 c 549s| 1380k| 41 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 431k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
581.60/581.87 c 553s| 1390k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 434k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
586.19/586.43 c 558s| 1400k| 53 | 834 | 0.0 |6465k| 86 | - | 492 |2449 | 0 | 0 | 35 | 437k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
590.89/591.12 c 562s| 1410k| 36 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 440k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
595.69/595.92 c 567s| 1420k| 38 | 834 | 0.0 |6463k| 86 | - | 492 |2449 | 0 | 0 | 35 | 444k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
600.29/600.54 c 571s| 1430k| 38 | 834 | 0.0 |6464k| 86 | - | 492 |2449 | 0 | 0 | 35 | 447k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
604.98/605.27 c 576s| 1440k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 450k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
609.68/609.91 c 580s| 1450k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2449 | 0 | 0 | 35 | 453k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
614.28/614.53 c 585s| 1460k| 37 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 456k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
618.88/619.10 c 589s| 1470k| 38 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 459k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
623.49/623.79 c 593s| 1480k| 37 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 463k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
628.08/628.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.08/628.33 c 598s| 1490k| 48 | 834 | 0.0 |6464k| 86 | - | 492 |2449 | 0 | 0 | 35 | 466k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
632.77/633.09 c 602s| 1500k| 33 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 469k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
637.58/637.82 c 607s| 1510k| 33 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 472k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
642.08/642.33 c 611s| 1520k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 475k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
646.77/647.07 c 616s| 1530k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 479k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
651.56/651.82 c 620s| 1540k| 37 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 482k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
656.37/656.60 c 625s| 1550k| 37 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 485k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
660.97/661.29 c 629s| 1560k| 38 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 488k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
665.77/666.03 c 634s| 1570k| 38 | 834 | 0.0 |6465k| 86 | - | 492 |2450 | 0 | 0 | 35 | 492k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
670.46/670.75 c 638s| 1580k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 495k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
675.07/675.36 c 643s| 1590k| 33 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 498k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
679.75/680.08 c 647s| 1600k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2450 | 0 | 0 | 35 | 501k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
684.36/684.66 c 652s| 1610k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 505k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
689.06/689.33 c 656s| 1620k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2450 | 0 | 0 | 35 | 508k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
693.76/694.05 c 661s| 1630k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 511k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
698.55/698.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.55/698.88 c 665s| 1640k| 33 | 834 | 0.0 |6460k| 86 | - | 492 |2449 | 0 | 0 | 35 | 514k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
703.15/703.46 c 670s| 1650k| 38 | 834 | 0.0 |6463k| 86 | - | 492 |2449 | 0 | 0 | 35 | 518k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
707.75/708.03 c 674s| 1660k| 38 | 834 | 0.0 |6464k| 86 | - | 492 |2449 | 0 | 0 | 35 | 521k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
712.35/712.66 c 678s| 1670k| 31 | 834 | 0.0 |6461k| 86 | - | 492 |2449 | 0 | 0 | 35 | 524k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
716.86/717.17 c 683s| 1680k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2449 | 0 | 0 | 35 | 527k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
721.44/721.70 c 687s| 1690k| 29 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 530k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
725.54/725.89 c 691s| 1700k| 41 | 834 | 0.0 |6463k| 86 | - | 492 |2449 | 0 | 0 | 35 | 534k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
730.34/730.67 c 696s| 1710k| 35 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 537k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
735.14/735.48 c 700s| 1720k| 31 | 834 | 0.0 |6465k| 86 | - | 492 |2453 | 0 | 0 | 35 | 540k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
739.95/740.28 c 705s| 1730k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 543k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
744.74/745.06 c 709s| 1740k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 547k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
749.54/749.80 c 714s| 1750k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 550k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
754.24/754.56 c 718s| 1760k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 553k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
759.03/759.30 c 723s| 1770k| 33 | 834 | 0.0 |6461k| 86 | - | 492 |2450 | 0 | 0 | 35 | 556k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
763.63/763.93 c 727s| 1780k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 559k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
768.33/768.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.33/768.66 c 732s| 1790k| 37 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 563k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
773.13/773.44 c 736s| 1800k| 37 | 834 | 0.0 |6464k| 86 | - | 492 |2450 | 0 | 0 | 35 | 566k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
777.93/778.20 c 741s| 1810k| 35 | 834 | 0.0 |6461k| 86 | - | 492 |2450 | 0 | 0 | 35 | 569k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
782.62/782.91 c 745s| 1820k| 32 | 834 | 0.0 |6464k| 86 | - | 492 |2452 | 0 | 0 | 35 | 572k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
787.23/787.57 c 750s| 1830k| 32 | 834 | 0.0 |6462k| 86 | - | 492 |2450 | 0 | 0 | 35 | 576k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
791.82/792.12 c 754s| 1840k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 579k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
796.32/796.65 c 758s| 1850k| 36 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 582k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
800.81/801.17 c 763s| 1860k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 585k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
805.52/805.87 c 767s| 1870k| 31 | 834 | 0.0 |6461k| 86 | - | 492 |2451 | 0 | 0 | 35 | 588k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
810.01/810.36 c 772s| 1880k| 37 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 592k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
814.92/815.25 c 776s| 1890k| 46 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 595k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
819.51/819.89 c 781s| 1900k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 598k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
824.21/824.55 c 785s| 1910k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 601k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
828.91/829.24 c 790s| 1920k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 604k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
833.51/833.89 c 794s| 1930k| 32 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 608k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
838.21/838.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.21/838.59 c 798s| 1940k| 32 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 611k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
842.80/843.19 c 803s| 1950k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 614k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
847.50/847.80 c 807s| 1960k| 31 | 834 | 0.0 |6461k| 86 | - | 492 |2451 | 0 | 0 | 35 | 617k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
852.00/852.37 c 812s| 1970k| 39 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 620k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
856.70/857.03 c 816s| 1980k| 33 | 834 | 0.0 |6461k| 86 | - | 492 |2451 | 0 | 0 | 35 | 623k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
861.40/861.78 c 821s| 1990k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 627k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
866.09/866.42 c 825s| 2000k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 630k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
870.69/871.08 c 829s| 2010k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2453 | 0 | 0 | 35 | 633k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
875.30/875.68 c 834s| 2020k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 636k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
880.09/880.41 c 838s| 2030k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 639k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
884.69/885.07 c 843s| 2040k| 36 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 643k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
889.29/889.69 c 847s| 2050k| 32 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 646k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
894.00/894.31 c 852s| 2060k| 31 | 834 | 0.0 |6461k| 86 | - | 492 |2451 | 0 | 0 | 35 | 649k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
897.59/897.93 c 855s| 2070k| 48 | 834 | 0.0 |6467k| 86 | - | 492 |2454 | 0 | 0 | 35 | 652k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
900.99/901.32 c 858s| 2080k| 53 | 834 | 0.0 |6467k| 86 | - | 492 |2451 | 0 | 0 | 35 | 656k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
904.89/905.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.89/905.21 c 862s| 2090k| 43 | 834 | 0.0 |6467k| 86 | - | 492 |2453 | 0 | 0 | 35 | 660k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
909.58/909.93 c 867s| 2100k| 39 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 664k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
914.18/914.51 c 871s| 2110k| 48 | 834 | 0.0 |6467k| 86 | - | 492 |2451 | 0 | 0 | 35 | 667k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
918.87/919.26 c 875s| 2120k| 38 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 670k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
923.47/923.82 c 880s| 2130k| 37 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 673k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
927.98/928.31 c 884s| 2140k| 40 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 676k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
932.48/932.87 c 888s| 2150k| 39 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 679k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
937.18/937.56 c 893s| 2160k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 682k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
941.77/942.16 c 897s| 2170k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 686k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
946.27/946.68 c 902s| 2180k| 32 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 689k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
950.77/951.17 c 906s| 2190k| 39 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 692k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
955.36/955.75 c 910s| 2200k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2452 | 0 | 0 | 35 | 695k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
959.87/960.28 c 915s| 2210k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 698k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
964.46/964.87 c 919s| 2220k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 701k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
969.06/969.45 c 923s| 2230k| 37 | 834 | 0.0 |6466k| 86 | - | 492 |2453 | 0 | 0 | 35 | 705k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
973.66/974.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.66/974.08 c 928s| 2240k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 708k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
978.16/978.56 c 932s| 2250k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 711k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
982.66/983.08 c 936s| 2260k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 714k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
987.16/987.59 c 941s| 2270k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 717k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
991.56/991.96 c 945s| 2280k| 38 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 720k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
996.16/996.53 c 949s| 2290k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 723k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1000.65/1001.10 c 954s| 2300k| 39 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 727k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1005.35/1005.77 c 958s| 2310k| 33 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 730k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1009.95/1010.36 c 963s| 2320k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2452 | 0 | 0 | 35 | 733k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1014.45/1014.87 c 967s| 2330k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 736k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1019.04/1019.46 c 971s| 2340k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 739k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1023.65/1024.01 c 976s| 2350k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 742k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1028.24/1028.64 c 980s| 2360k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 746k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1032.74/1033.14 c 984s| 2370k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 749k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1037.34/1037.74 c 989s| 2380k| 53 | 834 | 0.0 |6467k| 86 | - | 492 |2451 | 0 | 0 | 35 | 752k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1042.03/1042.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.03/1042.44 c 993s| 2390k| 33 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 755k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1046.53/1046.93 c 998s| 2400k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 758k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1051.23/1051.62 c 1002s| 2410k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 761k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1055.73/1056.18 c 1006s| 2420k| 37 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 765k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1060.32/1060.78 c 1011s| 2430k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 768k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1065.02/1065.41 c 1015s| 2440k| 33 | 834 | 0.0 |6461k| 86 | - | 492 |2451 | 0 | 0 | 35 | 771k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1069.62/1070.00 c 1020s| 2450k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2453 | 0 | 0 | 35 | 774k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1074.03/1074.48 c 1024s| 2460k| 58 | 834 | 0.0 |6468k| 86 | - | 492 |2451 | 0 | 0 | 35 | 777k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1078.22/1078.69 c 1028s| 2470k| 35 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 781k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1082.92/1083.30 c 1032s| 2480k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 784k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1087.32/1087.79 c 1037s| 2490k| 37 | 834 | 0.0 |6464k| 86 | - | 492 |2452 | 0 | 0 | 35 | 787k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1091.82/1092.30 c 1041s| 2500k| 39 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 790k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1096.51/1096.94 c 1045s| 2510k| 60 | 834 | 0.0 |6469k| 86 | - | 492 |2452 | 0 | 0 | 35 | 793k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1101.01/1101.48 c 1050s| 2520k| 36 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 797k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1105.61/1106.02 c 1054s| 2530k| 32 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 800k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1110.10/1110.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.10/1110.50 c 1058s| 2540k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 803k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1114.61/1115.08 c 1063s| 2550k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2453 | 0 | 0 | 35 | 806k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1119.01/1119.48 c 1067s| 2560k| 39 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 809k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1123.60/1124.05 c 1071s| 2570k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 812k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1128.11/1128.57 c 1076s| 2580k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 815k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1132.70/1133.15 c 1080s| 2590k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 818k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1137.40/1137.81 c 1084s| 2600k| 31 | 834 | 0.0 |6465k| 86 | - | 492 |2453 | 0 | 0 | 35 | 822k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1141.89/1142.37 c 1089s| 2610k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 825k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1146.50/1146.96 c 1093s| 2620k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 828k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1151.20/1151.62 c 1098s| 2630k| 32 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 831k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1155.80/1156.24 c 1102s| 2640k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2452 | 0 | 0 | 35 | 834k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1160.10/1160.57 c 1106s| 2650k| 40 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 837k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1164.79/1165.25 c 1111s| 2660k| 33 | 834 | 0.0 |6466k| 86 | - | 492 |2454 | 0 | 0 | 35 | 841k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1169.39/1169.89 c 1115s| 2670k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 844k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1173.99/1174.48 c 1120s| 2680k| 31 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 847k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1178.58/1179.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.58/1179.09 c 1124s| 2690k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 850k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1183.19/1183.66 c 1128s| 2700k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 853k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1187.78/1188.25 c 1133s| 2710k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 856k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1192.38/1192.86 c 1137s| 2720k| 31 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 860k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1197.08/1197.55 c 1142s| 2730k| 34 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 863k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1201.67/1202.14 c 1146s| 2740k| 50 | 834 | 0.0 |6466k| 86 | - | 492 |2451 | 0 | 0 | 35 | 866k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1206.28/1206.71 c 1150s| 2750k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 869k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1210.88/1211.34 c 1155s| 2760k| 37 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 872k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1215.47/1215.95 c 1159s| 2770k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 875k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1220.07/1220.56 c 1164s| 2780k| 31 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 879k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1224.57/1225.07 c 1168s| 2790k| 33 | 834 | 0.0 |6465k| 86 | - | 492 |2453 | 0 | 0 | 35 | 882k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1229.27/1229.72 c 1172s| 2800k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 885k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1233.77/1234.28 c 1177s| 2810k| 31 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 888k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1238.46/1238.98 c 1181s| 2820k| 33 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 891k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1243.16/1243.61 c 1186s| 2830k| 32 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 894k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1246.87/1247.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.87/1247.30 c 1189s| 2840k| 53 | 834 | 0.0 |6468k| 86 | - | 492 |2453 | 0 | 0 | 35 | 898k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1251.37/1251.85 c 1193s| 2850k| 39 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 902k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1256.06/1256.56 c 1198s| 2860k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 905k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1260.76/1261.25 c 1202s| 2870k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 908k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1265.36/1265.90 c 1207s| 2880k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 911k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1270.06/1270.58 c 1211s| 2890k| 61 | 834 | 0.0 |6469k| 86 | - | 492 |2451 | 0 | 0 | 35 | 914k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1274.75/1275.21 c 1216s| 2900k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 918k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1279.35/1279.85 c 1220s| 2910k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 921k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1283.85/1284.38 c 1225s| 2920k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 924k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1288.55/1289.02 c 1229s| 2930k| 39 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 | 927k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1293.05/1293.54 c 1233s| 2940k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 930k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1297.64/1298.17 c 1238s| 2950k| 35 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 934k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1302.35/1302.85 c 1242s| 2960k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2453 | 0 | 0 | 35 | 937k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1307.05/1307.56 c 1247s| 2970k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 940k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1311.75/1312.21 c 1251s| 2980k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 943k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1316.34/1316.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.34/1316.82 c 1256s| 2990k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 947k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1320.84/1321.36 c 1260s| 3000k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 | 950k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1325.44/1325.95 c 1264s| 3010k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 953k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1330.13/1330.62 c 1269s| 3020k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 956k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1334.53/1335.01 c 1273s| 3030k| 42 | 834 | 0.0 |6467k| 86 | - | 492 |2453 | 0 | 0 | 35 | 959k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1339.13/1339.60 c 1277s| 3040k| 37 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 962k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1343.64/1344.17 c 1282s| 3050k| 36 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 966k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1348.23/1348.71 c 1286s| 3060k| 37 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 969k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1352.72/1353.29 c 1290s| 3070k| 33 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 972k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1357.33/1357.86 c 1295s| 3080k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 975k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1362.03/1362.52 c 1299s| 3090k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 978k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1366.52/1367.08 c 1304s| 3100k| 35 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 | 981k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1371.13/1371.70 c 1308s| 3110k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 984k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1375.82/1376.38 c 1312s| 3120k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 | 988k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1380.42/1380.96 c 1317s| 3130k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 991k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1385.01/1385.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.01/1385.57 c 1321s| 3140k| 30 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 | 994k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1389.83/1390.32 c 1326s| 3150k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 | 997k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1394.51/1395.07 c 1330s| 3160k| 35 | 834 | 0.0 |6465k| 86 | - | 492 |2452 | 0 | 0 | 35 |1001k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1399.21/1399.71 c 1335s| 3170k| 34 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 |1004k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1403.91/1404.43 c 1339s| 3180k| 32 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 |1007k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1408.52/1409.09 c 1344s| 3190k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1010k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1413.21/1413.77 c 1348s| 3200k| 33 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1013k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1417.91/1418.41 c 1353s| 3210k| 31 | 834 | 0.0 |6462k| 86 | - | 492 |2451 | 0 | 0 | 35 |1017k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1421.81/1422.40 c 1356s| 3220k| 54 | 834 | 0.0 |6469k| 86 | - | 492 |2453 | 0 | 0 | 35 |1020k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1425.90/1426.41 c 1360s| 3230k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1023k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1430.50/1431.06 c 1365s| 3240k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1026k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1435.19/1435.72 c 1369s| 3250k| 33 | 834 | 0.0 |6467k| 86 | - | 492 |2453 | 0 | 0 | 35 |1030k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1439.80/1440.36 c 1374s| 3260k| 34 | 834 | 0.0 |6466k| 86 | - | 492 |2453 | 0 | 0 | 35 |1033k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1444.40/1444.92 c 1378s| 3270k| 61 | 834 | 0.0 |6469k| 86 | - | 492 |2451 | 0 | 0 | 35 |1036k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1448.99/1449.53 c 1382s| 3280k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1039k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1453.70/1454.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.70/1454.22 c 1387s| 3290k| 37 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1042k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1458.29/1458.82 c 1391s| 3300k| 38 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1045k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1462.89/1463.48 c 1396s| 3310k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1049k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1467.49/1468.06 c 1400s| 3320k| 38 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1052k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1472.19/1472.77 c 1405s| 3330k| 34 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1055k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1476.89/1477.46 c 1409s| 3340k| 34 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1058k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1481.58/1482.19 c 1414s| 3350k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1061k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1486.28/1486.88 c 1418s| 3360k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1065k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1490.88/1491.45 c 1422s| 3370k| 36 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1068k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1495.48/1496.09 c 1427s| 3380k| 32 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1071k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1500.18/1500.73 c 1431s| 3390k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1074k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1504.77/1505.39 c 1436s| 3400k| 31 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1077k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1509.18/1509.71 c 1440s| 3410k| 38 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1081k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1513.77/1514.32 c 1444s| 3420k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1084k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1518.47/1519.01 c 1449s| 3430k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2452 | 0 | 0 | 35 |1087k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1523.07/1523.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.07/1523.64 c 1453s| 3440k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1090k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1527.66/1528.27 c 1458s| 3450k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1093k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1532.27/1532.85 c 1462s| 3460k| 35 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1097k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1536.86/1537.49 c 1467s| 3470k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1100k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1541.46/1542.06 c 1471s| 3480k| 33 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1103k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1545.97/1546.60 c 1475s| 3490k| 34 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1106k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1550.56/1551.17 c 1480s| 3500k| 30 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1109k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1555.06/1555.68 c 1484s| 3510k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1112k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1559.76/1560.33 c 1488s| 3520k| 33 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1116k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1564.46/1565.04 c 1493s| 3530k| 32 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1119k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1569.16/1569.78 c 1497s| 3540k| 31 | 834 | 0.0 |6467k| 86 | - | 492 |2454 | 0 | 0 | 35 |1122k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1573.85/1574.40 c 1502s| 3550k| 35 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1125k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1578.45/1579.08 c 1506s| 3560k| 33 | 834 | 0.0 |6463k| 86 | - | 492 |2451 | 0 | 0 | 35 |1128k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1583.15/1583.79 c 1511s| 3570k| 28 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1132k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1587.85/1588.46 c 1515s| 3580k| 30 | 834 | 0.0 |6466k| 86 | - | 492 |2452 | 0 | 0 | 35 |1135k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1592.65/1593.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.65/1593.22 c 1520s| 3590k| 40 | 834 | 0.0 |6467k| 86 | - | 492 |2453 | 0 | 0 | 35 |1138k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1596.24/1596.84 c 1523s| 3600k| 57 | 834 | 0.0 |6469k| 86 | - | 492 |2452 | 0 | 0 | 35 |1142k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1599.54/1600.19 c 1526s| 3610k| 50 | 834 | 0.0 |6467k| 86 | - | 492 |2451 | 0 | 0 | 35 |1145k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1603.34/1603.90 c 1530s| 3620k| 52 | 834 | 0.0 |6471k| 86 | - | 492 |2451 | 0 | 0 | 35 |1149k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1607.13/1607.71 c 1534s| 3630k| 48 | 834 | 0.0 |6467k| 86 | - | 492 |2451 | 0 | 0 | 35 |1153k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1611.84/1612.40 c 1538s| 3640k| 42 | 834 | 0.0 |6466k| 86 | - | 492 |2451 | 0 | 0 | 35 |1157k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1615.44/1616.02 c 1541s| 3650k| 50 | 834 | 0.0 |6468k| 86 | - | 492 |2451 | 0 | 0 | 35 |1160k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1619.84/1620.40 c 1546s| 3660k| 39 | 834 | 0.0 |6468k| 86 | - | 492 |2454 | 0 | 0 | 35 |1164k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1624.54/1625.12 c 1550s| 3670k| 36 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1168k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1629.13/1629.80 c 1555s| 3680k| 37 | 834 | 0.0 |6468k| 86 | - | 492 |2453 | 0 | 0 | 35 |1171k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1633.94/1634.57 c 1559s| 3690k| 35 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1174k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1638.63/1639.25 c 1564s| 3700k| 40 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1177k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1643.33/1643.93 c 1568s| 3710k| 37 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1181k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1648.02/1648.65 c 1573s| 3720k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1184k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1652.73/1653.37 c 1577s| 3730k| 38 | 834 | 0.0 |6467k| 86 | - | 492 |2454 | 0 | 0 | 35 |1187k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1657.53/1658.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1657.53/1658.15 c 1582s| 3740k| 35 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1190k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1662.12/1662.76 c 1586s| 3750k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1193k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1666.82/1667.45 c 1591s| 3760k| 38 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1197k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1671.52/1672.13 c 1595s| 3770k| 37 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1200k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1676.21/1676.89 c 1600s| 3780k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1203k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1680.92/1681.55 c 1604s| 3790k| 44 | 834 | 0.0 |6468k| 86 | - | 492 |2452 | 0 | 0 | 35 |1206k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1685.62/1686.20 c 1609s| 3800k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1209k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1690.21/1690.89 c 1613s| 3810k| 34 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1213k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1695.01/1695.69 c 1618s| 3820k| 33 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1216k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1699.92/1700.52 c 1622s| 3830k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1219k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1704.20/1704.87 c 1626s| 3840k| 38 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1222k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1708.91/1709.50 c 1631s| 3850k| 37 | 834 | 0.0 |6468k| 86 | - | 492 |2452 | 0 | 0 | 35 |1226k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1713.71/1714.30 c 1635s| 3860k| 42 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1229k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1718.40/1719.00 c 1640s| 3870k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1232k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1723.01/1723.68 c 1644s| 3880k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1235k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1727.70/1728.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.70/1728.31 c 1649s| 3890k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1238k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1732.40/1733.08 c 1653s| 3900k| 33 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1242k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1737.09/1737.79 c 1658s| 3910k| 36 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1245k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1741.80/1742.46 c 1662s| 3920k| 34 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1248k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1746.40/1747.06 c 1667s| 3930k| 39 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1251k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1751.19/1751.81 c 1671s| 3940k| 37 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1255k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1755.79/1756.46 c 1676s| 3950k| 34 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1258k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1760.50/1761.16 c 1680s| 3960k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1261k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1765.18/1765.89 c 1685s| 3970k| 35 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1264k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1769.88/1770.56 c 1689s| 3980k| 37 | 834 | 0.0 |6466k| 86 | - | 492 |2451 | 0 | 0 | 35 |1267k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1774.69/1775.34 c 1694s| 3990k| 31 | 834 | 0.0 |6468k| 86 | - | 492 |2453 | 0 | 0 | 35 |1271k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1779.38/1780.04 c 1698s| 4000k| 35 | 834 | 0.0 |6467k| 86 | - | 492 |2452 | 0 | 0 | 35 |1274k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1784.08/1784.77 c 1703s| 4010k| 32 | 834 | 0.0 |6467k| 86 | - | 492 |2453 | 0 | 0 | 35 |1277k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1788.78/1789.40 c 1707s| 4020k| 54 | 834 | 0.0 |6469k| 86 | - | 492 |2451 | 0 | 0 | 35 |1280k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1793.08/1793.74 c 1712s| 4030k| 38 | 834 | 0.0 |6465k| 86 | - | 492 |2451 | 0 | 0 | 35 |1284k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1797.68/1798.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.68/1798.34 c 1716s| 4040k| 35 | 834 | 0.0 |6464k| 86 | - | 492 |2451 | 0 | 0 | 35 |1287k| 19 | 1.550000e+02 | 2.150000e+02 | 38.71%
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1718.14
1800.08/1800.71 c Solving Nodes : 4045017
1800.08/1800.71 c Primal Bound : +2.15000000000000e+02 (8 solutions)
1800.08/1800.71 c Dual Bound : +1.55000000000000e+02
1800.08/1800.71 c Gap : 38.71 %
1800.08/1800.71 s SATISFIABLE
1800.08/1800.71 v -x498 x497 x496 -x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 -x482 x481 -x480 -x479 x478 -x477 -x476
1800.08/1800.71 v x475 -x474 x473 x472 -x471 x470 -x469 -x468 x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459 -x458 x457 -x456 x455 x454 -x453
1800.08/1800.71 v x452 -x451 -x450 x449 x448 -x447 x446 -x445 -x444 x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 -x433 x432 -x431 x430
1800.08/1800.71 v -x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421 -x420 x419 x418 -x417 x416 -x415 -x414 x413 x412 -x411 x410 -x409 -x408
1800.08/1800.71 v x407 x406 -x405 x404 -x403 -x402 x401 x400 -x399 x398 -x397 -x396 -x395 -x394 x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385
1800.08/1800.71 v -x384 x383 x382 -x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362
1800.08/1800.71 v x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340
1800.08/1800.71 v x339 -x338 x337 x336 -x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317
1800.08/1800.71 v -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294
1800.08/1800.71 v x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271
1800.08/1800.71 v -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249
1800.08/1800.71 v -x248 x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 -x228 x227
1800.08/1800.71 v -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207 -x206
1800.08/1800.71 v x205 -x204 x203 x202 -x201 -x200 x199 x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 -x183
1800.08/1800.71 v -x182 x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162
1800.08/1800.71 v -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 x143 -x142 -x141 -x140
1800.08/1800.71 v -x139 -x138 x137 -x136 x135 x134 -x133 -x132 -x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 -x120 x119 -x118
1800.08/1800.71 v x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 x99 -x98 x97 -x96 x95 -x94
1800.08/1800.71 v x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66
1800.08/1800.71 v x65 x64 -x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 -x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39
1800.08/1800.71 v -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11
1800.08/1800.71 v -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1718.14
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-2665540-1276467654.opb
1800.08/1800.71 c Variables : 498 (498 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 2431 initial, 2431 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-2665540-1276467654.opb
1800.08/1800.71 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 2425 initial, 2590 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c probing : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.71 c linear : 0.04 0 6 0 0 0 6 0 0
1800.08/1800.71 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.08/1800.71 c root node : - 0 - - 0 - - - -
1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.71 c logicor : 2425+ 7 8654240 0 8 1288098 7771513 0 0 0
1800.08/1800.71 c countsols : 0 0 0 0 8 0 0 0 0 0
1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.71 c integral : 1.23 0.00 0.00 1.23 0.00
1800.08/1800.71 c logicor : 1038.40 0.00 1038.40 0.00 0.00
1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.71 c vbounds : 6.07 2 0 0
1800.08/1800.71 c rootredcost : 5.64 8 0 0
1800.08/1800.71 c pseudoobj : 365.14 12174881 944283 58332885
1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.71 c propagation : 908.08 1288098 1288098 1288098 46.0 1121 34.8 -
1800.08/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c pseudo solution : 7.98 68836 0 0 0.0 0 0.0 -
1800.08/1800.71 c applied globally : - - - 1216810 45.5 - - -
1800.08/1800.71 c applied locally : - - - 72252 54.0 - - -
1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.71 c cut pool : 0.01 6 - - 0 - (maximal pool size: 430)
1800.08/1800.71 c redcost : 0.00 7 0 0 0 0
1800.08/1800.71 c impliedbounds : 0.00 7 0 0 0 0
1800.08/1800.71 c intobj : 0.00 0 0 0 0 0
1800.08/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.71 c gomory : 0.33 7 0 0 2176 0
1800.08/1800.71 c strongcg : 0.24 7 0 0 3500 0
1800.08/1800.71 c cmir : 0.12 7 0 0 0 0
1800.08/1800.71 c flowcover : 0.08 7 0 0 0 0
1800.08/1800.71 c clique : 0.01 1 0 0 0 0
1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.71 c mcf : 0.01 1 0 0 0 0
1800.08/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.71 c Pricers : Time Calls Vars
1800.08/1800.71 c problem variables: 0.00 0 0
1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c relpscost : 1.23 1 0 0 0 0 2
1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.71 c inference : 29.22 2445654 0 0 0 0 4891308
1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c random : 0.00 0 0 0 0 0 0
1800.08/1800.71 c Primal Heuristics : Time Calls Found
1800.08/1800.71 c LP solutions : 0.00 - 0
1800.08/1800.71 c pseudo solutions : 0.01 - 8
1800.08/1800.71 c oneopt : 3.15 0 0
1800.08/1800.71 c crossover : 0.00 0 0
1800.08/1800.71 c trivial : 0.00 2 0
1800.08/1800.71 c simplerounding : 0.00 0 0
1800.08/1800.71 c zirounding : 0.00 1 0
1800.08/1800.71 c rounding : 0.01 8 0
1800.08/1800.71 c shifting : 0.02 8 0
1800.08/1800.71 c intshifting : 0.00 0 0
1800.08/1800.71 c twoopt : 0.00 0 0
1800.08/1800.71 c fixandinfer : 0.00 0 0
1800.08/1800.71 c feaspump : 0.02 1 0
1800.08/1800.71 c coefdiving : 0.00 0 0
1800.08/1800.71 c pscostdiving : 0.00 0 0
1800.08/1800.71 c fracdiving : 0.00 0 0
1800.08/1800.71 c veclendiving : 0.00 0 0
1800.08/1800.71 c intdiving : 0.00 0 0
1800.08/1800.71 c actconsdiving : 0.00 0 0
1800.08/1800.71 c objpscostdiving : 0.00 0 0
1800.08/1800.71 c rootsoldiving : 0.00 0 0
1800.08/1800.71 c linesearchdiving : 0.00 0 0
1800.08/1800.71 c guideddiving : 0.00 0 0
1800.08/1800.71 c octane : 0.00 0 0
1800.08/1800.71 c rens : 0.00 0 0
1800.08/1800.71 c rins : 0.00 0 0
1800.08/1800.71 c localbranching : 0.00 0 0
1800.08/1800.71 c mutation : 0.00 0 0
1800.08/1800.71 c dins : 0.00 0 0
1800.08/1800.71 c undercover : 0.00 0 0
1800.08/1800.71 c nlp : 1.58 0 0
1800.08/1800.71 c trysol : 1.75 0 0
1800.08/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.71 c dual LP : 0.18 8 834 104.25 4633.33
1800.08/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.71 c diving/probing LP: 0.01 0 0 0.00 0.00
1800.08/1800.71 c strong branching : 1.23 19 5038 265.16 4095.93
1800.08/1800.71 c (at root node) : - 19 5038 265.16 -
1800.08/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.71 c B&B Tree :
1800.08/1800.71 c number of runs : 1
1800.08/1800.71 c nodes : 4045017
1800.08/1800.71 c nodes (total) : 4045017
1800.08/1800.71 c nodes left : 32
1800.08/1800.71 c max depth : 86
1800.08/1800.71 c max depth (total): 86
1800.08/1800.71 c backtracks : 1108669 (27.4%)
1800.08/1800.71 c delayed cutoffs : 710081
1800.08/1800.71 c repropagations : 1048269 (5201940 domain reductions, 701863 cutoffs)
1800.08/1800.71 c avg switch length: 2.03
1800.08/1800.71 c switching time : 96.54
1800.08/1800.71 c Solution :
1800.08/1800.71 c Solutions found : 8 (8 improvements)
1800.08/1800.71 c First Solution : +2.29000000000000e+02 (in run 1, after 57 nodes, 2.41 seconds, depth 53, found by <relaxation>)
1800.08/1800.71 c Primal Bound : +2.15000000000000e+02 (in run 1, after 205485 nodes, 55.57 seconds, depth 33, found by <relaxation>)
1800.08/1800.71 c Dual Bound : +1.55000000000000e+02
1800.08/1800.71 c Gap : 38.71 %
1800.08/1800.71 c Root Dual Bound : +1.55000000000000e+02
1800.08/1800.71 c Root Iterations : 834
1800.08/1800.73 c Time complete: 1800.12.