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-2667617-1276589888.opb>
0.00/0.02 c original problem has 594 variables (594 bin, 0 int, 0 impl, 0 cont) and 530 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 594
0.00/0.03 c feasible solution found by trivial heuristic, objective value 5.940000e+02
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 113 del conss, 0 chg bounds, 113 chg sides, 0 chg coeffs, 0 upgd conss, 58 impls, 0 clqs
0.00/0.04 c (round 2) 15 del vars, 121 del conss, 0 chg bounds, 113 chg sides, 0 chg coeffs, 0 upgd conss, 58 impls, 0 clqs
0.00/0.05 c (round 3) 19 del vars, 122 del conss, 0 chg bounds, 113 chg sides, 0 chg coeffs, 0 upgd conss, 58 impls, 0 clqs
0.00/0.06 c (round 4) 19 del vars, 122 del conss, 0 chg bounds, 113 chg sides, 0 chg coeffs, 408 upgd conss, 58 impls, 0 clqs
0.05/0.06 c (0.0s) probing: 101/575 (17.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.05/0.06 c presolving (5 rounds):
0.05/0.06 c 19 deleted vars, 122 deleted constraints, 0 tightened bounds, 0 added holes, 113 changed sides, 0 changed coefficients
0.05/0.06 c 58 implications, 0 cliques
0.05/0.06 c presolved problem has 575 variables (575 bin, 0 int, 0 impl, 0 cont) and 408 constraints
0.05/0.06 c 408 constraints of type <logicor>
0.05/0.06 c transformed objective value is always integral (scale: 1)
0.05/0.06 c Presolving Time: 0.03
0.05/0.06 c - non default parameters ----------------------------------------------------------------------
0.05/0.06 c # SCIP version 1.2.1.2
0.05/0.06 c
0.05/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c conflict/interconss = 0
0.05/0.06 c
0.05/0.06 c # should binary conflicts be preferred?
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c conflict/preferbinary = TRUE
0.05/0.06 c
0.05/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.06 c constraints/agelimit = 1
0.05/0.06 c
0.05/0.06 c # should enforcement of pseudo solution be disabled?
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/disableenfops = TRUE
0.05/0.06 c
0.05/0.06 c # frequency for displaying node information lines
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06 c display/freq = 10000
0.05/0.06 c
0.05/0.06 c # maximal time in seconds to run
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/time = 1799.98
0.05/0.06 c
0.05/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/memory = 1620
0.05/0.06 c
0.05/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.06 c lp/solvefreq = 0
0.05/0.06 c
0.05/0.06 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.05/0.06 c # [type: char, range: {lafpsqd}, default: l]
0.05/0.06 c lp/pricing = a
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify inequalities
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/linear/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify knapsacks
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # priority of node selection rule <dfs> in standard mode
0.05/0.06 c # [type: int, range: [-536870912,536870911], default: 0]
0.05/0.06 c nodeselection/dfs/stdpriority = 1000000
0.05/0.06 c
0.05/0.06 c -----------------------------------------------------------------------------------------------
0.05/0.06 c start solving
0.05/0.06 c
0.05/0.07 o 581
0.05/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.07 c t 0.0s| 1 | 0 | 0 | - |1457k| 0 | - | 575 | 408 | 0 | 0 | 0 | 0 | 0 | -- | 5.810000e+02 | Inf
0.05/0.07 o 148
0.05/0.07 c b 0.0s| 1 | 0 | 0 | - |1837k| 0 | - | 575 | 408 | 575 | 408 | 0 | 0 | 0 | -- | 1.480000e+02 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 1028 | - |1829k| 0 | 141 | 575 | 408 | 575 | 408 | 0 | 0 | 0 | 1.085000e+02 | 1.480000e+02 | 36.41%
0.29/0.31 c 0.3s| 1 | 0 | 1053 | - |2637k| 0 | 161 | 575 | 408 | 575 | 410 | 2 | 0 | 0 | 1.090000e+02 | 1.480000e+02 | 35.78%
0.39/0.45 c 0.4s| 1 | 0 | 1071 | - |3270k| 0 | 170 | 575 | 408 | 575 | 412 | 4 | 0 | 0 | 1.090000e+02 | 1.480000e+02 | 35.78%
0.49/0.57 c 0.5s| 1 | 0 | 1087 | - |3346k| 0 | 159 | 575 | 408 | 575 | 414 | 6 | 0 | 0 | 1.090000e+02 | 1.480000e+02 | 35.78%
0.69/0.71 c 0.7s| 1 | 0 | 1113 | - |3462k| 0 | 171 | 575 | 408 | 575 | 416 | 8 | 0 | 0 | 1.090000e+02 | 1.480000e+02 | 35.78%
0.79/0.88 c 0.8s| 1 | 0 | 1128 | - |3478k| 0 | 174 | 575 | 408 | 575 | 417 | 9 | 0 | 0 | 1.090000e+02 | 1.480000e+02 | 35.78%
1.99/2.04 o 111
1.99/2.04 c E 1.9s| 1 | 0 | 1128 | - |3511k| 0 | 174 | 575 | 408 | 575 | 417 | 9 | 0 | 0 | 1.090000e+02 | 1.110000e+02 | 1.83%
1.99/2.05 c 1.9s| 1 | 0 | 1128 | - |3511k| 0 | 174 | 575 | 408 | 575 | 417 | 9 | 0 | 0 | 1.090000e+02 | 1.110000e+02 | 1.83%
2.99/3.10 c 2.9s| 1 | 2 | 1128 | - |3511k| 0 | 174 | 575 | 408 | 575 | 417 | 9 | 0 | 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
7.19/7.25 c 6.9s| 10000 | 396 | 1128 | 0.0 |3856k| 423 | - | 575 | 408 | 0 | 0 | 9 |6095 | 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
11.79/11.80 c 11.2s| 20000 | 386 | 1128 | 0.0 |3865k| 423 | - | 575 | 408 | 0 | 0 | 9 | 12k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
16.50/16.51 c 15.7s| 30000 | 374 | 1128 | 0.0 |3889k| 423 | - | 575 | 408 | 0 | 0 | 9 | 18k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
20.89/20.91 c 19.8s| 40000 | 373 | 1128 | 0.0 |3873k| 423 | - | 575 | 408 | 0 | 0 | 9 | 25k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
24.59/24.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.59/24.66 c 23.4s| 50000 | 376 | 1128 | 0.0 |3879k| 423 | - | 575 | 408 | 0 | 0 | 9 | 31k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
28.98/29.09 c 27.6s| 60000 | 371 | 1128 | 0.0 |3872k| 423 | - | 575 | 408 | 0 | 0 | 9 | 37k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
33.58/33.63 c 31.8s| 70000 | 367 | 1128 | 0.0 |3885k| 423 | - | 575 | 408 | 0 | 0 | 9 | 44k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
38.18/38.27 c 36.2s| 80000 | 367 | 1128 | 0.0 |3885k| 423 | - | 575 | 408 | 0 | 0 | 9 | 51k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
43.08/43.15 c 40.8s| 90000 | 363 | 1128 | 0.0 |3880k| 423 | - | 575 | 408 | 0 | 0 | 9 | 57k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
47.77/47.87 c 45.3s|100000 | 368 | 1128 | 0.0 |3882k| 423 | - | 575 | 408 | 0 | 0 | 9 | 64k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
52.17/52.26 c 49.5s|110000 | 364 | 1128 | 0.0 |3888k| 423 | - | 575 | 408 | 0 | 0 | 9 | 70k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
56.57/56.69 c 53.6s|120000 | 365 | 1128 | 0.0 |3882k| 423 | - | 575 | 408 | 0 | 0 | 9 | 77k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
60.97/61.01 c 57.7s|130000 | 361 | 1128 | 0.0 |3891k| 423 | - | 575 | 408 | 0 | 0 | 9 | 83k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
65.67/65.74 c 62.2s|140000 | 357 | 1128 | 0.0 |3885k| 423 | - | 575 | 408 | 0 | 0 | 9 | 90k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
70.38/70.45 c 66.6s|150000 | 357 | 1128 | 0.0 |3891k| 423 | - | 575 | 408 | 0 | 0 | 9 | 97k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
75.07/75.11 c 71.1s|160000 | 358 | 1128 | 0.0 |3887k| 423 | - | 575 | 408 | 0 | 0 | 9 | 103k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
79.27/79.34 c 75.1s|170000 | 356 | 1128 | 0.0 |3887k| 423 | - | 575 | 408 | 0 | 0 | 9 | 109k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
83.47/83.59 c 79.1s|180000 | 355 | 1128 | 0.0 |3900k| 423 | - | 575 | 408 | 0 | 0 | 9 | 116k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
87.97/88.06 c 83.3s|190000 | 353 | 1128 | 0.0 |3893k| 423 | - | 575 | 408 | 0 | 0 | 9 | 122k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
92.27/92.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.27/92.38 c 87.4s|200000 | 355 | 1128 | 0.0 |3896k| 423 | - | 575 | 408 | 0 | 0 | 9 | 129k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
96.56/96.61 c 91.4s|210000 | 361 | 1128 | 0.0 |3900k| 423 | - | 575 | 408 | 0 | 0 | 9 | 135k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
101.07/101.15 c 95.7s|220000 | 357 | 1128 | 0.0 |3906k| 423 | - | 575 | 408 | 0 | 0 | 9 | 142k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
105.76/105.80 c 100s|230000 | 359 | 1128 | 0.0 |3901k| 423 | - | 575 | 408 | 0 | 0 | 9 | 148k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
110.16/110.24 c 104s|240000 | 357 | 1128 | 0.0 |3902k| 423 | - | 575 | 408 | 0 | 0 | 9 | 155k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
114.37/114.43 c 108s|250000 | 355 | 1128 | 0.0 |3911k| 423 | - | 575 | 408 | 0 | 0 | 9 | 161k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
118.86/118.96 c 113s|260000 | 356 | 1128 | 0.0 |3899k| 423 | - | 575 | 408 | 0 | 0 | 9 | 168k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
123.06/123.13 c 116s|270000 | 357 | 1128 | 0.0 |3901k| 423 | - | 575 | 408 | 0 | 0 | 9 | 174k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
127.06/127.12 c 120s|280000 | 355 | 1128 | 0.0 |3904k| 423 | - | 575 | 408 | 0 | 0 | 9 | 180k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
131.05/131.13 c 124s|290000 | 355 | 1128 | 0.0 |3904k| 423 | - | 575 | 408 | 0 | 0 | 9 | 187k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
135.36/135.41 c 128s|300000 | 360 | 1128 | 0.0 |3902k| 423 | - | 575 | 408 | 0 | 0 | 9 | 193k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
139.45/139.52 c 132s|310000 | 356 | 1128 | 0.0 |3908k| 423 | - | 575 | 408 | 0 | 0 | 9 | 199k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
143.74/143.85 c 136s|320000 | 361 | 1128 | 0.0 |3905k| 423 | - | 575 | 408 | 0 | 0 | 9 | 206k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
147.74/147.86 c 140s|330000 | 356 | 1128 | 0.0 |3904k| 423 | - | 575 | 408 | 0 | 0 | 9 | 211k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
151.75/151.84 c 143s|340000 | 359 | 1128 | 0.0 |3904k| 423 | - | 575 | 408 | 0 | 0 | 9 | 218k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
155.84/155.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.84/155.90 c 147s|350000 | 356 | 1128 | 0.0 |3902k| 423 | - | 575 | 408 | 0 | 0 | 9 | 224k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
159.55/159.61 c 151s|360000 | 362 | 1128 | 0.0 |3909k| 423 | - | 575 | 408 | 0 | 0 | 9 | 230k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
163.25/163.39 c 154s|370000 | 362 | 1128 | 0.0 |3911k| 423 | - | 575 | 408 | 0 | 0 | 9 | 235k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
167.44/167.57 c 158s|380000 | 358 | 1128 | 0.0 |3907k| 423 | - | 575 | 408 | 0 | 0 | 9 | 241k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
171.14/171.27 c 162s|390000 | 364 | 1128 | 0.0 |3912k| 423 | - | 575 | 408 | 0 | 0 | 9 | 247k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
174.84/174.92 c 165s|400000 | 362 | 1128 | 0.0 |3910k| 423 | - | 575 | 408 | 0 | 0 | 9 | 252k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
178.64/178.74 c 169s|410000 | 359 | 1128 | 0.0 |3909k| 423 | - | 575 | 408 | 0 | 0 | 9 | 258k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
182.44/182.57 c 172s|420000 | 365 | 1128 | 0.0 |3908k| 423 | - | 575 | 408 | 0 | 0 | 9 | 264k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
186.13/186.22 c 176s|430000 | 358 | 1128 | 0.0 |3912k| 423 | - | 575 | 408 | 0 | 0 | 9 | 269k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
189.94/190.08 c 179s|440000 | 358 | 1128 | 0.0 |3907k| 423 | - | 575 | 408 | 0 | 0 | 9 | 275k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
193.73/193.88 c 183s|450000 | 356 | 1128 | 0.0 |3909k| 423 | - | 575 | 408 | 0 | 0 | 9 | 281k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
197.94/198.07 c 187s|460000 | 365 | 1128 | 0.0 |3912k| 423 | - | 575 | 408 | 0 | 0 | 9 | 288k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
201.73/201.88 c 190s|470000 | 358 | 1128 | 0.0 |3913k| 423 | - | 575 | 408 | 0 | 0 | 9 | 293k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
205.64/205.77 c 194s|480000 | 356 | 1128 | 0.0 |3904k| 423 | - | 575 | 408 | 0 | 0 | 9 | 299k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
209.33/209.41 c 197s|490000 | 361 | 1128 | 0.0 |3908k| 423 | - | 575 | 408 | 0 | 0 | 9 | 305k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
212.93/213.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.93/213.09 c 201s|500000 | 360 | 1128 | 0.0 |3910k| 423 | - | 575 | 408 | 0 | 0 | 9 | 310k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
217.02/217.20 c 205s|510000 | 362 | 1128 | 0.0 |3907k| 423 | - | 575 | 408 | 0 | 0 | 9 | 316k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
221.53/221.65 c 209s|520000 | 362 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 323k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
225.43/225.56 c 213s|530000 | 359 | 1128 | 0.0 |3909k| 423 | - | 575 | 408 | 0 | 0 | 9 | 329k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
229.33/229.50 c 216s|540000 | 357 | 1128 | 0.0 |3910k| 423 | - | 575 | 408 | 0 | 0 | 9 | 335k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
233.13/233.26 c 220s|550000 | 357 | 1128 | 0.0 |3906k| 423 | - | 575 | 408 | 0 | 0 | 9 | 340k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
237.22/237.37 c 224s|560000 | 357 | 1128 | 0.0 |3907k| 423 | - | 575 | 408 | 0 | 0 | 9 | 346k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
241.72/241.80 c 228s|570000 | 357 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 353k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
245.92/246.09 c 232s|580000 | 357 | 1128 | 0.0 |3910k| 423 | - | 575 | 408 | 0 | 0 | 9 | 359k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
250.22/250.36 c 236s|590000 | 354 | 1128 | 0.0 |3916k| 423 | - | 575 | 408 | 0 | 0 | 9 | 365k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
254.22/254.34 c 240s|600000 | 354 | 1128 | 0.0 |3908k| 423 | - | 575 | 408 | 0 | 0 | 9 | 371k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
258.62/258.74 c 244s|610000 | 362 | 1128 | 0.0 |3907k| 423 | - | 575 | 408 | 0 | 0 | 9 | 378k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
262.72/262.81 c 248s|620000 | 355 | 1128 | 0.0 |3909k| 423 | - | 575 | 408 | 0 | 0 | 9 | 384k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
266.51/266.63 c 251s|630000 | 357 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 389k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
270.61/270.75 c 255s|640000 | 357 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 396k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
274.51/274.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.51/274.69 c 259s|650000 | 357 | 1128 | 0.0 |3912k| 423 | - | 575 | 408 | 0 | 0 | 9 | 401k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
278.31/278.45 c 262s|660000 | 358 | 1128 | 0.0 |3913k| 423 | - | 575 | 408 | 0 | 0 | 9 | 407k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
282.41/282.59 c 266s|670000 | 356 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 414k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
286.51/286.65 c 270s|680000 | 356 | 1128 | 0.0 |3913k| 423 | - | 575 | 408 | 0 | 0 | 9 | 420k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
290.71/290.89 c 274s|690000 | 355 | 1128 | 0.0 |3916k| 423 | - | 575 | 408 | 0 | 0 | 9 | 426k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
294.61/294.73 c 278s|700000 | 372 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 432k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
298.61/298.76 c 282s|710000 | 365 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 438k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
303.00/303.10 c 286s|720000 | 358 | 1128 | 0.0 |3914k| 423 | - | 575 | 408 | 0 | 0 | 9 | 444k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
307.01/307.11 c 289s|730000 | 358 | 1128 | 0.0 |3913k| 423 | - | 575 | 408 | 0 | 0 | 9 | 450k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
310.80/310.95 c 293s|740000 | 359 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 456k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
314.80/314.97 c 297s|750000 | 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 462k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
318.90/319.07 c 301s|760000 | 359 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 468k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
323.00/323.20 c 305s|770000 | 355 | 1128 | 0.0 |3914k| 423 | - | 575 | 408 | 0 | 0 | 9 | 474k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
327.00/327.11 c 308s|780000 | 361 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 480k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
331.01/331.19 c 312s|790000 | 358 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 486k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
335.30/335.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.30/335.40 c 316s|800000 | 356 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 493k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
339.40/339.50 c 320s|810000 | 355 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 499k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
343.49/343.66 c 324s|820000 | 357 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 505k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
347.29/347.44 c 327s|830000 | 355 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 511k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
350.89/351.07 c 331s|840000 | 356 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 516k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
354.89/355.06 c 335s|850000 | 355 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 522k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
358.99/359.17 c 338s|860000 | 357 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 528k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
363.19/363.37 c 342s|870000 | 358 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 534k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
367.19/367.38 c 346s|880000 | 354 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 541k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
371.48/371.69 c 350s|890000 | 352 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 547k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
376.09/376.22 c 355s|900000 | 359 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 | 554k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
380.28/380.49 c 359s|910000 | 357 | 1128 | 0.0 |3916k| 423 | - | 575 | 408 | 0 | 0 | 9 | 560k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
384.28/384.47 c 362s|920000 | 361 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 566k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
388.57/388.79 c 366s|930000 | 352 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 572k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
392.68/392.89 c 370s|940000 | 353 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 579k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
396.58/396.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.58/396.78 c 374s|950000 | 356 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 585k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
400.48/400.65 c 378s|960000 | 355 | 1128 | 0.0 |3915k| 423 | - | 575 | 408 | 0 | 0 | 9 | 590k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
404.37/404.51 c 381s|970000 | 356 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 | 596k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
408.48/408.61 c 385s|980000 | 354 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 603k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
412.27/412.49 c 389s|990000 | 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 608k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
416.17/416.39 c 392s| 1000k| 358 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 614k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
420.07/420.27 c 396s| 1010k| 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 620k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
424.27/424.50 c 400s| 1020k| 359 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 626k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
428.17/428.30 c 404s| 1030k| 355 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 632k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
432.07/432.26 c 407s| 1040k| 358 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 638k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
436.16/436.35 c 411s| 1050k| 352 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 644k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
440.37/440.51 c 415s| 1060k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 651k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
444.37/444.56 c 419s| 1070k| 354 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 657k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
448.46/448.67 c 423s| 1080k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 663k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
452.56/452.75 c 427s| 1090k| 357 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 669k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
456.56/456.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.56/456.75 c 430s| 1100k| 353 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 675k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
460.96/461.13 c 435s| 1110k| 350 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 681k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
464.86/465.03 c 438s| 1120k| 353 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 687k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
468.96/469.10 c 442s| 1130k| 358 | 1128 | 0.0 |3917k| 423 | - | 575 | 408 | 0 | 0 | 9 | 693k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
473.15/473.32 c 446s| 1140k| 351 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 | 699k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
477.26/477.45 c 450s| 1150k| 353 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 706k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
481.05/481.23 c 453s| 1160k| 356 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 711k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
484.75/484.91 c 457s| 1170k| 360 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 717k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
488.55/488.79 c 461s| 1180k| 358 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 723k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
492.45/492.68 c 464s| 1190k| 355 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 | 729k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
496.45/496.63 c 468s| 1200k| 357 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 735k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
500.05/500.25 c 471s| 1210k| 363 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 741k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
503.75/503.97 c 475s| 1220k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 746k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
507.75/507.92 c 479s| 1230k| 357 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 752k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
511.65/511.82 c 482s| 1240k| 356 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 758k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
515.44/515.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.44/515.66 c 486s| 1250k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 | 764k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
519.54/519.72 c 490s| 1260k| 356 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 770k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
523.45/523.62 c 493s| 1270k| 365 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 776k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
527.24/527.47 c 497s| 1280k| 353 | 1128 | 0.0 |3918k| 423 | - | 575 | 408 | 0 | 0 | 9 | 782k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
531.04/531.20 c 500s| 1290k| 354 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 788k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
534.94/535.15 c 504s| 1300k| 352 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 794k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
539.04/539.25 c 508s| 1310k| 352 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 800k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
543.03/543.23 c 512s| 1320k| 352 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 | 806k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
546.93/547.16 c 516s| 1330k| 352 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 812k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
551.23/551.42 c 520s| 1340k| 356 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 | 819k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
555.24/555.48 c 523s| 1350k| 357 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 825k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
559.33/559.53 c 527s| 1360k| 354 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 831k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
563.33/563.56 c 531s| 1370k| 355 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 837k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
567.53/567.71 c 535s| 1380k| 358 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 843k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
571.53/571.78 c 539s| 1390k| 356 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 849k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
575.52/575.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.52/575.79 c 543s| 1400k| 354 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 855k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
579.33/579.60 c 546s| 1410k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 | 861k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
583.22/583.43 c 550s| 1420k| 351 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 867k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
587.13/587.40 c 554s| 1430k| 357 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 873k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
591.12/591.39 c 557s| 1440k| 356 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 | 879k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
595.12/595.39 c 561s| 1450k| 361 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 885k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
599.22/599.47 c 565s| 1460k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 | 891k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
603.42/603.69 c 569s| 1470k| 357 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 897k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
607.51/607.78 c 573s| 1480k| 359 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 903k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
611.71/611.93 c 577s| 1490k| 352 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 | 909k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
615.72/616.00 c 581s| 1500k| 362 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 915k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
619.92/620.14 c 584s| 1510k| 355 | 1128 | 0.0 |3932k| 423 | - | 575 | 408 | 0 | 0 | 9 | 921k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
624.21/624.44 c 588s| 1520k| 356 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 | 928k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
628.51/628.70 c 593s| 1530k| 356 | 1128 | 0.0 |3934k| 423 | - | 575 | 408 | 0 | 0 | 9 | 934k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
633.01/633.26 c 597s| 1540k| 357 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 | 940k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
637.31/637.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.31/637.58 c 601s| 1550k| 357 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 | 946k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
641.81/642.10 c 605s| 1560k| 356 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 | 952k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
646.20/646.46 c 609s| 1570k| 358 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 | 959k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
650.30/650.54 c 613s| 1580k| 361 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 | 965k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
654.50/654.72 c 617s| 1590k| 353 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 | 971k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
658.80/659.07 c 621s| 1600k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 | 977k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
663.30/663.55 c 625s| 1610k| 358 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 983k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
667.80/668.07 c 630s| 1620k| 354 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 | 990k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
672.30/672.57 c 634s| 1630k| 358 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 | 996k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
676.21/676.45 c 638s| 1640k| 360 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1002k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
679.51/679.73 c 641s| 1650k| 358 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1007k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
683.09/683.33 c 644s| 1660k| 353 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1013k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
686.40/686.69 c 647s| 1670k| 358 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |1018k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
689.99/690.22 c 651s| 1680k| 360 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1023k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
693.39/693.61 c 654s| 1690k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1029k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
696.69/696.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.69/696.98 c 657s| 1700k| 359 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1034k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
700.09/700.39 c 660s| 1710k| 358 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1039k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
703.70/703.92 c 663s| 1720k| 356 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1044k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
707.09/707.39 c 667s| 1730k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1050k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
710.69/710.97 c 670s| 1740k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1055k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
714.19/714.46 c 673s| 1750k| 369 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1060k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
717.69/717.97 c 677s| 1760k| 365 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1065k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
721.19/721.49 c 680s| 1770k| 364 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1070k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
724.69/724.91 c 683s| 1780k| 365 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1075k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
728.28/728.55 c 686s| 1790k| 362 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1081k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
732.09/732.38 c 690s| 1800k| 362 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1086k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
735.69/735.95 c 693s| 1810k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1092k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
739.28/739.59 c 697s| 1820k| 362 | 1128 | 0.0 |3931k| 423 | - | 575 | 408 | 0 | 0 | 9 |1097k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
743.08/743.38 c 700s| 1830k| 363 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1103k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
746.78/747.07 c 704s| 1840k| 360 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1108k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
750.48/750.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.48/750.74 c 707s| 1850k| 362 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1114k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
754.57/754.84 c 711s| 1860k| 358 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1120k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
758.17/758.48 c 715s| 1870k| 360 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1125k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
761.77/762.08 c 718s| 1880k| 361 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1131k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
765.47/765.77 c 721s| 1890k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1137k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
769.17/769.45 c 725s| 1900k| 360 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1142k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
772.57/772.85 c 728s| 1910k| 363 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1148k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
775.97/776.21 c 731s| 1920k| 366 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1153k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
779.17/779.45 c 734s| 1930k| 357 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1159k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
782.66/782.91 c 737s| 1940k| 356 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1164k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
785.96/786.24 c 741s| 1950k| 371 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1170k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
789.26/789.57 c 744s| 1960k| 364 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1175k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
792.65/792.92 c 747s| 1970k| 356 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1180k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
795.96/796.20 c 750s| 1980k| 360 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1186k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
799.05/799.38 c 753s| 1990k| 360 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1190k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
802.36/802.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.36/802.63 c 756s| 2000k| 365 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1195k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
805.55/805.84 c 759s| 2010k| 361 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1200k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
808.76/809.05 c 762s| 2020k| 362 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1205k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
812.15/812.40 c 765s| 2030k| 363 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1210k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
815.65/815.93 c 768s| 2040k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1216k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
819.16/819.43 c 772s| 2050k| 360 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1221k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
822.65/822.92 c 775s| 2060k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1227k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
826.05/826.31 c 778s| 2070k| 358 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1232k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
829.45/829.79 c 781s| 2080k| 362 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1238k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
832.85/833.10 c 784s| 2090k| 357 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1243k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
835.94/836.29 c 787s| 2100k| 361 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1248k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
839.24/839.59 c 790s| 2110k| 363 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1254k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
842.54/842.87 c 794s| 2120k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1259k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
846.24/846.57 c 797s| 2130k| 353 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1264k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
849.84/850.15 c 800s| 2140k| 365 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1270k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
853.44/853.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.44/853.71 c 804s| 2150k| 364 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1276k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
857.14/857.44 c 807s| 2160k| 358 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1281k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
860.73/861.06 c 811s| 2170k| 355 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1287k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
864.43/864.78 c 814s| 2180k| 361 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1293k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
868.13/868.41 c 817s| 2190k| 356 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1298k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
871.83/872.11 c 821s| 2200k| 355 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1304k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
875.53/875.85 c 824s| 2210k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1309k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
879.33/879.61 c 828s| 2220k| 358 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1315k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
883.03/883.38 c 832s| 2230k| 359 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1321k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
886.83/887.10 c 835s| 2240k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1326k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
890.52/890.84 c 838s| 2250k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1332k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
894.22/894.53 c 842s| 2260k| 356 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1337k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
897.83/898.16 c 845s| 2270k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1343k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
901.42/901.79 c 849s| 2280k| 360 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1348k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
905.11/905.41 c 852s| 2290k| 362 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1353k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
908.61/908.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.61/908.99 c 855s| 2300k| 353 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1359k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
912.41/912.78 c 859s| 2310k| 359 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1364k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
916.32/916.60 c 863s| 2320k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1370k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
920.02/920.39 c 866s| 2330k| 362 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1376k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
923.92/924.24 c 870s| 2340k| 356 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1382k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
927.41/927.72 c 873s| 2350k| 366 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1387k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
930.81/931.13 c 876s| 2360k| 358 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1393k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
934.41/934.76 c 880s| 2370k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1398k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
937.80/938.12 c 883s| 2380k| 355 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1404k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
941.31/941.62 c 886s| 2390k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1409k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
944.70/945.05 c 889s| 2400k| 371 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1414k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
948.21/948.56 c 892s| 2410k| 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1420k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
952.21/952.55 c 896s| 2420k| 354 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1426k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
956.00/956.35 c 900s| 2430k| 354 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1431k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
959.70/960.04 c 903s| 2440k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1437k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
963.30/963.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.30/963.61 c 907s| 2450k| 358 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1442k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
967.20/967.58 c 910s| 2460k| 357 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1449k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
971.20/971.55 c 914s| 2470k| 351 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |1455k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
974.60/974.95 c 917s| 2480k| 354 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1460k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
978.20/978.57 c 921s| 2490k| 351 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1466k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
981.90/982.23 c 924s| 2500k| 356 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |1472k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
985.39/985.70 c 927s| 2510k| 356 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1478k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
989.09/989.41 c 931s| 2520k| 371 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1484k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
992.39/992.71 c 934s| 2530k| 365 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1489k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
995.99/996.31 c 937s| 2540k| 361 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1495k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
999.69/1000.08 c 941s| 2550k| 363 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1500k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1003.39/1003.77 c 944s| 2560k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1506k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1007.08/1007.43 c 948s| 2570k| 354 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1511k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1010.69/1011.02 c 951s| 2580k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1516k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1014.38/1014.74 c 954s| 2590k| 359 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1522k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1018.49/1018.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.49/1018.89 c 958s| 2600k| 362 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1528k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1022.18/1022.55 c 962s| 2610k| 356 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1534k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1025.89/1026.29 c 965s| 2620k| 354 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |1540k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1029.98/1030.37 c 969s| 2630k| 355 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1546k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1033.98/1034.36 c 973s| 2640k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1552k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1037.78/1038.17 c 976s| 2650k| 356 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1558k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1041.58/1041.98 c 980s| 2660k| 354 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1564k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1045.57/1045.91 c 984s| 2670k| 361 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1570k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1049.47/1049.81 c 987s| 2680k| 353 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |1576k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1052.87/1053.25 c 991s| 2690k| 353 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1581k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1056.78/1057.12 c 994s| 2700k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1587k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1060.67/1061.01 c 998s| 2710k| 353 | 1128 | 0.0 |3931k| 423 | - | 575 | 408 | 0 | 0 | 9 |1593k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1064.87/1065.29 c 1002s| 2720k| 353 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1599k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1068.57/1068.96 c 1005s| 2730k| 360 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1605k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1071.86/1072.20 c 1008s| 2740k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1610k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1075.67/1076.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.67/1076.01 c 1012s| 2750k| 354 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1615k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1079.37/1079.77 c 1015s| 2760k| 354 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1621k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1083.07/1083.47 c 1019s| 2770k| 365 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1627k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1086.76/1087.14 c 1022s| 2780k| 355 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1633k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1090.46/1090.86 c 1026s| 2790k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1639k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1093.96/1094.39 c 1029s| 2800k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1644k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1097.76/1098.10 c 1033s| 2810k| 358 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1649k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1101.35/1101.72 c 1036s| 2820k| 359 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1655k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1105.26/1105.61 c 1040s| 2830k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1661k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1108.75/1109.16 c 1043s| 2840k| 363 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1666k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1112.05/1112.46 c 1046s| 2850k| 363 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1672k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1115.36/1115.77 c 1049s| 2860k| 357 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1677k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1118.76/1119.13 c 1052s| 2870k| 355 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1682k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1122.76/1123.12 c 1056s| 2880k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1689k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1126.65/1127.01 c 1060s| 2890k| 358 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1694k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1130.36/1130.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1130.36/1130.80 c 1063s| 2900k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1700k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1134.35/1134.73 c 1067s| 2910k| 356 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1706k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1138.06/1138.43 c 1070s| 2920k| 356 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1712k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1141.94/1142.38 c 1074s| 2930k| 358 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1718k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1145.75/1146.12 c 1078s| 2940k| 353 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1724k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1149.94/1150.38 c 1082s| 2950k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1730k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1154.14/1154.52 c 1086s| 2960k| 353 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1736k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1157.84/1158.28 c 1089s| 2970k| 358 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1742k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1161.54/1161.98 c 1093s| 2980k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1748k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1165.44/1165.87 c 1096s| 2990k| 353 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1754k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1169.03/1169.48 c 1100s| 3000k| 358 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1759k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1173.14/1173.58 c 1103s| 3010k| 361 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1766k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1177.24/1177.62 c 1107s| 3020k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1772k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1181.05/1181.49 c 1111s| 3030k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1778k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1184.73/1185.17 c 1114s| 3040k| 358 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1784k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1188.43/1188.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.43/1188.89 c 1118s| 3050k| 352 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1789k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1192.23/1192.68 c 1121s| 3060k| 352 | 1128 | 0.0 |3932k| 423 | - | 575 | 408 | 0 | 0 | 9 |1795k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1196.13/1196.52 c 1125s| 3070k| 361 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1801k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1200.03/1200.41 c 1129s| 3080k| 366 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1807k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1203.63/1204.07 c 1132s| 3090k| 353 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |1813k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1207.23/1207.64 c 1135s| 3100k| 372 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1818k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1210.92/1211.33 c 1139s| 3110k| 361 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1824k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1214.83/1215.21 c 1142s| 3120k| 360 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |1830k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1218.43/1218.89 c 1146s| 3130k| 361 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1835k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1222.42/1222.80 c 1150s| 3140k| 352 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1841k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1226.22/1226.65 c 1153s| 3150k| 363 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1847k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1229.72/1230.12 c 1156s| 3160k| 354 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1852k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1233.42/1233.87 c 1160s| 3170k| 353 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1858k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1237.22/1237.63 c 1164s| 3180k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1864k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1241.12/1241.55 c 1167s| 3190k| 362 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1870k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1245.11/1245.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.11/1245.56 c 1171s| 3200k| 354 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1876k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1249.71/1250.12 c 1175s| 3210k| 354 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1882k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1253.52/1253.96 c 1179s| 3220k| 353 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1888k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1257.42/1257.81 c 1183s| 3230k| 360 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1894k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1261.32/1261.72 c 1186s| 3240k| 361 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1899k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1265.41/1265.86 c 1190s| 3250k| 359 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1906k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1269.61/1270.05 c 1194s| 3260k| 352 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |1912k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1273.61/1274.08 c 1198s| 3270k| 353 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |1918k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1277.82/1278.26 c 1202s| 3280k| 357 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |1924k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1281.90/1282.36 c 1206s| 3290k| 357 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1930k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1285.90/1286.37 c 1209s| 3300k| 358 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1935k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1289.81/1290.25 c 1213s| 3310k| 364 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1941k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1293.21/1293.63 c 1216s| 3320k| 367 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1947k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1296.60/1297.08 c 1220s| 3330k| 359 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |1952k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1300.30/1300.77 c 1223s| 3340k| 353 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |1958k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1304.10/1304.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.10/1304.58 c 1227s| 3350k| 354 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |1963k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1307.70/1308.16 c 1230s| 3360k| 356 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1969k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1311.30/1311.73 c 1233s| 3370k| 353 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |1975k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1314.80/1315.22 c 1236s| 3380k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |1980k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1318.30/1318.74 c 1240s| 3390k| 365 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |1985k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1321.71/1322.16 c 1243s| 3400k| 354 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |1991k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1325.19/1325.66 c 1246s| 3410k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |1996k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1328.40/1328.88 c 1249s| 3420k| 357 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |2001k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1331.70/1332.17 c 1252s| 3430k| 361 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |2006k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1335.19/1335.62 c 1256s| 3440k| 352 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |2012k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1338.49/1338.96 c 1259s| 3450k| 357 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2017k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1342.29/1342.79 c 1262s| 3460k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2023k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1346.19/1346.62 c 1266s| 3470k| 358 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2029k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1350.08/1350.53 c 1270s| 3480k| 351 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |2035k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1353.78/1354.26 c 1273s| 3490k| 361 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2041k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1357.08/1357.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.08/1357.57 c 1276s| 3500k| 357 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2046k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1360.68/1361.14 c 1280s| 3510k| 353 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2051k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1364.19/1364.69 c 1283s| 3520k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2057k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1367.59/1368.07 c 1286s| 3530k| 357 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2062k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1370.98/1371.43 c 1289s| 3540k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2067k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1374.78/1375.29 c 1293s| 3550k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2073k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1378.57/1379.05 c 1296s| 3560k| 354 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2079k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1382.38/1382.88 c 1300s| 3570k| 355 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2085k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1386.37/1386.83 c 1304s| 3580k| 356 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2091k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1390.28/1390.72 c 1307s| 3590k| 352 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |2097k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1393.97/1394.44 c 1311s| 3600k| 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2103k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1397.77/1398.21 c 1314s| 3610k| 356 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |2108k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1401.37/1401.85 c 1318s| 3620k| 360 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2114k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1405.07/1405.53 c 1321s| 3630k| 353 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |2119k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1409.06/1409.58 c 1325s| 3640k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2126k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1413.07/1413.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.07/1413.53 c 1329s| 3650k| 358 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2132k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1416.77/1417.20 c 1332s| 3660k| 355 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2137k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1420.36/1420.81 c 1335s| 3670k| 357 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2143k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1423.76/1424.22 c 1339s| 3680k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2148k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1427.37/1427.82 c 1342s| 3690k| 354 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |2153k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1430.86/1431.39 c 1345s| 3700k| 360 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2159k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1434.56/1435.04 c 1349s| 3710k| 360 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2165k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1438.46/1438.96 c 1352s| 3720k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2171k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1442.35/1442.88 c 1356s| 3730k| 358 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |2177k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1445.85/1446.32 c 1359s| 3740k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2182k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1449.36/1449.83 c 1363s| 3750k| 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2188k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1453.05/1453.55 c 1366s| 3760k| 359 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2193k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1456.76/1457.24 c 1370s| 3770k| 361 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2199k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1460.36/1460.83 c 1373s| 3780k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2204k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1463.35/1463.89 c 1376s| 3790k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2209k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1466.85/1467.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.85/1467.35 c 1379s| 3800k| 364 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2214k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1470.15/1470.65 c 1382s| 3810k| 363 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2219k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1473.24/1473.74 c 1385s| 3820k| 358 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2223k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1476.75/1477.28 c 1388s| 3830k| 358 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |2229k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1480.65/1481.11 c 1392s| 3840k| 357 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2235k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1484.14/1484.62 c 1395s| 3850k| 363 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2240k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1487.64/1488.14 c 1398s| 3860k| 362 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2246k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1490.94/1491.49 c 1402s| 3870k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2251k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1494.35/1494.82 c 1405s| 3880k| 360 | 1128 | 0.0 |3928k| 423 | - | 575 | 408 | 0 | 0 | 9 |2256k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1497.75/1498.29 c 1408s| 3890k| 363 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2261k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1501.04/1501.52 c 1411s| 3900k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2266k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1504.64/1505.12 c 1414s| 3910k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2271k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1508.14/1508.63 c 1418s| 3920k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2277k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1511.63/1512.11 c 1421s| 3930k| 362 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2282k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1515.14/1515.65 c 1424s| 3940k| 358 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2287k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1518.73/1519.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.73/1519.28 c 1428s| 3950k| 361 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2293k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1522.13/1522.63 c 1431s| 3960k| 356 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2298k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1526.34/1526.83 c 1435s| 3970k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2304k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1529.73/1530.24 c 1438s| 3980k| 372 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |2310k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1533.43/1533.99 c 1442s| 3990k| 360 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2315k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1537.13/1537.68 c 1445s| 4000k| 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2321k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1540.73/1541.28 c 1448s| 4010k| 362 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2326k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1544.53/1545.05 c 1452s| 4020k| 353 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |2332k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1548.52/1549.07 c 1456s| 4030k| 355 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2338k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1551.93/1552.43 c 1459s| 4040k| 364 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2343k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1555.33/1555.80 c 1462s| 4050k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2348k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1558.82/1559.34 c 1465s| 4060k| 357 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2353k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1562.42/1562.93 c 1469s| 4070k| 360 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2358k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1566.02/1566.57 c 1472s| 4080k| 357 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2364k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1569.52/1570.06 c 1475s| 4090k| 367 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |2369k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1573.02/1573.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.02/1573.55 c 1479s| 4100k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2374k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1576.72/1577.29 c 1482s| 4110k| 352 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |2380k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1580.42/1580.99 c 1485s| 4120k| 364 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2385k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1583.71/1584.28 c 1489s| 4130k| 365 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2391k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1586.83/1587.38 c 1491s| 4140k| 355 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2396k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1590.02/1590.53 c 1494s| 4150k| 354 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2400k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1593.22/1593.71 c 1497s| 4160k| 361 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2405k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1596.51/1597.06 c 1500s| 4170k| 360 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2411k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1599.92/1600.44 c 1504s| 4180k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2416k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1603.51/1604.04 c 1507s| 4190k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2422k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1606.72/1607.26 c 1510s| 4200k| 357 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2427k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1610.01/1610.58 c 1513s| 4210k| 364 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2432k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1613.51/1614.05 c 1516s| 4220k| 359 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2438k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1616.81/1617.34 c 1519s| 4230k| 371 | 1128 | 0.0 |3931k| 423 | - | 575 | 408 | 0 | 0 | 9 |2443k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1620.11/1620.65 c 1522s| 4240k| 359 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2448k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1623.51/1624.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.51/1624.07 c 1526s| 4250k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2453k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1626.91/1627.48 c 1529s| 4260k| 361 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2458k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1630.20/1630.79 c 1532s| 4270k| 361 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2463k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1633.41/1633.92 c 1535s| 4280k| 366 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2468k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1636.80/1637.31 c 1538s| 4290k| 360 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2473k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1640.41/1640.93 c 1541s| 4300k| 357 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |2479k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1644.20/1644.72 c 1545s| 4310k| 354 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2485k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1647.70/1648.20 c 1548s| 4320k| 356 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2490k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1651.09/1651.69 c 1551s| 4330k| 351 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2496k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1654.79/1655.32 c 1555s| 4340k| 364 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2501k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1658.31/1658.83 c 1558s| 4350k| 369 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2507k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1661.51/1662.00 c 1561s| 4360k| 360 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |2511k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1664.70/1665.27 c 1564s| 4370k| 357 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2516k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1667.99/1668.60 c 1567s| 4380k| 357 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2521k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1671.79/1672.37 c 1571s| 4390k| 361 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2527k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1675.19/1675.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.19/1675.78 c 1574s| 4400k| 366 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2532k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1678.59/1679.19 c 1577s| 4410k| 357 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |2538k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1681.99/1682.52 c 1580s| 4420k| 365 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |2543k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1685.49/1686.06 c 1584s| 4430k| 368 | 1128 | 0.0 |3927k| 423 | - | 575 | 408 | 0 | 0 | 9 |2548k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1689.00/1689.52 c 1587s| 4440k| 363 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2554k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1692.39/1692.93 c 1590s| 4450k| 362 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2559k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1695.59/1696.17 c 1593s| 4460k| 356 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2564k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1699.19/1699.79 c 1596s| 4470k| 357 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2569k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1702.69/1703.21 c 1600s| 4480k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2574k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1705.99/1706.58 c 1603s| 4490k| 360 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2579k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1709.29/1709.82 c 1606s| 4500k| 362 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2584k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1712.58/1713.14 c 1609s| 4510k| 355 | 1128 | 0.0 |3919k| 423 | - | 575 | 408 | 0 | 0 | 9 |2590k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1716.18/1716.71 c 1612s| 4520k| 359 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2596k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1719.39/1719.98 c 1615s| 4530k| 360 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2601k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1722.98/1723.51 c 1619s| 4540k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2606k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1726.49/1727.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.49/1727.05 c 1622s| 4550k| 357 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2612k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1730.08/1730.60 c 1625s| 4560k| 357 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2618k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1733.88/1734.43 c 1629s| 4570k| 351 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2624k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1737.38/1738.00 c 1632s| 4580k| 359 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2629k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1740.57/1741.18 c 1635s| 4590k| 360 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2634k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1743.98/1744.57 c 1638s| 4600k| 354 | 1128 | 0.0 |3926k| 423 | - | 575 | 408 | 0 | 0 | 9 |2639k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1747.67/1748.29 c 1642s| 4610k| 358 | 1128 | 0.0 |3920k| 423 | - | 575 | 408 | 0 | 0 | 9 |2645k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1751.38/1751.94 c 1645s| 4620k| 354 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2651k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1755.27/1755.81 c 1649s| 4630k| 355 | 1128 | 0.0 |3930k| 423 | - | 575 | 408 | 0 | 0 | 9 |2656k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1758.87/1759.49 c 1652s| 4640k| 358 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2662k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1762.68/1763.22 c 1656s| 4650k| 361 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2668k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1766.27/1766.82 c 1659s| 4660k| 358 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2673k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1770.07/1770.64 c 1663s| 4670k| 355 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2679k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1773.57/1774.18 c 1666s| 4680k| 357 | 1128 | 0.0 |3923k| 423 | - | 575 | 408 | 0 | 0 | 9 |2684k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1777.27/1777.83 c 1670s| 4690k| 357 | 1128 | 0.0 |3922k| 423 | - | 575 | 408 | 0 | 0 | 9 |2689k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1780.67/1781.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.67/1781.24 c 1673s| 4700k| 353 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2695k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1784.36/1784.98 c 1676s| 4710k| 363 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2700k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1788.07/1788.66 c 1680s| 4720k| 360 | 1128 | 0.0 |3924k| 423 | - | 575 | 408 | 0 | 0 | 9 |2706k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1791.46/1792.05 c 1683s| 4730k| 365 | 1128 | 0.0 |3925k| 423 | - | 575 | 408 | 0 | 0 | 9 |2711k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1794.77/1795.36 c 1686s| 4740k| 358 | 1128 | 0.0 |3921k| 423 | - | 575 | 408 | 0 | 0 | 9 |2716k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1798.06/1798.69 c 1689s| 4750k| 366 | 1128 | 0.0 |3929k| 423 | - | 575 | 408 | 0 | 0 | 9 |2721k| 33 | 1.090000e+02 | 1.110000e+02 | 1.83%
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1691.01
1800.08/1800.61 c Solving Nodes : 4755593
1800.08/1800.61 c Primal Bound : +1.11000000000000e+02 (12 solutions)
1800.08/1800.61 c Dual Bound : +1.09000000000000e+02
1800.08/1800.61 c Gap : 1.83 %
1800.08/1800.61 s SATISFIABLE
1800.08/1800.61 v -x594 x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573
1800.08/1800.61 v -x572 x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1800.08/1800.61 v x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 x534 -x533 -x532 -x531 -x530
1800.08/1800.61 v -x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508
1800.08/1800.61 v -x507 -x506 x505 x504 x503 -x502 -x501 x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 x488 -x487 -x486
1800.08/1800.61 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 x465
1800.08/1800.61 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444
1800.08/1800.61 v -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423
1800.08/1800.61 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402
1800.08/1800.61 v x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380
1800.08/1800.61 v -x379 x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358
1800.08/1800.61 v x357 -x356 -x355 -x354 x353 -x352 x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 x343 x342 x341 -x340 -x339 -x338 x337 -x336
1800.08/1800.61 v -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 x327 x326 -x325 -x324 -x323 x322 -x321 x320 -x319 -x318 -x317 -x316 x315 -x314
1800.08/1800.61 v -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 x295 -x294 -x293
1800.08/1800.61 v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 x276 x275 -x274 -x273 x272 -x271
1800.08/1800.61 v -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250
1800.08/1800.61 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229
1800.08/1800.61 v -x228 -x227 -x226 -x225 x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208
1800.08/1800.61 v -x207 -x206 -x205 x204 x203 -x202 -x201 -x200 x199 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
1800.08/1800.61 v -x185 x184 x183 -x182 -x181 -x180 -x179 x178 -x177 x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164
1800.08/1800.61 v -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 x150 -x149 -x148 -x147 x146 -x145 -x144 -x143
1800.08/1800.61 v -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121
1800.08/1800.61 v x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100
1800.08/1800.61 v x99 -x98 x97 x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74
1800.08/1800.61 v -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 x48
1800.08/1800.61 v -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22
1800.08/1800.61 v -x21 -x20 x19 x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1691.01
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2667617-1276589888.opb
1800.08/1800.61 c Variables : 594 (594 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 530 initial, 530 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2667617-1276589888.opb
1800.08/1800.61 c Variables : 575 (575 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 408 initial, 408 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 11 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.02 0 8 0 0 0 122 113 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.61 c logicor : 408+ 6 8907869 0 0 1571638 8769566 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 0.88 0.00 0.00 0.88 0.00
1800.08/1800.61 c logicor : 537.56 0.00 537.56 0.00 0.00
1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 6.99 2 0 0
1800.08/1800.61 c rootredcost : 7.80 0 0 0
1800.08/1800.61 c pseudoobj : 766.17 16448192 1152570 59373422
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 798.06 2724094 2724094 2724094 140.7 43504 137.2 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.11 427 427 427 128.1 37 138.4 -
1800.08/1800.61 c applied globally : - - - 0 0.0 - - -
1800.08/1800.61 c applied locally : - - - 2724521 140.7 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.01 5 - - 91 - (maximal pool size: 200)
1800.08/1800.61 c redcost : 0.00 7 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 7 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.40 7 0 0 463 0
1800.08/1800.61 c strongcg : 0.38 7 0 0 525 0
1800.08/1800.61 c cmir : 0.04 7 0 0 0 0
1800.08/1800.61 c flowcover : 0.12 7 0 0 0 0
1800.08/1800.61 c clique : 0.00 1 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 1 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 0.88 1 0 0 0 0 2
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 84.49 3575031 0 0 0 0 7150062
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c oneopt : 2.31 3 1
1800.08/1800.61 c trivial : 0.00 2 3
1800.08/1800.61 c simplerounding : 0.00 6 6
1800.08/1800.61 c zirounding : 0.00 1 1
1800.08/1800.61 c rounding : 0.00 6 0
1800.08/1800.61 c shifting : 0.02 6 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.00 0 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.92 1 1
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 2.47 0 0
1800.08/1800.61 c trysol : 1.94 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.12 6 1128 188.00 9400.00
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.61 c strong branching : 0.88 33 4168 126.30 4736.36
1800.08/1800.61 c (at root node) : - 33 4168 126.30 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 4755593
1800.08/1800.61 c nodes (total) : 4755593
1800.08/1800.61 c nodes left : 359
1800.08/1800.61 c max depth : 423
1800.08/1800.61 c max depth (total): 423
1800.08/1800.61 c backtracks : 1685650 (35.4%)
1800.08/1800.61 c delayed cutoffs : 2394113
1800.08/1800.61 c repropagations : 5172821 (38807490 domain reductions, 1544074 cutoffs)
1800.08/1800.61 c avg switch length: 3.10
1800.08/1800.61 c switching time : 73.39
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 12 (4 improvements)
1800.08/1800.61 c First Solution : +5.94000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.08/1800.61 c Primal Bound : +1.11000000000000e+02 (in run 1, after 1 nodes, 1.90 seconds, depth 0, found by <rens>)
1800.08/1800.61 c Dual Bound : +1.09000000000000e+02
1800.08/1800.61 c Gap : 1.83 %
1800.08/1800.61 c Root Dual Bound : +1.09000000000000e+02
1800.08/1800.61 c Root Iterations : 1128
1800.08/1800.62 c Time complete: 1800.09.