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-2665517-1276595219.opb>
0.00/0.01 c original problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 492
0.00/0.02 c feasible solution found by trivial heuristic, objective value 4.920000e+02
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 0 impls, 0 clqs
0.03/0.04 c (0.0s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.04 c presolving (2 rounds):
0.03/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.04 c 0 implications, 0 cliques
0.03/0.04 c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.03/0.04 c 200 constraints of type <logicor>
0.03/0.04 c transformed objective value is always integral (scale: 1)
0.03/0.04 c Presolving Time: 0.01
0.03/0.04 c - non default parameters ----------------------------------------------------------------------
0.03/0.04 c # SCIP version 1.2.1.2
0.03/0.04 c
0.03/0.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.04 c conflict/interconss = 0
0.03/0.04 c
0.03/0.04 c # should binary conflicts be preferred?
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c conflict/preferbinary = TRUE
0.03/0.04 c
0.03/0.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.04 c constraints/agelimit = 1
0.03/0.04 c
0.03/0.04 c # should enforcement of pseudo solution be disabled?
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/disableenfops = TRUE
0.03/0.04 c
0.03/0.04 c # frequency for displaying node information lines
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.04 c display/freq = 10000
0.03/0.04 c
0.03/0.04 c # maximal time in seconds to run
0.03/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.04 c limits/time = 1799.99
0.03/0.04 c
0.03/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.04 c limits/memory = 1620
0.03/0.04 c
0.03/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.04 c lp/solvefreq = 0
0.03/0.04 c
0.03/0.04 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.03/0.04 c # [type: char, range: {lafpsqd}, default: l]
0.03/0.04 c lp/pricing = a
0.03/0.04 c
0.03/0.04 c # should presolving try to simplify inequalities
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/linear/simplifyinequalities = TRUE
0.03/0.04 c
0.03/0.04 c # should presolving try to simplify knapsacks
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.04 c
0.03/0.04 c # priority of node selection rule <dfs> in standard mode
0.03/0.04 c # [type: int, range: [-536870912,536870911], default: 0]
0.03/0.04 c nodeselection/dfs/stdpriority = 1000000
0.03/0.04 c
0.03/0.04 c -----------------------------------------------------------------------------------------------
0.03/0.04 c start solving
0.03/0.04 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 502 | - |1397k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 4.920000e+02 |1366.21%
0.09/0.11 o 153
0.09/0.11 c r 0.1s| 1 | 0 | 502 | - |1410k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.530000e+02 | 355.95%
0.09/0.12 o 152
0.09/0.12 c R 0.1s| 1 | 0 | 502 | - |1424k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.520000e+02 | 352.97%
0.09/0.12 o 151
0.09/0.12 c s 0.1s| 1 | 0 | 502 | - |1437k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.510000e+02 | 349.99%
0.19/0.27 c 0.2s| 1 | 0 | 558 | - |3777k| 0 | 155 | 492 | 200 | 492 | 201 | 1 | 0 | 0 | 3.359618e+01 | 1.510000e+02 | 349.46%
0.19/0.27 o 51
0.19/0.27 c b 0.2s| 1 | 0 | 558 | - |3790k| 0 | 155 | 492 | 200 | 492 | 201 | 1 | 0 | 0 | 3.359618e+01 | 5.100000e+01 | 51.80%
0.39/0.42 c 0.4s| 1 | 0 | 603 | - |6130k| 0 | 153 | 492 | 200 | 492 | 202 | 2 | 0 | 0 | 3.361575e+01 | 5.100000e+01 | 51.71%
0.49/0.58 c 0.5s| 1 | 0 | 650 | - |7867k| 0 | 157 | 492 | 200 | 492 | 203 | 3 | 0 | 0 | 3.363284e+01 | 5.100000e+01 | 51.64%
0.69/0.72 c 0.7s| 1 | 0 | 703 | - |8563k| 0 | 156 | 492 | 200 | 492 | 204 | 4 | 0 | 0 | 3.363942e+01 | 5.100000e+01 | 51.61%
0.79/0.86 c 0.8s| 1 | 0 | 735 | - |8704k| 0 | 158 | 492 | 200 | 492 | 205 | 5 | 0 | 0 | 3.364335e+01 | 5.100000e+01 | 51.59%
1.00/1.00 c 1.0s| 1 | 0 | 765 | - |8776k| 0 | 158 | 492 | 200 | 492 | 206 | 6 | 0 | 0 | 3.364474e+01 | 5.100000e+01 | 51.58%
1.10/1.16 c 1.1s| 1 | 0 | 801 | - |8793k| 0 | 157 | 492 | 200 | 492 | 207 | 7 | 0 | 0 | 3.364552e+01 | 5.100000e+01 | 51.58%
1.29/1.31 c 1.3s| 1 | 0 | 848 | - |8810k| 0 | 152 | 492 | 200 | 492 | 208 | 8 | 0 | 0 | 3.364768e+01 | 5.100000e+01 | 51.57%
1.29/1.36 c 1.3s| 1 | 0 | 883 | - |8826k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 5.100000e+01 | 51.57%
7.79/7.82 o 42
7.79/7.82 c E 7.4s| 1 | 0 | 883 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.200000e+01 | 24.82%
7.79/7.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.79/7.83 c 7.4s| 1 | 0 | 883 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.200000e+01 | 24.82%
8.98/9.03 c 8.6s| 1 | 2 | 883 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 22 | 3.364868e+01 | 4.200000e+01 | 24.82%
12.19/12.25 c 11.7s| 10000 | 411 | 883 | 0.0 |9135k| 426 | - | 492 | 200 | 0 | 0 | 9 |5649 | 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
15.58/15.67 c 14.9s| 20000 | 409 | 883 | 0.0 |9134k| 426 | - | 492 | 200 | 0 | 0 | 9 | 11k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
18.98/19.03 c 18.1s| 30000 | 406 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 17k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
22.38/22.43 c 21.2s| 40000 | 405 | 883 | 0.0 |9139k| 426 | - | 492 | 200 | 0 | 0 | 9 | 23k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
25.78/25.83 c 24.4s| 50000 | 403 | 883 | 0.0 |9140k| 426 | - | 492 | 200 | 0 | 0 | 9 | 29k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
29.28/29.32 c 27.6s| 60000 | 400 | 883 | 0.0 |9154k| 426 | - | 492 | 200 | 0 | 0 | 9 | 35k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
32.78/32.82 c 30.9s| 70000 | 401 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 41k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
36.08/36.12 c 34.0s| 80000 | 400 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 47k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
39.58/39.64 c 37.4s| 90000 | 400 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 52k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
43.08/43.16 c 40.6s|100000 | 401 | 883 | 0.0 |9149k| 426 | - | 492 | 200 | 0 | 0 | 9 | 58k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
46.58/46.64 c 43.9s|110000 | 402 | 883 | 0.0 |9141k| 426 | - | 492 | 200 | 0 | 0 | 9 | 64k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
49.97/50.08 c 47.1s|120000 | 401 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 70k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
53.37/53.46 c 50.3s|130000 | 400 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 76k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
56.87/56.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.87/56.96 c 53.6s|140000 | 399 | 883 | 0.0 |9149k| 426 | - | 492 | 200 | 0 | 0 | 9 | 82k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
60.38/60.50 c 56.9s|150000 | 398 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 88k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
63.87/63.90 c 60.0s|160000 | 398 | 883 | 0.0 |9153k| 426 | - | 492 | 200 | 0 | 0 | 9 | 94k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
67.27/67.35 c 63.3s|170000 | 396 | 883 | 0.0 |9157k| 426 | - | 492 | 200 | 0 | 0 | 9 | 100k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
70.57/70.65 c 66.3s|180000 | 396 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 105k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
73.97/74.09 c 69.6s|190000 | 396 | 883 | 0.0 |9151k| 426 | - | 492 | 200 | 0 | 0 | 9 | 111k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
77.47/77.58 c 72.8s|200000 | 398 | 883 | 0.0 |9144k| 426 | - | 492 | 200 | 0 | 0 | 9 | 117k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
80.87/80.97 c 76.0s|210000 | 398 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 123k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
84.27/84.37 c 79.2s|220000 | 397 | 883 | 0.0 |9157k| 426 | - | 492 | 200 | 0 | 0 | 9 | 129k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
87.56/87.60 c 82.2s|230000 | 397 | 883 | 0.0 |9152k| 426 | - | 492 | 200 | 0 | 0 | 9 | 135k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
91.06/91.13 c 85.5s|240000 | 397 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 141k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
94.76/94.81 c 89.0s|250000 | 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 146k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
98.16/98.26 c 92.2s|260000 | 398 | 883 | 0.0 |9152k| 426 | - | 492 | 200 | 0 | 0 | 9 | 152k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
101.76/101.87 c 95.6s|270000 | 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 158k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
105.06/105.11 c 98.6s|280000 | 395 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 164k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
108.55/108.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.55/108.69 c 102s|290000 | 395 | 883 | 0.0 |9156k| 426 | - | 492 | 200 | 0 | 0 | 9 | 170k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
112.06/112.15 c 105s|300000 | 394 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 175k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
115.55/115.62 c 108s|310000 | 397 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 181k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
119.16/119.25 c 112s|320000 | 393 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 187k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
123.06/123.14 c 116s|330000 | 395 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 | 193k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
126.95/127.01 c 119s|340000 | 395 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 199k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
130.45/130.50 c 122s|350000 | 395 | 883 | 0.0 |9154k| 426 | - | 492 | 200 | 0 | 0 | 9 | 205k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
133.95/134.03 c 126s|360000 | 393 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 211k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
137.84/137.92 c 129s|370000 | 394 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 217k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
141.25/141.37 c 133s|380000 | 394 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 222k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
144.54/144.67 c 136s|390000 | 393 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 228k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
148.36/148.46 c 139s|400000 | 395 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 234k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
151.75/151.83 c 142s|410000 | 393 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 240k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
155.05/155.10 c 146s|420000 | 394 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 246k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
158.55/158.67 c 149s|430000 | 394 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 252k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
162.04/162.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.04/162.12 c 152s|440000 | 392 | 883 | 0.0 |9155k| 426 | - | 492 | 200 | 0 | 0 | 9 | 257k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
165.44/165.50 c 155s|450000 | 394 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 263k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
168.74/168.86 c 158s|460000 | 394 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 269k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
172.24/172.30 c 162s|470000 | 396 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 275k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
175.63/175.75 c 165s|480000 | 391 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 281k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
178.93/179.08 c 168s|490000 | 392 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 287k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
182.44/182.59 c 171s|500000 | 393 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 293k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
186.04/186.14 c 175s|510000 | 392 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 299k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
189.54/189.61 c 178s|520000 | 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 305k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
192.94/193.00 c 181s|530000 | 394 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 310k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
196.34/196.46 c 184s|540000 | 394 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 316k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
199.73/199.80 c 188s|550000 | 394 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 322k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
203.03/203.15 c 191s|560000 | 394 | 883 | 0.0 |9155k| 426 | - | 492 | 200 | 0 | 0 | 9 | 328k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
206.63/206.75 c 194s|570000 | 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 334k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
210.33/210.46 c 198s|580000 | 390 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 340k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
213.93/214.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.93/214.02 c 201s|590000 | 395 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 346k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
217.32/217.41 c 204s|600000 | 393 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 352k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
220.93/221.02 c 207s|610000 | 391 | 883 | 0.0 |9157k| 426 | - | 492 | 200 | 0 | 0 | 9 | 358k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
224.73/224.83 c 211s|620000 | 393 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 | 364k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
228.32/228.44 c 214s|630000 | 395 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 370k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
232.03/232.12 c 218s|640000 | 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 376k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
235.33/235.50 c 221s|650000 | 392 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 381k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
238.92/239.06 c 224s|660000 | 389 | 883 | 0.0 |9155k| 426 | - | 492 | 200 | 0 | 0 | 9 | 387k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
242.52/242.67 c 228s|670000 | 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 393k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
246.41/246.50 c 231s|680000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 399k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
250.11/250.29 c 235s|690000 | 395 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 405k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
253.51/253.69 c 238s|700000 | 393 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 411k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
257.02/257.13 c 241s|710000 | 394 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 417k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
260.52/260.70 c 245s|720000 | 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 423k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
264.11/264.21 c 248s|730000 | 396 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 429k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
267.62/267.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.62/267.74 c 251s|740000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 435k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
271.01/271.18 c 254s|750000 | 392 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 440k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
274.61/274.71 c 258s|760000 | 394 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 446k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
278.00/278.11 c 261s|770000 | 392 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 452k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
281.71/281.86 c 264s|780000 | 394 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 458k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
285.21/285.38 c 268s|790000 | 392 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 463k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
288.60/288.77 c 271s|800000 | 392 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 469k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
292.31/292.47 c 274s|810000 | 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 475k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
295.90/296.02 c 278s|820000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 481k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
299.71/299.81 c 281s|830000 | 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 487k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
303.30/303.48 c 285s|840000 | 392 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 492k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
307.00/307.16 c 288s|850000 | 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 498k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
310.50/310.64 c 291s|860000 | 392 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 504k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
314.00/314.19 c 295s|870000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 510k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
317.49/317.66 c 298s|880000 | 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 516k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
321.30/321.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.30/321.40 c 302s|890000 | 392 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 522k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
325.10/325.23 c 305s|900000 | 392 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 528k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
328.90/329.02 c 309s|910000 | 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 535k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
332.50/332.68 c 312s|920000 | 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 540k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
336.10/336.27 c 315s|930000 | 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 546k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
340.29/340.43 c 319s|940000 | 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 552k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
343.99/344.10 c 323s|950000 | 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 558k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
347.59/347.78 c 326s|960000 | 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 564k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
350.99/351.19 c 330s|970000 | 394 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 570k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
354.59/354.71 c 333s|980000 | 392 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 576k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
357.88/358.07 c 336s|990000 | 392 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 582k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
361.48/361.62 c 339s| 1000k| 393 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 588k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
364.88/365.04 c 342s| 1010k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 593k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
368.39/368.59 c 346s| 1020k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 599k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
371.98/372.16 c 349s| 1030k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 605k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
375.48/375.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.48/375.62 c 352s| 1040k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 611k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
378.88/379.09 c 356s| 1050k| 392 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 617k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
382.18/382.33 c 359s| 1060k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 623k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
385.78/385.98 c 362s| 1070k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 629k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
389.29/389.41 c 365s| 1080k| 390 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 635k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
392.58/392.79 c 368s| 1090k| 388 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 641k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
395.97/396.16 c 372s| 1100k| 391 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 646k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
399.77/399.90 c 375s| 1110k| 391 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 652k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
403.08/403.28 c 378s| 1120k| 393 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 658k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
406.67/406.83 c 382s| 1130k| 388 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 664k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
410.07/410.27 c 385s| 1140k| 389 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 670k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
413.67/413.84 c 388s| 1150k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 676k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
417.27/417.48 c 392s| 1160k| 392 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 682k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
420.66/420.88 c 395s| 1170k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 688k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
424.17/424.40 c 398s| 1180k| 392 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 694k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
427.77/427.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.77/427.98 c 401s| 1190k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 700k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
431.46/431.62 c 405s| 1200k| 398 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 | 706k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
435.47/435.68 c 409s| 1210k| 390 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 711k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
439.06/439.25 c 412s| 1220k| 389 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 717k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
442.47/442.60 c 415s| 1230k| 391 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 723k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
446.16/446.32 c 419s| 1240k| 396 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 729k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
449.86/450.07 c 422s| 1250k| 393 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 735k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
453.66/453.84 c 426s| 1260k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 741k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
457.56/457.70 c 429s| 1270k| 390 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 747k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
460.95/461.19 c 433s| 1280k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 753k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
464.46/464.64 c 436s| 1290k| 392 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 759k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
467.75/467.95 c 439s| 1300k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 765k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
471.16/471.31 c 442s| 1310k| 389 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 771k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
474.76/474.94 c 445s| 1320k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 | 776k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
478.55/478.72 c 449s| 1330k| 389 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 782k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
482.05/482.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.05/482.29 c 452s| 1340k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 788k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
485.85/486.07 c 456s| 1350k| 390 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 794k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
489.64/489.86 c 460s| 1360k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 800k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
493.75/493.93 c 463s| 1370k| 387 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 | 806k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
497.65/497.84 c 467s| 1380k| 388 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 811k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
501.35/501.56 c 471s| 1390k| 387 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 817k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
504.84/505.08 c 474s| 1400k| 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 823k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
508.35/508.50 c 477s| 1410k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 829k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
511.74/511.92 c 480s| 1420k| 393 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 835k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
515.14/515.37 c 483s| 1430k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 841k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
518.54/518.73 c 487s| 1440k| 394 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 | 847k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
521.94/522.16 c 490s| 1450k| 391 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 | 853k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
525.34/525.59 c 493s| 1460k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 | 859k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
528.85/529.05 c 496s| 1470k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 865k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
532.33/532.50 c 500s| 1480k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 | 871k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
535.73/535.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.73/535.96 c 503s| 1490k| 390 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 877k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
538.93/539.11 c 506s| 1500k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 882k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
542.14/542.33 c 509s| 1510k| 389 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 | 888k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
545.53/545.70 c 512s| 1520k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 894k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
548.74/548.91 c 515s| 1530k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 900k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
552.13/552.40 c 518s| 1540k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 906k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
555.63/555.83 c 521s| 1550k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 912k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
558.93/559.18 c 524s| 1560k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 918k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
562.53/562.70 c 528s| 1570k| 394 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 924k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
565.83/566.00 c 531s| 1580k| 391 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 930k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
569.22/569.44 c 534s| 1590k| 387 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 936k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
572.53/572.71 c 537s| 1600k| 394 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 942k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
575.82/576.09 c 540s| 1610k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 948k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
579.12/579.37 c 543s| 1620k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 954k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
582.62/582.80 c 547s| 1630k| 390 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 960k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
585.92/586.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.92/586.14 c 550s| 1640k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 966k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
589.22/589.49 c 553s| 1650k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 972k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
592.52/592.74 c 556s| 1660k| 390 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 977k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
595.82/596.10 c 559s| 1670k| 393 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 983k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
599.33/599.54 c 562s| 1680k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 | 989k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
602.62/602.82 c 565s| 1690k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 995k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
605.92/606.17 c 568s| 1700k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1001k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
609.31/609.53 c 572s| 1710k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1007k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
612.81/613.02 c 575s| 1720k| 387 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 |1012k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
616.22/616.42 c 578s| 1730k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1019k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
619.51/619.72 c 581s| 1740k| 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1024k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
622.72/622.98 c 584s| 1750k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1030k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
626.01/626.21 c 587s| 1760k| 389 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1036k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
629.11/629.32 c 590s| 1770k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1042k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
632.11/632.31 c 593s| 1780k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1047k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
635.11/635.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.11/635.33 c 596s| 1790k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1053k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
638.21/638.43 c 599s| 1800k| 389 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1059k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
641.41/641.65 c 602s| 1810k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1065k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
644.60/644.87 c 605s| 1820k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1071k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
647.81/648.01 c 608s| 1830k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1076k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
650.80/651.07 c 610s| 1840k| 388 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1082k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
654.10/654.34 c 613s| 1850k| 392 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1088k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
657.51/657.75 c 617s| 1860k| 394 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1094k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
660.70/660.97 c 620s| 1870k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1100k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
664.20/664.43 c 623s| 1880k| 396 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1105k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
667.60/667.86 c 626s| 1890k| 391 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1111k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
671.10/671.31 c 629s| 1900k| 392 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1117k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
674.60/674.90 c 633s| 1910k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1123k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
678.00/678.21 c 636s| 1920k| 392 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1129k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
681.30/681.57 c 639s| 1930k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1135k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
684.70/684.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.70/684.93 c 642s| 1940k| 394 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1141k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
687.99/688.28 c 645s| 1950k| 395 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1147k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
691.39/691.63 c 648s| 1960k| 394 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1153k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
694.79/695.08 c 652s| 1970k| 391 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1158k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
698.29/698.52 c 655s| 1980k| 395 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1164k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
701.69/701.90 c 658s| 1990k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1170k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
705.08/705.35 c 661s| 2000k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1176k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
708.49/708.77 c 664s| 2010k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1182k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
711.89/712.14 c 667s| 2020k| 391 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1188k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
715.28/715.54 c 671s| 2030k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1194k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
718.48/718.75 c 674s| 2040k| 393 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1199k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
721.88/722.10 c 677s| 2050k| 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1205k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
725.18/725.42 c 680s| 2060k| 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1211k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
728.38/728.68 c 683s| 2070k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1217k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
731.48/731.79 c 686s| 2080k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1223k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
734.59/734.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.59/734.87 c 689s| 2090k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1229k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
737.88/738.15 c 692s| 2100k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1235k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
741.19/741.48 c 695s| 2110k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1241k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
744.58/744.80 c 698s| 2120k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1247k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
748.07/748.39 c 701s| 2130k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1253k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
751.77/752.01 c 705s| 2140k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1259k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
755.28/755.52 c 708s| 2150k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1265k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
758.77/759.05 c 711s| 2160k| 388 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1271k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
762.17/762.47 c 714s| 2170k| 389 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1277k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
765.67/765.90 c 718s| 2180k| 387 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1283k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
768.87/769.19 c 721s| 2190k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1289k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
772.37/772.68 c 724s| 2200k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1295k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
775.77/776.01 c 727s| 2210k| 388 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1301k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
779.06/779.38 c 730s| 2220k| 392 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1307k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
782.46/782.79 c 733s| 2230k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1313k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
785.86/786.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.86/786.16 c 737s| 2240k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1319k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
789.57/789.88 c 740s| 2250k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1325k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
793.17/793.47 c 743s| 2260k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1331k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
796.86/797.11 c 747s| 2270k| 392 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1337k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
800.66/800.97 c 750s| 2280k| 392 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1343k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
804.36/804.63 c 754s| 2290k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1349k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
807.95/808.28 c 757s| 2300k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1354k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
811.46/811.78 c 761s| 2310k| 393 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |1360k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
815.35/815.66 c 764s| 2320k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1366k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
819.05/819.34 c 768s| 2330k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1372k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
822.65/822.95 c 771s| 2340k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1378k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
826.15/826.46 c 775s| 2350k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1384k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
829.45/829.79 c 778s| 2360k| 395 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1390k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
832.75/833.06 c 781s| 2370k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1395k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
836.55/836.81 c 784s| 2380k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |1401k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
839.95/840.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.95/840.24 c 787s| 2390k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1407k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
843.44/843.71 c 791s| 2400k| 392 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1413k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
846.83/847.14 c 794s| 2410k| 392 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1419k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
850.33/850.61 c 797s| 2420k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1425k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
853.93/854.29 c 801s| 2430k| 392 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1431k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
857.53/857.84 c 804s| 2440k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1436k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
861.22/861.58 c 807s| 2450k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1442k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
864.62/864.95 c 811s| 2460k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1448k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
868.13/868.45 c 814s| 2470k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1454k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
871.62/871.95 c 817s| 2480k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1460k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
875.12/875.40 c 820s| 2490k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1466k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
878.73/879.01 c 824s| 2500k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1472k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
882.23/882.57 c 827s| 2510k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1478k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
885.81/886.12 c 830s| 2520k| 387 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1484k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
889.02/889.39 c 833s| 2530k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1490k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
892.31/892.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.31/892.66 c 836s| 2540k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1496k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
895.51/895.85 c 839s| 2550k| 389 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1502k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
898.82/899.19 c 843s| 2560k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1508k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
902.51/902.85 c 846s| 2570k| 392 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1514k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
906.11/906.47 c 849s| 2580k| 392 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1519k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
909.91/910.22 c 853s| 2590k| 389 | 883 | 0.0 |9187k| 426 | - | 492 | 200 | 0 | 0 | 9 |1525k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
913.51/913.83 c 856s| 2600k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1531k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
917.01/917.37 c 860s| 2610k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1537k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
920.50/920.85 c 863s| 2620k| 388 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1543k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
923.80/924.11 c 866s| 2630k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1548k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
927.10/927.44 c 869s| 2640k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1554k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
930.41/930.71 c 872s| 2650k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1560k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
933.61/933.93 c 875s| 2660k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1566k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
937.00/937.35 c 878s| 2670k| 386 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1572k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
940.60/940.90 c 882s| 2680k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1577k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
944.20/944.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.20/944.53 c 885s| 2690k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1583k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
947.81/948.17 c 888s| 2700k| 393 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1589k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
951.39/951.71 c 892s| 2710k| 392 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1595k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
954.79/955.19 c 895s| 2720k| 393 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1601k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
958.39/958.71 c 898s| 2730k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1607k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
962.10/962.40 c 902s| 2740k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1613k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
965.59/965.95 c 905s| 2750k| 388 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1619k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
969.09/969.46 c 908s| 2760k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1625k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
972.69/973.06 c 912s| 2770k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1630k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
975.99/976.36 c 915s| 2780k| 392 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1636k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
979.89/980.28 c 919s| 2790k| 389 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1642k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
983.68/984.08 c 922s| 2800k| 390 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1648k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
987.29/987.65 c 925s| 2810k| 390 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1654k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
991.08/991.40 c 929s| 2820k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1660k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
994.79/995.10 c 932s| 2830k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1665k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
998.28/998.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.28/998.60 c 936s| 2840k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1671k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1001.69/1002.09 c 939s| 2850k| 389 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1677k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1004.98/1005.34 c 942s| 2860k| 389 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1683k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1008.38/1008.74 c 945s| 2870k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1689k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1011.58/1011.99 c 948s| 2880k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1695k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1014.88/1015.26 c 951s| 2890k| 391 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1701k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1018.37/1018.79 c 955s| 2900k| 392 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1706k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1021.67/1022.06 c 958s| 2910k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1712k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1024.96/1025.35 c 961s| 2920k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1718k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1028.17/1028.59 c 964s| 2930k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1724k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1031.37/1031.74 c 967s| 2940k| 389 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1730k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1034.67/1035.03 c 970s| 2950k| 393 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1735k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1037.97/1038.36 c 973s| 2960k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1741k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1041.46/1041.81 c 976s| 2970k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1747k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1044.86/1045.21 c 979s| 2980k| 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1753k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1048.26/1048.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.26/1048.61 c 982s| 2990k| 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1759k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1051.56/1051.97 c 986s| 3000k| 386 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1765k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1055.36/1055.73 c 989s| 3010k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1771k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1058.87/1059.27 c 992s| 3020k| 391 | 883 | 0.0 |9186k| 426 | - | 492 | 200 | 0 | 0 | 9 |1776k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1062.36/1062.76 c 996s| 3030k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1782k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1066.06/1066.46 c 999s| 3040k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1788k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1069.46/1069.88 c 1002s| 3050k| 390 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1794k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1072.96/1073.39 c 1006s| 3060k| 387 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1800k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1076.66/1077.03 c 1009s| 3070k| 392 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |1806k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1080.05/1080.50 c 1012s| 3080k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1811k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1083.65/1084.00 c 1016s| 3090k| 393 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1817k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1087.15/1087.59 c 1019s| 3100k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1823k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1090.35/1090.78 c 1022s| 3110k| 394 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1829k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1093.44/1093.84 c 1025s| 3120k| 388 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1835k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1097.14/1097.57 c 1028s| 3130k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1841k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1100.85/1101.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.85/1101.23 c 1032s| 3140k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1847k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1104.34/1104.75 c 1035s| 3150k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1853k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1107.75/1108.13 c 1038s| 3160k| 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1858k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1111.14/1111.55 c 1041s| 3170k| 387 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1864k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1114.84/1115.21 c 1045s| 3180k| 391 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1870k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1118.44/1118.81 c 1048s| 3190k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1876k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1121.74/1122.13 c 1051s| 3200k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1882k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1124.94/1125.35 c 1054s| 3210k| 393 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1887k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1128.53/1128.92 c 1058s| 3220k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1893k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1131.84/1132.26 c 1061s| 3230k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1899k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1135.33/1135.70 c 1064s| 3240k| 387 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1905k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1138.74/1139.14 c 1067s| 3250k| 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1910k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1142.04/1142.46 c 1070s| 3260k| 388 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1916k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1145.33/1145.78 c 1073s| 3270k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1922k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1148.73/1149.13 c 1076s| 3280k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1928k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1152.22/1152.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.22/1152.68 c 1080s| 3290k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1934k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1155.64/1156.00 c 1083s| 3300k| 398 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1940k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1159.03/1159.47 c 1086s| 3310k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1946k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1162.52/1162.95 c 1089s| 3320k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1952k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1166.03/1166.45 c 1093s| 3330k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1958k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1169.52/1169.93 c 1096s| 3340k| 388 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1964k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1172.92/1173.37 c 1099s| 3350k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1969k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1176.42/1176.85 c 1102s| 3360k| 390 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1975k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1179.93/1180.39 c 1106s| 3370k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1981k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1184.02/1184.43 c 1110s| 3380k| 390 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1987k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1187.71/1188.17 c 1113s| 3390k| 387 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1993k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1191.71/1192.18 c 1117s| 3400k| 391 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1999k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1195.71/1196.12 c 1121s| 3410k| 387 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2005k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1199.41/1199.85 c 1124s| 3420k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2011k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1203.31/1203.75 c 1128s| 3430k| 389 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2017k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1207.01/1207.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.01/1207.46 c 1131s| 3440k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2023k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1210.72/1211.12 c 1135s| 3450k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2029k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1214.41/1214.87 c 1138s| 3460k| 394 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2035k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1218.11/1218.56 c 1142s| 3470k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2041k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1222.11/1222.55 c 1145s| 3480k| 388 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2047k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1225.81/1226.26 c 1149s| 3490k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2053k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1229.41/1229.84 c 1152s| 3500k| 391 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2059k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1233.10/1233.54 c 1156s| 3510k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2065k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1236.71/1237.12 c 1159s| 3520k| 393 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2071k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1240.20/1240.65 c 1162s| 3530k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2076k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1243.89/1244.37 c 1166s| 3540k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2082k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1247.50/1247.98 c 1169s| 3550k| 388 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2088k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1251.00/1251.40 c 1172s| 3560k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2094k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1254.50/1254.92 c 1176s| 3570k| 391 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2100k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1258.30/1258.70 c 1179s| 3580k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2106k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1262.20/1262.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.20/1262.61 c 1183s| 3590k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2111k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1265.90/1266.33 c 1187s| 3600k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2117k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1269.59/1270.08 c 1190s| 3610k| 387 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2123k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1273.20/1273.69 c 1193s| 3620k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2129k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1276.70/1277.20 c 1197s| 3630k| 387 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2135k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1279.89/1280.40 c 1200s| 3640k| 387 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |2141k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1283.39/1283.81 c 1203s| 3650k| 386 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2147k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1286.99/1287.45 c 1206s| 3660k| 385 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2152k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1290.69/1291.10 c 1210s| 3670k| 391 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2158k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1294.29/1294.73 c 1213s| 3680k| 393 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2164k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1297.88/1298.31 c 1216s| 3690k| 387 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2170k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1301.38/1301.82 c 1220s| 3700k| 386 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |2176k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1304.78/1305.21 c 1223s| 3710k| 393 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2182k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1308.28/1308.72 c 1226s| 3720k| 395 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |2188k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1312.18/1312.61 c 1230s| 3730k| 388 | 883 | 0.0 |9186k| 426 | - | 492 | 200 | 0 | 0 | 9 |2193k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1316.08/1316.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.08/1316.54 c 1234s| 3740k| 390 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2199k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1319.49/1319.90 c 1237s| 3750k| 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2205k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1322.89/1323.35 c 1240s| 3760k| 388 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |2211k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1326.18/1326.69 c 1243s| 3770k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2217k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1330.07/1330.55 c 1247s| 3780k| 388 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2223k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1333.58/1334.06 c 1250s| 3790k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2229k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1337.08/1337.52 c 1253s| 3800k| 392 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2235k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1340.38/1340.89 c 1256s| 3810k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2240k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1343.68/1344.15 c 1259s| 3820k| 387 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |2246k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1347.37/1347.88 c 1263s| 3830k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2252k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1351.38/1351.82 c 1267s| 3840k| 393 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2258k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1354.96/1355.44 c 1270s| 3850k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2264k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1358.47/1358.93 c 1273s| 3860k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2269k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1361.96/1362.42 c 1277s| 3870k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2275k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1365.36/1365.84 c 1280s| 3880k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2281k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1368.85/1369.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.85/1369.30 c 1283s| 3890k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2287k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1372.36/1372.86 c 1286s| 3900k| 390 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |2293k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1375.96/1376.45 c 1290s| 3910k| 386 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2299k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1379.26/1379.72 c 1293s| 3920k| 389 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2305k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1382.65/1383.18 c 1296s| 3930k| 387 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2310k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1386.45/1386.96 c 1300s| 3940k| 392 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2316k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1390.26/1390.71 c 1303s| 3950k| 389 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2322k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1394.05/1394.59 c 1307s| 3960k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2328k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1397.95/1398.45 c 1310s| 3970k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2334k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1401.46/1401.96 c 1314s| 3980k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2340k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1404.85/1405.35 c 1317s| 3990k| 389 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2346k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1408.45/1408.97 c 1320s| 4000k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2351k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1412.05/1412.56 c 1324s| 4010k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2357k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1415.65/1416.18 c 1327s| 4020k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2363k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1419.05/1419.56 c 1330s| 4030k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2369k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1422.64/1423.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.64/1423.15 c 1334s| 4040k| 389 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2375k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1426.25/1426.76 c 1337s| 4050k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2380k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1429.95/1430.40 c 1340s| 4060k| 388 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2386k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1433.44/1433.91 c 1344s| 4070k| 390 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |2391k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1436.94/1437.45 c 1347s| 4080k| 386 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2397k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1440.23/1440.74 c 1350s| 4090k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2403k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1443.74/1444.22 c 1353s| 4100k| 385 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |2409k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1446.93/1447.46 c 1356s| 4110k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2415k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1450.34/1450.83 c 1360s| 4120k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2420k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1453.64/1454.14 c 1363s| 4130k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2426k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1456.84/1457.39 c 1366s| 4140k| 391 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2432k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1460.34/1460.89 c 1369s| 4150k| 393 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2438k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1463.73/1464.30 c 1372s| 4160k| 391 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2444k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1467.13/1467.68 c 1375s| 4170k| 395 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2450k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1470.52/1471.08 c 1378s| 4180k| 392 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2456k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1474.13/1474.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.13/1474.61 c 1382s| 4190k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2462k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1477.63/1478.12 c 1385s| 4200k| 392 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2468k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1481.02/1481.50 c 1388s| 4210k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2474k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1484.32/1484.84 c 1391s| 4220k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2479k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1487.73/1488.22 c 1395s| 4230k| 388 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2485k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1490.92/1491.45 c 1398s| 4240k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2491k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1494.33/1494.81 c 1401s| 4250k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2497k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1497.52/1498.10 c 1404s| 4260k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2503k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1500.82/1501.31 c 1407s| 4270k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2508k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1504.23/1504.70 c 1410s| 4280k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2514k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1507.41/1507.94 c 1413s| 4290k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2520k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1510.62/1511.19 c 1416s| 4300k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2526k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1513.92/1514.50 c 1419s| 4310k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2532k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1517.21/1517.78 c 1422s| 4320k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2538k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1520.52/1521.06 c 1425s| 4330k| 392 | 883 | 0.0 |9190k| 426 | - | 492 | 200 | 0 | 0 | 9 |2544k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1523.91/1524.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.91/1524.47 c 1428s| 4340k| 393 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2550k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1527.42/1527.99 c 1432s| 4350k| 390 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2555k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1530.91/1531.43 c 1435s| 4360k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2561k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1534.42/1534.93 c 1438s| 4370k| 389 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2567k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1537.91/1538.45 c 1442s| 4380k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2573k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1541.31/1541.83 c 1445s| 4390k| 388 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2579k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1544.91/1545.50 c 1448s| 4400k| 389 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2585k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1548.50/1549.02 c 1452s| 4410k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2591k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1551.80/1552.36 c 1455s| 4420k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2597k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1555.21/1555.74 c 1458s| 4430k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2603k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1558.71/1559.22 c 1461s| 4440k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2609k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1562.10/1562.63 c 1464s| 4450k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2614k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1565.50/1566.00 c 1467s| 4460k| 395 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2620k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1568.70/1569.27 c 1470s| 4470k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2626k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1572.20/1572.72 c 1474s| 4480k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2632k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1575.60/1576.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.60/1576.15 c 1477s| 4490k| 392 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2638k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1579.10/1579.69 c 1480s| 4500k| 386 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2644k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1582.60/1583.11 c 1483s| 4510k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2649k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1585.80/1586.37 c 1486s| 4520k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2655k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1589.10/1589.69 c 1490s| 4530k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2661k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1592.49/1593.04 c 1493s| 4540k| 386 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2667k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1595.79/1596.34 c 1496s| 4550k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2673k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1599.09/1599.66 c 1499s| 4560k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2679k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1602.39/1602.98 c 1502s| 4570k| 389 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2684k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1605.69/1606.28 c 1505s| 4580k| 388 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2690k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1609.18/1609.76 c 1508s| 4590k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2696k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1612.48/1613.05 c 1511s| 4600k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2702k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1615.79/1616.36 c 1514s| 4610k| 386 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2708k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1619.08/1619.61 c 1517s| 4620k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2714k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1622.48/1623.05 c 1521s| 4630k| 389 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2720k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1625.88/1626.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.88/1626.41 c 1524s| 4640k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2726k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1629.18/1629.72 c 1527s| 4650k| 388 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |2732k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1632.39/1632.93 c 1530s| 4660k| 393 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2737k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1635.78/1636.34 c 1533s| 4670k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2743k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1639.09/1639.60 c 1536s| 4680k| 387 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2749k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1642.48/1643.00 c 1539s| 4690k| 391 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |2755k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1645.87/1646.46 c 1543s| 4700k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2761k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1649.28/1649.83 c 1546s| 4710k| 392 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2767k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1652.57/1653.13 c 1549s| 4720k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2773k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1655.88/1656.40 c 1552s| 4730k| 387 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2779k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1659.29/1659.83 c 1555s| 4740k| 392 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2785k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1662.47/1663.06 c 1558s| 4750k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2791k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1665.88/1666.49 c 1561s| 4760k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2797k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1669.37/1669.98 c 1565s| 4770k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2803k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1672.87/1673.42 c 1568s| 4780k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |2808k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1676.37/1676.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.37/1676.92 c 1571s| 4790k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2814k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1679.77/1680.35 c 1574s| 4800k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2820k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1683.17/1683.72 c 1577s| 4810k| 386 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2826k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1686.47/1687.03 c 1581s| 4820k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2832k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1689.97/1690.56 c 1584s| 4830k| 391 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2838k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1693.38/1693.96 c 1587s| 4840k| 387 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2844k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1696.77/1697.34 c 1590s| 4850k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2850k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1700.07/1700.69 c 1593s| 4860k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2856k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1703.57/1704.11 c 1597s| 4870k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2862k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1706.96/1707.57 c 1600s| 4880k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2868k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1710.46/1711.06 c 1603s| 4890k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2874k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1713.86/1714.43 c 1606s| 4900k| 387 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2880k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1717.36/1717.95 c 1610s| 4910k| 386 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |2886k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1720.76/1721.39 c 1613s| 4920k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2892k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1724.05/1724.67 c 1616s| 4930k| 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2898k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1727.46/1728.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.46/1728.06 c 1619s| 4940k| 387 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2904k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1730.86/1731.47 c 1622s| 4950k| 387 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2910k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1734.45/1735.06 c 1625s| 4960k| 388 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2916k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1738.05/1738.61 c 1629s| 4970k| 392 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |2922k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1741.55/1742.16 c 1632s| 4980k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2928k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1745.06/1745.61 c 1635s| 4990k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2934k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1748.45/1749.08 c 1639s| 5000k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2939k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1752.05/1752.61 c 1642s| 5010k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2945k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1755.45/1756.08 c 1645s| 5020k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2951k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1759.04/1759.62 c 1648s| 5030k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |2957k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1762.54/1763.16 c 1652s| 5040k| 387 | 883 | 0.0 |9188k| 426 | - | 492 | 200 | 0 | 0 | 9 |2963k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1766.25/1766.90 c 1655s| 5050k| 388 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2969k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1769.94/1770.59 c 1659s| 5060k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2975k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1773.64/1774.28 c 1662s| 5070k| 388 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2981k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1777.04/1777.67 c 1665s| 5080k| 385 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2987k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1780.14/1780.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.14/1780.70 c 1668s| 5090k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2993k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1783.34/1783.97 c 1671s| 5100k| 385 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2999k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1786.74/1787.33 c 1674s| 5110k| 388 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |3004k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1790.04/1790.60 c 1678s| 5120k| 386 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |3010k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1793.34/1793.95 c 1681s| 5130k| 387 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |3016k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1796.54/1797.16 c 1684s| 5140k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |3022k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1799.93/1800.50 c 1687s| 5150k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |3028k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1686.90
1800.05/1800.61 c Solving Nodes : 5150342
1800.05/1800.61 c Primal Bound : +4.20000000000000e+01 (18 solutions)
1800.05/1800.61 c Dual Bound : +3.39438963593131e+01
1800.05/1800.61 c Gap : 23.73 %
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.05/1800.61 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450
1800.05/1800.61 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
1800.05/1800.61 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1800.05/1800.61 v -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.05/1800.61 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.05/1800.61 v x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345
1800.05/1800.61 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324
1800.05/1800.61 v -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.05/1800.61 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.05/1800.61 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261
1800.05/1800.61 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1800.05/1800.61 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1800.05/1800.61 v x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 -x198
1800.05/1800.61 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177
1800.05/1800.61 v x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1800.05/1800.61 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 x135
1800.05/1800.61 v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 -x115 -x114 -x113
1800.05/1800.61 v -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 x102 x101 -x100 -x99 -x98 x97 x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.05/1800.61 v -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.05/1800.61 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.05/1800.61 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
1800.05/1800.61 v -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1686.90
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2665517-1276595219.opb
1800.05/1800.61 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 200 initial, 200 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2665517-1276595219.opb
1800.05/1800.61 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 200 initial, 202 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.61 c logicor : 200+ 10 9139151 0 0 1265242 13280858 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 1.19 0.00 0.00 1.19 0.00
1800.05/1800.61 c logicor : 427.74 0.00 427.74 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 8.15 2 0 0
1800.05/1800.61 c rootredcost : 8.15 0 0 0
1800.05/1800.61 c pseudoobj : 902.00 17198489 1765740 43978675
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 875.25 3027707 3027707 3027707 246.4 5491 238.5 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.26 923 923 923 238.9 14 217.5 -
1800.05/1800.61 c applied globally : - - - 38 48.3 - - -
1800.05/1800.61 c applied locally : - - - 3028592 246.4 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.02 9 - - 19 - (maximal pool size: 534)
1800.05/1800.61 c redcost : 0.00 11 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 11 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.43 11 0 0 0 0
1800.05/1800.61 c strongcg : 0.49 11 0 0 534 0
1800.05/1800.61 c cmir : 0.04 10 0 0 0 0
1800.05/1800.61 c flowcover : 0.17 10 0 0 0 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 1.19 1 0 0 0 0 2
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 53.03 3584836 0 0 0 0 7169672
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c oneopt : 2.41 3 1
1800.05/1800.61 c trivial : 0.00 2 3
1800.05/1800.61 c simplerounding : 0.00 10 10
1800.05/1800.61 c zirounding : 0.00 1 1
1800.05/1800.61 c rounding : 0.01 10 1
1800.05/1800.61 c shifting : 0.02 10 1
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 6.07 1 1
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 2.60 0 0
1800.05/1800.61 c trysol : 2.20 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.17 10 883 88.30 5194.12
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 1.19 22 6836 310.73 5744.54
1800.05/1800.61 c (at root node) : - 22 6836 310.73 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 5150342
1800.05/1800.61 c nodes (total) : 5150342
1800.05/1800.61 c nodes left : 387
1800.05/1800.61 c max depth : 426
1800.05/1800.61 c max depth (total): 426
1800.05/1800.61 c backtracks : 1518585 (29.5%)
1800.05/1800.61 c delayed cutoffs : 2018946
1800.05/1800.61 c repropagations : 4378636 (29463040 domain reductions, 1466400 cutoffs)
1800.05/1800.61 c avg switch length: 2.58
1800.05/1800.61 c switching time : 69.29
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 18 (6 improvements)
1800.05/1800.61 c First Solution : +4.92000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.05/1800.61 c Primal Bound : +4.20000000000000e+01 (in run 1, after 1 nodes, 7.43 seconds, depth 0, found by <rens>)
1800.05/1800.61 c Dual Bound : +3.39438963593131e+01
1800.05/1800.61 c Gap : 23.73 %
1800.05/1800.61 c Root Dual Bound : +3.36486819906699e+01
1800.05/1800.61 c Root Iterations : 883
1800.05/1800.62 c Time complete: 1800.06.