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-2664790-1276595477.opb>
0.00/0.06 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 1853 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.06 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.00/0.08 o 756
0.00/0.08 c feasible solution found by trivial heuristic, objective value 7.560000e+02
0.00/0.08 c presolving:
0.07/0.09 c (round 1) 15 del vars, 332 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16 impls, 0 clqs
0.19/0.20 c (round 2) 15 del vars, 550 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1435 upgd conss, 16 impls, 0 clqs
0.19/0.20 c (round 3) 16 del vars, 551 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1435 upgd conss, 16 impls, 0 clqs
0.19/0.20 c (round 4) 17 del vars, 575 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1435 upgd conss, 16 impls, 0 clqs
0.19/0.21 c (round 5) 18 del vars, 577 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1453 upgd conss, 16 impls, 0 clqs
0.19/0.22 c (round 6) 18 del vars, 578 del conss, 15 chg bounds, 7 chg sides, 0 chg coeffs, 1464 upgd conss, 16 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/738 (13.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (7 rounds):
0.19/0.23 c 18 deleted vars, 578 deleted constraints, 15 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
0.19/0.23 c 16 implications, 0 cliques
0.19/0.23 c presolved problem has 738 variables (738 bin, 0 int, 0 impl, 0 cont) and 1275 constraints
0.19/0.23 c 1275 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.14
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c conflict/interconss = 0
0.19/0.23 c
0.19/0.23 c # should binary conflicts be preferred?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c conflict/preferbinary = TRUE
0.19/0.23 c
0.19/0.23 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.23 c constraints/agelimit = 1
0.19/0.23 c
0.19/0.23 c # should enforcement of pseudo solution be disabled?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/disableenfops = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.95
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.23 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.23 c lp/pricing = a
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # priority of node selection rule <dfs> in standard mode
0.19/0.23 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.23 c nodeselection/dfs/stdpriority = 1000000
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 o 754
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c t 0.1s| 1 | 0 | 0 | - |3535k| 0 | - | 738 |1275 | 0 | 0 | 0 | 0 | 0 | -- | 7.540000e+02 | Inf
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |3516k| 0 | - | 738 |1275 | 0 | 0 | 0 | 0 | 0 | 1.600000e+01 | 7.540000e+02 |4612.50%
0.29/0.31 o 86
0.29/0.31 c * 0.2s| 622 | 615 | 0 | 0.0 |3886k| 621 | - | 738 |1275 | 0 | 0 | 0 | 0 | 0 | 1.700000e+01 | 8.600000e+01 | 405.88%
0.29/0.31 o 85
0.29/0.31 c * 0.2s| 626 | 599 | 0 | 0.0 |3893k| 621 | - | 738 |1275 | 0 | 0 | 0 | 0 | 0 | 1.700000e+01 | 8.500000e+01 | 400.00%
0.29/0.32 o 84
0.29/0.32 c * 0.2s| 641 | 593 | 0 | 0.0 |3915k| 621 | - | 738 |1275 | 0 | 0 | 0 | 9 | 0 | 1.700000e+01 | 8.400000e+01 | 394.12%
0.69/0.70 o 83
0.69/0.70 c * 0.6s| 1586 | 576 | 0 | 0.0 |3923k| 621 | - | 738 |1275 | 0 | 0 | 0 | 593 | 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
4.30/4.34 c 4.0s| 10000 | 540 | 0 | 0.0 |3921k| 621 | - | 738 |1275 | 0 | 0 | 0 |6241 | 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
8.70/8.73 c 8.2s| 20000 | 542 | 0 | 0.0 |3972k| 621 | - | 738 |1308 | 0 | 0 | 0 | 15k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
12.99/13.04 c 12.3s| 30000 | 538 | 0 | 0.0 |3956k| 621 | - | 738 |1275 | 0 | 0 | 0 | 22k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
17.08/17.17 c 16.2s| 40000 | 538 | 0 | 0.0 |3957k| 621 | - | 738 |1275 | 0 | 0 | 0 | 28k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
21.19/21.24 c 20.0s| 50000 | 532 | 0 | 0.0 |3956k| 621 | - | 738 |1275 | 0 | 0 | 0 | 33k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
25.48/25.50 c 24.1s| 60000 | 537 | 0 | 0.0 |3980k| 621 | - | 738 |1310 | 0 | 0 | 0 | 40k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
29.69/29.77 c 28.1s| 70000 | 532 | 0 | 0.0 |3966k| 621 | - | 738 |1275 | 0 | 0 | 0 | 47k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
33.88/33.92 c 32.0s| 80000 | 535 | 0 | 0.0 |3968k| 621 | - | 738 |1275 | 0 | 0 | 0 | 53k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
37.88/37.95 c 35.8s| 90000 | 527 | 0 | 0.0 |3964k| 621 | - | 738 |1275 | 0 | 0 | 0 | 59k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
42.28/42.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.28/42.34 c 40.0s|100000 | 537 | 0 | 0.0 |3976k| 621 | - | 738 |1275 | 0 | 0 | 0 | 65k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
46.28/46.30 c 43.7s|110000 | 523 | 0 | 0.0 |3965k| 621 | - | 738 |1275 | 0 | 0 | 0 | 71k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
50.38/50.45 c 47.6s|120000 | 527 | 0 | 0.0 |3967k| 621 | - | 738 |1276 | 0 | 0 | 0 | 76k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
54.78/54.82 c 51.8s|130000 | 531 | 0 | 0.0 |3969k| 621 | - | 738 |1275 | 0 | 0 | 0 | 83k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
59.07/59.15 c 55.9s|140000 | 530 | 0 | 0.0 |3973k| 621 | - | 738 |1276 | 0 | 0 | 0 | 91k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
63.38/63.44 c 60.0s|150000 | 529 | 0 | 0.0 |3968k| 621 | - | 738 |1275 | 0 | 0 | 0 | 97k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
67.57/67.69 c 64.0s|160000 | 523 | 0 | 0.0 |3971k| 621 | - | 738 |1275 | 0 | 0 | 0 | 102k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
71.88/71.99 c 68.1s|170000 | 529 | 0 | 0.0 |3978k| 621 | - | 738 |1295 | 0 | 0 | 0 | 109k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
76.37/76.41 c 72.3s|180000 | 533 | 0 | 0.0 |4004k| 621 | - | 738 |1275 | 0 | 0 | 0 | 116k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
80.67/80.71 c 76.3s|190000 | 526 | 0 | 0.0 |4005k| 621 | - | 738 |1275 | 0 | 0 | 0 | 122k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
85.27/85.38 c 80.8s|200000 | 527 | 0 | 0.0 |4099k| 621 | - | 738 |1575 | 0 | 0 | 0 | 130k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
89.67/89.72 c 84.8s|210000 | 521 | 0 | 0.0 |3997k| 621 | - | 738 |1275 | 0 | 0 | 0 | 136k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
93.97/94.08 c 89.0s|220000 | 520 | 0 | 0.0 |4239k| 621 | - | 738 |1994 | 0 | 0 | 0 | 143k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
98.57/98.60 c 93.3s|230000 | 522 | 0 | 0.0 |4001k| 621 | - | 738 |1276 | 0 | 0 | 0 | 149k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
102.77/102.80 c 97.3s|240000 | 520 | 0 | 0.0 |4001k| 621 | - | 738 |1275 | 0 | 0 | 0 | 154k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
106.86/106.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.86/106.95 c 101s|250000 | 519 | 0 | 0.0 |3997k| 621 | - | 738 |1275 | 0 | 0 | 0 | 160k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
110.98/111.07 c 105s|260000 | 516 | 0 | 0.0 |4001k| 621 | - | 738 |1275 | 0 | 0 | 0 | 167k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
115.37/115.47 c 109s|270000 | 525 | 0 | 0.0 |4007k| 621 | - | 738 |1275 | 0 | 0 | 0 | 174k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
119.46/119.55 c 113s|280000 | 526 | 0 | 0.0 |4025k| 621 | - | 738 |1334 | 0 | 0 | 0 | 180k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
123.86/123.91 c 117s|290000 | 523 | 0 | 0.0 |4004k| 621 | - | 738 |1275 | 0 | 0 | 0 | 187k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
128.16/128.26 c 121s|300000 | 516 | 0 | 0.0 |4000k| 621 | - | 738 |1275 | 0 | 0 | 0 | 193k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
132.66/132.79 c 126s|310000 | 520 | 0 | 0.0 |4010k| 621 | - | 738 |1276 | 0 | 0 | 0 | 200k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
137.16/137.25 c 130s|320000 | 518 | 0 | 0.0 |4002k| 621 | - | 738 |1275 | 0 | 0 | 0 | 206k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
141.45/141.51 c 134s|330000 | 518 | 0 | 0.0 |4001k| 621 | - | 738 |1275 | 0 | 0 | 0 | 212k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
145.86/145.93 c 138s|340000 | 521 | 0 | 0.0 |4007k| 621 | - | 738 |1275 | 0 | 0 | 0 | 219k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
150.15/150.24 c 142s|350000 | 525 | 0 | 0.0 |4009k| 621 | - | 738 |1275 | 0 | 0 | 0 | 224k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
154.36/154.45 c 146s|360000 | 517 | 0 | 0.0 |4011k| 621 | - | 738 |1275 | 0 | 0 | 0 | 230k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
158.36/158.47 c 150s|370000 | 524 | 0 | 0.0 |4012k| 621 | - | 738 |1275 | 0 | 0 | 0 | 236k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
162.55/162.62 c 154s|380000 | 524 | 0 | 0.0 |4011k| 621 | - | 738 |1276 | 0 | 0 | 0 | 241k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
166.75/166.88 c 158s|390000 | 519 | 0 | 0.0 |4011k| 621 | - | 738 |1275 | 0 | 0 | 0 | 247k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
170.64/170.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.64/170.78 c 162s|400000 | 521 | 0 | 0.0 |4008k| 621 | - | 738 |1275 | 0 | 0 | 0 | 252k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
174.65/174.71 c 165s|410000 | 518 | 0 | 0.0 |4008k| 621 | - | 738 |1276 | 0 | 0 | 0 | 258k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
178.44/178.59 c 169s|420000 | 518 | 0 | 0.0 |4010k| 621 | - | 738 |1276 | 0 | 0 | 0 | 264k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
182.75/182.87 c 173s|430000 | 524 | 0 | 0.0 |4015k| 621 | - | 738 |1275 | 0 | 0 | 0 | 271k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
186.95/187.10 c 177s|440000 | 520 | 0 | 0.0 |4012k| 621 | - | 738 |1276 | 0 | 0 | 0 | 279k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
191.25/191.34 c 181s|450000 | 518 | 0 | 0.0 |4010k| 621 | - | 738 |1275 | 0 | 0 | 0 | 285k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
195.34/195.43 c 185s|460000 | 518 | 0 | 0.0 |4012k| 621 | - | 738 |1276 | 0 | 0 | 0 | 290k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
199.44/199.56 c 189s|470000 | 517 | 0 | 0.0 |4015k| 621 | - | 738 |1275 | 0 | 0 | 0 | 296k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
203.35/203.42 c 193s|480000 | 519 | 0 | 0.0 |4014k| 621 | - | 738 |1275 | 0 | 0 | 0 | 301k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
206.94/207.08 c 196s|490000 | 515 | 0 | 0.0 |4014k| 621 | - | 738 |1275 | 0 | 0 | 0 | 307k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
211.34/211.41 c 200s|500000 | 522 | 0 | 0.0 |4021k| 621 | - | 738 |1275 | 0 | 0 | 0 | 313k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
215.44/215.58 c 204s|510000 | 515 | 0 | 0.0 |4008k| 621 | - | 738 |1275 | 0 | 0 | 0 | 319k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
219.84/219.93 c 208s|520000 | 514 | 0 | 0.0 |4127k| 621 | - | 738 |1629 | 0 | 0 | 0 | 327k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
224.14/224.25 c 212s|530000 | 525 | 0 | 0.0 |4088k| 621 | - | 738 |1535 | 0 | 0 | 0 | 335k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
228.34/228.48 c 216s|540000 | 521 | 0 | 0.0 |4372k| 621 | - | 738 |2392 | 0 | 0 | 0 | 341k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
233.04/233.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.04/233.13 c 221s|550000 | 519 | 0 | 0.0 |4108k| 621 | - | 738 |1422 | 0 | 0 | 0 | 348k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
237.33/237.44 c 225s|560000 | 517 | 0 | 0.0 |4152k| 621 | - | 738 |1593 | 0 | 0 | 0 | 357k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
241.93/242.03 c 229s|570000 | 525 | 0 | 0.0 |5504k| 621 | - | 738 |5666 | 0 | 0 | 0 | 368k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
246.93/247.09 c 234s|580000 | 519 | 0 | 0.0 |4642k| 621 | - | 738 |2922 | 0 | 0 | 0 | 375k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
251.33/251.43 c 238s|590000 | 513 | 0 | 0.0 |4641k| 621 | - | 738 |2922 | 0 | 0 | 0 | 381k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
255.32/255.47 c 242s|600000 | 514 | 0 | 0.0 |4194k| 621 | - | 738 |1277 | 0 | 0 | 0 | 386k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
259.63/259.74 c 246s|610000 | 516 | 0 | 0.0 |4220k| 621 | - | 738 |1344 | 0 | 0 | 0 | 393k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
263.72/263.80 c 250s|620000 | 519 | 0 | 0.0 |4197k| 621 | - | 738 |1276 | 0 | 0 | 0 | 399k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
268.02/268.13 c 254s|630000 | 513 | 0 | 0.0 |4199k| 621 | - | 738 |1276 | 0 | 0 | 0 | 406k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
272.12/272.20 c 258s|640000 | 520 | 0 | 0.0 |4197k| 621 | - | 738 |1275 | 0 | 0 | 0 | 411k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
276.43/276.51 c 262s|650000 | 518 | 0 | 0.0 |4194k| 621 | - | 738 |1276 | 0 | 0 | 0 | 417k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
281.02/281.12 c 266s|660000 | 521 | 0 | 0.0 |4201k| 621 | - | 738 |1275 | 0 | 0 | 0 | 423k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
285.42/285.51 c 270s|670000 | 515 | 0 | 0.0 |4199k| 621 | - | 738 |1275 | 0 | 0 | 0 | 429k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
289.42/289.58 c 274s|680000 | 513 | 0 | 0.0 |4195k| 621 | - | 738 |1275 | 0 | 0 | 0 | 434k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
293.91/294.01 c 278s|690000 | 514 | 0 | 0.0 |4193k| 621 | - | 738 |1275 | 0 | 0 | 0 | 440k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
298.12/298.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.12/298.24 c 282s|700000 | 519 | 0 | 0.0 |4198k| 621 | - | 738 |1275 | 0 | 0 | 0 | 446k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
302.71/302.89 c 287s|710000 | 513 | 0 | 0.0 |4200k| 621 | - | 738 |1276 | 0 | 0 | 0 | 454k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
307.42/307.50 c 291s|720000 | 513 | 0 | 0.0 |4196k| 621 | - | 738 |1275 | 0 | 0 | 0 | 461k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
312.01/312.16 c 296s|730000 | 516 | 0 | 0.0 |4196k| 621 | - | 738 |1276 | 0 | 0 | 0 | 468k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
316.72/316.84 c 300s|740000 | 518 | 0 | 0.0 |4198k| 621 | - | 738 |1275 | 0 | 0 | 0 | 475k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
321.02/321.10 c 304s|750000 | 520 | 0 | 0.0 |4202k| 621 | - | 738 |1275 | 0 | 0 | 0 | 482k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
325.31/325.45 c 308s|760000 | 517 | 0 | 0.0 |4199k| 621 | - | 738 |1275 | 0 | 0 | 0 | 488k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
329.92/330.03 c 313s|770000 | 515 | 0 | 0.0 |4207k| 621 | - | 738 |1276 | 0 | 0 | 0 | 496k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
334.32/334.49 c 317s|780000 | 512 | 0 | 0.0 |4225k| 621 | - | 738 |1285 | 0 | 0 | 0 | 504k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
338.71/338.89 c 321s|790000 | 518 | 0 | 0.0 |4219k| 621 | - | 738 |1275 | 0 | 0 | 0 | 511k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
343.11/343.29 c 325s|800000 | 521 | 0 | 0.0 |4949k| 621 | - | 738 |3353 | 0 | 0 | 0 | 520k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
347.51/347.65 c 329s|810000 | 513 | 0 | 0.0 |4242k| 621 | - | 738 |1275 | 0 | 0 | 0 | 525k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
351.81/351.95 c 333s|820000 | 518 | 0 | 0.0 |4244k| 621 | - | 738 |1275 | 0 | 0 | 0 | 532k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
355.90/356.09 c 337s|830000 | 524 | 0 | 0.0 |4249k| 621 | - | 738 |1276 | 0 | 0 | 0 | 538k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
360.31/360.42 c 341s|840000 | 520 | 0 | 0.0 |4657k| 621 | - | 738 |2361 | 0 | 0 | 0 | 545k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
364.70/364.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.70/364.87 c 346s|850000 | 515 | 0 | 0.0 |6777k| 621 | - | 738 |7775 | 0 | 0 | 0 | 556k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
370.20/370.35 c 351s|860000 | 518 | 0 | 0.0 |8793k| 621 | - | 738 | 12k| 0 | 0 | 0 | 567k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
375.39/375.54 c 356s|870000 | 518 | 0 | 0.0 |8704k| 621 | - | 738 | 11k| 0 | 0 | 0 | 572k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
380.99/381.12 c 361s|880000 | 515 | 0 | 0.0 |4693k| 621 | - | 738 |1276 | 0 | 0 | 0 | 578k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
385.29/385.45 c 365s|890000 | 518 | 0 | 0.0 |4692k| 621 | - | 738 |1275 | 0 | 0 | 0 | 584k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
389.49/389.68 c 369s|900000 | 513 | 0 | 0.0 |4701k| 621 | - | 738 |1275 | 0 | 0 | 0 | 590k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
393.79/393.94 c 373s|910000 | 513 | 0 | 0.0 |4697k| 621 | - | 738 |1275 | 0 | 0 | 0 | 596k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
398.19/398.33 c 378s|920000 | 513 | 0 | 0.0 |4691k| 621 | - | 738 |1275 | 0 | 0 | 0 | 602k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
402.19/402.40 c 381s|930000 | 521 | 0 | 0.0 |4697k| 621 | - | 738 |1275 | 0 | 0 | 0 | 607k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
406.59/406.75 c 386s|940000 | 515 | 0 | 0.0 |4695k| 621 | - | 738 |1275 | 0 | 0 | 0 | 615k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
410.88/411.02 c 390s|950000 | 519 | 0 | 0.0 |4702k| 621 | - | 738 |1275 | 0 | 0 | 0 | 621k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
415.18/415.40 c 394s|960000 | 516 | 0 | 0.0 |4693k| 621 | - | 738 |1275 | 0 | 0 | 0 | 627k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
419.79/419.96 c 398s|970000 | 516 | 0 | 0.0 |4699k| 621 | - | 738 |1275 | 0 | 0 | 0 | 633k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
424.58/424.74 c 403s|980000 | 515 | 0 | 0.0 |4697k| 621 | - | 738 |1275 | 0 | 0 | 0 | 640k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
428.89/429.06 c 407s|990000 | 514 | 0 | 0.0 |4695k| 621 | - | 738 |1275 | 0 | 0 | 0 | 646k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
433.08/433.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.08/433.21 c 411s| 1000k| 530 | 0 | 0.0 |4698k| 621 | - | 738 |1275 | 0 | 0 | 0 | 652k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
437.48/437.67 c 415s| 1010k| 527 | 0 | 0.0 |4697k| 621 | - | 738 |1275 | 0 | 0 | 0 | 657k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
441.88/442.05 c 419s| 1020k| 518 | 0 | 0.0 |4694k| 621 | - | 738 |1275 | 0 | 0 | 0 | 663k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
446.28/446.45 c 423s| 1030k| 521 | 0 | 0.0 |4693k| 621 | - | 738 |1275 | 0 | 0 | 0 | 669k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
450.38/450.56 c 427s| 1040k| 524 | 0 | 0.0 |4697k| 621 | - | 738 |1276 | 0 | 0 | 0 | 675k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
454.68/454.84 c 431s| 1050k| 518 | 0 | 0.0 |4700k| 621 | - | 738 |1276 | 0 | 0 | 0 | 681k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
459.18/459.40 c 436s| 1060k| 519 | 0 | 0.0 |4696k| 621 | - | 738 |1276 | 0 | 0 | 0 | 687k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
463.77/463.90 c 440s| 1070k| 524 | 0 | 0.0 |4694k| 621 | - | 738 |1276 | 0 | 0 | 0 | 693k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
468.38/468.51 c 444s| 1080k| 519 | 0 | 0.0 |4693k| 621 | - | 738 |1276 | 0 | 0 | 0 | 699k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
472.78/473.00 c 449s| 1090k| 515 | 0 | 0.0 |4927k| 621 | - | 738 |1963 | 0 | 0 | 0 | 706k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
477.37/477.59 c 453s| 1100k| 521 | 0 | 0.0 |5146k| 621 | - | 738 |2598 | 0 | 0 | 0 | 715k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
482.07/482.28 c 457s| 1110k| 518 | 0 | 0.0 |5068k| 621 | - | 738 |2372 | 0 | 0 | 0 | 724k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
486.97/487.16 c 462s| 1120k| 520 | 0 | 0.0 |5012k| 621 | - | 738 |2216 | 0 | 0 | 0 | 733k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
491.67/491.80 c 466s| 1130k| 517 | 0 | 0.0 |4692k| 621 | - | 738 |1275 | 0 | 0 | 0 | 742k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
496.07/496.29 c 471s| 1140k| 517 | 0 | 0.0 |4770k| 621 | - | 738 |1506 | 0 | 0 | 0 | 751k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
500.56/500.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.56/500.74 c 475s| 1150k| 522 | 0 | 0.0 |6413k| 621 | - | 738 |6381 | 0 | 0 | 0 | 762k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
505.06/505.23 c 479s| 1160k| 522 | 0 | 0.0 |8338k| 621 | - | 738 | 12k| 0 | 0 | 0 | 774k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
509.57/509.75 c 483s| 1170k| 518 | 0 | 0.0 | 10M| 621 | - | 738 | 17k| 0 | 0 | 0 | 786k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
514.06/514.21 c 488s| 1180k| 515 | 0 | 0.0 | 12M| 621 | - | 738 | 23k| 0 | 0 | 0 | 797k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
522.96/523.16 c 496s| 1190k| 513 | 0 | 0.0 | 13M| 621 | - | 738 | 26k| 0 | 0 | 0 | 806k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
539.55/539.74 c 513s| 1200k| 511 | 0 | 0.0 | 13M| 621 | - | 738 | 26k| 0 | 0 | 0 | 812k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
547.75/547.90 c 521s| 1210k| 518 | 0 | 0.0 |5343k| 621 | - | 738 |1276 | 0 | 0 | 0 | 818k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
552.06/552.29 c 525s| 1220k| 525 | 0 | 0.0 |5347k| 621 | - | 738 |1276 | 0 | 0 | 0 | 824k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
556.75/556.92 c 529s| 1230k| 521 | 0 | 0.0 |5344k| 621 | - | 738 |1276 | 0 | 0 | 0 | 830k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
561.24/561.41 c 533s| 1240k| 512 | 0 | 0.0 |5343k| 621 | - | 738 |1276 | 0 | 0 | 0 | 836k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
565.84/566.00 c 538s| 1250k| 518 | 0 | 0.0 |5346k| 621 | - | 738 |1276 | 0 | 0 | 0 | 842k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
570.44/570.68 c 542s| 1260k| 518 | 0 | 0.0 |5344k| 621 | - | 738 |1276 | 0 | 0 | 0 | 848k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
575.05/575.25 c 547s| 1270k| 509 | 0 | 0.0 |5345k| 621 | - | 738 |1276 | 0 | 0 | 0 | 854k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
579.55/579.73 c 551s| 1280k| 516 | 0 | 0.0 |5349k| 621 | - | 738 |1276 | 0 | 0 | 0 | 860k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
584.24/584.42 c 555s| 1290k| 520 | 0 | 0.0 |5347k| 621 | - | 738 |1276 | 0 | 0 | 0 | 866k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
588.62/588.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
588.62/588.86 c 560s| 1300k| 519 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 | 871k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
593.02/593.28 c 564s| 1310k| 512 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 | 877k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
597.51/597.73 c 568s| 1320k| 518 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 | 883k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
601.61/601.87 c 572s| 1330k| 517 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 889k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
606.01/606.22 c 576s| 1340k| 521 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 | 894k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
610.71/610.90 c 580s| 1350k| 511 | 0 | 0.0 |5355k| 621 | - | 738 |1276 | 0 | 0 | 0 | 901k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
615.41/615.66 c 585s| 1360k| 515 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 907k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
620.01/620.30 c 589s| 1370k| 518 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 913k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
624.70/624.91 c 594s| 1380k| 519 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 920k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
629.50/629.70 c 598s| 1390k| 514 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 | 927k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
634.00/634.30 c 603s| 1400k| 520 | 0 | 0.0 |5364k| 621 | - | 738 |1325 | 0 | 0 | 0 | 935k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
638.61/638.85 c 607s| 1410k| 515 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 942k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
643.10/643.32 c 611s| 1420k| 518 | 0 | 0.0 |5498k| 621 | - | 738 |1683 | 0 | 0 | 0 | 949k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
647.80/648.09 c 616s| 1430k| 513 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 | 956k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
652.30/652.55 c 620s| 1440k| 517 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 963k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
656.60/656.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.60/656.82 c 624s| 1450k| 509 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 | 970k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
661.09/661.30 c 628s| 1460k| 520 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 | 977k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
665.70/665.98 c 633s| 1470k| 513 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 | 983k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
670.29/670.54 c 637s| 1480k| 514 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 | 989k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
674.79/675.06 c 641s| 1490k| 518 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 | 995k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
679.49/679.75 c 646s| 1500k| 524 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1001k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
684.00/684.23 c 650s| 1510k| 513 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 |1007k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
688.59/688.84 c 655s| 1520k| 513 | 0 | 0.0 |5462k| 621 | - | 738 |1628 | 0 | 0 | 0 |1015k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
693.19/693.40 c 659s| 1530k| 519 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1021k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
697.88/698.11 c 663s| 1540k| 512 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 |1029k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
702.69/702.95 c 668s| 1550k| 519 | 0 | 0.0 |5388k| 621 | - | 738 |1404 | 0 | 0 | 0 |1037k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
707.28/707.53 c 672s| 1560k| 512 | 0 | 0.0 |5343k| 621 | - | 738 |1275 | 0 | 0 | 0 |1043k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
711.88/712.13 c 677s| 1570k| 509 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1051k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
716.78/717.01 c 681s| 1580k| 516 | 0 | 0.0 |5346k| 621 | - | 738 |1276 | 0 | 0 | 0 |1057k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
721.38/721.63 c 686s| 1590k| 513 | 0 | 0.0 |5345k| 621 | - | 738 |1276 | 0 | 0 | 0 |1063k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
725.98/726.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.98/726.30 c 690s| 1600k| 512 | 0 | 0.0 |5343k| 621 | - | 738 |1275 | 0 | 0 | 0 |1069k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
730.68/730.95 c 695s| 1610k| 512 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1075k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
734.98/735.27 c 699s| 1620k| 515 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1081k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
739.47/739.72 c 703s| 1630k| 515 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1087k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
743.98/744.23 c 707s| 1640k| 512 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1092k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
748.57/748.88 c 712s| 1650k| 512 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1099k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
753.28/753.55 c 716s| 1660k| 514 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1105k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
757.77/758.03 c 720s| 1670k| 521 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1111k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
762.16/762.46 c 724s| 1680k| 516 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 |1117k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
766.56/766.87 c 729s| 1690k| 520 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1124k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
770.87/771.15 c 733s| 1700k| 514 | 0 | 0.0 |5352k| 621 | - | 738 |1276 | 0 | 0 | 0 |1132k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
775.06/775.35 c 737s| 1710k| 521 | 0 | 0.0 |5351k| 621 | - | 738 |1276 | 0 | 0 | 0 |1138k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
779.36/779.64 c 741s| 1720k| 515 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1145k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
783.66/783.96 c 745s| 1730k| 516 | 0 | 0.0 |5356k| 621 | - | 738 |1276 | 0 | 0 | 0 |1151k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
788.15/788.47 c 749s| 1740k| 522 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1157k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
792.55/792.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.55/792.87 c 753s| 1750k| 516 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1163k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
796.96/797.23 c 757s| 1760k| 520 | 0 | 0.0 |6420k| 621 | - | 738 |4117 | 0 | 0 | 0 |1172k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
801.66/801.94 c 762s| 1770k| 514 | 0 | 0.0 |5356k| 621 | - | 738 |1275 | 0 | 0 | 0 |1178k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
806.15/806.41 c 766s| 1780k| 524 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1184k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
810.65/810.91 c 770s| 1790k| 522 | 0 | 0.0 |5348k| 621 | - | 738 |1276 | 0 | 0 | 0 |1190k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
815.05/815.32 c 775s| 1800k| 517 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1196k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
819.35/819.62 c 779s| 1810k| 521 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1202k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
823.65/823.93 c 783s| 1820k| 520 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 |1208k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
828.15/828.48 c 787s| 1830k| 514 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1214k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
832.54/832.84 c 791s| 1840k| 513 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1221k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
836.94/837.26 c 795s| 1850k| 513 | 0 | 0.0 |5346k| 621 | - | 738 |1276 | 0 | 0 | 0 |1227k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
841.74/842.08 c 800s| 1860k| 514 | 0 | 0.0 |6472k| 621 | - | 738 |4619 | 0 | 0 | 0 |1237k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
847.34/847.66 c 805s| 1870k| 518 | 0 | 0.0 |5351k| 621 | - | 738 |1276 | 0 | 0 | 0 |1243k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
852.04/852.38 c 810s| 1880k| 521 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1249k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
856.74/857.08 c 814s| 1890k| 516 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 |1255k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
861.34/861.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.34/861.66 c 819s| 1900k| 514 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 |1261k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
866.04/866.37 c 823s| 1910k| 518 | 0 | 0.0 |5367k| 621 | - | 738 |1336 | 0 | 0 | 0 |1268k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
870.73/871.01 c 828s| 1920k| 515 | 0 | 0.0 |5344k| 621 | - | 738 |1276 | 0 | 0 | 0 |1275k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
875.34/875.69 c 832s| 1930k| 516 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1281k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
879.93/880.29 c 836s| 1940k| 519 | 0 | 0.0 |5346k| 621 | - | 738 |1275 | 0 | 0 | 0 |1287k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
884.63/884.90 c 841s| 1950k| 519 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1293k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
889.23/889.57 c 845s| 1960k| 517 | 0 | 0.0 |5730k| 621 | - | 738 |2301 | 0 | 0 | 0 |1300k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
893.83/894.13 c 850s| 1970k| 509 | 0 | 0.0 |5342k| 621 | - | 738 |1275 | 0 | 0 | 0 |1307k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
898.43/898.75 c 854s| 1980k| 517 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 |1313k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
903.12/903.45 c 858s| 1990k| 517 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1319k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
907.63/907.96 c 863s| 2000k| 515 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1325k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
912.13/912.42 c 867s| 2010k| 517 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1331k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
916.63/916.98 c 871s| 2020k| 512 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1337k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
921.53/921.81 c 876s| 2030k| 513 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1343k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
926.22/926.56 c 880s| 2040k| 519 | 0 | 0.0 |6129k| 621 | - | 738 |3604 | 0 | 0 | 0 |1352k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
930.92/931.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.92/931.26 c 885s| 2050k| 517 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1358k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
935.32/935.69 c 889s| 2060k| 516 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1364k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
939.91/940.20 c 893s| 2070k| 512 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1369k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
944.42/944.78 c 898s| 2080k| 520 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1375k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
948.81/949.15 c 902s| 2090k| 512 | 0 | 0.0 |5344k| 621 | - | 738 |1276 | 0 | 0 | 0 |1381k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
953.21/953.50 c 906s| 2100k| 518 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1387k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
957.51/957.82 c 910s| 2110k| 515 | 0 | 0.0 |5344k| 621 | - | 738 |1276 | 0 | 0 | 0 |1393k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
962.00/962.37 c 914s| 2120k| 514 | 0 | 0.0 |5344k| 621 | - | 738 |1275 | 0 | 0 | 0 |1399k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
966.51/966.85 c 918s| 2130k| 513 | 0 | 0.0 |5344k| 621 | - | 738 |1276 | 0 | 0 | 0 |1405k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
971.01/971.31 c 923s| 2140k| 517 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1410k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
975.31/975.67 c 927s| 2150k| 521 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1416k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
979.82/980.11 c 931s| 2160k| 510 | 0 | 0.0 |5349k| 621 | - | 738 |1276 | 0 | 0 | 0 |1422k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
984.51/984.81 c 936s| 2170k| 514 | 0 | 0.0 |5347k| 621 | - | 738 |1275 | 0 | 0 | 0 |1428k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
989.30/989.61 c 940s| 2180k| 517 | 0 | 0.0 |5351k| 621 | - | 738 |1281 | 0 | 0 | 0 |1434k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
994.20/994.53 c 945s| 2190k| 513 | 0 | 0.0 |5360k| 621 | - | 738 |1301 | 0 | 0 | 0 |1441k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
999.00/999.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.00/999.30 c 949s| 2200k| 510 | 0 | 0.0 |5361k| 621 | - | 738 |1309 | 0 | 0 | 0 |1450k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1003.79/1004.17 c 954s| 2210k| 513 | 0 | 0.0 |5348k| 621 | - | 738 |1276 | 0 | 0 | 0 |1458k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1008.40/1008.77 c 958s| 2220k| 518 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1465k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1012.80/1013.19 c 962s| 2230k| 515 | 0 | 0.0 |5406k| 621 | - | 738 |1436 | 0 | 0 | 0 |1472k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1017.20/1017.52 c 967s| 2240k| 513 | 0 | 0.0 |5345k| 621 | - | 738 |1275 | 0 | 0 | 0 |1478k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1021.50/1021.82 c 971s| 2250k| 515 | 0 | 0.0 |5348k| 621 | - | 738 |1275 | 0 | 0 | 0 |1483k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1026.00/1026.35 c 975s| 2260k| 522 | 0 | 0.0 |5354k| 621 | - | 738 |1275 | 0 | 0 | 0 |1490k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1030.30/1030.67 c 979s| 2270k| 519 | 0 | 0.0 |5359k| 621 | - | 738 |1276 | 0 | 0 | 0 |1496k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1034.69/1035.03 c 983s| 2280k| 513 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1502k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1039.10/1039.44 c 987s| 2290k| 512 | 0 | 0.0 |5351k| 621 | - | 738 |1276 | 0 | 0 | 0 |1508k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1043.59/1043.92 c 992s| 2300k| 510 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1514k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1048.08/1048.48 c 996s| 2310k| 515 | 0 | 0.0 |5355k| 621 | - | 738 |1276 | 0 | 0 | 0 |1520k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1052.78/1053.13 c 1000s| 2320k| 516 | 0 | 0.0 |5369k| 621 | - | 738 |1314 | 0 | 0 | 0 |1527k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1057.29/1057.65 c 1005s| 2330k| 516 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1534k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1061.98/1062.35 c 1009s| 2340k| 511 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1541k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1066.68/1067.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.68/1067.05 c 1014s| 2350k| 520 | 0 | 0.0 |5360k| 621 | - | 738 |1293 | 0 | 0 | 0 |1548k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1071.28/1071.64 c 1018s| 2360k| 509 | 0 | 0.0 |5357k| 621 | - | 738 |1276 | 0 | 0 | 0 |1555k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1075.87/1076.28 c 1022s| 2370k| 520 | 0 | 0.0 |5609k| 621 | - | 738 |2028 | 0 | 0 | 0 |1563k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1080.07/1080.47 c 1026s| 2380k| 513 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1569k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1084.38/1084.79 c 1031s| 2390k| 515 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1575k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1088.97/1089.36 c 1035s| 2400k| 518 | 0 | 0.0 |5354k| 621 | - | 738 |1275 | 0 | 0 | 0 |1581k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1093.57/1093.92 c 1039s| 2410k| 518 | 0 | 0.0 |5357k| 621 | - | 738 |1275 | 0 | 0 | 0 |1587k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1098.07/1098.46 c 1044s| 2420k| 514 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1592k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1102.47/1102.82 c 1048s| 2430k| 514 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1599k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1106.77/1107.11 c 1052s| 2440k| 518 | 0 | 0.0 |5355k| 621 | - | 738 |1281 | 0 | 0 | 0 |1605k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1111.17/1111.54 c 1056s| 2450k| 516 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1612k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1115.56/1115.94 c 1060s| 2460k| 517 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1618k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1119.86/1120.26 c 1064s| 2470k| 517 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1625k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1124.46/1124.86 c 1069s| 2480k| 514 | 0 | 0.0 |5354k| 621 | - | 738 |1275 | 0 | 0 | 0 |1630k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1129.27/1129.69 c 1073s| 2490k| 513 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1637k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1134.07/1134.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.07/1134.46 c 1078s| 2500k| 516 | 0 | 0.0 |5369k| 621 | - | 738 |1312 | 0 | 0 | 0 |1645k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1138.86/1139.20 c 1082s| 2510k| 511 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1652k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1143.56/1143.97 c 1087s| 2520k| 514 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1660k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1148.16/1148.54 c 1091s| 2530k| 517 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1666k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1152.76/1153.12 c 1095s| 2540k| 517 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1672k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1157.26/1157.64 c 1100s| 2550k| 511 | 0 | 0.0 |5350k| 621 | - | 738 |1276 | 0 | 0 | 0 |1678k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1161.55/1161.94 c 1104s| 2560k| 515 | 0 | 0.0 |5471k| 621 | - | 738 |1635 | 0 | 0 | 0 |1685k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1165.95/1166.34 c 1108s| 2570k| 515 | 0 | 0.0 |5419k| 621 | - | 738 |1481 | 0 | 0 | 0 |1694k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1170.35/1170.73 c 1112s| 2580k| 510 | 0 | 0.0 |5349k| 621 | - | 738 |1276 | 0 | 0 | 0 |1702k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1174.75/1175.11 c 1116s| 2590k| 512 | 0 | 0.0 |5358k| 621 | - | 738 |1276 | 0 | 0 | 0 |1708k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1179.35/1179.73 c 1121s| 2600k| 516 | 0 | 0.0 |5359k| 621 | - | 738 |1276 | 0 | 0 | 0 |1714k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1183.94/1184.38 c 1125s| 2610k| 516 | 0 | 0.0 |5354k| 621 | - | 738 |1276 | 0 | 0 | 0 |1720k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1188.55/1188.91 c 1129s| 2620k| 512 | 0 | 0.0 |5353k| 621 | - | 738 |1275 | 0 | 0 | 0 |1727k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1193.24/1193.66 c 1134s| 2630k| 516 | 0 | 0.0 |5365k| 621 | - | 738 |1315 | 0 | 0 | 0 |1734k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1197.74/1198.19 c 1138s| 2640k| 521 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1740k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1202.44/1202.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.44/1202.81 c 1143s| 2650k| 515 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1748k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1207.14/1207.52 c 1147s| 2660k| 515 | 0 | 0.0 |5608k| 621 | - | 738 |2038 | 0 | 0 | 0 |1755k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1211.85/1212.25 c 1152s| 2670k| 521 | 0 | 0.0 |5353k| 621 | - | 738 |1275 | 0 | 0 | 0 |1762k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1216.54/1216.99 c 1156s| 2680k| 520 | 0 | 0.0 |5357k| 621 | - | 738 |1277 | 0 | 0 | 0 |1769k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1221.24/1221.64 c 1160s| 2690k| 513 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1776k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1225.84/1226.21 c 1165s| 2700k| 520 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1782k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1230.23/1230.66 c 1169s| 2710k| 516 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1790k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1234.73/1235.14 c 1173s| 2720k| 517 | 0 | 0.0 |5958k| 621 | - | 738 |3077 | 0 | 0 | 0 |1798k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1239.44/1239.86 c 1178s| 2730k| 518 | 0 | 0.0 |5353k| 621 | - | 738 |1275 | 0 | 0 | 0 |1803k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1244.03/1244.48 c 1182s| 2740k| 513 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1810k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1248.63/1249.06 c 1186s| 2750k| 510 | 0 | 0.0 |5349k| 621 | - | 738 |1275 | 0 | 0 | 0 |1817k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1253.33/1253.74 c 1191s| 2760k| 517 | 0 | 0.0 |5470k| 621 | - | 738 |1614 | 0 | 0 | 0 |1827k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1257.94/1258.37 c 1195s| 2770k| 511 | 0 | 0.0 |5349k| 621 | - | 738 |1276 | 0 | 0 | 0 |1834k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1262.43/1262.82 c 1200s| 2780k| 513 | 0 | 0.0 |5350k| 621 | - | 738 |1276 | 0 | 0 | 0 |1840k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1266.73/1267.18 c 1204s| 2790k| 511 | 0 | 0.0 |5358k| 621 | - | 738 |1276 | 0 | 0 | 0 |1846k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1271.52/1271.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.52/1271.97 c 1208s| 2800k| 517 | 0 | 0.0 |5357k| 621 | - | 738 |1275 | 0 | 0 | 0 |1852k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1275.92/1276.30 c 1212s| 2810k| 515 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1858k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1280.32/1280.74 c 1217s| 2820k| 513 | 0 | 0.0 |5353k| 621 | - | 738 |1275 | 0 | 0 | 0 |1863k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1284.92/1285.34 c 1221s| 2830k| 512 | 0 | 0.0 |5350k| 621 | - | 738 |1275 | 0 | 0 | 0 |1869k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1289.42/1289.85 c 1225s| 2840k| 515 | 0 | 0.0 |5578k| 621 | - | 738 |1955 | 0 | 0 | 0 |1877k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1294.01/1294.44 c 1230s| 2850k| 521 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1882k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1298.32/1298.73 c 1234s| 2860k| 510 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |1888k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1302.82/1303.24 c 1238s| 2870k| 513 | 0 | 0.0 |5400k| 621 | - | 738 |1410 | 0 | 0 | 0 |1897k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1307.72/1308.18 c 1243s| 2880k| 514 | 0 | 0.0 |7463k| 621 | - | 738 |6878 | 0 | 0 | 0 |1909k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1314.22/1314.61 c 1249s| 2890k| 516 | 0 | 0.0 |5357k| 621 | - | 738 |1276 | 0 | 0 | 0 |1915k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1318.81/1319.20 c 1253s| 2900k| 510 | 0 | 0.0 |5353k| 621 | - | 738 |1276 | 0 | 0 | 0 |1921k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1323.11/1323.54 c 1257s| 2910k| 511 | 0 | 0.0 |5350k| 621 | - | 738 |1276 | 0 | 0 | 0 |1927k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1327.61/1328.08 c 1262s| 2920k| 512 | 0 | 0.0 |5357k| 621 | - | 738 |1276 | 0 | 0 | 0 |1933k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1332.11/1332.56 c 1266s| 2930k| 516 | 0 | 0.0 |5359k| 621 | - | 738 |1285 | 0 | 0 | 0 |1941k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1336.80/1337.24 c 1270s| 2940k| 518 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |1947k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1341.40/1341.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.40/1341.88 c 1275s| 2950k| 514 | 0 | 0.0 |5352k| 621 | - | 738 |1276 | 0 | 0 | 0 |1954k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1346.10/1346.59 c 1279s| 2960k| 513 | 0 | 0.0 |5351k| 621 | - | 738 |1276 | 0 | 0 | 0 |1961k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1350.90/1351.32 c 1284s| 2970k| 509 | 0 | 0.0 |5349k| 621 | - | 738 |1276 | 0 | 0 | 0 |1968k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1355.60/1356.01 c 1288s| 2980k| 513 | 0 | 0.0 |5351k| 621 | - | 738 |1275 | 0 | 0 | 0 |1974k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1359.90/1360.37 c 1292s| 2990k| 512 | 0 | 0.0 |5356k| 621 | - | 738 |1275 | 0 | 0 | 0 |1980k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1364.30/1364.76 c 1296s| 3000k| 517 | 0 | 0.0 |5472k| 621 | - | 738 |1628 | 0 | 0 | 0 |1987k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1368.80/1369.22 c 1301s| 3010k| 510 | 0 | 0.0 |5357k| 621 | - | 738 |1275 | 0 | 0 | 0 |1995k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1373.30/1373.71 c 1305s| 3020k| 516 | 0 | 0.0 |5357k| 621 | - | 738 |1275 | 0 | 0 | 0 |2002k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1377.49/1378.00 c 1309s| 3030k| 515 | 0 | 0.0 |5355k| 621 | - | 738 |1275 | 0 | 0 | 0 |2009k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1381.90/1382.35 c 1313s| 3040k| 518 | 0 | 0.0 |5352k| 621 | - | 738 |1275 | 0 | 0 | 0 |2015k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1386.30/1386.73 c 1317s| 3050k| 514 | 0 | 0.0 |5353k| 621 | - | 738 |1275 | 0 | 0 | 0 |2023k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1390.79/1391.28 c 1322s| 3060k| 512 | 0 | 0.0 |5358k| 621 | - | 738 |1276 | 0 | 0 | 0 |2030k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1395.09/1395.58 c 1326s| 3070k| 520 | 0 | 0.0 |5353k| 621 | - | 738 |1275 | 0 | 0 | 0 |2037k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1399.59/1400.04 c 1330s| 3080k| 515 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2044k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1403.79/1404.29 c 1334s| 3090k| 509 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2051k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1408.19/1408.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.19/1408.68 c 1338s| 3100k| 526 | 0 | 0.0 |5388k| 621 | - | 738 |1275 | 0 | 0 | 0 |2059k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1412.69/1413.14 c 1342s| 3110k| 514 | 0 | 0.0 |5388k| 621 | - | 738 |1275 | 0 | 0 | 0 |2065k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1417.29/1417.75 c 1347s| 3120k| 511 | 0 | 0.0 |5386k| 621 | - | 738 |1275 | 0 | 0 | 0 |2071k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1421.79/1422.25 c 1351s| 3130k| 518 | 0 | 0.0 |5385k| 621 | - | 738 |1275 | 0 | 0 | 0 |2077k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1426.19/1426.69 c 1355s| 3140k| 515 | 0 | 0.0 |5382k| 621 | - | 738 |1275 | 0 | 0 | 0 |2082k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1430.78/1431.25 c 1359s| 3150k| 524 | 0 | 0.0 |5386k| 621 | - | 738 |1275 | 0 | 0 | 0 |2089k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1435.18/1435.69 c 1364s| 3160k| 523 | 0 | 0.0 |5388k| 621 | - | 738 |1275 | 0 | 0 | 0 |2094k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1439.78/1440.23 c 1368s| 3170k| 518 | 0 | 0.0 |5383k| 621 | - | 738 |1275 | 0 | 0 | 0 |2100k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1444.28/1444.74 c 1372s| 3180k| 510 | 0 | 0.0 |5386k| 621 | - | 738 |1275 | 0 | 0 | 0 |2106k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1448.77/1449.24 c 1377s| 3190k| 517 | 0 | 0.0 |6037k| 621 | - | 738 |3016 | 0 | 0 | 0 |2114k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1453.17/1453.68 c 1381s| 3200k| 514 | 0 | 0.0 |5381k| 621 | - | 738 |1275 | 0 | 0 | 0 |2122k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1457.67/1458.17 c 1385s| 3210k| 513 | 0 | 0.0 |5383k| 621 | - | 738 |1275 | 0 | 0 | 0 |2128k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1462.27/1462.77 c 1389s| 3220k| 512 | 0 | 0.0 |5385k| 621 | - | 738 |1275 | 0 | 0 | 0 |2135k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1466.98/1467.49 c 1394s| 3230k| 516 | 0 | 0.0 |5383k| 621 | - | 738 |1275 | 0 | 0 | 0 |2141k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1471.67/1472.18 c 1398s| 3240k| 514 | 0 | 0.0 |5389k| 621 | - | 738 |1276 | 0 | 0 | 0 |2148k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1476.27/1476.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.27/1476.73 c 1403s| 3250k| 509 | 0 | 0.0 |5404k| 621 | - | 738 |1347 | 0 | 0 | 0 |2156k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1480.77/1481.24 c 1407s| 3260k| 520 | 0 | 0.0 |5385k| 621 | - | 738 |1275 | 0 | 0 | 0 |2162k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1485.17/1485.69 c 1411s| 3270k| 511 | 0 | 0.0 |5381k| 621 | - | 738 |1275 | 0 | 0 | 0 |2167k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1489.66/1490.14 c 1415s| 3280k| 516 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2173k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1494.17/1494.67 c 1420s| 3290k| 520 | 0 | 0.0 |5383k| 621 | - | 738 |1275 | 0 | 0 | 0 |2179k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1498.87/1499.35 c 1424s| 3300k| 517 | 0 | 0.0 |5386k| 621 | - | 738 |1275 | 0 | 0 | 0 |2185k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1503.56/1504.01 c 1429s| 3310k| 515 | 0 | 0.0 |5381k| 621 | - | 738 |1275 | 0 | 0 | 0 |2191k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1508.25/1508.71 c 1433s| 3320k| 517 | 0 | 0.0 |5394k| 621 | - | 738 |1305 | 0 | 0 | 0 |2199k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1512.64/1513.18 c 1437s| 3330k| 513 | 0 | 0.0 |5387k| 621 | - | 738 |1276 | 0 | 0 | 0 |2206k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1517.34/1517.87 c 1442s| 3340k| 510 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2212k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1521.85/1522.40 c 1446s| 3350k| 518 | 0 | 0.0 |5382k| 621 | - | 738 |1275 | 0 | 0 | 0 |2218k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1526.64/1527.10 c 1451s| 3360k| 515 | 0 | 0.0 |5383k| 621 | - | 738 |1275 | 0 | 0 | 0 |2224k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1531.03/1531.59 c 1455s| 3370k| 509 | 0 | 0.0 |5386k| 621 | - | 738 |1275 | 0 | 0 | 0 |2229k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1535.84/1536.31 c 1459s| 3380k| 520 | 0 | 0.0 |5441k| 621 | - | 738 |1443 | 0 | 0 | 0 |2237k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1540.13/1540.69 c 1463s| 3390k| 517 | 0 | 0.0 |5491k| 621 | - | 738 |1591 | 0 | 0 | 0 |2246k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1544.73/1545.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.73/1545.20 c 1468s| 3400k| 511 | 0 | 0.0 |5382k| 621 | - | 738 |1276 | 0 | 0 | 0 |2254k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1549.44/1549.96 c 1472s| 3410k| 513 | 0 | 0.0 |5383k| 621 | - | 738 |1275 | 0 | 0 | 0 |2261k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1553.93/1554.46 c 1477s| 3420k| 514 | 0 | 0.0 |5387k| 621 | - | 738 |1275 | 0 | 0 | 0 |2268k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1558.53/1559.03 c 1481s| 3430k| 513 | 0 | 0.0 |5381k| 621 | - | 738 |1275 | 0 | 0 | 0 |2275k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1563.33/1563.81 c 1485s| 3440k| 512 | 0 | 0.0 |5391k| 621 | - | 738 |1300 | 0 | 0 | 0 |2283k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1567.73/1568.27 c 1490s| 3450k| 513 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2289k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1572.22/1572.73 c 1494s| 3460k| 507 | 0 | 0.0 |5387k| 621 | - | 738 |1275 | 0 | 0 | 0 |2295k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1576.83/1577.40 c 1498s| 3470k| 516 | 0 | 0.0 |5396k| 621 | - | 738 |1313 | 0 | 0 | 0 |2301k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1581.62/1582.10 c 1503s| 3480k| 508 | 0 | 0.0 |5380k| 621 | - | 738 |1275 | 0 | 0 | 0 |2308k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1586.22/1586.70 c 1507s| 3490k| 518 | 0 | 0.0 |5384k| 621 | - | 738 |1275 | 0 | 0 | 0 |2314k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1590.62/1591.19 c 1511s| 3500k| 513 | 0 | 0.0 |5392k| 621 | - | 738 |1275 | 0 | 0 | 0 |2320k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1595.21/1595.73 c 1516s| 3510k| 514 | 0 | 0.0 |5381k| 621 | - | 738 |1275 | 0 | 0 | 0 |2325k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1599.82/1600.32 c 1520s| 3520k| 523 | 0 | 0.0 |5478k| 621 | - | 738 |1596 | 0 | 0 | 0 |2332k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1604.32/1604.87 c 1524s| 3530k| 520 | 0 | 0.0 |5394k| 621 | - | 738 |1279 | 0 | 0 | 0 |2339k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1609.11/1609.61 c 1529s| 3540k| 516 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2347k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1613.81/1614.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.81/1614.34 c 1533s| 3550k| 518 | 0 | 0.0 |5392k| 621 | - | 738 |1275 | 0 | 0 | 0 |2354k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1618.32/1618.84 c 1538s| 3560k| 512 | 0 | 0.0 |5397k| 621 | - | 738 |1287 | 0 | 0 | 0 |2361k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1622.91/1623.44 c 1542s| 3570k| 520 | 0 | 0.0 |5394k| 621 | - | 738 |1275 | 0 | 0 | 0 |2367k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1627.51/1628.02 c 1547s| 3580k| 522 | 0 | 0.0 |5393k| 621 | - | 738 |1275 | 0 | 0 | 0 |2374k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1631.71/1632.28 c 1551s| 3590k| 517 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2380k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1635.90/1636.40 c 1554s| 3600k| 514 | 0 | 0.0 |5393k| 621 | - | 738 |1275 | 0 | 0 | 0 |2386k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1640.20/1640.77 c 1559s| 3610k| 520 | 0 | 0.0 |5392k| 621 | - | 738 |1275 | 0 | 0 | 0 |2392k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1644.70/1645.25 c 1563s| 3620k| 517 | 0 | 0.0 |5391k| 621 | - | 738 |1276 | 0 | 0 | 0 |2399k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1649.21/1649.79 c 1567s| 3630k| 514 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2406k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1653.60/1654.14 c 1571s| 3640k| 519 | 0 | 0.0 |5392k| 621 | - | 738 |1275 | 0 | 0 | 0 |2412k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1657.81/1658.33 c 1575s| 3650k| 512 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2418k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1662.10/1662.62 c 1579s| 3660k| 513 | 0 | 0.0 |5388k| 621 | - | 738 |1275 | 0 | 0 | 0 |2423k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1666.20/1666.71 c 1583s| 3670k| 516 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2429k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1670.60/1671.17 c 1587s| 3680k| 514 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2436k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1675.10/1675.65 c 1592s| 3690k| 516 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2442k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1679.40/1679.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.40/1679.90 c 1596s| 3700k| 515 | 0 | 0.0 |5393k| 621 | - | 738 |1275 | 0 | 0 | 0 |2448k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1683.50/1684.07 c 1600s| 3710k| 515 | 0 | 0.0 |5391k| 621 | - | 738 |1276 | 0 | 0 | 0 |2454k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1687.90/1688.42 c 1604s| 3720k| 523 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2460k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1692.40/1692.93 c 1608s| 3730k| 516 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2466k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1696.70/1697.22 c 1612s| 3740k| 521 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2472k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1700.79/1701.36 c 1616s| 3750k| 519 | 0 | 0.0 |5393k| 621 | - | 738 |1275 | 0 | 0 | 0 |2479k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1705.19/1705.72 c 1620s| 3760k| 512 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2486k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1709.69/1710.29 c 1625s| 3770k| 514 | 0 | 0.0 |5390k| 621 | - | 738 |1276 | 0 | 0 | 0 |2494k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1714.09/1714.62 c 1629s| 3780k| 523 | 0 | 0.0 |5392k| 621 | - | 738 |1275 | 0 | 0 | 0 |2500k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1718.89/1719.43 c 1633s| 3790k| 508 | 0 | 0.0 |5397k| 621 | - | 738 |1275 | 0 | 0 | 0 |2508k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1723.19/1723.72 c 1637s| 3800k| 516 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2515k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1727.49/1728.10 c 1641s| 3810k| 525 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2521k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1731.99/1732.52 c 1646s| 3820k| 511 | 0 | 0.0 |5390k| 621 | - | 738 |1276 | 0 | 0 | 0 |2526k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1736.29/1736.81 c 1650s| 3830k| 513 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2532k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1740.79/1741.32 c 1654s| 3840k| 519 | 0 | 0.0 |5395k| 621 | - | 738 |1275 | 0 | 0 | 0 |2538k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1745.27/1745.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.27/1745.87 c 1658s| 3850k| 513 | 0 | 0.0 |5388k| 621 | - | 738 |1275 | 0 | 0 | 0 |2545k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1749.87/1750.44 c 1663s| 3860k| 512 | 0 | 0.0 |5398k| 621 | - | 738 |1296 | 0 | 0 | 0 |2552k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1754.48/1755.04 c 1667s| 3870k| 510 | 0 | 0.0 |5400k| 621 | - | 738 |1275 | 0 | 0 | 0 |2559k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1758.87/1759.49 c 1671s| 3880k| 516 | 0 | 0.0 |5393k| 621 | - | 738 |1275 | 0 | 0 | 0 |2566k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1763.27/1763.89 c 1675s| 3890k| 520 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2572k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1767.67/1768.24 c 1679s| 3900k| 518 | 0 | 0.0 |5394k| 621 | - | 738 |1275 | 0 | 0 | 0 |2579k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1772.08/1772.64 c 1684s| 3910k| 524 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2585k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1776.27/1776.88 c 1688s| 3920k| 523 | 0 | 0.0 |5823k| 621 | - | 738 |2412 | 0 | 0 | 0 |2593k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1780.77/1781.31 c 1692s| 3930k| 527 | 0 | 0.0 |5395k| 621 | - | 738 |1276 | 0 | 0 | 0 |2600k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1784.97/1785.50 c 1696s| 3940k| 516 | 0 | 0.0 |5389k| 621 | - | 738 |1275 | 0 | 0 | 0 |2606k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1789.27/1789.89 c 1700s| 3950k| 516 | 0 | 0.0 |5398k| 621 | - | 738 |1275 | 0 | 0 | 0 |2612k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1793.86/1794.47 c 1704s| 3960k| 516 | 0 | 0.0 |5391k| 621 | - | 738 |1275 | 0 | 0 | 0 |2618k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
1798.36/1798.99 c 1709s| 3970k| 519 | 0 | 0.0 |5390k| 621 | - | 738 |1275 | 0 | 0 | 0 |2625k| 0 | 1.700000e+01 | 8.300000e+01 | 388.24%
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) : 1710.23
1800.08/1800.61 c Solving Nodes : 3973683
1800.08/1800.61 c Primal Bound : +8.30000000000000e+01 (6 solutions)
1800.08/1800.61 c Dual Bound : +1.70000000000000e+01
1800.08/1800.61 c Gap : 388.24 %
1800.08/1800.61 s SATISFIABLE
1800.08/1800.61 v -x756 x755 x754 x753 x752 -x751 x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734
1800.08/1800.61 v x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 x716 -x715 -x714 -x713
1800.08/1800.61 v -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691
1800.08/1800.61 v -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 x673 -x672 -x671 -x670
1800.08/1800.61 v -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649
1800.08/1800.61 v -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628
1800.08/1800.61 v -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609 -x608 x607 -x606
1800.08/1800.61 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
1800.08/1800.61 v -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564
1800.08/1800.61 v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 x544 -x543
1800.08/1800.61 v -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 x523 -x522
1800.08/1800.61 v -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501
1800.08/1800.61 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480
1800.08/1800.61 v -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 x461 -x460 -x459 -x458
1800.08/1800.61 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1800.08/1800.61 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 x418 -x417 x416
1800.08/1800.61 v -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 x395
1800.08/1800.61 v -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1800.08/1800.61 v x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1800.08/1800.61 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.08/1800.61 v -x330 -x329 x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1800.08/1800.61 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.08/1800.61 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1800.08/1800.61 v -x268 -x267 -x266 -x265 -x264 -x263 x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247
1800.08/1800.62 v -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.08/1800.62 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.08/1800.62 v -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.08/1800.62 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 -x163 x162
1800.08/1800.62 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
1800.08/1800.62 v x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 x126 -x125 -x124 -x123 x122 x121 -x120 -x119
1800.08/1800.62 v x118 -x117 x116 -x115 x114 x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1800.08/1800.62 v -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72
1800.08/1800.62 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.08/1800.62 v -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.08/1800.62 v -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.62 c Solving Time : 1710.23
1800.08/1800.62 c Original Problem :
1800.08/1800.62 c Problem name : HOME/instance-2664790-1276595477.opb
1800.08/1800.62 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 1853 initial, 1853 maximal
1800.08/1800.62 c Presolved Problem :
1800.08/1800.62 c Problem name : t_HOME/instance-2664790-1276595477.opb
1800.08/1800.62 c Variables : 738 (738 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 1275 initial, 26590 maximal
1800.08/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.08/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.62 c linear : 0.05 15 1 0 15 0 389 7 0
1800.08/1800.62 c logicor : 0.07 0 0 0 0 0 189 0 0
1800.08/1800.62 c root node : - 0 - - 0 - - - -
1800.08/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.62 c logicor : 1275+ 0 8363360 0 4 1655682 9012976 0 0 0
1800.08/1800.62 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.08/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c logicor : 613.90 0.00 613.90 0.00 0.00
1800.08/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.62 c vbounds : 6.63 2 0 0
1800.08/1800.62 c rootredcost : 5.86 0 0 0
1800.08/1800.62 c pseudoobj : 710.09 14634474 687685 77760233
1800.08/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.62 c propagation : 717.59 2341918 2341918 2341918 146.2 300116 32.2 -
1800.08/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c pseudo solution : 2.56 9494 9494 9494 143.1 1436 55.8 -
1800.08/1800.62 c applied globally : - - - 284732 19.9 - - -
1800.08/1800.62 c applied locally : - - - 2342762 146.6 - - -
1800.08/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.62 c redcost : 0.00 0 0 0 0 0
1800.08/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.62 c intobj : 0.00 0 0 0 0 0
1800.08/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.62 c gomory : 0.00 0 0 0 0 0
1800.08/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.62 c cmir : 0.00 0 0 0 0 0
1800.08/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.62 c clique : 0.00 0 0 0 0 0
1800.08/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.62 c mcf : 0.00 0 0 0 0 0
1800.08/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.62 c Pricers : Time Calls Vars
1800.08/1800.62 c problem variables: 0.00 0 0
1800.08/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c inference : 59.82 2819012 0 0 0 0 5638024
1800.08/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c random : 0.00 0 0 0 0 0 0
1800.08/1800.62 c Primal Heuristics : Time Calls Found
1800.08/1800.62 c LP solutions : 0.00 - 0
1800.08/1800.62 c pseudo solutions : 0.00 - 4
1800.08/1800.62 c oneopt : 2.60 0 0
1800.08/1800.62 c trivial : 0.01 2 2
1800.08/1800.62 c simplerounding : 0.00 0 0
1800.08/1800.62 c zirounding : 0.00 0 0
1800.08/1800.62 c rounding : 0.00 0 0
1800.08/1800.62 c shifting : 0.00 0 0
1800.08/1800.62 c intshifting : 0.00 0 0
1800.08/1800.62 c twoopt : 0.00 0 0
1800.08/1800.62 c fixandinfer : 0.00 0 0
1800.08/1800.62 c feaspump : 0.00 0 0
1800.08/1800.62 c coefdiving : 0.00 0 0
1800.08/1800.62 c pscostdiving : 0.00 0 0
1800.08/1800.62 c fracdiving : 0.00 0 0
1800.08/1800.62 c veclendiving : 0.00 0 0
1800.08/1800.62 c intdiving : 0.00 0 0
1800.08/1800.62 c actconsdiving : 0.00 0 0
1800.08/1800.62 c objpscostdiving : 0.00 0 0
1800.08/1800.62 c rootsoldiving : 0.00 0 0
1800.08/1800.62 c linesearchdiving : 0.00 0 0
1800.08/1800.62 c guideddiving : 0.00 0 0
1800.08/1800.62 c octane : 0.00 0 0
1800.08/1800.62 c rens : 0.00 0 0
1800.08/1800.62 c rins : 0.00 0 0
1800.08/1800.62 c localbranching : 0.00 0 0
1800.08/1800.62 c mutation : 0.00 0 0
1800.08/1800.62 c crossover : 0.00 0 0
1800.08/1800.62 c dins : 0.00 0 0
1800.08/1800.62 c undercover : 0.00 0 0
1800.08/1800.62 c nlp : 1.56 0 0
1800.08/1800.62 c trysol : 1.69 0 0
1800.08/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.62 c (at root node) : - 0 0 0.00 -
1800.08/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.62 c B&B Tree :
1800.08/1800.62 c number of runs : 1
1800.08/1800.62 c nodes : 3973683
1800.08/1800.62 c nodes (total) : 3973683
1800.08/1800.62 c nodes left : 518
1800.08/1800.62 c max depth : 621
1800.08/1800.62 c max depth (total): 621
1800.08/1800.62 c backtracks : 1638136 (41.2%)
1800.08/1800.62 c delayed cutoffs : 1642877
1800.08/1800.62 c repropagations : 4282481 (45134878 domain reductions, 1198194 cutoffs)
1800.08/1800.62 c avg switch length: 3.19
1800.08/1800.62 c switching time : 124.75
1800.08/1800.62 c Solution :
1800.08/1800.62 c Solutions found : 6 (6 improvements)
1800.08/1800.62 c First Solution : +7.56000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.08/1800.62 c Primal Bound : +8.30000000000000e+01 (in run 1, after 1586 nodes, 0.59 seconds, depth 581, found by <relaxation>)
1800.08/1800.62 c Dual Bound : +1.70000000000000e+01
1800.08/1800.62 c Gap : 388.24 %
1800.08/1800.62 c Root Dual Bound : +1.60000000000000e+01
1800.08/1800.62 c Root Iterations : 0
1800.08/1800.63 c Time complete: 1800.1.