0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666970-1276467686.opb>
0.02/0.06 c original problem has 498 variables (498 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.02/0.06 c problem read
0.02/0.06 c presolving settings loaded
0.02/0.08 c presolving:
0.09/0.10 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.21 c (0.1s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (4 rounds):
0.19/0.21 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 15732 implications, 0 cliques
0.19/0.21 c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 2425 constraints
0.19/0.21 c 2425 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.12
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.95
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = 0
0.19/0.21 c
0.19/0.21 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.21 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.21 c lp/pricing = a
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # priority of node selection rule <dfs> in standard mode
0.19/0.21 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.21 c nodeselection/dfs/stdpriority = 1000000
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.29/0.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c 0.2s| 1 | 0 | 815 | - |5117k| 0 | 293 | 492 |2425 | 492 |2425 | 0 | 0 | 0 | 1.495000e+02 | -- | Inf
1.59/1.62 c 1.5s| 1 | 0 | 3699 | - |5380k| 0 | 289 | 492 |2425 | 492 |2432 | 7 | 0 | 0 | 1.515000e+02 | -- | Inf
1.69/1.76 c 1.6s| 1 | 0 | 3772 | - |5510k| 0 | 286 | 492 |2425 | 492 |2438 | 13 | 0 | 0 | 1.530000e+02 | -- | Inf
1.89/1.93 c 1.8s| 1 | 0 | 3844 | - |5630k| 0 | 284 | 492 |2425 | 492 |2444 | 19 | 0 | 0 | 1.540000e+02 | -- | Inf
2.10/2.13 c 2.0s| 1 | 0 | 3908 | - |5730k| 0 | 284 | 492 |2425 | 492 |2449 | 24 | 0 | 0 | 1.540000e+02 | -- | Inf
2.29/2.37 c 2.2s| 1 | 0 | 4036 | - |5796k| 0 | 286 | 492 |2425 | 492 |2455 | 30 | 0 | 0 | 1.540000e+02 | -- | Inf
2.49/2.58 c 2.4s| 1 | 0 | 4118 | - |5870k| 0 | 288 | 492 |2425 | 492 |2461 | 36 | 0 | 0 | 1.545000e+02 | -- | Inf
2.79/2.84 c 2.7s| 1 | 0 | 4262 | - |5891k| 0 | 282 | 492 |2425 | 492 |2467 | 42 | 0 | 0 | 1.550000e+02 | -- | Inf
3.20/3.23 c 3.1s| 1 | 0 | 4555 | - |5940k| 0 | 283 | 492 |2425 | 492 |2473 | 48 | 0 | 0 | 1.557500e+02 | -- | Inf
3.49/3.59 c 3.4s| 1 | 0 | 4751 | - |6020k| 0 | 285 | 492 |2425 | 492 |2479 | 54 | 0 | 0 | 1.570000e+02 | -- | Inf
3.99/4.02 c 3.9s| 1 | 0 | 5057 | - |6133k| 0 | 310 | 492 |2425 | 492 |2485 | 60 | 0 | 0 | 1.573571e+02 | -- | Inf
4.19/4.28 c 4.1s| 1 | 0 | 5274 | - |6218k| 0 | 278 | 492 |2425 | 492 |2488 | 63 | 0 | 0 | 1.580000e+02 | -- | Inf
4.49/4.55 c 4.4s| 1 | 0 | 5410 | - |6324k| 0 | 282 | 492 |2425 | 492 |2492 | 67 | 0 | 0 | 1.580000e+02 | -- | Inf
4.99/5.09 c 4.9s| 1 | 0 | 5622 | - |6383k| 0 | 313 | 492 |2425 | 492 |2492 | 69 | 0 | 0 | 1.580244e+02 | -- | Inf
5.50/5.57 c 5.4s| 1 | 0 | 5864 | - |6558k| 0 | 307 | 492 |2425 | 492 |2498 | 75 | 0 | 0 | 1.580589e+02 | -- | Inf
6.09/6.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.16 c 6.0s| 1 | 0 | 6162 | - |6587k| 0 | 317 | 492 |2425 | 492 |2501 | 78 | 0 | 0 | 1.584132e+02 | -- | Inf
6.49/6.58 c 6.4s| 1 | 0 | 6397 | - |6737k| 0 | 321 | 492 |2425 | 492 |2507 | 84 | 0 | 0 | 1.590403e+02 | -- | Inf
6.99/7.07 c 6.8s| 1 | 0 | 6883 | - |6850k| 0 | 339 | 492 |2425 | 492 |2515 | 92 | 0 | 0 | 1.595255e+02 | -- | Inf
7.70/7.77 c 7.5s| 1 | 0 | 7249 | - |7045k| 0 | 293 | 492 |2425 | 492 |2522 | 99 | 0 | 0 | 1.600000e+02 | -- | Inf
8.08/8.18 c 7.9s| 1 | 0 | 7510 | - |7208k| 0 | 272 | 492 |2425 | 492 |2513 | 105 | 0 | 0 | 1.600000e+02 | -- | Inf
8.69/8.77 c 8.5s| 1 | 0 | 7689 | - |7213k| 0 | 292 | 492 |2425 | 492 |2514 | 106 | 0 | 0 | 1.600000e+02 | -- | Inf
9.49/9.56 c 9.3s| 1 | 0 | 8397 | - |7217k| 0 | 315 | 492 |2425 | 492 |2517 | 109 | 0 | 0 | 1.601145e+02 | -- | Inf
9.80/9.88 c 9.6s| 1 | 0 | 8719 | - |7590k| 0 | 292 | 492 |2425 | 492 |2520 | 112 | 0 | 0 | 1.603750e+02 | -- | Inf
10.09/10.18 c 9.9s| 1 | 0 | 9061 | - |7626k| 0 | 293 | 492 |2425 | 492 |2524 | 116 | 0 | 0 | 1.608500e+02 | -- | Inf
10.59/10.68 c 10.4s| 1 | 0 | 9421 | - |7651k| 0 | 284 | 492 |2425 | 492 |2527 | 119 | 0 | 0 | 1.610278e+02 | -- | Inf
11.09/11.16 c 10.9s| 1 | 0 | 10075 | - |7686k| 0 | 304 | 492 |2425 | 492 |2522 | 122 | 0 | 0 | 1.614250e+02 | -- | Inf
11.69/11.74 c 11.4s| 1 | 0 | 10581 | - |7711k| 0 | 315 | 492 |2425 | 492 |2526 | 126 | 0 | 0 | 1.618483e+02 | -- | Inf
12.10/12.18 c 11.9s| 1 | 0 | 11142 | - |7799k| 0 | 317 | 492 |2425 | 492 |2530 | 130 | 0 | 0 | 1.624955e+02 | -- | Inf
12.58/12.60 c 12.3s| 1 | 0 | 11600 | - |7971k| 0 | 316 | 492 |2425 | 492 |2532 | 132 | 0 | 0 | 1.626873e+02 | -- | Inf
12.99/13.08 c 12.8s| 1 | 0 | 11917 | - |7975k| 0 | 321 | 492 |2425 | 492 |2533 | 133 | 0 | 0 | 1.626989e+02 | -- | Inf
23.38/23.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.38/23.45 c 22.9s| 1 | 2 | 11917 | - |7976k| 0 | 321 | 492 |2425 | 492 |2533 | 133 | 0 | 25 | 1.626989e+02 | -- | Inf
23.38/23.46 o 241
23.38/23.46 c *23.0s| 32 | 19 | 11917 | 0.0 |8048k| 29 | - | 492 |2431 | 0 | 0 | 133 | 6 | 25 | 1.629250e+02 | 2.410000e+02 | 47.92%
23.38/23.47 o 240
23.38/23.47 c *23.0s| 56 | 24 | 11917 | 0.0 |8067k| 31 | - | 492 |2433 | 0 | 0 | 133 | 17 | 25 | 1.629250e+02 | 2.400000e+02 | 47.31%
23.38/23.48 o 239
23.38/23.48 c *23.0s| 78 | 28 | 11917 | 0.0 |8078k| 35 | - | 492 |2434 | 0 | 0 | 133 | 22 | 25 | 1.629250e+02 | 2.390000e+02 | 46.69%
23.38/23.48 o 238
23.38/23.48 c *23.0s| 80 | 27 | 11917 | 0.0 |8084k| 35 | - | 492 |2434 | 0 | 0 | 133 | 22 | 25 | 1.629250e+02 | 2.380000e+02 | 46.08%
23.49/23.56 o 237
23.49/23.56 c *23.1s| 410 | 25 | 11917 | 0.0 |8096k| 36 | - | 492 |2438 | 0 | 0 | 133 | 79 | 25 | 1.629250e+02 | 2.370000e+02 | 45.47%
23.59/23.63 o 235
23.59/23.63 c *23.1s| 701 | 31 | 11917 | 0.0 |8107k| 46 | - | 492 |2433 | 0 | 0 | 133 | 138 | 25 | 1.629250e+02 | 2.350000e+02 | 44.24%
23.59/23.64 o 234
23.59/23.64 c *23.1s| 726 | 27 | 11917 | 0.0 |8113k| 46 | - | 492 |2435 | 0 | 0 | 133 | 144 | 25 | 1.629250e+02 | 2.340000e+02 | 43.62%
23.89/23.95 o 232
23.89/23.95 c *23.4s| 1949 | 29 | 11917 | 0.0 |8126k| 51 | - | 492 |2437 | 0 | 0 | 133 | 366 | 25 | 1.629250e+02 | 2.320000e+02 | 42.40%
24.39/24.48 o 231
24.39/24.48 c *23.9s| 3907 | 39 | 11917 | 0.0 |8138k| 51 | - | 492 |2432 | 0 | 0 | 133 | 824 | 25 | 1.629250e+02 | 2.310000e+02 | 41.78%
26.08/26.12 c 25.4s| 10000 | 15 | 11917 | 0.0 |8147k| 51 | - | 492 |2448 | 0 | 0 | 133 |2200 | 25 | 1.629250e+02 | 2.310000e+02 | 41.78%
26.30/26.33 o 230
26.30/26.33 c *25.6s| 10608 | 35 | 11917 | 0.0 |8163k| 51 | - | 492 |2432 | 0 | 0 | 133 |2372 | 25 | 1.629250e+02 | 2.300000e+02 | 41.17%
26.39/26.44 o 229
26.39/26.44 c *25.7s| 10987 | 34 | 11917 | 0.0 |8174k| 51 | - | 492 |2440 | 0 | 0 | 133 |2503 | 25 | 1.629250e+02 | 2.290000e+02 | 40.56%
28.69/28.75 c 27.9s| 20000 | 26 | 11917 | 0.0 |8171k| 51 | - | 492 |2436 | 0 | 0 | 133 |4933 | 25 | 1.629250e+02 | 2.290000e+02 | 40.56%
30.69/30.77 o 228
30.69/30.77 c *29.8s| 27947 | 29 | 11917 | 0.0 |8186k| 51 | - | 492 |2443 | 0 | 0 | 133 |6901 | 25 | 1.629250e+02 | 2.280000e+02 | 39.94%
31.28/31.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.28/31.32 c 30.3s| 30000 | 28 | 11917 | 0.0 |8182k| 51 | - | 492 |2436 | 0 | 0 | 133 |7425 | 25 | 1.629250e+02 | 2.280000e+02 | 39.94%
33.79/33.85 c 32.6s| 40000 | 26 | 11917 | 0.0 |8180k| 51 | - | 492 |2433 | 0 | 0 | 133 |9756 | 25 | 1.629250e+02 | 2.280000e+02 | 39.94%
36.28/36.33 c 34.9s| 50000 | 28 | 11917 | 0.0 |8181k| 51 | - | 492 |2432 | 0 | 0 | 133 | 12k| 25 | 1.629250e+02 | 2.280000e+02 | 39.94%
38.67/38.72 c 37.1s| 60000 | 22 | 11917 | 0.0 |8184k| 53 | - | 492 |2444 | 0 | 0 | 133 | 14k| 25 | 1.629250e+02 | 2.280000e+02 | 39.94%
41.07/41.15 c 39.4s| 70000 | 23 | 11917 | 0.0 |8180k| 54 | - | 492 |2430 | 0 | 0 | 133 | 16k| 25 | 1.629250e+02 | 2.280000e+02 | 39.94%
42.67/42.71 o 227
42.67/42.71 c *40.8s| 76635 | 51 | 11917 | 0.0 |8197k| 60 | - | 492 |2436 | 0 | 0 | 133 | 17k| 25 | 1.629250e+02 | 2.270000e+02 | 39.33%
42.67/42.73 o 226
42.67/42.73 c *40.8s| 76744 | 44 | 11917 | 0.0 |8202k| 62 | - | 492 |2437 | 0 | 0 | 133 | 17k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
43.58/43.63 c 41.7s| 80000 | 32 | 11917 | 0.0 |8199k| 62 | - | 492 |2437 | 0 | 0 | 133 | 18k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
45.37/45.44 c 43.3s| 90000 | 31 | 11917 | 0.0 |8199k| 62 | - | 492 |2437 | 0 | 0 | 133 | 19k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
47.38/47.47 c 45.2s|100000 | 20 | 11917 | 0.0 |8197k| 62 | - | 492 |2438 | 0 | 0 | 133 | 20k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
49.97/50.04 c 47.6s|110000 | 29 | 11917 | 0.0 |8206k| 62 | - | 492 |2449 | 0 | 0 | 133 | 22k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
52.57/52.68 c 50.0s|120000 | 17 | 11917 | 0.0 |8198k| 62 | - | 492 |2434 | 0 | 0 | 133 | 25k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
55.07/55.15 c 52.3s|130000 | 24 | 11917 | 0.0 |8203k| 62 | - | 492 |2438 | 0 | 0 | 133 | 27k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
57.47/57.59 c 54.5s|140000 | 20 | 11917 | 0.0 |8214k| 62 | - | 492 |2467 | 0 | 0 | 133 | 28k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
60.07/60.15 c 56.9s|150000 | 23 | 11917 | 0.0 |8206k| 62 | - | 492 |2445 | 0 | 0 | 133 | 31k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
62.57/62.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.57/62.60 c 59.2s|160000 | 18 | 11917 | 0.0 |8206k| 62 | - | 492 |2445 | 0 | 0 | 133 | 33k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
64.88/64.95 c 61.3s|170000 | 20 | 11917 | 0.0 |8206k| 62 | - | 492 |2438 | 0 | 0 | 133 | 35k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
67.07/67.19 c 63.4s|180000 | 22 | 11917 | 0.0 |8208k| 62 | - | 492 |2442 | 0 | 0 | 133 | 37k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
69.36/69.44 c 65.5s|190000 | 26 | 11917 | 0.0 |8213k| 62 | - | 492 |2452 | 0 | 0 | 133 | 39k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
72.07/72.11 c 68.0s|200000 | 19 | 11917 | 0.0 |8213k| 62 | - | 492 |2451 | 0 | 0 | 133 | 42k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
74.56/74.63 c 70.3s|210000 | 20 | 11917 | 0.0 |8218k| 62 | - | 492 |2463 | 0 | 0 | 133 | 44k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
77.07/77.15 c 72.6s|220000 | 17 | 11917 | 0.0 |8223k| 62 | - | 492 |2477 | 0 | 0 | 133 | 47k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
79.77/79.80 c 75.1s|230000 | 22 | 11917 | 0.0 |8240k| 62 | - | 492 |2509 | 0 | 0 | 133 | 49k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
82.06/82.13 c 77.3s|240000 | 18 | 11917 | 0.0 |8213k| 62 | - | 492 |2447 | 0 | 0 | 133 | 51k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
84.27/84.35 c 79.3s|250000 | 21 | 11917 | 0.0 |8221k| 62 | - | 492 |2464 | 0 | 0 | 133 | 53k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
86.57/86.63 c 81.4s|260000 | 22 | 11917 | 0.0 |8229k| 62 | - | 492 |2482 | 0 | 0 | 133 | 55k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
88.97/89.03 c 83.6s|270000 | 20 | 11917 | 0.0 |8233k| 62 | - | 492 |2496 | 0 | 0 | 133 | 57k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
91.46/91.51 c 85.9s|280000 | 22 | 11917 | 0.0 |8235k| 62 | - | 492 |2494 | 0 | 0 | 133 | 59k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
93.96/94.06 c 88.2s|290000 | 23 | 11917 | 0.0 |8228k| 62 | - | 492 |2478 | 0 | 0 | 133 | 61k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
96.46/96.57 c 90.6s|300000 | 15 | 11917 | 0.0 |8236k| 62 | - | 492 |2498 | 0 | 0 | 133 | 63k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
98.87/99.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.87/99.00 c 92.8s|310000 | 20 | 11917 | 0.0 |8241k| 62 | - | 492 |2507 | 0 | 0 | 133 | 65k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
101.36/101.49 c 95.1s|320000 | 22 | 11917 | 0.0 |8211k| 62 | - | 492 |2434 | 0 | 0 | 133 | 67k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
103.76/103.80 c 97.2s|330000 | 16 | 11917 | 0.0 |8219k| 62 | - | 492 |2456 | 0 | 0 | 133 | 69k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
106.25/106.36 c 99.6s|340000 | 19 | 11917 | 0.0 |8217k| 62 | - | 492 |2439 | 0 | 0 | 133 | 71k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
109.06/109.16 c 102s|350000 | 20 | 11917 | 0.0 |8225k| 62 | - | 492 |2453 | 0 | 0 | 133 | 74k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
111.65/111.75 c 105s|360000 | 19 | 11917 | 0.0 |8227k| 62 | - | 492 |2461 | 0 | 0 | 133 | 77k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
114.56/114.64 c 107s|370000 | 21 | 11917 | 0.0 |8227k| 62 | - | 492 |2461 | 0 | 0 | 133 | 80k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
117.25/117.37 c 110s|380000 | 22 | 11917 | 0.0 |8235k| 62 | - | 492 |2475 | 0 | 0 | 133 | 83k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
119.76/119.81 c 112s|390000 | 19 | 11917 | 0.0 |8226k| 62 | - | 492 |2455 | 0 | 0 | 133 | 85k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
122.45/122.50 c 115s|400000 | 21 | 11917 | 0.0 |8231k| 62 | - | 492 |2463 | 0 | 0 | 133 | 87k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
125.26/125.30 c 117s|410000 | 20 | 11917 | 0.0 |8236k| 62 | - | 492 |2462 | 0 | 0 | 133 | 89k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
127.85/127.98 c 120s|420000 | 17 | 11917 | 0.0 |8246k| 62 | - | 492 |2480 | 0 | 0 | 133 | 92k| 25 | 1.629250e+02 | 2.260000e+02 | 38.71%
129.75/129.81 o 218
129.75/129.81 c * 121s|426790 | 66 | 11917 | 0.0 |8260k| 77 | - | 492 |2459 | 0 | 0 | 133 | 94k| 25 | 1.629250e+02 | 2.180000e+02 | 33.80%
130.65/130.71 c 122s|430000 | 31 | 11917 | 0.0 |8254k| 77 | - | 492 |2462 | 0 | 0 | 133 | 94k| 25 | 1.629250e+02 | 2.180000e+02 | 33.80%
131.35/131.42 o 217
131.35/131.42 c * 123s|432308 | 23 | 11917 | 0.0 |8260k| 77 | - | 492 |2461 | 0 | 0 | 133 | 95k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
133.55/133.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.55/133.68 c 125s|440000 | 16 | 11917 | 0.0 |8246k| 77 | - | 492 |2437 | 0 | 0 | 133 | 97k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
136.55/136.65 c 128s|450000 | 15 | 11917 | 0.0 |8252k| 77 | - | 492 |2445 | 0 | 0 | 133 | 99k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
139.35/139.49 c 130s|460000 | 28 | 11917 | 0.0 |8262k| 77 | - | 492 |2443 | 0 | 0 | 133 | 102k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
142.05/142.19 c 133s|470000 | 18 | 11917 | 0.0 |8263k| 77 | - | 492 |2454 | 0 | 0 | 133 | 103k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
145.05/145.10 c 136s|480000 | 13 | 11917 | 0.0 |8268k| 77 | - | 492 |2469 | 0 | 0 | 133 | 106k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
147.75/147.87 c 138s|490000 | 17 | 11917 | 0.0 |8275k| 77 | - | 492 |2485 | 0 | 0 | 133 | 108k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
150.44/150.53 c 141s|500000 | 20 | 11917 | 0.0 |8274k| 77 | - | 492 |2478 | 0 | 0 | 133 | 110k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
153.04/153.10 c 143s|510000 | 20 | 11917 | 0.0 |8271k| 77 | - | 492 |2469 | 0 | 0 | 133 | 112k| 25 | 1.629250e+02 | 2.170000e+02 | 33.19%
153.55/153.66 o 216
153.55/153.66 c * 143s|512496 | 71 | 11917 | 0.0 |8290k| 88 | - | 492 |2467 | 0 | 0 | 133 | 113k| 25 | 1.629250e+02 | 2.160000e+02 | 32.58%
153.55/153.67 o 215
153.55/153.67 c * 143s|512541 | 71 | 11917 | 0.0 |8298k| 88 | - | 492 |2469 | 0 | 0 | 133 | 113k| 25 | 1.629250e+02 | 2.150000e+02 | 31.96%
153.64/153.71 o 214
153.64/153.71 c * 143s|512754 | 58 | 11917 | 0.0 |8303k| 88 | - | 492 |2470 | 0 | 0 | 133 | 113k| 25 | 1.629250e+02 | 2.140000e+02 | 31.35%
154.45/154.51 o 213
154.45/154.51 c * 144s|514952 | 38 | 11917 | 0.0 |8305k| 88 | - | 492 |2470 | 0 | 0 | 133 | 113k| 25 | 1.629250e+02 | 2.130000e+02 | 30.74%
156.24/156.34 c 146s|520000 | 29 | 11917 | 0.0 |8308k| 88 | - | 492 |2478 | 0 | 0 | 133 | 115k| 25 | 1.629250e+02 | 2.130000e+02 | 30.74%
159.54/159.61 c 149s|530000 | 37 | 11917 | 0.0 |8307k| 88 | - | 492 |2479 | 0 | 0 | 133 | 118k| 25 | 1.629250e+02 | 2.130000e+02 | 30.74%
161.24/161.36 o 212
161.24/161.36 c * 151s|535200 | 31 | 11917 | 0.0 |8317k| 88 | - | 492 |2481 | 0 | 0 | 133 | 120k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
162.84/162.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.84/162.91 c 152s|540000 | 28 | 11917 | 0.0 |8310k| 88 | - | 492 |2474 | 0 | 0 | 133 | 121k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
165.34/165.46 c 155s|550000 | 18 | 11917 | 0.0 |8306k| 88 | - | 492 |2470 | 0 | 0 | 133 | 123k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
167.84/167.93 c 157s|560000 | 18 | 11917 | 0.0 |8316k| 88 | - | 492 |2493 | 0 | 0 | 133 | 124k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
170.14/170.29 c 159s|570000 | 16 | 11917 | 0.0 |8327k| 88 | - | 492 |2514 | 0 | 0 | 133 | 126k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
172.84/172.94 c 161s|580000 | 16 | 11917 | 0.0 |8308k| 88 | - | 492 |2475 | 0 | 0 | 133 | 128k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
175.04/175.16 c 163s|590000 | 15 | 11917 | 0.0 |8320k| 88 | - | 492 |2504 | 0 | 0 | 133 | 129k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
177.54/177.69 c 166s|600000 | 13 | 11917 | 0.0 |8319k| 88 | - | 492 |2502 | 0 | 0 | 133 | 131k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
180.04/180.15 c 168s|610000 | 16 | 11917 | 0.0 |8321k| 88 | - | 492 |2507 | 0 | 0 | 133 | 133k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
182.45/182.52 c 170s|620000 | 17 | 11917 | 0.0 |8315k| 88 | - | 492 |2491 | 0 | 0 | 133 | 135k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
184.83/184.99 c 173s|630000 | 16 | 11917 | 0.0 |8325k| 88 | - | 492 |2515 | 0 | 0 | 133 | 136k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
187.24/187.30 c 175s|640000 | 14 | 11917 | 0.0 |8330k| 88 | - | 492 |2525 | 0 | 0 | 133 | 138k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
189.63/189.72 c 177s|650000 | 12 | 11917 | 0.0 |8329k| 88 | - | 492 |2522 | 0 | 0 | 133 | 139k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
192.24/192.37 c 179s|660000 | 15 | 11917 | 0.0 |8308k| 88 | - | 492 |2474 | 0 | 0 | 133 | 141k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
194.83/194.94 c 182s|670000 | 17 | 11917 | 0.0 |8313k| 88 | - | 492 |2471 | 0 | 0 | 133 | 143k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
197.33/197.45 c 184s|680000 | 21 | 11917 | 0.0 |8312k| 88 | - | 492 |2470 | 0 | 0 | 133 | 145k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
199.83/199.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.83/199.96 c 186s|690000 | 18 | 11917 | 0.0 |8305k| 88 | - | 492 |2451 | 0 | 0 | 133 | 146k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
202.83/202.90 c 189s|700000 | 17 | 11917 | 0.0 |8303k| 88 | - | 492 |2442 | 0 | 0 | 133 | 148k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
205.33/205.48 c 192s|710000 | 15 | 11917 | 0.0 |8330k| 88 | - | 492 |2509 | 0 | 0 | 133 | 150k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
208.23/208.38 c 194s|720000 | 13 | 11917 | 0.0 |8311k| 88 | - | 492 |2462 | 0 | 0 | 133 | 152k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
211.23/211.36 c 197s|730000 | 14 | 11917 | 0.0 |8314k| 88 | - | 492 |2444 | 0 | 0 | 133 | 154k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
213.83/213.96 c 199s|740000 | 14 | 11917 | 0.0 |8319k| 88 | - | 492 |2447 | 0 | 0 | 133 | 156k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
216.73/216.89 c 202s|750000 | 37 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 158k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
220.73/220.86 c 206s|760000 | 28 | 11917 | 0.0 |8334k| 88 | - | 492 |2461 | 0 | 0 | 133 | 163k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
224.93/225.01 c 210s|770000 | 26 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 168k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
228.63/228.73 c 213s|780000 | 27 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 172k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
232.13/232.29 c 217s|790000 | 28 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 177k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
235.82/235.90 c 220s|800000 | 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 181k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
239.42/239.58 c 224s|810000 | 26 | 11917 | 0.0 |8330k| 88 | - | 492 |2454 | 0 | 0 | 133 | 185k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
243.12/243.24 c 227s|820000 | 25 | 11917 | 0.0 |8330k| 88 | - | 492 |2454 | 0 | 0 | 133 | 190k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
246.82/246.96 c 230s|830000 | 27 | 11917 | 0.0 |8330k| 88 | - | 492 |2453 | 0 | 0 | 133 | 194k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
250.62/250.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.62/250.78 c 234s|840000 | 29 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 199k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
254.42/254.50 c 238s|850000 | 28 | 11917 | 0.0 |8331k| 88 | - | 492 |2454 | 0 | 0 | 133 | 204k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
258.22/258.34 c 241s|860000 | 25 | 11917 | 0.0 |8332k| 88 | - | 492 |2458 | 0 | 0 | 133 | 209k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
262.62/262.73 c 245s|870000 | 24 | 11917 | 0.0 |8330k| 88 | - | 492 |2453 | 0 | 0 | 133 | 215k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
266.72/266.88 c 249s|880000 | 25 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 220k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
270.82/270.95 c 253s|890000 | 29 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 226k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
274.61/274.78 c 257s|900000 | 28 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 231k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
278.61/278.74 c 261s|910000 | 25 | 11917 | 0.0 |8333k| 88 | - | 492 |2453 | 0 | 0 | 133 | 235k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
282.31/282.48 c 264s|920000 | 25 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 240k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
286.01/286.13 c 267s|930000 | 24 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 | 244k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
289.91/290.03 c 271s|940000 | 25 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 249k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
293.51/293.62 c 275s|950000 | 21 | 11917 | 0.0 |8332k| 88 | - | 492 |2455 | 0 | 0 | 133 | 253k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
297.41/297.50 c 278s|960000 | 24 | 11917 | 0.0 |8333k| 88 | - | 492 |2460 | 0 | 0 | 133 | 258k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
301.31/301.46 c 282s|970000 | 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 262k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
305.30/305.42 c 286s|980000 | 25 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 267k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
309.30/309.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.30/309.46 c 290s|990000 | 25 | 11917 | 0.0 |8333k| 88 | - | 492 |2453 | 0 | 0 | 133 | 272k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
313.50/313.68 c 294s| 1000k| 20 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 277k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
317.60/317.70 c 297s| 1010k| 21 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 281k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
321.40/321.50 c 301s| 1020k| 21 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 286k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
324.89/325.08 c 304s| 1030k| 29 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 290k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
328.60/328.74 c 308s| 1040k| 27 | 11917 | 0.0 |8336k| 88 | - | 492 |2457 | 0 | 0 | 133 | 295k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
332.50/332.69 c 311s| 1050k| 24 | 11917 | 0.0 |8331k| 88 | - | 492 |2454 | 0 | 0 | 133 | 299k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
336.20/336.36 c 315s| 1060k| 29 | 11917 | 0.0 |8331k| 88 | - | 492 |2452 | 0 | 0 | 133 | 304k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
339.90/340.02 c 318s| 1070k| 25 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 308k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
343.60/343.70 c 322s| 1080k| 23 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 312k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
347.30/347.44 c 325s| 1090k| 28 | 11917 | 0.0 |8332k| 88 | - | 492 |2454 | 0 | 0 | 133 | 317k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
350.99/351.15 c 329s| 1100k| 26 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 322k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
354.49/354.65 c 332s| 1110k| 25 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 326k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
358.19/358.30 c 336s| 1120k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 330k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
361.79/361.97 c 339s| 1130k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2453 | 0 | 0 | 133 | 335k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
365.49/365.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.49/365.64 c 342s| 1140k| 28 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 339k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
369.19/369.37 c 346s| 1150k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2455 | 0 | 0 | 133 | 344k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
372.89/373.04 c 349s| 1160k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2454 | 0 | 0 | 133 | 348k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
376.69/376.81 c 353s| 1170k| 27 | 11917 | 0.0 |8331k| 88 | - | 492 |2453 | 0 | 0 | 133 | 353k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
380.68/380.84 c 357s| 1180k| 24 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 359k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
384.69/384.80 c 361s| 1190k| 22 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 364k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
388.48/388.66 c 364s| 1200k| 24 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 370k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
392.38/392.57 c 368s| 1210k| 28 | 11917 | 0.0 |8332k| 88 | - | 492 |2454 | 0 | 0 | 133 | 375k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
396.08/396.25 c 371s| 1220k| 24 | 11917 | 0.0 |8331k| 88 | - | 492 |2453 | 0 | 0 | 133 | 379k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
399.58/399.74 c 375s| 1230k| 25 | 11917 | 0.0 |8330k| 88 | - | 492 |2452 | 0 | 0 | 133 | 383k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
403.27/403.48 c 378s| 1240k| 23 | 11917 | 0.0 |8329k| 88 | - | 492 |2452 | 0 | 0 | 133 | 388k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
407.18/407.38 c 382s| 1250k| 22 | 11917 | 0.0 |8332k| 88 | - | 492 |2454 | 0 | 0 | 133 | 393k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
410.88/411.07 c 385s| 1260k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2455 | 0 | 0 | 133 | 398k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
414.58/414.79 c 389s| 1270k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2454 | 0 | 0 | 133 | 403k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
418.57/418.73 c 393s| 1280k| 21 | 11917 | 0.0 |8331k| 88 | - | 492 |2455 | 0 | 0 | 133 | 408k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
422.88/423.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.88/423.09 c 397s| 1290k| 23 | 11917 | 0.0 |8331k| 88 | - | 492 |2453 | 0 | 0 | 133 | 414k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
427.37/427.53 c 401s| 1300k| 26 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 420k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
431.77/431.93 c 405s| 1310k| 29 | 11917 | 0.0 |8337k| 88 | - | 492 |2464 | 0 | 0 | 133 | 426k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
436.27/436.46 c 410s| 1320k| 26 | 11917 | 0.0 |8336k| 88 | - | 492 |2459 | 0 | 0 | 133 | 433k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
440.67/440.84 c 414s| 1330k| 28 | 11917 | 0.0 |8334k| 88 | - | 492 |2458 | 0 | 0 | 133 | 439k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
445.06/445.26 c 418s| 1340k| 25 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 445k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
449.46/449.65 c 422s| 1350k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2464 | 0 | 0 | 133 | 451k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
453.97/454.16 c 426s| 1360k| 27 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 457k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
458.47/458.63 c 431s| 1370k| 24 | 11917 | 0.0 |8337k| 88 | - | 492 |2466 | 0 | 0 | 133 | 463k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
462.87/463.09 c 435s| 1380k| 27 | 11917 | 0.0 |8334k| 88 | - | 492 |2459 | 0 | 0 | 133 | 470k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
467.36/467.58 c 439s| 1390k| 23 | 11917 | 0.0 |8335k| 88 | - | 492 |2458 | 0 | 0 | 133 | 476k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
471.86/472.01 c 443s| 1400k| 30 | 11917 | 0.0 |8334k| 88 | - | 492 |2456 | 0 | 0 | 133 | 482k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
476.36/476.56 c 448s| 1410k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2459 | 0 | 0 | 133 | 488k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
480.86/481.10 c 452s| 1420k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 495k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
485.35/485.55 c 456s| 1430k| 27 | 11917 | 0.0 |8333k| 88 | - | 492 |2456 | 0 | 0 | 133 | 501k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
489.86/490.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.86/490.08 c 460s| 1440k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2462 | 0 | 0 | 133 | 507k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
494.35/494.53 c 465s| 1450k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2461 | 0 | 0 | 133 | 513k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
498.86/499.04 c 469s| 1460k| 28 | 11917 | 0.0 |8336k| 88 | - | 492 |2460 | 0 | 0 | 133 | 519k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
503.45/503.60 c 473s| 1470k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2460 | 0 | 0 | 133 | 526k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
507.85/508.03 c 477s| 1480k| 22 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 532k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
512.15/512.38 c 481s| 1490k| 25 | 11917 | 0.0 |8335k| 88 | - | 492 |2457 | 0 | 0 | 133 | 538k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
515.84/516.09 c 485s| 1500k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 542k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
519.55/519.75 c 488s| 1510k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2458 | 0 | 0 | 133 | 546k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
523.15/523.37 c 492s| 1520k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 551k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
527.04/527.20 c 495s| 1530k| 22 | 11917 | 0.0 |8333k| 88 | - | 492 |2458 | 0 | 0 | 133 | 555k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
530.75/530.98 c 499s| 1540k| 22 | 11917 | 0.0 |8332k| 88 | - | 492 |2456 | 0 | 0 | 133 | 559k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
534.35/534.55 c 502s| 1550k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2458 | 0 | 0 | 133 | 564k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
538.15/538.36 c 506s| 1560k| 28 | 11917 | 0.0 |8335k| 88 | - | 492 |2459 | 0 | 0 | 133 | 569k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
541.74/541.95 c 509s| 1570k| 26 | 11917 | 0.0 |8336k| 88 | - | 492 |2461 | 0 | 0 | 133 | 573k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
545.34/545.58 c 513s| 1580k| 21 | 11917 | 0.0 |8334k| 88 | - | 492 |2460 | 0 | 0 | 133 | 577k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
549.04/549.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.04/549.21 c 516s| 1590k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2459 | 0 | 0 | 133 | 581k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
552.93/553.11 c 520s| 1600k| 25 | 11917 | 0.0 |8339k| 88 | - | 492 |2462 | 0 | 0 | 133 | 586k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
556.93/557.19 c 524s| 1610k| 26 | 11917 | 0.0 |8335k| 88 | - | 492 |2459 | 0 | 0 | 133 | 591k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
560.84/561.07 c 527s| 1620k| 25 | 11917 | 0.0 |8335k| 88 | - | 492 |2461 | 0 | 0 | 133 | 596k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
564.74/564.97 c 531s| 1630k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2459 | 0 | 0 | 133 | 601k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
568.44/568.67 c 535s| 1640k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2459 | 0 | 0 | 133 | 605k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
572.44/572.68 c 538s| 1650k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2460 | 0 | 0 | 133 | 611k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
576.24/576.49 c 542s| 1660k| 27 | 11917 | 0.0 |8335k| 88 | - | 492 |2459 | 0 | 0 | 133 | 615k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
580.03/580.26 c 545s| 1670k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2459 | 0 | 0 | 133 | 620k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
583.73/583.93 c 549s| 1680k| 20 | 11917 | 0.0 |8338k| 88 | - | 492 |2462 | 0 | 0 | 133 | 624k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
587.42/587.67 c 552s| 1690k| 22 | 11917 | 0.0 |8334k| 88 | - | 492 |2459 | 0 | 0 | 133 | 629k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
591.03/591.20 c 556s| 1700k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2461 | 0 | 0 | 133 | 633k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
594.93/595.18 c 560s| 1710k| 25 | 11917 | 0.0 |8336k| 88 | - | 492 |2462 | 0 | 0 | 133 | 638k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
598.73/598.90 c 563s| 1720k| 22 | 11917 | 0.0 |8338k| 88 | - | 492 |2464 | 0 | 0 | 133 | 642k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
602.72/602.90 c 567s| 1730k| 24 | 11917 | 0.0 |8338k| 88 | - | 492 |2465 | 0 | 0 | 133 | 648k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
606.33/606.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.33/606.56 c 570s| 1740k| 23 | 11917 | 0.0 |8336k| 88 | - | 492 |2463 | 0 | 0 | 133 | 652k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
610.33/610.59 c 574s| 1750k| 20 | 11917 | 0.0 |8336k| 88 | - | 492 |2465 | 0 | 0 | 133 | 657k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
614.02/614.28 c 578s| 1760k| 21 | 11917 | 0.0 |8342k| 88 | - | 492 |2475 | 0 | 0 | 133 | 661k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
618.12/618.31 c 581s| 1770k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2463 | 0 | 0 | 133 | 666k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
622.02/622.28 c 585s| 1780k| 24 | 11917 | 0.0 |8338k| 88 | - | 492 |2463 | 0 | 0 | 133 | 671k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
625.82/626.09 c 589s| 1790k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2461 | 0 | 0 | 133 | 676k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
629.81/630.02 c 592s| 1800k| 23 | 11917 | 0.0 |8339k| 88 | - | 492 |2467 | 0 | 0 | 133 | 681k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
633.52/633.77 c 596s| 1810k| 19 | 11917 | 0.0 |8344k| 88 | - | 492 |2474 | 0 | 0 | 133 | 685k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
637.21/637.49 c 599s| 1820k| 20 | 11917 | 0.0 |8338k| 88 | - | 492 |2466 | 0 | 0 | 133 | 689k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
641.02/641.21 c 603s| 1830k| 28 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 694k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
644.91/645.14 c 607s| 1840k| 28 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 | 698k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
648.82/649.05 c 610s| 1850k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2456 | 0 | 0 | 133 | 703k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
653.41/653.60 c 615s| 1860k| 21 | 11917 | 0.0 |8331k| 88 | - | 492 |2452 | 0 | 0 | 133 | 710k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
657.81/658.02 c 619s| 1870k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 716k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
662.31/662.51 c 623s| 1880k| 25 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 722k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
666.81/667.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.81/667.03 c 627s| 1890k| 27 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 | 729k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
671.20/671.48 c 632s| 1900k| 26 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 | 735k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
675.70/675.93 c 636s| 1910k| 21 | 11917 | 0.0 |8335k| 88 | - | 492 |2455 | 0 | 0 | 133 | 741k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
680.11/680.36 c 640s| 1920k| 24 | 11917 | 0.0 |8333k| 88 | - | 492 |2453 | 0 | 0 | 133 | 747k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
684.60/684.85 c 644s| 1930k| 25 | 11917 | 0.0 |8335k| 88 | - | 492 |2458 | 0 | 0 | 133 | 753k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
689.10/689.31 c 648s| 1940k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 760k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
693.50/693.78 c 653s| 1950k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2459 | 0 | 0 | 133 | 766k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
697.90/698.17 c 657s| 1960k| 29 | 11917 | 0.0 |8336k| 88 | - | 492 |2457 | 0 | 0 | 133 | 772k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
702.39/702.61 c 661s| 1970k| 27 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 778k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
706.69/706.97 c 665s| 1980k| 27 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 784k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
711.19/711.47 c 669s| 1990k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2456 | 0 | 0 | 133 | 790k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
715.69/715.91 c 674s| 2000k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 797k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
720.10/720.36 c 678s| 2010k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 803k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
724.19/724.46 c 682s| 2020k| 22 | 11917 | 0.0 |8331k| 88 | - | 492 |2452 | 0 | 0 | 133 | 809k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
728.19/728.47 c 685s| 2030k| 24 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 | 814k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
731.89/732.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.89/732.11 c 689s| 2040k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 818k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
735.60/735.82 c 692s| 2050k| 26 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 822k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
739.69/739.92 c 696s| 2060k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 828k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
743.59/743.88 c 700s| 2070k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2457 | 0 | 0 | 133 | 833k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
747.99/748.23 c 704s| 2080k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2459 | 0 | 0 | 133 | 840k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
752.39/752.68 c 708s| 2090k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 846k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
756.79/757.02 c 712s| 2100k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 852k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
761.09/761.37 c 716s| 2110k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 858k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
765.58/765.81 c 721s| 2120k| 27 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 | 864k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
769.88/770.19 c 725s| 2130k| 26 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 870k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
773.88/774.13 c 729s| 2140k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 875k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
777.78/778.01 c 732s| 2150k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 881k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
781.98/782.21 c 736s| 2160k| 26 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 886k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
786.29/786.52 c 740s| 2170k| 25 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 | 892k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
790.47/790.72 c 744s| 2180k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2455 | 0 | 0 | 133 | 898k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
794.77/795.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.77/795.03 c 748s| 2190k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2456 | 0 | 0 | 133 | 904k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
799.17/799.40 c 752s| 2200k| 27 | 11917 | 0.0 |8335k| 88 | - | 492 |2455 | 0 | 0 | 133 | 911k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
803.47/803.78 c 757s| 2210k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 | 917k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
807.77/808.06 c 761s| 2220k| 22 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 | 923k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
811.67/811.90 c 764s| 2230k| 25 | 11917 | 0.0 |8336k| 88 | - | 492 |2453 | 0 | 0 | 133 | 927k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
815.47/815.76 c 768s| 2240k| 21 | 11917 | 0.0 |8335k| 88 | - | 492 |2456 | 0 | 0 | 133 | 932k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
819.87/820.12 c 772s| 2250k| 25 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 939k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
824.17/824.50 c 776s| 2260k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2458 | 0 | 0 | 133 | 945k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
828.56/828.86 c 780s| 2270k| 25 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 951k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
832.96/833.26 c 784s| 2280k| 21 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 | 957k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
837.36/837.64 c 789s| 2290k| 19 | 11917 | 0.0 |8331k| 88 | - | 492 |2452 | 0 | 0 | 133 | 963k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
841.16/841.46 c 792s| 2300k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 967k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
844.86/845.12 c 796s| 2310k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 972k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
848.97/849.27 c 800s| 2320k| 21 | 11917 | 0.0 |8331k| 88 | - | 492 |2452 | 0 | 0 | 133 | 978k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
853.37/853.61 c 804s| 2330k| 23 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 984k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
857.66/857.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.66/857.92 c 808s| 2340k| 24 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 | 990k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
861.96/862.27 c 812s| 2350k| 21 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 | 996k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
866.25/866.53 c 816s| 2360k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2457 | 0 | 0 | 133 |1002k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
870.65/870.93 c 820s| 2370k| 26 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1008k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
874.95/875.28 c 824s| 2380k| 22 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1014k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
879.25/879.58 c 828s| 2390k| 29 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1020k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
883.75/884.09 c 833s| 2400k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2457 | 0 | 0 | 133 |1027k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
888.25/888.50 c 837s| 2410k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 |1033k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
892.64/892.98 c 841s| 2420k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2461 | 0 | 0 | 133 |1039k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
897.05/897.36 c 845s| 2430k| 26 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |1045k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
901.54/901.80 c 849s| 2440k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 |1052k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
905.95/906.23 c 853s| 2450k| 23 | 11917 | 0.0 |8336k| 88 | - | 492 |2455 | 0 | 0 | 133 |1058k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
910.34/910.64 c 858s| 2460k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1064k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
914.74/915.00 c 862s| 2470k| 20 | 11917 | 0.0 |8334k| 88 | - | 492 |2455 | 0 | 0 | 133 |1070k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
919.14/919.42 c 866s| 2480k| 22 | 11917 | 0.0 |8338k| 88 | - | 492 |2461 | 0 | 0 | 133 |1076k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
923.44/923.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.44/923.79 c 870s| 2490k| 28 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1082k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
927.94/928.27 c 874s| 2500k| 21 | 11917 | 0.0 |8345k| 88 | - | 492 |2474 | 0 | 0 | 133 |1089k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
932.44/932.78 c 879s| 2510k| 22 | 11917 | 0.0 |8336k| 88 | - | 492 |2455 | 0 | 0 | 133 |1095k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
936.94/937.28 c 883s| 2520k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2460 | 0 | 0 | 133 |1101k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
941.34/941.65 c 887s| 2530k| 25 | 11917 | 0.0 |8338k| 88 | - | 492 |2458 | 0 | 0 | 133 |1107k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
945.73/946.03 c 891s| 2540k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 |1113k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
950.23/950.52 c 895s| 2550k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1120k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
954.63/954.93 c 900s| 2560k| 27 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1126k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
959.03/959.35 c 904s| 2570k| 20 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 |1132k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
963.43/963.71 c 908s| 2580k| 22 | 11917 | 0.0 |8333k| 88 | - | 492 |2454 | 0 | 0 | 133 |1138k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
967.83/968.13 c 912s| 2590k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2457 | 0 | 0 | 133 |1144k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
972.23/972.54 c 916s| 2600k| 23 | 11917 | 0.0 |8335k| 88 | - | 492 |2457 | 0 | 0 | 133 |1151k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
976.63/976.99 c 921s| 2610k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1157k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
981.02/981.32 c 925s| 2620k| 27 | 11917 | 0.0 |8340k| 88 | - | 492 |2461 | 0 | 0 | 133 |1163k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
985.42/985.71 c 929s| 2630k| 26 | 11917 | 0.0 |8337k| 88 | - | 492 |2461 | 0 | 0 | 133 |1169k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
989.92/990.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.92/990.22 c 933s| 2640k| 23 | 11917 | 0.0 |8341k| 88 | - | 492 |2470 | 0 | 0 | 133 |1175k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
994.32/994.62 c 937s| 2650k| 24 | 11917 | 0.0 |8338k| 88 | - | 492 |2461 | 0 | 0 | 133 |1181k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
998.82/999.10 c 941s| 2660k| 25 | 11917 | 0.0 |8338k| 88 | - | 492 |2462 | 0 | 0 | 133 |1188k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1003.22/1003.54 c 946s| 2670k| 25 | 11917 | 0.0 |8340k| 88 | - | 492 |2463 | 0 | 0 | 133 |1194k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1007.61/1007.97 c 950s| 2680k| 24 | 11917 | 0.0 |8340k| 88 | - | 492 |2463 | 0 | 0 | 133 |1200k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1012.01/1012.35 c 954s| 2690k| 25 | 11917 | 0.0 |8343k| 88 | - | 492 |2472 | 0 | 0 | 133 |1206k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1016.51/1016.83 c 958s| 2700k| 22 | 11917 | 0.0 |8341k| 88 | - | 492 |2470 | 0 | 0 | 133 |1213k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1020.91/1021.29 c 963s| 2710k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2463 | 0 | 0 | 133 |1219k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1025.31/1025.67 c 967s| 2720k| 25 | 11917 | 0.0 |8341k| 88 | - | 492 |2469 | 0 | 0 | 133 |1225k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1029.81/1030.15 c 971s| 2730k| 23 | 11917 | 0.0 |8340k| 88 | - | 492 |2467 | 0 | 0 | 133 |1231k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1034.31/1034.63 c 975s| 2740k| 24 | 11917 | 0.0 |8341k| 88 | - | 492 |2469 | 0 | 0 | 133 |1237k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1038.51/1038.80 c 979s| 2750k| 21 | 11917 | 0.0 |8345k| 88 | - | 492 |2477 | 0 | 0 | 133 |1243k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1042.21/1042.55 c 983s| 2760k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2459 | 0 | 0 | 133 |1247k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1046.10/1046.42 c 986s| 2770k| 22 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |1252k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1050.01/1050.33 c 990s| 2780k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2459 | 0 | 0 | 133 |1257k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1054.20/1054.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.20/1054.52 c 994s| 2790k| 21 | 11917 | 0.0 |8338k| 88 | - | 492 |2461 | 0 | 0 | 133 |1262k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1058.10/1058.44 c 998s| 2800k| 24 | 11917 | 0.0 |8337k| 88 | - | 492 |2459 | 0 | 0 | 133 |1267k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1061.80/1062.15 c 1001s| 2810k| 21 | 11917 | 0.0 |8339k| 88 | - | 492 |2462 | 0 | 0 | 133 |1272k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1065.40/1065.78 c 1005s| 2820k| 24 | 11917 | 0.0 |8340k| 88 | - | 492 |2464 | 0 | 0 | 133 |1276k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1069.30/1069.66 c 1008s| 2830k| 25 | 11917 | 0.0 |8340k| 88 | - | 492 |2463 | 0 | 0 | 133 |1281k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1073.60/1073.95 c 1012s| 2840k| 24 | 11917 | 0.0 |8341k| 88 | - | 492 |2464 | 0 | 0 | 133 |1286k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1077.79/1078.13 c 1016s| 2850k| 24 | 11917 | 0.0 |8338k| 88 | - | 492 |2462 | 0 | 0 | 133 |1292k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1081.80/1082.13 c 1020s| 2860k| 19 | 11917 | 0.0 |8338k| 88 | - | 492 |2465 | 0 | 0 | 133 |1297k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1085.90/1086.27 c 1024s| 2870k| 21 | 11917 | 0.0 |8342k| 88 | - | 492 |2470 | 0 | 0 | 133 |1303k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1089.99/1090.37 c 1028s| 2880k| 20 | 11917 | 0.0 |8346k| 88 | - | 492 |2479 | 0 | 0 | 133 |1309k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1093.69/1094.08 c 1031s| 2890k| 24 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1313k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1097.70/1098.01 c 1035s| 2900k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1318k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1101.39/1101.71 c 1038s| 2910k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1322k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1104.99/1105.33 c 1042s| 2920k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2455 | 0 | 0 | 133 |1326k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1108.69/1109.06 c 1045s| 2930k| 26 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1331k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1112.18/1112.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.18/1112.54 c 1049s| 2940k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1335k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1115.69/1116.05 c 1052s| 2950k| 23 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1339k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1119.29/1119.64 c 1055s| 2960k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1343k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1123.18/1123.57 c 1059s| 2970k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2454 | 0 | 0 | 133 |1348k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1127.09/1127.48 c 1063s| 2980k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1353k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1130.78/1131.13 c 1066s| 2990k| 25 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1358k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1134.58/1134.94 c 1070s| 3000k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1362k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1138.48/1138.84 c 1073s| 3010k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2455 | 0 | 0 | 133 |1367k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1142.28/1142.68 c 1077s| 3020k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1372k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1146.08/1146.41 c 1080s| 3030k| 26 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1376k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1149.98/1150.35 c 1084s| 3040k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2458 | 0 | 0 | 133 |1382k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1153.87/1154.27 c 1088s| 3050k| 27 | 11917 | 0.0 |8335k| 88 | - | 492 |2452 | 0 | 0 | 133 |1387k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1157.88/1158.23 c 1092s| 3060k| 27 | 11917 | 0.0 |8336k| 88 | - | 492 |2453 | 0 | 0 | 133 |1392k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1162.17/1162.59 c 1096s| 3070k| 23 | 11917 | 0.0 |8336k| 88 | - | 492 |2454 | 0 | 0 | 133 |1399k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1166.57/1166.94 c 1100s| 3080k| 26 | 11917 | 0.0 |8337k| 88 | - | 492 |2458 | 0 | 0 | 133 |1405k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1170.87/1171.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.87/1171.24 c 1104s| 3090k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1411k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1174.67/1175.00 c 1108s| 3100k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2455 | 0 | 0 | 133 |1416k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1178.97/1179.39 c 1112s| 3110k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |1422k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1183.47/1183.83 c 1116s| 3120k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2460 | 0 | 0 | 133 |1428k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1187.57/1187.97 c 1120s| 3130k| 25 | 11917 | 0.0 |8336k| 88 | - | 492 |2455 | 0 | 0 | 133 |1434k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1192.07/1192.42 c 1124s| 3140k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2459 | 0 | 0 | 133 |1440k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1196.56/1196.91 c 1128s| 3150k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1447k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1200.87/1201.23 c 1132s| 3160k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1453k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1205.07/1205.42 c 1136s| 3170k| 21 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 |1459k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1209.06/1209.40 c 1140s| 3180k| 26 | 11917 | 0.0 |8340k| 88 | - | 492 |2460 | 0 | 0 | 133 |1464k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1213.36/1213.76 c 1144s| 3190k| 27 | 11917 | 0.0 |8336k| 88 | - | 492 |2453 | 0 | 0 | 133 |1470k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1217.66/1218.08 c 1148s| 3200k| 24 | 11917 | 0.0 |8342k| 88 | - | 492 |2465 | 0 | 0 | 133 |1476k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1222.06/1222.44 c 1152s| 3210k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1483k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1225.96/1226.38 c 1156s| 3220k| 19 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 |1488k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1229.86/1230.28 c 1160s| 3230k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1493k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1233.76/1234.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.76/1234.17 c 1164s| 3240k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1498k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1237.56/1237.90 c 1167s| 3250k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2453 | 0 | 0 | 133 |1502k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1241.16/1241.57 c 1171s| 3260k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1506k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1245.15/1245.58 c 1174s| 3270k| 20 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1511k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1249.05/1249.41 c 1178s| 3280k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1516k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1253.05/1253.43 c 1182s| 3290k| 27 | 11917 | 0.0 |8335k| 88 | - | 492 |2452 | 0 | 0 | 133 |1521k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1256.74/1257.20 c 1185s| 3300k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1526k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1260.55/1260.98 c 1189s| 3310k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1531k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1264.55/1264.96 c 1193s| 3320k| 21 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1536k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1268.55/1268.92 c 1196s| 3330k| 24 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1541k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1272.55/1272.97 c 1200s| 3340k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2453 | 0 | 0 | 133 |1546k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1276.25/1276.68 c 1204s| 3350k| 18 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 |1551k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1279.95/1280.31 c 1207s| 3360k| 23 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1555k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1283.64/1284.01 c 1211s| 3370k| 20 | 11917 | 0.0 |8338k| 88 | - | 492 |2460 | 0 | 0 | 133 |1560k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1287.44/1287.84 c 1214s| 3380k| 26 | 11917 | 0.0 |8335k| 88 | - | 492 |2452 | 0 | 0 | 133 |1565k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1291.34/1291.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.34/1291.75 c 1218s| 3390k| 20 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1570k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1295.45/1295.88 c 1222s| 3400k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1576k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1299.54/1299.94 c 1226s| 3410k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1582k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1303.54/1303.95 c 1229s| 3420k| 20 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1587k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1307.45/1307.89 c 1233s| 3430k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1593k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1311.24/1311.61 c 1237s| 3440k| 26 | 11917 | 0.0 |8335k| 88 | - | 492 |2452 | 0 | 0 | 133 |1598k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1314.93/1315.31 c 1240s| 3450k| 25 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1602k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1318.84/1319.23 c 1244s| 3460k| 27 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1607k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1322.84/1323.26 c 1248s| 3470k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1612k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1326.53/1326.91 c 1251s| 3480k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1616k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1330.13/1330.52 c 1254s| 3490k| 26 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1621k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1333.84/1334.22 c 1258s| 3500k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2453 | 0 | 0 | 133 |1625k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1337.53/1337.91 c 1261s| 3510k| 24 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1629k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1341.22/1341.63 c 1265s| 3520k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 |1634k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1345.13/1345.57 c 1269s| 3530k| 26 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1640k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1349.12/1349.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1349.12/1349.57 c 1272s| 3540k| 22 | 11917 | 0.0 |8334k| 88 | - | 492 |2453 | 0 | 0 | 133 |1645k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1353.32/1353.75 c 1276s| 3550k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1651k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1357.12/1357.55 c 1280s| 3560k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1656k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1360.82/1361.27 c 1283s| 3570k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1660k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1364.53/1364.99 c 1287s| 3580k| 20 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 |1665k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1368.22/1368.63 c 1290s| 3590k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1669k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1372.12/1372.57 c 1294s| 3600k| 24 | 11917 | 0.0 |8339k| 88 | - | 492 |2456 | 0 | 0 | 133 |1674k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1376.12/1376.50 c 1298s| 3610k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1679k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1379.91/1380.39 c 1301s| 3620k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1684k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1383.81/1384.21 c 1305s| 3630k| 21 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |1689k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1387.72/1388.20 c 1309s| 3640k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1695k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1391.21/1391.69 c 1312s| 3650k| 26 | 11917 | 0.0 |8336k| 88 | - | 492 |2454 | 0 | 0 | 133 |1699k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1394.82/1395.29 c 1315s| 3660k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2455 | 0 | 0 | 133 |1703k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1398.72/1399.13 c 1319s| 3670k| 22 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1708k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1402.61/1403.08 c 1323s| 3680k| 21 | 11917 | 0.0 |8337k| 88 | - | 492 |2455 | 0 | 0 | 133 |1713k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1407.01/1407.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.01/1407.46 c 1327s| 3690k| 23 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1719k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1410.81/1411.23 c 1330s| 3700k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2454 | 0 | 0 | 133 |1724k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1414.91/1415.31 c 1334s| 3710k| 24 | 11917 | 0.0 |8339k| 88 | - | 492 |2463 | 0 | 0 | 133 |1729k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1418.90/1419.30 c 1338s| 3720k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1735k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1422.91/1423.40 c 1342s| 3730k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2458 | 0 | 0 | 133 |1740k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1427.71/1428.14 c 1346s| 3740k| 23 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1747k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1432.40/1432.82 c 1351s| 3750k| 26 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1753k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1437.20/1437.61 c 1355s| 3760k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1760k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1441.40/1441.88 c 1359s| 3770k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1766k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1445.40/1445.88 c 1363s| 3780k| 22 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1771k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1449.80/1450.27 c 1367s| 3790k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1777k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1453.50/1453.92 c 1371s| 3800k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2453 | 0 | 0 | 133 |1781k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1457.49/1457.99 c 1375s| 3810k| 21 | 11917 | 0.0 |8340k| 88 | - | 492 |2459 | 0 | 0 | 133 |1786k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1461.40/1461.88 c 1378s| 3820k| 19 | 11917 | 0.0 |8336k| 88 | - | 492 |2455 | 0 | 0 | 133 |1791k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1465.30/1465.74 c 1382s| 3830k| 25 | 11917 | 0.0 |8339k| 88 | - | 492 |2456 | 0 | 0 | 133 |1795k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1469.39/1469.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.39/1469.81 c 1386s| 3840k| 25 | 11917 | 0.0 |8338k| 88 | - | 492 |2453 | 0 | 0 | 133 |1800k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1473.29/1473.77 c 1390s| 3850k| 21 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1805k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1477.09/1477.58 c 1393s| 3860k| 25 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1809k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1480.79/1481.28 c 1397s| 3870k| 19 | 11917 | 0.0 |8332k| 88 | - | 492 |2452 | 0 | 0 | 133 |1813k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1484.59/1485.01 c 1400s| 3880k| 21 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1818k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1488.39/1488.88 c 1404s| 3890k| 18 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1823k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1491.99/1492.48 c 1407s| 3900k| 23 | 11917 | 0.0 |8334k| 88 | - | 492 |2452 | 0 | 0 | 133 |1827k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1495.79/1496.25 c 1411s| 3910k| 21 | 11917 | 0.0 |8335k| 88 | - | 492 |2454 | 0 | 0 | 133 |1832k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1499.48/1499.92 c 1414s| 3920k| 18 | 11917 | 0.0 |8334k| 88 | - | 492 |2454 | 0 | 0 | 133 |1836k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1503.08/1503.55 c 1417s| 3930k| 19 | 11917 | 0.0 |8338k| 88 | - | 492 |2455 | 0 | 0 | 133 |1840k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1507.08/1507.59 c 1421s| 3940k| 20 | 11917 | 0.0 |8333k| 88 | - | 492 |2452 | 0 | 0 | 133 |1846k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1510.99/1511.45 c 1425s| 3950k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2453 | 0 | 0 | 133 |1851k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1515.58/1516.10 c 1429s| 3960k| 28 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |1857k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1520.18/1520.68 c 1434s| 3970k| 22 | 11917 | 0.0 |8340k| 88 | - | 492 |2461 | 0 | 0 | 133 |1863k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1524.48/1524.97 c 1438s| 3980k| 23 | 11917 | 0.0 |8339k| 88 | - | 492 |2457 | 0 | 0 | 133 |1869k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1528.18/1528.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.18/1528.62 c 1441s| 3990k| 25 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |1873k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1531.97/1532.45 c 1445s| 4000k| 24 | 11917 | 0.0 |8337k| 88 | - | 492 |2458 | 0 | 0 | 133 |1879k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1535.97/1536.44 c 1449s| 4010k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1884k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1539.98/1540.46 c 1452s| 4020k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2459 | 0 | 0 | 133 |1890k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1544.17/1544.67 c 1456s| 4030k| 24 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1896k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1548.78/1549.21 c 1461s| 4040k| 24 | 11917 | 0.0 |8340k| 88 | - | 492 |2464 | 0 | 0 | 133 |1902k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1552.97/1553.48 c 1465s| 4050k| 25 | 11917 | 0.0 |8338k| 88 | - | 492 |2457 | 0 | 0 | 133 |1908k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1557.07/1557.57 c 1469s| 4060k| 25 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1913k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1560.97/1561.41 c 1472s| 4070k| 25 | 11917 | 0.0 |8338k| 88 | - | 492 |2457 | 0 | 0 | 133 |1918k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1564.57/1565.03 c 1476s| 4080k| 22 | 11917 | 0.0 |8339k| 88 | - | 492 |2462 | 0 | 0 | 133 |1923k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1568.86/1569.32 c 1480s| 4090k| 23 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1929k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1572.57/1573.08 c 1483s| 4100k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2458 | 0 | 0 | 133 |1933k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1576.56/1577.03 c 1487s| 4110k| 27 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |1938k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1580.37/1580.81 c 1491s| 4120k| 26 | 11917 | 0.0 |8339k| 88 | - | 492 |2457 | 0 | 0 | 133 |1943k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1584.06/1584.54 c 1494s| 4130k| 25 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1948k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1587.97/1588.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.97/1588.47 c 1498s| 4140k| 22 | 11917 | 0.0 |8335k| 88 | - | 492 |2456 | 0 | 0 | 133 |1953k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1591.96/1592.42 c 1501s| 4150k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2457 | 0 | 0 | 133 |1958k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1595.96/1596.40 c 1505s| 4160k| 24 | 11917 | 0.0 |8337k| 88 | - | 492 |2458 | 0 | 0 | 133 |1964k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1599.66/1600.14 c 1509s| 4170k| 27 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |1969k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1603.86/1604.33 c 1513s| 4180k| 23 | 11917 | 0.0 |8339k| 88 | - | 492 |2458 | 0 | 0 | 133 |1974k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1608.16/1608.69 c 1517s| 4190k| 20 | 11917 | 0.0 |8337k| 88 | - | 492 |2459 | 0 | 0 | 133 |1980k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1612.06/1612.54 c 1520s| 4200k| 23 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |1985k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1615.76/1616.26 c 1524s| 4210k| 24 | 11917 | 0.0 |8339k| 88 | - | 492 |2458 | 0 | 0 | 133 |1990k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1619.46/1619.98 c 1527s| 4220k| 22 | 11917 | 0.0 |8340k| 88 | - | 492 |2457 | 0 | 0 | 133 |1994k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1623.25/1623.78 c 1531s| 4230k| 22 | 11917 | 0.0 |8339k| 88 | - | 492 |2463 | 0 | 0 | 133 |1999k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1627.15/1627.69 c 1535s| 4240k| 24 | 11917 | 0.0 |8345k| 88 | - | 492 |2471 | 0 | 0 | 133 |2004k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1630.95/1631.44 c 1538s| 4250k| 23 | 11917 | 0.0 |8341k| 88 | - | 492 |2461 | 0 | 0 | 133 |2009k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1634.65/1635.14 c 1542s| 4260k| 23 | 11917 | 0.0 |8344k| 88 | - | 492 |2471 | 0 | 0 | 133 |2014k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1638.34/1638.82 c 1545s| 4270k| 25 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |2018k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1642.25/1642.72 c 1549s| 4280k| 27 | 11917 | 0.0 |8345k| 88 | - | 492 |2471 | 0 | 0 | 133 |2023k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1646.15/1646.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.15/1646.67 c 1553s| 4290k| 22 | 11917 | 0.0 |8343k| 88 | - | 492 |2463 | 0 | 0 | 133 |2028k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1649.94/1650.40 c 1556s| 4300k| 24 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |2033k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1653.55/1654.06 c 1560s| 4310k| 21 | 11917 | 0.0 |8340k| 88 | - | 492 |2461 | 0 | 0 | 133 |2037k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1657.15/1657.70 c 1563s| 4320k| 19 | 11917 | 0.0 |8339k| 88 | - | 492 |2462 | 0 | 0 | 133 |2042k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1660.94/1661.41 c 1567s| 4330k| 23 | 11917 | 0.0 |8344k| 88 | - | 492 |2463 | 0 | 0 | 133 |2046k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1664.54/1665.04 c 1570s| 4340k| 20 | 11917 | 0.0 |8342k| 88 | - | 492 |2465 | 0 | 0 | 133 |2050k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1668.14/1668.65 c 1573s| 4350k| 23 | 11917 | 0.0 |8345k| 88 | - | 492 |2471 | 0 | 0 | 133 |2055k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1671.74/1672.24 c 1577s| 4360k| 20 | 11917 | 0.0 |8346k| 88 | - | 492 |2471 | 0 | 0 | 133 |2059k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1675.24/1675.80 c 1580s| 4370k| 21 | 11917 | 0.0 |8341k| 88 | - | 492 |2461 | 0 | 0 | 133 |2063k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1679.34/1679.83 c 1584s| 4380k| 21 | 11917 | 0.0 |8341k| 88 | - | 492 |2462 | 0 | 0 | 133 |2069k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1683.34/1683.82 c 1588s| 4390k| 22 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |2073k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1686.94/1687.41 c 1591s| 4400k| 24 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |2078k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1690.63/1691.12 c 1594s| 4410k| 23 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |2082k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1694.23/1694.79 c 1598s| 4420k| 20 | 11917 | 0.0 |8343k| 88 | - | 492 |2461 | 0 | 0 | 133 |2086k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1697.94/1698.48 c 1601s| 4430k| 21 | 11917 | 0.0 |8339k| 88 | - | 492 |2460 | 0 | 0 | 133 |2091k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1701.63/1702.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.63/1702.16 c 1605s| 4440k| 22 | 11917 | 0.0 |8340k| 88 | - | 492 |2462 | 0 | 0 | 133 |2095k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1705.33/1705.82 c 1608s| 4450k| 22 | 11917 | 0.0 |8340k| 88 | - | 492 |2462 | 0 | 0 | 133 |2100k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1709.03/1709.59 c 1612s| 4460k| 22 | 11917 | 0.0 |8341k| 88 | - | 492 |2464 | 0 | 0 | 133 |2104k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1713.13/1713.67 c 1616s| 4470k| 23 | 11917 | 0.0 |8344k| 88 | - | 492 |2469 | 0 | 0 | 133 |2110k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1717.33/1717.83 c 1620s| 4480k| 21 | 11917 | 0.0 |8341k| 88 | - | 492 |2466 | 0 | 0 | 133 |2116k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1721.33/1721.88 c 1624s| 4490k| 22 | 11917 | 0.0 |8349k| 88 | - | 492 |2475 | 0 | 0 | 133 |2121k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1725.22/1725.72 c 1627s| 4500k| 27 | 11917 | 0.0 |8339k| 88 | - | 492 |2458 | 0 | 0 | 133 |2126k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1728.83/1729.39 c 1631s| 4510k| 21 | 11917 | 0.0 |8340k| 88 | - | 492 |2457 | 0 | 0 | 133 |2131k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1732.82/1733.30 c 1634s| 4520k| 24 | 11917 | 0.0 |8339k| 88 | - | 492 |2458 | 0 | 0 | 133 |2135k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1736.62/1737.17 c 1638s| 4530k| 23 | 11917 | 0.0 |8340k| 88 | - | 492 |2457 | 0 | 0 | 133 |2140k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1740.32/1740.89 c 1641s| 4540k| 22 | 11917 | 0.0 |8338k| 88 | - | 492 |2458 | 0 | 0 | 133 |2144k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1744.12/1744.62 c 1645s| 4550k| 23 | 11917 | 0.0 |8338k| 88 | - | 492 |2458 | 0 | 0 | 133 |2149k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1747.72/1748.26 c 1648s| 4560k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |2153k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1751.52/1752.05 c 1652s| 4570k| 22 | 11917 | 0.0 |8340k| 88 | - | 492 |2462 | 0 | 0 | 133 |2157k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1755.32/1755.83 c 1655s| 4580k| 21 | 11917 | 0.0 |8340k| 88 | - | 492 |2458 | 0 | 0 | 133 |2162k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1759.42/1759.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.42/1759.98 c 1659s| 4590k| 22 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |2168k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1763.82/1764.40 c 1664s| 4600k| 26 | 11917 | 0.0 |8338k| 88 | - | 492 |2456 | 0 | 0 | 133 |2174k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1768.41/1768.96 c 1668s| 4610k| 21 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |2180k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1772.91/1773.47 c 1672s| 4620k| 23 | 11917 | 0.0 |8339k| 88 | - | 492 |2457 | 0 | 0 | 133 |2186k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1777.51/1778.01 c 1676s| 4630k| 22 | 11917 | 0.0 |8339k| 88 | - | 492 |2457 | 0 | 0 | 133 |2193k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1781.71/1782.27 c 1680s| 4640k| 21 | 11917 | 0.0 |8336k| 88 | - | 492 |2456 | 0 | 0 | 133 |2199k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1786.20/1786.72 c 1685s| 4650k| 23 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |2205k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1790.71/1791.21 c 1689s| 4660k| 21 | 11917 | 0.0 |8341k| 88 | - | 492 |2459 | 0 | 0 | 133 |2211k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1794.91/1795.48 c 1693s| 4670k| 22 | 11917 | 0.0 |8340k| 88 | - | 492 |2457 | 0 | 0 | 133 |2217k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1798.71/1799.20 c 1697s| 4680k| 20 | 11917 | 0.0 |8337k| 88 | - | 492 |2456 | 0 | 0 | 133 |2221k| 25 | 1.629250e+02 | 2.120000e+02 | 30.12%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1697.77
1800.01/1800.50 c Solving Nodes : 4683456
1800.01/1800.50 c Primal Bound : +2.12000000000000e+02 (21 solutions)
1800.01/1800.50 c Dual Bound : +1.62925000000000e+02
1800.01/1800.50 c Gap : 30.12 %
1800.01/1800.51 s SATISFIABLE
1800.01/1800.51 v x498 -x497 -x496 x495 x494 -x493 x492 -x491 -x490 x489 x488 -x487 -x486 x485 x484 -x483 x482 -x481 x480 -x479 -x478 x477 x476 -x475
1800.01/1800.51 v x474 -x473 -x472 x471 x470 -x469 x468 -x467 -x466 x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 -x455 -x454 x453
1800.01/1800.51 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.01/1800.51 v -x429 x428 -x427 -x426 x425 x424 -x423 x422 -x421 x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412 x411 x410 -x409 x408 -x407
1800.01/1800.51 v -x406 -x405 -x404 x403 x402 -x401 -x400 x399 x398 -x397 x396 -x395 -x394 x393 x392 -x391 x390 -x389 -x388 x387 x386 -x385
1800.01/1800.51 v -x384 x383 -x382 x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363
1800.01/1800.51 v -x362 -x361 -x360 x359 x358 -x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340
1800.01/1800.51 v x339 -x338 x337 -x336 x335 -x334 -x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 -x319 -x318
1800.01/1800.51 v x317 -x316 x315 -x314 x313 -x312 x311 -x310 -x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 x300 -x299 -x298 x297 -x296 x295
1800.01/1800.51 v -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272
1800.01/1800.51 v x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250
1800.01/1800.51 v x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227
1800.01/1800.51 v -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 x208 -x207 -x206 x205 -x204
1800.01/1800.51 v x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182
1800.01/1800.51 v x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159
1800.01/1800.51 v -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136
1800.01/1800.51 v x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 x117 -x116 x115 -x114
1800.01/1800.51 v -x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 x93 -x92 -x91
1800.01/1800.51 v -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 -x65 -x64
1800.01/1800.51 v -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 -x38
1800.01/1800.51 v 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.01/1800.51 v -x10 -x9 -x8 x7 x6 -x5 -x4 x3 -x2 -x1
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1697.77
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2666970-1276467686.opb
1800.01/1800.51 c Variables : 498 (498 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 2431 initial, 2431 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2666970-1276467686.opb
1800.01/1800.51 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 2425 initial, 2548 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.04 0 6 0 0 0 6 0 0
1800.01/1800.51 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.51 c logicor : 2425+ 30 10036468 0 21 2222300 12007360 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 21 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 9.89 0.00 0.00 9.89 0.00
1800.01/1800.51 c logicor : 852.06 0.03 852.03 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 6.89 2 0 0
1800.01/1800.51 c rootredcost : 7.10 21 0 0
1800.01/1800.51 c pseudoobj : 423.08 15609159 380069 74202424
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 765.23 2222300 2222300 2222300 39.3 1256 33.4 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 16.00 130891 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 2223241 39.3 - - -
1800.01/1800.51 c applied locally : - - - 118 50.9 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.03 29 - - 16 - (maximal pool size: 1008)
1800.01/1800.51 c redcost : 0.00 30 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.03 30 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 3.62 30 0 0 10770 0
1800.01/1800.51 c strongcg : 1.91 20 0 0 8174 0
1800.01/1800.51 c cmir : 0.14 10 0 0 0 0
1800.01/1800.51 c flowcover : 0.12 10 0 0 0 0
1800.01/1800.51 c clique : 0.01 1 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.01 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 9.89 1 0 0 0 0 2
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 40.64 2767914 0 0 0 0 5535828
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.01 - 21
1800.01/1800.51 c oneopt : 2.92 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c trivial : 0.01 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 1 0
1800.01/1800.51 c rounding : 0.01 30 0
1800.01/1800.51 c shifting : 0.05 30 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 1.11 1 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.98 0 0
1800.01/1800.51 c trysol : 2.37 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.01 0 0 0.00 0.00
1800.01/1800.51 c dual LP : 5.73 30 9091 303.03 1586.56
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 1.08 34 2826 83.12 2616.67
1800.01/1800.51 c strong branching : 9.89 25 15741 629.64 1591.61
1800.01/1800.51 c (at root node) : - 25 15741 629.64 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 4683456
1800.01/1800.51 c nodes (total) : 4683456
1800.01/1800.51 c nodes left : 22
1800.01/1800.51 c max depth : 88
1800.01/1800.51 c max depth (total): 88
1800.01/1800.51 c backtracks : 1429651 (30.5%)
1800.01/1800.51 c delayed cutoffs : 851325
1800.01/1800.51 c repropagations : 1878630 (30056998 domain reductions, 817740 cutoffs)
1800.01/1800.51 c avg switch length: 2.11
1800.01/1800.51 c switching time : 122.05
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 21 (21 improvements)
1800.01/1800.51 c First Solution : +2.41000000000000e+02 (in run 1, after 32 nodes, 22.96 seconds, depth 29, found by <relaxation>)
1800.01/1800.51 c Primal Bound : +2.12000000000000e+02 (in run 1, after 535200 nodes, 150.69 seconds, depth 48, found by <relaxation>)
1800.01/1800.51 c Dual Bound : +1.62925000000000e+02
1800.01/1800.51 c Gap : 30.12 %
1800.01/1800.51 c Root Dual Bound : +1.62698941715538e+02
1800.01/1800.51 c Root Iterations : 11917
1800.01/1800.53 c Time complete: 1800.04.