0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664190-1276414891.opb>
0.03/0.04 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.03/0.05 o 607
0.03/0.05 o 542
0.03/0.05 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.03/0.05 c presolving:
0.03/0.09 c (round 1) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 2) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 924 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 958 upgd conss, 0 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 101/607 (16.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (4 rounds):
0.09/0.11 c 0 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 0 implications, 0 cliques
0.09/0.11 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.09/0.11 c 958 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.05
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.2
0.09/0.11 c
0.09/0.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c conflict/interconss = 0
0.09/0.11 c
0.09/0.11 c # should binary conflicts be preferred?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c conflict/preferbinary = TRUE
0.09/0.11 c
0.09/0.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c constraints/agelimit = 1
0.09/0.11 c
0.09/0.11 c # should enforcement of pseudo solution be disabled?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/disableenfops = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1799.97
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c lp/solvefreq = -1
0.09/0.11 c
0.09/0.11 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.09/0.11 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.11 c lp/pricing = a
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # priority of node selection rule <dfs> in standard mode
0.09/0.11 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.11 c nodeselection/dfs/stdpriority = 1000000
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.12 c
0.09/0.12 o 425
0.09/0.12 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.12 c t 0.1s| 1 | 0 | 0 | - |2423k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 2 | 0 | - |2407k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.250000e+02 | Inf
0.09/0.19 o 64
0.09/0.19 c * 0.1s| 544 | 533 | 0 | 0.0 |2712k| 543 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 6.400000e+01 |6300.00%
0.29/0.37 o 63
0.29/0.37 c * 0.3s| 1010 | 520 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 293 | 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
3.69/3.78 c 3.5s| 10000 | 514 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |5997 | 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
7.49/7.52 c 7.0s| 20000 | 513 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
11.28/11.30 c 10.5s| 30000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
14.79/14.81 c 13.9s| 40000 | 512 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
18.39/18.48 c 17.3s| 50000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
22.09/22.15 c 20.8s| 60000 | 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
25.59/25.62 c 24.0s| 70000 | 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
28.98/29.09 c 27.3s| 80000 | 513 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
32.28/32.39 c 30.4s| 90000 | 509 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
35.78/35.89 c 33.6s|100000 | 511 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
39.38/39.42 c 37.0s|110000 | 508 | 0 | 0.0 |2734k| 543 | - | 607 | 958 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
42.68/42.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.68/42.73 c 40.1s|120000 | 509 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
46.09/46.11 c 43.2s|130000 | 511 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
49.48/49.59 c 46.5s|140000 | 508 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
52.88/52.97 c 49.7s|150000 | 511 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
56.27/56.39 c 52.9s|160000 | 509 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
60.07/60.11 c 56.4s|170000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
63.68/63.71 c 59.7s|180000 | 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
67.37/67.42 c 63.2s|190000 | 507 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
71.17/71.26 c 66.8s|200000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
74.77/74.85 c 70.2s|210000 | 508 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
78.67/78.72 c 73.8s|220000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
82.17/82.24 c 77.1s|230000 | 507 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
85.77/85.84 c 80.5s|240000 | 512 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
89.47/89.52 c 84.0s|250000 | 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
92.97/93.05 c 87.3s|260000 | 514 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
96.37/96.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.37/96.50 c 90.5s|270000 | 509 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
99.86/99.92 c 93.8s|280000 | 509 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
103.46/103.58 c 97.2s|290000 | 510 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
106.96/107.09 c 101s|300000 | 508 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
110.56/110.60 c 104s|310000 | 508 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
114.06/114.11 c 107s|320000 | 509 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
117.46/117.59 c 110s|330000 | 509 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
120.96/121.02 c 114s|340000 | 509 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
124.66/124.78 c 117s|350000 | 507 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
128.45/128.56 c 121s|360000 | 507 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
132.06/132.15 c 124s|370000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
135.65/135.78 c 127s|380000 | 507 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
139.16/139.25 c 131s|390000 | 508 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
142.86/142.90 c 134s|400000 | 506 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
146.26/146.35 c 137s|410000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
149.95/150.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.95/150.02 c 141s|420000 | 507 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
153.55/153.65 c 144s|430000 | 511 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
156.95/157.09 c 147s|440000 | 510 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
160.56/160.64 c 151s|450000 | 512 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
164.04/164.12 c 154s|460000 | 508 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
167.54/167.60 c 157s|470000 | 506 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
171.04/171.17 c 161s|480000 | 512 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
174.94/175.05 c 164s|490000 | 508 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
178.84/178.97 c 168s|500000 | 509 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
182.74/182.89 c 172s|510000 | 506 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
186.44/186.55 c 175s|520000 | 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
190.24/190.37 c 179s|530000 | 507 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
194.24/194.32 c 182s|540000 | 508 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
198.04/198.11 c 186s|550000 | 505 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
201.54/201.62 c 189s|560000 | 508 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
205.34/205.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.34/205.45 c 193s|570000 | 507 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
208.64/208.75 c 196s|580000 | 505 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
212.54/212.64 c 199s|590000 | 504 | 0 | 0.0 |2724k| 543 | - | 607 | 958 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
216.13/216.23 c 203s|600000 | 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
219.73/219.81 c 206s|610000 | 509 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
223.24/223.39 c 210s|620000 | 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
226.73/226.86 c 213s|630000 | 507 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
230.13/230.27 c 216s|640000 | 505 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
233.53/233.69 c 219s|650000 | 509 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
237.03/237.19 c 223s|660000 | 508 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
240.84/240.94 c 226s|670000 | 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
244.53/244.65 c 230s|680000 | 506 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
247.93/248.08 c 233s|690000 | 506 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
251.42/251.53 c 236s|700000 | 507 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
254.82/254.98 c 239s|710000 | 505 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
258.33/258.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.33/258.45 c 243s|720000 | 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
261.73/261.86 c 246s|730000 | 507 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
265.12/265.22 c 249s|740000 | 505 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
268.43/268.59 c 252s|750000 | 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
271.92/272.02 c 255s|760000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
275.42/275.50 c 259s|770000 | 507 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
278.82/278.96 c 262s|780000 | 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
282.32/282.40 c 265s|790000 | 510 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
286.02/286.12 c 268s|800000 | 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
289.61/289.73 c 272s|810000 | 504 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
293.01/293.18 c 275s|820000 | 504 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
296.51/296.60 c 278s|830000 | 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
299.91/300.07 c 282s|840000 | 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
303.31/303.49 c 285s|850000 | 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
306.71/306.88 c 288s|860000 | 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
310.12/310.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.12/310.28 c 291s|870000 | 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
313.51/313.67 c 294s|880000 | 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
317.01/317.15 c 298s|890000 | 502 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
320.40/320.57 c 301s|900000 | 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
324.11/324.26 c 304s|910000 | 507 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
327.72/327.88 c 308s|920000 | 506 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
331.21/331.34 c 311s|930000 | 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
334.70/334.88 c 314s|940000 | 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
338.40/338.52 c 318s|950000 | 508 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
341.91/342.05 c 321s|960000 | 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
345.40/345.55 c 324s|970000 | 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
348.90/349.02 c 328s|980000 | 508 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
352.40/352.53 c 331s|990000 | 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
355.90/356.05 c 334s| 1000k| 505 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
359.60/359.77 c 338s| 1010k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
363.30/363.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.30/363.45 c 341s| 1020k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
366.69/366.89 c 344s| 1030k| 509 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
370.00/370.16 c 347s| 1040k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
373.50/373.63 c 351s| 1050k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
376.89/377.05 c 354s| 1060k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
380.40/380.54 c 357s| 1070k| 509 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
384.10/384.25 c 361s| 1080k| 506 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
388.20/388.39 c 365s| 1090k| 510 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
392.19/392.39 c 368s| 1100k| 508 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
395.99/396.19 c 372s| 1110k| 507 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
399.99/400.18 c 376s| 1120k| 504 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
404.09/404.25 c 379s| 1130k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
407.68/407.84 c 383s| 1140k| 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
411.08/411.27 c 386s| 1150k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
414.59/414.75 c 389s| 1160k| 505 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
418.58/418.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.58/418.70 c 393s| 1170k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
422.68/422.88 c 397s| 1180k| 504 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
426.69/426.81 c 400s| 1190k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
430.28/430.50 c 404s| 1200k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
433.98/434.13 c 407s| 1210k| 502 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
437.78/437.97 c 411s| 1220k| 503 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 764k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
441.67/441.90 c 415s| 1230k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 771k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
445.67/445.82 c 418s| 1240k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
449.28/449.45 c 422s| 1250k| 506 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
452.77/452.98 c 425s| 1260k| 503 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
456.28/456.48 c 428s| 1270k| 502 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
459.87/460.05 c 432s| 1280k| 504 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
463.47/463.62 c 435s| 1290k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
467.07/467.20 c 438s| 1300k| 502 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
470.77/470.92 c 442s| 1310k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
474.47/474.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.47/474.64 c 445s| 1320k| 501 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
478.06/478.29 c 449s| 1330k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
481.67/481.81 c 452s| 1340k| 499 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
485.17/485.32 c 455s| 1350k| 504 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 846k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
488.66/488.84 c 459s| 1360k| 499 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
492.17/492.36 c 462s| 1370k| 501 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 | 858k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
495.76/495.90 c 465s| 1380k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
499.27/499.42 c 469s| 1390k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
502.76/502.95 c 472s| 1400k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
506.26/506.46 c 475s| 1410k| 497 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
509.86/510.02 c 479s| 1420k| 501 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
513.36/513.59 c 482s| 1430k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
516.96/517.13 c 485s| 1440k| 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
520.46/520.67 c 489s| 1450k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
523.95/524.16 c 492s| 1460k| 508 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
527.76/527.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.76/527.93 c 495s| 1470k| 503 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 921k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
531.75/531.91 c 499s| 1480k| 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
535.46/535.62 c 503s| 1490k| 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
538.65/538.89 c 506s| 1500k| 506 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
542.16/542.40 c 509s| 1510k| 502 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 946k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
545.46/545.65 c 512s| 1520k| 503 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
549.05/549.20 c 515s| 1530k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
552.95/553.17 c 519s| 1540k| 507 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
556.45/556.64 c 522s| 1550k| 506 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
559.95/560.18 c 526s| 1560k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
563.55/563.77 c 529s| 1570k| 503 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 983k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
567.35/567.58 c 533s| 1580k| 503 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
571.15/571.39 c 536s| 1590k| 505 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 | 996k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
574.64/574.89 c 540s| 1600k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1002k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
578.45/578.64 c 543s| 1610k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
582.24/582.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.24/582.40 c 547s| 1620k| 508 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
585.64/585.82 c 550s| 1630k| 509 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
589.04/589.25 c 553s| 1640k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
592.44/592.69 c 556s| 1650k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1034k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
596.04/596.23 c 560s| 1660k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1040k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
599.84/600.08 c 563s| 1670k| 502 | 0 | 0.0 |2733k| 543 | - | 607 | 958 | 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
603.33/603.53 c 567s| 1680k| 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
606.73/606.99 c 570s| 1690k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
610.34/610.57 c 573s| 1700k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |1065k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
614.33/614.54 c 577s| 1710k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |1072k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
618.03/618.22 c 580s| 1720k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
621.73/622.00 c 584s| 1730k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
625.23/625.50 c 587s| 1740k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1091k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
628.83/629.07 c 590s| 1750k| 498 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1097k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
632.43/632.67 c 594s| 1760k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
636.03/636.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.03/636.28 c 597s| 1770k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1110k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
639.63/639.86 c 601s| 1780k| 503 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1116k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
643.24/643.41 c 604s| 1790k| 498 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
646.82/647.05 c 607s| 1800k| 503 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
650.32/650.56 c 611s| 1810k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
653.92/654.12 c 614s| 1820k| 505 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1141k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
657.42/657.69 c 617s| 1830k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
660.92/661.14 c 621s| 1840k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1154k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
664.32/664.57 c 624s| 1850k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
667.82/668.07 c 627s| 1860k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
671.21/671.49 c 630s| 1870k| 502 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
674.71/674.92 c 634s| 1880k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1178k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
678.12/678.40 c 637s| 1890k| 498 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
681.62/681.81 c 640s| 1900k| 505 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
685.31/685.50 c 643s| 1910k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1198k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
688.91/689.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.91/689.11 c 647s| 1920k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
692.42/692.65 c 650s| 1930k| 503 | 0 | 0.0 |2734k| 543 | - | 607 | 958 | 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
695.81/696.02 c 653s| 1940k| 500 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1217k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
698.91/699.11 c 656s| 1950k| 497 | 0 | 0.0 |2724k| 543 | - | 607 | 958 | 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
702.11/702.34 c 659s| 1960k| 507 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
705.51/705.72 c 662s| 1970k| 504 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1235k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
708.80/709.09 c 666s| 1980k| 500 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
712.21/712.48 c 669s| 1990k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
715.61/715.80 c 672s| 2000k| 501 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
719.01/719.21 c 675s| 2010k| 505 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
722.61/722.85 c 678s| 2020k| 506 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1266k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
725.90/726.12 c 682s| 2030k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
729.20/729.44 c 685s| 2040k| 504 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
732.50/732.75 c 688s| 2050k| 503 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1284k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
736.00/736.22 c 691s| 2060k| 507 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
739.60/739.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.60/739.81 c 694s| 2070k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1296k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
743.10/743.39 c 698s| 2080k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1303k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
746.50/746.78 c 701s| 2090k| 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1309k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
749.91/750.13 c 704s| 2100k| 504 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1315k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
753.49/753.72 c 707s| 2110k| 507 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
756.90/757.14 c 711s| 2120k| 509 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
760.70/760.95 c 714s| 2130k| 504 | 0 | 0.0 |2734k| 543 | - | 607 | 958 | 0 | 0 | 0 |1334k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
764.20/764.50 c 718s| 2140k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1340k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
767.69/767.90 c 721s| 2150k| 505 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1346k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
771.50/771.77 c 724s| 2160k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1353k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
775.29/775.58 c 728s| 2170k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1360k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
779.29/779.55 c 732s| 2180k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1366k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
783.09/783.36 c 735s| 2190k| 507 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1373k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
786.69/786.95 c 739s| 2200k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1379k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
790.19/790.49 c 742s| 2210k| 505 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1386k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
794.08/794.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.08/794.35 c 746s| 2220k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
797.69/797.95 c 749s| 2230k| 500 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1399k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
801.18/801.43 c 752s| 2240k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1405k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
804.68/804.92 c 755s| 2250k| 504 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1411k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
808.08/808.37 c 759s| 2260k| 505 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1417k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
811.78/812.06 c 762s| 2270k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1424k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
815.38/815.67 c 766s| 2280k| 503 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1430k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
819.08/819.30 c 769s| 2290k| 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1437k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
822.59/822.84 c 772s| 2300k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1443k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
826.38/826.60 c 776s| 2310k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1450k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
829.88/830.12 c 779s| 2320k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1456k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
833.38/833.60 c 782s| 2330k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
836.78/837.08 c 786s| 2340k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1469k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
840.48/840.77 c 789s| 2350k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1475k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
844.07/844.39 c 793s| 2360k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1481k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
847.37/847.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.37/847.66 c 796s| 2370k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1488k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
850.88/851.15 c 799s| 2380k| 508 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1494k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
854.17/854.46 c 802s| 2390k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1500k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
857.48/857.71 c 805s| 2400k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1506k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
861.08/861.34 c 809s| 2410k| 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1512k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
864.56/864.89 c 812s| 2420k| 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1518k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
868.06/868.39 c 815s| 2430k| 505 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1525k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
871.56/871.88 c 818s| 2440k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1531k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
875.07/875.33 c 822s| 2450k| 500 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1537k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
878.37/878.65 c 825s| 2460k| 505 | 0 | 0.0 |2733k| 543 | - | 607 | 958 | 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
881.67/881.97 c 828s| 2470k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1550k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
885.17/885.41 c 831s| 2480k| 507 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1556k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
888.57/888.81 c 834s| 2490k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1562k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
891.96/892.26 c 838s| 2500k| 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1569k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
895.46/895.70 c 841s| 2510k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1575k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
898.85/899.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.85/899.11 c 844s| 2520k| 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1581k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
902.26/902.51 c 847s| 2530k| 501 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
905.85/906.18 c 851s| 2540k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1593k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
909.37/909.67 c 854s| 2550k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1600k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
912.96/913.22 c 857s| 2560k| 500 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |1606k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
916.25/916.58 c 860s| 2570k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1612k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
919.65/919.96 c 864s| 2580k| 499 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
923.15/923.43 c 867s| 2590k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1625k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
926.56/926.87 c 870s| 2600k| 500 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1631k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
930.15/930.45 c 873s| 2610k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1637k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
933.56/933.83 c 876s| 2620k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1643k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
937.05/937.30 c 880s| 2630k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1650k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
940.26/940.53 c 883s| 2640k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1656k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
943.95/944.24 c 886s| 2650k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1662k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
947.75/948.03 c 890s| 2660k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1669k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
951.74/952.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.74/952.05 c 894s| 2670k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1676k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
955.65/955.92 c 897s| 2680k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1683k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
958.95/959.28 c 900s| 2690k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1689k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
962.55/962.85 c 904s| 2700k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1695k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
966.55/966.85 c 907s| 2710k| 503 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1702k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
969.95/970.21 c 911s| 2720k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1708k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
973.15/973.50 c 914s| 2730k| 506 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1715k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
977.14/977.48 c 917s| 2740k| 504 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1721k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
981.13/981.49 c 921s| 2750k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1728k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
985.13/985.48 c 925s| 2760k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1735k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
988.55/988.82 c 928s| 2770k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1741k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
992.03/992.38 c 931s| 2780k| 506 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1747k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
995.54/995.82 c 935s| 2790k| 501 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |1753k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
998.83/999.18 c 938s| 2800k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1760k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1002.63/1002.99 c 941s| 2810k| 505 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1766k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1006.14/1006.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.14/1006.50 c 945s| 2820k| 501 | 0 | 0.0 |2735k| 543 | - | 607 | 958 | 0 | 0 | 0 |1772k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1009.73/1010.09 c 948s| 2830k| 502 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |1779k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1013.33/1013.60 c 951s| 2840k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1785k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1017.03/1017.35 c 955s| 2850k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1792k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1020.83/1021.11 c 958s| 2860k| 501 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1798k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1024.63/1024.91 c 962s| 2870k| 503 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1805k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1028.13/1028.47 c 965s| 2880k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1811k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1031.62/1031.93 c 968s| 2890k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1818k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1034.92/1035.24 c 972s| 2900k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1824k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1038.23/1038.58 c 975s| 2910k| 499 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1830k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1041.52/1041.89 c 978s| 2920k| 509 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1836k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1045.23/1045.56 c 981s| 2930k| 505 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1843k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1048.72/1049.09 c 984s| 2940k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1849k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1052.22/1052.51 c 988s| 2950k| 503 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1855k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1055.62/1055.97 c 991s| 2960k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1861k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1059.02/1059.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.02/1059.38 c 994s| 2970k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1868k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1062.33/1062.65 c 997s| 2980k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1874k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1065.72/1066.03 c 1000s| 2990k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1880k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1068.92/1069.24 c 1003s| 3000k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1886k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1072.41/1072.72 c 1007s| 3010k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1892k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1075.92/1076.29 c 1010s| 3020k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1899k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1079.41/1079.73 c 1013s| 3030k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1905k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1082.81/1083.15 c 1016s| 3040k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1911k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1086.21/1086.54 c 1020s| 3050k| 506 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1917k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1089.51/1089.86 c 1023s| 3060k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |1924k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1093.02/1093.38 c 1026s| 3070k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1930k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1096.60/1096.95 c 1029s| 3080k| 508 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1936k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1100.20/1100.60 c 1033s| 3090k| 498 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1942k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1103.91/1104.23 c 1036s| 3100k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1949k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1107.51/1107.87 c 1040s| 3110k| 499 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1955k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1111.10/1111.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.10/1111.47 c 1043s| 3120k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1961k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1114.60/1114.96 c 1046s| 3130k| 502 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1967k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1118.00/1118.35 c 1049s| 3140k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |1974k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1121.40/1121.77 c 1053s| 3150k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |1980k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1124.91/1125.23 c 1056s| 3160k| 499 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |1986k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1128.40/1128.76 c 1059s| 3170k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1993k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1131.90/1132.26 c 1062s| 3180k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |1999k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1135.40/1135.70 c 1066s| 3190k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2005k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1138.89/1139.25 c 1069s| 3200k| 498 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2011k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1142.50/1142.88 c 1072s| 3210k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2018k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1146.59/1146.90 c 1076s| 3220k| 497 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |2024k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1150.40/1150.77 c 1080s| 3230k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2031k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1154.39/1154.74 c 1084s| 3240k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2038k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1157.90/1158.23 c 1087s| 3250k| 499 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2044k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1161.30/1161.63 c 1090s| 3260k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2050k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1164.69/1165.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.69/1165.02 c 1093s| 3270k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2057k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1168.09/1168.46 c 1096s| 3280k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2063k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1171.47/1171.86 c 1100s| 3290k| 501 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2069k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1174.87/1175.29 c 1103s| 3300k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2075k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1178.48/1178.84 c 1106s| 3310k| 501 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2082k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1181.97/1182.36 c 1109s| 3320k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2088k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1185.67/1186.09 c 1113s| 3330k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2095k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1189.47/1189.81 c 1116s| 3340k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2101k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1193.18/1193.54 c 1120s| 3350k| 496 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |2108k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1196.87/1197.24 c 1123s| 3360k| 506 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2115k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1200.37/1200.73 c 1127s| 3370k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2121k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1203.67/1204.04 c 1130s| 3380k| 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2127k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1207.38/1207.71 c 1133s| 3390k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2134k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1210.78/1211.15 c 1136s| 3400k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2140k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1214.26/1214.64 c 1140s| 3410k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2146k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1217.56/1217.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.56/1217.97 c 1143s| 3420k| 497 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |2152k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1220.86/1221.24 c 1146s| 3430k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2158k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1224.16/1224.54 c 1149s| 3440k| 501 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2165k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1227.46/1227.84 c 1152s| 3450k| 506 | 0 | 0.0 |2734k| 543 | - | 607 | 958 | 0 | 0 | 0 |2171k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1231.06/1231.47 c 1155s| 3460k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2177k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1234.56/1234.94 c 1159s| 3470k| 507 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2183k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1238.05/1238.48 c 1162s| 3480k| 505 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2189k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1241.56/1241.90 c 1165s| 3490k| 500 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |2195k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1245.06/1245.48 c 1169s| 3500k| 502 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2202k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1248.35/1248.77 c 1172s| 3510k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2208k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1251.85/1252.29 c 1175s| 3520k| 505 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2214k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1255.25/1255.69 c 1178s| 3530k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2220k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1258.65/1259.05 c 1181s| 3540k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2226k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1262.15/1262.52 c 1185s| 3550k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2233k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1265.66/1266.00 c 1188s| 3560k| 503 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2239k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1269.14/1269.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.14/1269.55 c 1191s| 3570k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2245k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1272.65/1273.07 c 1194s| 3580k| 505 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2252k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1276.55/1276.98 c 1198s| 3590k| 500 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2258k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1280.25/1280.67 c 1202s| 3600k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2265k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1283.85/1284.22 c 1205s| 3610k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2271k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1287.25/1287.69 c 1208s| 3620k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2277k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1290.84/1291.26 c 1211s| 3630k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2283k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1294.64/1295.02 c 1215s| 3640k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2290k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1298.64/1299.01 c 1219s| 3650k| 504 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2297k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1302.44/1302.89 c 1222s| 3660k| 501 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2303k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1306.04/1306.47 c 1226s| 3670k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2310k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1309.44/1309.88 c 1229s| 3680k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2316k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1312.84/1313.24 c 1232s| 3690k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2322k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1316.14/1316.58 c 1235s| 3700k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2328k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1319.65/1320.05 c 1238s| 3710k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2334k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1323.13/1323.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.13/1323.52 c 1242s| 3720k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2340k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1326.54/1326.98 c 1245s| 3730k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2347k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1329.93/1330.36 c 1248s| 3740k| 501 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |2353k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1333.34/1333.77 c 1251s| 3750k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2359k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1336.83/1337.21 c 1254s| 3760k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2365k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1340.23/1340.65 c 1258s| 3770k| 499 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2372k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1343.84/1344.27 c 1261s| 3780k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2378k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1347.23/1347.67 c 1264s| 3790k| 508 | 0 | 0.0 |2734k| 543 | - | 607 | 958 | 0 | 0 | 0 |2384k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1350.63/1351.09 c 1267s| 3800k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2390k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1354.03/1354.41 c 1271s| 3810k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2396k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1357.62/1358.04 c 1274s| 3820k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2403k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1361.13/1361.52 c 1277s| 3830k| 503 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2409k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1364.52/1364.94 c 1280s| 3840k| 503 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2415k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1368.13/1368.58 c 1284s| 3850k| 507 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2421k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1371.52/1371.95 c 1287s| 3860k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2428k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1374.82/1375.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1374.82/1375.26 c 1290s| 3870k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2434k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1378.42/1378.82 c 1293s| 3880k| 505 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2440k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1381.92/1382.32 c 1297s| 3890k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2446k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1385.42/1385.83 c 1300s| 3900k| 499 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2453k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1388.92/1389.31 c 1303s| 3910k| 504 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2459k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1392.31/1392.76 c 1307s| 3920k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2465k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1395.71/1396.16 c 1310s| 3930k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2472k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1399.21/1399.61 c 1313s| 3940k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2478k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1402.52/1402.95 c 1316s| 3950k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2484k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1405.81/1406.29 c 1319s| 3960k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2490k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1409.31/1409.75 c 1322s| 3970k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2496k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1412.81/1413.23 c 1326s| 3980k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2503k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1416.51/1416.94 c 1329s| 3990k| 499 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2509k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1420.11/1420.57 c 1333s| 4000k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2515k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1423.51/1423.96 c 1336s| 4010k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2522k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1427.21/1427.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.21/1427.60 c 1339s| 4020k| 499 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2528k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1430.51/1430.96 c 1342s| 4030k| 510 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2534k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1433.91/1434.32 c 1346s| 4040k| 499 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2540k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1437.21/1437.61 c 1349s| 4050k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2546k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1440.40/1440.83 c 1352s| 4060k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2552k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1443.60/1444.04 c 1355s| 4070k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2558k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1446.90/1447.39 c 1358s| 4080k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2564k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1450.30/1450.73 c 1361s| 4090k| 503 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2570k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1453.71/1454.11 c 1364s| 4100k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2577k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1456.91/1457.37 c 1367s| 4110k| 508 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2583k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1460.60/1461.00 c 1371s| 4120k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2589k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1464.10/1464.53 c 1374s| 4130k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2595k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1467.49/1467.97 c 1377s| 4140k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2602k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1471.10/1471.53 c 1380s| 4150k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2608k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1474.70/1475.18 c 1384s| 4160k| 497 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2614k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1478.40/1478.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.40/1478.83 c 1387s| 4170k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2620k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1481.99/1482.44 c 1391s| 4180k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2627k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1485.60/1486.05 c 1394s| 4190k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2633k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1489.19/1489.67 c 1397s| 4200k| 499 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2639k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1492.79/1493.23 c 1401s| 4210k| 506 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2646k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1496.19/1496.65 c 1404s| 4220k| 504 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2652k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1500.09/1500.52 c 1408s| 4230k| 501 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2658k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1503.98/1504.44 c 1411s| 4240k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2665k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1507.89/1508.30 c 1415s| 4250k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2672k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1511.78/1512.24 c 1418s| 4260k| 506 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2678k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1515.19/1515.62 c 1422s| 4270k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2684k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1518.49/1518.99 c 1425s| 4280k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2690k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1522.08/1522.54 c 1428s| 4290k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2696k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1525.38/1525.86 c 1431s| 4300k| 504 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2703k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1528.88/1529.31 c 1435s| 4310k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2709k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1532.18/1532.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.18/1532.64 c 1438s| 4320k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2715k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1535.49/1535.95 c 1441s| 4330k| 499 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2721k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1538.98/1539.40 c 1444s| 4340k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2728k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1542.28/1542.79 c 1447s| 4350k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2734k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1545.98/1546.47 c 1451s| 4360k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2740k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1549.88/1550.34 c 1454s| 4370k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2747k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1553.28/1553.75 c 1458s| 4380k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2753k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1556.58/1557.08 c 1461s| 4390k| 505 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2759k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1560.08/1560.50 c 1464s| 4400k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2766k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1563.47/1563.98 c 1467s| 4410k| 498 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2772k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1567.08/1567.51 c 1470s| 4420k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2778k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1570.57/1571.00 c 1474s| 4430k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2784k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1573.97/1574.41 c 1477s| 4440k| 500 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2791k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1577.37/1577.82 c 1480s| 4450k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2797k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1580.77/1581.28 c 1483s| 4460k| 495 | 0 | 0.0 |2725k| 543 | - | 607 | 958 | 0 | 0 | 0 |2803k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1584.27/1584.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.27/1584.72 c 1487s| 4470k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2809k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1587.87/1588.38 c 1490s| 4480k| 497 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2816k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1591.67/1592.12 c 1494s| 4490k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2823k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1595.37/1595.83 c 1497s| 4500k| 497 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2829k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1599.07/1599.54 c 1500s| 4510k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2836k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1602.86/1603.32 c 1504s| 4520k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2842k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1606.67/1607.14 c 1508s| 4530k| 501 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2849k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1610.17/1610.62 c 1511s| 4540k| 498 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2855k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1613.56/1614.02 c 1514s| 4550k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2861k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1617.06/1617.57 c 1517s| 4560k| 501 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2868k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1620.86/1621.33 c 1521s| 4570k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2874k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1624.16/1624.69 c 1524s| 4580k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2880k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1627.65/1628.13 c 1527s| 4590k| 502 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2886k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1631.16/1631.61 c 1531s| 4600k| 503 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2893k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1634.25/1634.75 c 1533s| 4610k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2899k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1637.75/1638.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.75/1638.29 c 1537s| 4620k| 499 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2905k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1641.45/1641.93 c 1540s| 4630k| 499 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2912k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1644.95/1645.45 c 1543s| 4640k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2918k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1648.85/1649.37 c 1547s| 4650k| 499 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |2925k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1652.76/1653.20 c 1551s| 4660k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2931k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1656.35/1656.86 c 1554s| 4670k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |2938k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1659.65/1660.14 c 1557s| 4680k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |2944k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1662.85/1663.35 c 1560s| 4690k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2950k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1666.24/1666.74 c 1563s| 4700k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2956k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1669.95/1670.47 c 1567s| 4710k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2963k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1673.54/1674.08 c 1570s| 4720k| 503 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |2969k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1677.06/1677.56 c 1573s| 4730k| 503 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2976k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1680.44/1680.91 c 1577s| 4740k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2982k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1683.74/1684.23 c 1580s| 4750k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |2988k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1687.15/1687.63 c 1583s| 4760k| 498 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |2994k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1690.44/1690.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.44/1690.94 c 1586s| 4770k| 503 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3000k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1693.94/1694.46 c 1589s| 4780k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3006k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1697.44/1697.95 c 1593s| 4790k| 497 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3012k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1700.74/1701.28 c 1596s| 4800k| 498 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |3019k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1704.24/1704.74 c 1599s| 4810k| 502 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3025k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1707.64/1708.15 c 1602s| 4820k| 498 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |3031k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1711.04/1711.56 c 1605s| 4830k| 499 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |3037k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1714.45/1714.98 c 1609s| 4840k| 497 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |3043k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1717.74/1718.29 c 1612s| 4850k| 498 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |3049k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1721.04/1721.53 c 1615s| 4860k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3055k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1724.24/1724.78 c 1618s| 4870k| 498 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3061k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1727.54/1728.09 c 1621s| 4880k| 496 | 0 | 0.0 |2726k| 543 | - | 607 | 958 | 0 | 0 | 0 |3067k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1730.84/1731.38 c 1624s| 4890k| 497 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3073k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1734.33/1734.80 c 1627s| 4900k| 501 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |3080k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1737.63/1738.11 c 1630s| 4910k| 504 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3086k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1740.92/1741.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.92/1741.47 c 1633s| 4920k| 502 | 0 | 0.0 |2729k| 543 | - | 607 | 958 | 0 | 0 | 0 |3092k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1744.43/1744.97 c 1637s| 4930k| 500 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3098k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1747.72/1748.23 c 1640s| 4940k| 505 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3104k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1750.93/1751.43 c 1643s| 4950k| 499 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3110k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1754.13/1754.66 c 1646s| 4960k| 501 | 0 | 0.0 |2727k| 543 | - | 607 | 958 | 0 | 0 | 0 |3116k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1757.42/1757.93 c 1649s| 4970k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3122k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1760.63/1761.12 c 1652s| 4980k| 502 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |3128k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1763.83/1764.39 c 1655s| 4990k| 501 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |3134k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1767.13/1767.66 c 1658s| 5000k| 503 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |3140k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1770.43/1770.90 c 1661s| 5010k| 507 | 0 | 0.0 |2732k| 543 | - | 607 | 958 | 0 | 0 | 0 |3146k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1773.52/1774.10 c 1664s| 5020k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3152k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1776.72/1777.26 c 1667s| 5030k| 501 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |3158k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1779.91/1780.47 c 1670s| 5040k| 500 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |3164k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1783.32/1783.82 c 1673s| 5050k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3170k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1786.52/1787.01 c 1676s| 5060k| 503 | 0 | 0.0 |2733k| 543 | - | 607 | 958 | 0 | 0 | 0 |3176k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1789.81/1790.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.81/1790.30 c 1679s| 5070k| 501 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3182k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1793.02/1793.52 c 1682s| 5080k| 504 | 0 | 0.0 |2731k| 543 | - | 607 | 958 | 0 | 0 | 0 |3188k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1796.21/1796.76 c 1685s| 5090k| 499 | 0 | 0.0 |2730k| 543 | - | 607 | 958 | 0 | 0 | 0 |3194k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1799.42/1799.95 c 1688s| 5100k| 500 | 0 | 0.0 |2728k| 543 | - | 607 | 958 | 0 | 0 | 0 |3200k| 0 | 1.000000e+00 | 6.300000e+01 |6200.00%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1688.81
1800.02/1800.50 c Solving Nodes : 5101717
1800.02/1800.50 c Primal Bound : +6.30000000000000e+01 (6 solutions)
1800.02/1800.50 c Dual Bound : +1.00000000000000e+00
1800.02/1800.50 c Gap : 6200.00 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1800.02/1800.51 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1800.02/1800.51 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545
1800.02/1800.51 v -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
1800.02/1800.51 v -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
1800.02/1800.51 v -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
1800.02/1800.51 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461
1800.02/1800.51 v -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
1800.02/1800.51 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419
1800.02/1800.51 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398
1800.02/1800.51 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 x377 -x376
1800.02/1800.51 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
1800.02/1800.51 v x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
1800.02/1800.51 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
1800.02/1800.51 v -x312 -x311 -x310 x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 x298 -x297 -x296 x295 -x294 -x293 -x292
1800.02/1800.51 v -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 x282 -x281 x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
1800.02/1800.51 v -x269 x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1800.02/1800.51 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227
1800.02/1800.51 v x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
1800.02/1800.51 v -x205 -x204 -x203 x202 x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184
1800.02/1800.51 v -x183 -x182 -x181 x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163
1800.02/1800.51 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.02/1800.51 v -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.02/1800.51 v -x120 -x119 -x118 x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99
1800.02/1800.51 v 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.02/1800.51 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.02/1800.51 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 -x21
1800.02/1800.51 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1688.81
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2664190-1276414891.opb
1800.02/1800.51 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 1022 initial, 1022 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2664190-1276414891.opb
1800.02/1800.51 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 958 initial, 958 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.02 0 0 0 0 0 64 0 0
1800.02/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 958+ 0 9133782 0 2 1909109 8543875 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c logicor : 544.68 0.00 544.68 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 7.90 2 0 0
1800.02/1800.51 c rootredcost : 8.17 0 0 0
1800.02/1800.51 c pseudoobj : 798.54 17789862 1297003 61761850
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 792.21 3199626 3199626 3199626 116.9 924 107.9 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.73 2196 2196 2196 118.3 7 105.1 -
1800.02/1800.51 c applied globally : - - - 0 0.0 - - -
1800.02/1800.51 c applied locally : - - - 3201822 116.9 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 39.31 3321983 0 0 0 0 6643966
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 2
1800.02/1800.51 c oneopt : 3.14 0 0
1800.02/1800.51 c trivial : 0.00 2 4
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 2.13 0 0
1800.02/1800.51 c trysol : 2.05 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 5101717
1800.02/1800.51 c nodes (total) : 5101717
1800.02/1800.51 c nodes left : 496
1800.02/1800.51 c max depth : 543
1800.02/1800.51 c max depth (total): 543
1800.02/1800.51 c backtracks : 1947087 (38.2%)
1800.02/1800.51 c delayed cutoffs : 1532556
1800.02/1800.51 c repropagations : 3067039 (31040686 domain reductions, 1428576 cutoffs)
1800.02/1800.51 c avg switch length: 2.27
1800.02/1800.51 c switching time : 75.29
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 6 (5 improvements)
1800.02/1800.51 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : +6.30000000000000e+01 (in run 1, after 1010 nodes, 0.31 seconds, depth 526, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +1.00000000000000e+00
1800.02/1800.51 c Gap : 6200.00 %
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 0
1800.02/1800.52 c Time complete: 1800.04.