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-2664163-1276428735.opb>
0.09/0.11 c original problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.11 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.09/0.14 c presolving:
0.19/0.25 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5409 upgd conss, 39720 impls, 0 clqs
0.19/0.27 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 5557 upgd conss, 39720 impls, 0 clqs
0.29/0.35 c (0.2s) probing: 101/808 (12.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.35 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.35 c presolving (3 rounds):
0.29/0.35 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 39720 implications, 0 cliques
0.29/0.35 c presolved problem has 808 variables (808 bin, 0 int, 0 impl, 0 cont) and 5557 constraints
0.29/0.35 c 5557 constraints of type <logicor>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.19
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 1.2.1.2
0.29/0.35 c
0.29/0.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.35 c conflict/interconss = 0
0.29/0.35 c
0.29/0.35 c # should binary conflicts be preferred?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c conflict/preferbinary = TRUE
0.29/0.35 c
0.29/0.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.35 c constraints/agelimit = 1
0.29/0.35 c
0.29/0.35 c # should enforcement of pseudo solution be disabled?
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/disableenfops = TRUE
0.29/0.35 c
0.29/0.35 c # frequency for displaying node information lines
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.35 c display/freq = 10000
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/time = 1799.9
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.35 c limits/memory = 1620
0.29/0.35 c
0.29/0.35 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.35 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.35 c lp/solvefreq = -1
0.29/0.35 c
0.29/0.35 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.29/0.35 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.35 c lp/pricing = a
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify inequalities
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/linear/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # should presolving try to simplify knapsacks
0.29/0.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.35 c
0.29/0.35 c # priority of node selection rule <dfs> in standard mode
0.29/0.35 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.35 c nodeselection/dfs/stdpriority = 1000000
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c
0.29/0.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.35 c 0.2s| 1 | 2 | 0 | - |6907k| 0 | - | 808 |5557 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.29/3.35 o 396
3.29/3.35 c * 3.0s| 2587 | 43 | 0 | 0.0 |7260k| 61 | - | 808 |5894 | 0 | 0 | 0 |2291 | 0 | 1.000000e+00 | 3.960000e+02 | Large
3.29/3.35 o 395
3.29/3.35 c * 3.1s| 2606 | 41 | 0 | 0.0 |7272k| 61 | - | 808 |5894 | 0 | 0 | 0 |2292 | 0 | 1.000000e+00 | 3.950000e+02 | Large
3.68/3.70 o 394
3.68/3.70 c * 3.4s| 3186 | 35 | 0 | 0.0 |7292k| 61 | - | 808 |5903 | 0 | 0 | 0 |2508 | 0 | 1.000000e+00 | 3.940000e+02 | Large
3.68/3.71 o 392
3.68/3.71 c * 3.4s| 3212 | 38 | 0 | 0.0 |7306k| 61 | - | 808 |5903 | 0 | 0 | 0 |2508 | 0 | 1.000000e+00 | 3.920000e+02 | Large
4.59/4.67 o 390
4.59/4.67 c * 4.3s| 4425 | 37 | 0 | 0.0 |7351k| 61 | - | 808 |5964 | 0 | 0 | 0 |3114 | 0 | 1.000000e+00 | 3.900000e+02 | Large
4.68/4.73 o 389
4.68/4.73 c * 4.4s| 4578 | 32 | 0 | 0.0 |7362k| 61 | - | 808 |5965 | 0 | 0 | 0 |3157 | 0 | 1.000000e+00 | 3.890000e+02 | Large
7.88/7.97 c 7.5s| 10000 | 27 | 0 | 0.0 |7510k| 61 | - | 808 |6260 | 0 | 0 | 0 |5403 | 0 | 1.000000e+00 | 3.890000e+02 | Large
16.89/16.99 o 386
16.89/16.99 c *16.1s| 18948 | 46 | 0 | 0.0 |7315k| 65 | - | 808 |5580 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 3.860000e+02 | Large
16.98/17.00 o 385
16.98/17.00 c *16.1s| 18985 | 41 | 0 | 0.0 |7325k| 65 | - | 808 |5581 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 3.850000e+02 | Large
17.29/17.37 c 16.4s| 20000 | 37 | 0 | 0.0 |7323k| 65 | - | 808 |5581 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 3.850000e+02 | Large
18.59/18.67 o 384
18.59/18.67 c *17.7s| 23723 | 29 | 0 | 0.0 |7338k| 65 | - | 808 |5587 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 3.840000e+02 | Large
20.98/21.04 c 19.9s| 30000 | 28 | 0 | 0.0 |7349k| 65 | - | 808 |5611 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 3.840000e+02 | Large
25.38/25.48 c 24.1s| 40000 | 21 | 0 | 0.0 |7336k| 65 | - | 808 |5616 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 3.840000e+02 | Large
29.58/29.68 c 28.1s| 50000 | 25 | 0 | 0.0 |7363k| 65 | - | 808 |5623 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 3.840000e+02 | Large
35.76/35.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.76/35.88 c 34.0s| 60000 | 26 | 0 | 0.0 |7352k| 65 | - | 808 |5579 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 3.840000e+02 | Large
44.97/45.07 c 42.8s| 70000 | 23 | 0 | 0.0 |7366k| 65 | - | 808 |5591 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 3.840000e+02 | Large
54.77/54.87 c 52.1s| 80000 | 22 | 0 | 0.0 |7401k| 65 | - | 808 |5607 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 3.840000e+02 | Large
63.77/63.85 c 60.7s| 90000 | 17 | 0 | 0.0 |7387k| 65 | - | 808 |5605 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 3.840000e+02 | Large
73.46/73.51 c 69.9s|100000 | 15 | 0 | 0.0 |7424k| 65 | - | 808 |5663 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 3.840000e+02 | Large
80.65/80.76 c 76.8s|110000 | 26 | 0 | 0.0 |7430k| 65 | - | 808 |5634 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 3.840000e+02 | Large
84.36/84.40 c 80.2s|120000 | 20 | 0 | 0.0 |7444k| 65 | - | 808 |5663 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 3.840000e+02 | Large
90.16/90.23 c 85.8s|130000 | 23 | 0 | 0.0 |7416k| 65 | - | 808 |5604 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 3.840000e+02 | Large
93.15/93.27 o 374
93.15/93.27 c *88.7s|136566 | 73 | 0 | 0.0 |7452k| 87 | - | 808 |5615 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 3.740000e+02 | Large
93.15/93.29 o 373
93.15/93.29 c *88.7s|136642 | 71 | 0 | 0.0 |7464k| 87 | - | 808 |5617 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 3.730000e+02 | Large
93.46/93.59 o 372
93.46/93.59 c *89.0s|137728 | 53 | 0 | 0.0 |7473k| 87 | - | 808 |5618 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 3.720000e+02 | Large
94.25/94.32 c 89.7s|140000 | 33 | 0 | 0.0 |7465k| 87 | - | 808 |5615 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 3.720000e+02 | Large
97.76/97.87 c 93.0s|150000 | 20 | 0 | 0.0 |7463k| 91 | - | 808 |5616 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 3.720000e+02 | Large
101.85/101.95 c 96.8s|160000 | 26 | 0 | 0.0 |7464k| 91 | - | 808 |5611 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 3.720000e+02 | Large
105.35/105.47 c 100s|170000 | 20 | 0 | 0.0 |7484k| 91 | - | 808 |5654 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 3.720000e+02 | Large
109.25/109.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.25/109.30 c 104s|180000 | 21 | 0 | 0.0 |7491k| 91 | - | 808 |5666 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 3.720000e+02 | Large
113.26/113.34 c 108s|190000 | 45 | 0 | 0.0 |7484k| 91 | - | 808 |5647 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 3.720000e+02 | Large
116.74/116.81 c 111s|200000 | 20 | 0 | 0.0 |7488k| 91 | - | 808 |5683 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 3.720000e+02 | Large
120.55/120.66 c 114s|210000 | 18 | 0 | 0.0 |7511k| 91 | - | 808 |5757 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 3.720000e+02 | Large
129.65/129.70 c 123s|220000 | 16 | 0 | 0.0 |7473k| 91 | - | 808 |5627 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 3.720000e+02 | Large
140.44/140.52 c 133s|230000 | 16 | 0 | 0.0 |7495k| 91 | - | 808 |5655 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 3.720000e+02 | Large
145.05/145.15 c 138s|240000 | 33 | 0 | 0.0 |7502k| 92 | - | 808 |5642 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 3.720000e+02 | Large
150.34/150.43 c 143s|250000 | 17 | 0 | 0.0 |7499k| 92 | - | 808 |5636 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 3.720000e+02 | Large
154.24/154.40 c 147s|260000 | 14 | 0 | 0.0 |7514k| 92 | - | 808 |5667 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 3.720000e+02 | Large
165.14/165.27 c 157s|270000 | 13 | 0 | 0.0 |7475k| 92 | - | 808 |5610 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 3.720000e+02 | Large
174.74/174.84 c 166s|280000 | 33 | 0 | 0.0 |7508k| 92 | - | 808 |5621 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 3.720000e+02 | Large
178.73/178.89 c 170s|290000 | 63 | 0 | 0.0 |7531k| 92 | - | 808 |5649 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 3.720000e+02 | Large
183.23/183.38 c 174s|300000 | 22 | 0 | 0.0 |7535k| 92 | - | 808 |5678 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 3.720000e+02 | Large
187.23/187.32 c 178s|310000 | 19 | 0 | 0.0 |7542k| 92 | - | 808 |5702 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 3.720000e+02 | Large
191.02/191.10 c 182s|320000 | 16 | 0 | 0.0 |7498k| 92 | - | 808 |5612 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 3.720000e+02 | Large
199.33/199.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.33/199.44 c 190s|330000 | 15 | 0 | 0.0 |7495k| 92 | - | 808 |5614 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 3.720000e+02 | Large
205.92/206.03 c 196s|340000 | 44 | 0 | 0.0 |7570k| 92 | - | 808 |5732 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 3.720000e+02 | Large
209.52/209.63 c 199s|350000 | 18 | 0 | 0.0 |7570k| 92 | - | 808 |5751 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 3.720000e+02 | Large
213.52/213.67 c 203s|360000 | 18 | 0 | 0.0 |7516k| 92 | - | 808 |5610 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 3.720000e+02 | Large
218.73/218.80 c 208s|370000 | 32 | 0 | 0.0 |7529k| 92 | - | 808 |5630 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 3.720000e+02 | Large
221.92/222.07 c 211s|380000 | 23 | 0 | 0.0 |7535k| 92 | - | 808 |5647 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 3.720000e+02 | Large
225.61/225.71 c 214s|390000 | 17 | 0 | 0.0 |7536k| 92 | - | 808 |5650 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 3.720000e+02 | Large
228.92/229.08 c 218s|400000 | 19 | 0 | 0.0 |7549k| 92 | - | 808 |5673 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 3.720000e+02 | Large
232.62/232.70 c 221s|410000 | 18 | 0 | 0.0 |7537k| 92 | - | 808 |5651 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 3.720000e+02 | Large
239.41/239.59 c 228s|420000 | 58 | 0 | 0.0 |7552k| 92 | - | 808 |5660 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 3.720000e+02 | Large
243.02/243.14 c 231s|430000 | 20 | 0 | 0.0 |7558k| 93 | - | 808 |5681 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 3.720000e+02 | Large
246.61/246.75 c 234s|440000 | 16 | 0 | 0.0 |7543k| 93 | - | 808 |5654 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 3.720000e+02 | Large
253.01/253.16 c 240s|450000 | 14 | 0 | 0.0 |7527k| 93 | - | 808 |5650 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 3.720000e+02 | Large
261.51/261.69 c 249s|460000 | 19 | 0 | 0.0 |7539k| 93 | - | 808 |5636 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 3.720000e+02 | Large
264.71/264.82 c 252s|470000 | 32 | 0 | 0.0 |7537k| 93 | - | 808 |5619 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 3.720000e+02 | Large
268.21/268.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.21/268.32 c 255s|480000 | 19 | 0 | 0.0 |7535k| 93 | - | 808 |5608 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 3.720000e+02 | Large
271.61/271.78 c 258s|490000 | 18 | 0 | 0.0 |7540k| 93 | - | 808 |5627 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 3.720000e+02 | Large
275.70/275.83 c 262s|500000 | 19 | 0 | 0.0 |7538k| 93 | - | 808 |5616 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 3.720000e+02 | Large
279.01/279.11 c 265s|510000 | 21 | 0 | 0.0 |7541k| 93 | - | 808 |5620 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 3.720000e+02 | Large
283.81/283.94 c 270s|520000 | 15 | 0 | 0.0 |7537k| 93 | - | 808 |5636 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 3.720000e+02 | Large
292.90/293.04 c 278s|530000 | 20 | 0 | 0.0 |7550k| 93 | - | 808 |5655 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 3.720000e+02 | Large
296.81/296.94 c 282s|540000 | 41 | 0 | 0.0 |7564k| 93 | - | 808 |5671 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 3.720000e+02 | Large
300.10/300.27 c 285s|550000 | 21 | 0 | 0.0 |7560k| 93 | - | 808 |5672 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 3.720000e+02 | Large
303.40/303.54 c 288s|560000 | 59 | 0 | 0.0 |7581k| 93 | - | 808 |5696 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 3.720000e+02 | Large
306.59/306.77 c 291s|570000 | 19 | 0 | 0.0 |7576k| 93 | - | 808 |5704 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 3.720000e+02 | Large
310.11/310.20 c 295s|580000 | 16 | 0 | 0.0 |7579k| 93 | - | 808 |5710 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 3.720000e+02 | Large
316.10/316.21 c 300s|590000 | 46 | 0 | 0.0 |7547k| 93 | - | 808 |5597 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 3.720000e+02 | Large
319.39/319.54 c 303s|600000 | 36 | 0 | 0.0 |7549k| 93 | - | 808 |5597 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 3.720000e+02 | Large
323.00/323.19 c 307s|610000 | 21 | 0 | 0.0 |7542k| 93 | - | 808 |5601 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 3.720000e+02 | Large
327.19/327.38 c 311s|620000 | 30 | 0 | 0.0 |7550k| 93 | - | 808 |5603 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 3.720000e+02 | Large
330.29/330.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.29/330.49 c 314s|630000 | 64 | 0 | 0.0 |7552k| 93 | - | 808 |5596 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 3.720000e+02 | Large
333.29/333.50 c 317s|640000 | 40 | 0 | 0.0 |7547k| 93 | - | 808 |5598 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 3.720000e+02 | Large
336.79/336.92 c 320s|650000 | 51 | 0 | 0.0 |7551k| 93 | - | 808 |5601 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 3.720000e+02 | Large
339.79/339.98 c 323s|660000 | 46 | 0 | 0.0 |7550k| 93 | - | 808 |5601 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 3.720000e+02 | Large
342.79/342.98 c 326s|670000 | 51 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 3.720000e+02 | Large
346.39/346.54 c 329s|680000 | 45 | 0 | 0.0 |7550k| 93 | - | 808 |5601 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 3.720000e+02 | Large
349.48/349.68 c 332s|690000 | 52 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 3.720000e+02 | Large
352.69/352.83 c 335s|700000 | 50 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 3.720000e+02 | Large
355.88/356.05 c 338s|710000 | 52 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 3.720000e+02 | Large
359.08/359.22 c 341s|720000 | 46 | 0 | 0.0 |7551k| 93 | - | 808 |5601 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 3.720000e+02 | Large
361.98/362.12 c 344s|730000 | 52 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 3.720000e+02 | Large
365.08/365.26 c 347s|740000 | 44 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 3.720000e+02 | Large
368.18/368.39 c 350s|750000 | 47 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 3.720000e+02 | Large
371.38/371.50 c 353s|760000 | 49 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 3.720000e+02 | Large
374.48/374.67 c 356s|770000 | 46 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 3.720000e+02 | Large
377.68/377.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.68/377.82 c 359s|780000 | 69 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 3.720000e+02 | Large
380.88/381.07 c 362s|790000 | 57 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 3.720000e+02 | Large
384.28/384.46 c 365s|800000 | 66 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 3.720000e+02 | Large
387.37/387.52 c 368s|810000 | 49 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 3.720000e+02 | Large
390.28/390.40 c 371s|820000 | 59 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 3.720000e+02 | Large
393.37/393.50 c 374s|830000 | 50 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 3.720000e+02 | Large
396.48/396.68 c 377s|840000 | 43 | 0 | 0.0 |7550k| 93 | - | 808 |5600 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 3.720000e+02 | Large
399.67/399.84 c 380s|850000 | 48 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 3.720000e+02 | Large
402.67/402.89 c 383s|860000 | 55 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 3.720000e+02 | Large
405.97/406.11 c 386s|870000 | 57 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 3.720000e+02 | Large
408.98/409.16 c 389s|880000 | 45 | 0 | 0.0 |7551k| 93 | - | 808 |5600 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 3.720000e+02 | Large
411.97/412.14 c 392s|890000 | 46 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 3.720000e+02 | Large
415.07/415.20 c 395s|900000 | 58 | 0 | 0.0 |7556k| 93 | - | 808 |5603 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 3.720000e+02 | Large
418.06/418.24 c 398s|910000 | 48 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 3.720000e+02 | Large
421.17/421.37 c 401s|920000 | 49 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 3.720000e+02 | Large
424.38/424.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.38/424.52 c 404s|930000 | 43 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 3.720000e+02 | Large
427.16/427.34 c 406s|940000 | 58 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 3.720000e+02 | Large
430.57/430.70 c 410s|950000 | 48 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 3.720000e+02 | Large
433.56/433.73 c 412s|960000 | 48 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 3.720000e+02 | Large
437.26/437.46 c 416s|970000 | 49 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 3.720000e+02 | Large
440.46/440.62 c 419s|980000 | 45 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 3.720000e+02 | Large
443.46/443.67 c 422s|990000 | 46 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 3.720000e+02 | Large
446.47/446.69 c 425s| 1000k| 43 | 0 | 0.0 |7552k| 93 | - | 808 |5602 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 3.720000e+02 | Large
449.66/449.85 c 428s| 1010k| 46 | 0 | 0.0 |7551k| 93 | - | 808 |5600 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 3.720000e+02 | Large
452.86/453.00 c 431s| 1020k| 50 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 3.720000e+02 | Large
455.85/456.04 c 434s| 1030k| 45 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 3.720000e+02 | Large
459.06/459.27 c 437s| 1040k| 49 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 3.720000e+02 | Large
462.35/462.50 c 440s| 1050k| 46 | 0 | 0.0 |7553k| 93 | - | 808 |5602 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 3.720000e+02 | Large
465.45/465.69 c 443s| 1060k| 45 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 3.720000e+02 | Large
468.65/468.85 c 446s| 1070k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 3.720000e+02 | Large
471.75/471.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.75/471.96 c 449s| 1080k| 43 | 0 | 0.0 |7552k| 93 | - | 808 |5602 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 3.720000e+02 | Large
474.85/475.08 c 452s| 1090k| 42 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 3.720000e+02 | Large
477.94/478.14 c 455s| 1100k| 54 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 3.720000e+02 | Large
481.15/481.33 c 458s| 1110k| 45 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 3.720000e+02 | Large
484.34/484.53 c 461s| 1120k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 3.720000e+02 | Large
487.44/487.65 c 464s| 1130k| 62 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 3.720000e+02 | Large
490.54/490.77 c 467s| 1140k| 43 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 3.720000e+02 | Large
493.54/493.78 c 470s| 1150k| 48 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 3.720000e+02 | Large
496.75/496.93 c 473s| 1160k| 53 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 3.720000e+02 | Large
499.94/500.13 c 476s| 1170k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 3.720000e+02 | Large
503.04/503.28 c 479s| 1180k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 3.720000e+02 | Large
506.24/506.42 c 482s| 1190k| 46 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 3.720000e+02 | Large
509.24/509.46 c 485s| 1200k| 45 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 3.720000e+02 | Large
512.54/512.72 c 488s| 1210k| 52 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 3.720000e+02 | Large
516.24/516.46 c 491s| 1220k| 42 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 3.720000e+02 | Large
520.53/520.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.53/520.76 c 496s| 1230k| 42 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 3.720000e+02 | Large
524.93/525.15 c 500s| 1240k| 42 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 3.720000e+02 | Large
529.24/529.47 c 504s| 1250k| 39 | 0 | 0.0 |7551k| 93 | - | 808 |5601 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 3.720000e+02 | Large
533.64/533.81 c 508s| 1260k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 3.720000e+02 | Large
538.23/538.40 c 513s| 1270k| 39 | 0 | 0.0 |7551k| 93 | - | 808 |5601 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 3.720000e+02 | Large
542.63/542.86 c 517s| 1280k| 38 | 0 | 0.0 |7551k| 93 | - | 808 |5601 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 3.720000e+02 | Large
547.23/547.42 c 521s| 1290k| 41 | 0 | 0.0 |7552k| 93 | - | 808 |5602 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 3.720000e+02 | Large
550.73/550.91 c 525s| 1300k| 49 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 3.720000e+02 | Large
553.83/554.09 c 528s| 1310k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 3.720000e+02 | Large
557.03/557.29 c 531s| 1320k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 3.720000e+02 | Large
560.32/560.50 c 534s| 1330k| 59 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 3.720000e+02 | Large
563.53/563.76 c 537s| 1340k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 3.720000e+02 | Large
566.72/566.93 c 540s| 1350k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 3.720000e+02 | Large
569.92/570.14 c 543s| 1360k| 47 | 0 | 0.0 |7557k| 93 | - | 808 |5603 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 3.720000e+02 | Large
573.02/573.28 c 546s| 1370k| 53 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 3.720000e+02 | Large
576.53/576.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.53/576.79 c 549s| 1380k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 3.720000e+02 | Large
579.82/580.06 c 552s| 1390k| 43 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 3.720000e+02 | Large
583.11/583.31 c 556s| 1400k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 3.720000e+02 | Large
586.32/586.56 c 559s| 1410k| 48 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 3.720000e+02 | Large
589.62/589.87 c 562s| 1420k| 39 | 0 | 0.0 |7551k| 93 | - | 808 |5600 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 3.720000e+02 | Large
592.92/593.17 c 565s| 1430k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 3.720000e+02 | Large
596.12/596.34 c 568s| 1440k| 56 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 3.720000e+02 | Large
599.62/599.83 c 571s| 1450k| 43 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 3.720000e+02 | Large
602.81/603.09 c 574s| 1460k| 41 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 3.720000e+02 | Large
605.93/606.18 c 577s| 1470k| 55 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 3.720000e+02 | Large
609.12/609.37 c 580s| 1480k| 42 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 3.720000e+02 | Large
612.31/612.58 c 583s| 1490k| 41 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 3.720000e+02 | Large
615.61/615.80 c 587s| 1500k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 3.720000e+02 | Large
618.81/619.04 c 590s| 1510k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 3.720000e+02 | Large
621.91/622.17 c 593s| 1520k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 3.720000e+02 | Large
625.11/625.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.11/625.39 c 596s| 1530k| 39 | 0 | 0.0 |7551k| 93 | - | 808 |5601 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | 3.720000e+02 | Large
628.31/628.53 c 599s| 1540k| 43 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 3.720000e+02 | Large
631.40/631.68 c 602s| 1550k| 41 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 3.720000e+02 | Large
634.51/634.75 c 605s| 1560k| 46 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | 3.720000e+02 | Large
637.71/637.95 c 608s| 1570k| 48 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 3.720000e+02 | Large
640.80/641.00 c 611s| 1580k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 3.720000e+02 | Large
643.80/644.04 c 614s| 1590k| 45 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 3.720000e+02 | Large
647.10/647.34 c 617s| 1600k| 50 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 3.720000e+02 | Large
650.30/650.56 c 620s| 1610k| 44 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 3.720000e+02 | Large
653.50/653.75 c 623s| 1620k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 3.720000e+02 | Large
656.80/657.05 c 626s| 1630k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 3.720000e+02 | Large
659.99/660.30 c 629s| 1640k| 48 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 3.720000e+02 | Large
663.29/663.53 c 632s| 1650k| 37 | 0 | 0.0 |7550k| 93 | - | 808 |5600 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 3.720000e+02 | Large
666.60/666.80 c 635s| 1660k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 3.720000e+02 | Large
669.79/670.00 c 638s| 1670k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 3.720000e+02 | Large
672.90/673.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.90/673.17 c 641s| 1680k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 3.720000e+02 | Large
676.09/676.36 c 644s| 1690k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 3.720000e+02 | Large
679.29/679.57 c 647s| 1700k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 3.720000e+02 | Large
682.49/682.70 c 650s| 1710k| 41 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 3.720000e+02 | Large
685.49/685.78 c 653s| 1720k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 3.720000e+02 | Large
688.78/689.09 c 657s| 1730k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 3.720000e+02 | Large
692.28/692.57 c 660s| 1740k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 3.720000e+02 | Large
695.68/695.97 c 663s| 1750k| 39 | 0 | 0.0 |7552k| 93 | - | 808 |5602 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 3.720000e+02 | Large
698.98/699.22 c 666s| 1760k| 42 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 3.720000e+02 | Large
702.19/702.42 c 669s| 1770k| 37 | 0 | 0.0 |7551k| 93 | - | 808 |5600 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 3.720000e+02 | Large
705.48/705.74 c 672s| 1780k| 54 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 3.720000e+02 | Large
708.68/708.93 c 676s| 1790k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 3.720000e+02 | Large
711.98/712.22 c 679s| 1800k| 39 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 3.720000e+02 | Large
715.28/715.50 c 682s| 1810k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | 3.720000e+02 | Large
718.68/718.93 c 685s| 1820k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 3.720000e+02 | Large
721.87/722.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.87/722.14 c 688s| 1830k| 42 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 3.720000e+02 | Large
725.18/725.43 c 691s| 1840k| 39 | 0 | 0.0 |7551k| 93 | - | 808 |5600 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 3.720000e+02 | Large
728.37/728.65 c 694s| 1850k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 3.720000e+02 | Large
731.68/731.90 c 697s| 1860k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 3.720000e+02 | Large
734.87/735.18 c 701s| 1870k| 40 | 0 | 0.0 |7551k| 93 | - | 808 |5600 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 3.720000e+02 | Large
737.78/738.03 c 703s| 1880k| 68 | 0 | 0.0 |7558k| 93 | - | 808 |5600 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 3.720000e+02 | Large
740.87/741.15 c 706s| 1890k| 53 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 3.720000e+02 | Large
744.07/744.39 c 709s| 1900k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 3.720000e+02 | Large
748.17/748.46 c 713s| 1910k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 3.720000e+02 | Large
751.37/751.62 c 716s| 1920k| 41 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 3.720000e+02 | Large
754.27/754.55 c 719s| 1930k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 3.720000e+02 | Large
757.36/757.69 c 722s| 1940k| 49 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 3.720000e+02 | Large
761.36/761.68 c 726s| 1950k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5603 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 3.720000e+02 | Large
764.86/765.17 c 729s| 1960k| 61 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 3.720000e+02 | Large
768.06/768.34 c 732s| 1970k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 3.720000e+02 | Large
771.26/771.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.26/771.50 c 735s| 1980k| 50 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 3.720000e+02 | Large
774.46/774.70 c 738s| 1990k| 39 | 0 | 0.0 |7552k| 93 | - | 808 |5601 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 3.720000e+02 | Large
777.75/778.07 c 742s| 2000k| 48 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 3.720000e+02 | Large
780.95/781.28 c 745s| 2010k| 55 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 3.720000e+02 | Large
784.25/784.55 c 748s| 2020k| 46 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 3.720000e+02 | Large
787.36/787.62 c 751s| 2030k| 48 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 3.720000e+02 | Large
790.75/791.08 c 754s| 2040k| 46 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | 3.720000e+02 | Large
794.15/794.47 c 757s| 2050k| 49 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 3.720000e+02 | Large
797.35/797.65 c 760s| 2060k| 61 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 3.720000e+02 | Large
800.65/800.99 c 764s| 2070k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 3.720000e+02 | Large
803.94/804.25 c 767s| 2080k| 43 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | 3.720000e+02 | Large
807.16/807.49 c 770s| 2090k| 43 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 3.720000e+02 | Large
810.45/810.79 c 773s| 2100k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 3.720000e+02 | Large
813.65/813.90 c 776s| 2110k| 49 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 3.720000e+02 | Large
816.84/817.12 c 779s| 2120k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 3.720000e+02 | Large
819.84/820.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.84/820.16 c 782s| 2130k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 3.720000e+02 | Large
823.14/823.40 c 785s| 2140k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 3.720000e+02 | Large
826.34/826.61 c 788s| 2150k| 41 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 3.720000e+02 | Large
829.54/829.87 c 791s| 2160k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 3.720000e+02 | Large
832.74/833.08 c 794s| 2170k| 68 | 0 | 0.0 |7559k| 93 | - | 808 |5600 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 3.720000e+02 | Large
835.84/836.16 c 797s| 2180k| 47 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 3.720000e+02 | Large
839.94/840.23 c 801s| 2190k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | 3.720000e+02 | Large
843.24/843.54 c 804s| 2200k| 48 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 3.720000e+02 | Large
846.65/846.96 c 808s| 2210k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 3.720000e+02 | Large
849.83/850.18 c 811s| 2220k| 40 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 3.720000e+02 | Large
853.24/853.52 c 814s| 2230k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 3.720000e+02 | Large
856.64/856.91 c 817s| 2240k| 47 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 3.720000e+02 | Large
860.13/860.45 c 821s| 2250k| 54 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | 3.720000e+02 | Large
863.53/863.84 c 824s| 2260k| 38 | 0 | 0.0 |7553k| 93 | - | 808 |5602 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 3.720000e+02 | Large
866.93/867.20 c 827s| 2270k| 48 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 3.720000e+02 | Large
870.13/870.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.13/870.48 c 830s| 2280k| 45 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 3.720000e+02 | Large
873.42/873.78 c 833s| 2290k| 43 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 3.720000e+02 | Large
876.62/876.92 c 836s| 2300k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | 3.720000e+02 | Large
879.82/880.14 c 839s| 2310k| 42 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 3.720000e+02 | Large
883.03/883.36 c 842s| 2320k| 50 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 3.720000e+02 | Large
886.11/886.41 c 845s| 2330k| 46 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 3.720000e+02 | Large
889.52/889.84 c 849s| 2340k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 3.720000e+02 | Large
893.02/893.31 c 852s| 2350k| 41 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 3.720000e+02 | Large
896.22/896.52 c 855s| 2360k| 43 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 3.720000e+02 | Large
899.42/899.77 c 858s| 2370k| 50 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 3.720000e+02 | Large
902.61/902.92 c 861s| 2380k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 3.720000e+02 | Large
905.72/906.03 c 864s| 2390k| 50 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 3.720000e+02 | Large
908.82/909.11 c 867s| 2400k| 53 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 3.720000e+02 | Large
911.81/912.16 c 870s| 2410k| 54 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 3.720000e+02 | Large
915.31/915.65 c 873s| 2420k| 50 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 3.720000e+02 | Large
918.51/918.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.51/918.86 c 876s| 2430k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 3.720000e+02 | Large
921.81/922.16 c 880s| 2440k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 3.720000e+02 | Large
925.00/925.30 c 883s| 2450k| 48 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 3.720000e+02 | Large
928.41/928.70 c 886s| 2460k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 3.720000e+02 | Large
931.70/932.09 c 889s| 2470k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 3.720000e+02 | Large
935.01/935.38 c 892s| 2480k| 43 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 3.720000e+02 | Large
938.10/938.49 c 895s| 2490k| 67 | 0 | 0.0 |7558k| 93 | - | 808 |5600 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 3.720000e+02 | Large
940.91/941.27 c 898s| 2500k| 60 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 3.720000e+02 | Large
943.90/944.20 c 901s| 2510k| 55 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 3.720000e+02 | Large
947.30/947.65 c 904s| 2520k| 49 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 3.720000e+02 | Large
951.40/951.76 c 908s| 2530k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 3.720000e+02 | Large
954.41/954.76 c 911s| 2540k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 3.720000e+02 | Large
957.30/957.69 c 914s| 2550k| 44 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 3.720000e+02 | Large
960.19/960.51 c 916s| 2560k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 3.720000e+02 | Large
964.10/964.45 c 920s| 2570k| 42 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 3.720000e+02 | Large
968.60/968.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.60/968.99 c 924s| 2580k| 40 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 3.720000e+02 | Large
971.70/972.06 c 927s| 2590k| 55 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 3.720000e+02 | Large
974.99/975.31 c 930s| 2600k| 42 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 3.720000e+02 | Large
978.19/978.51 c 933s| 2610k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 3.720000e+02 | Large
981.49/981.87 c 937s| 2620k| 49 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 3.720000e+02 | Large
984.79/985.10 c 940s| 2630k| 50 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 3.720000e+02 | Large
987.99/988.32 c 943s| 2640k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 3.720000e+02 | Large
990.99/991.37 c 946s| 2650k| 55 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 3.720000e+02 | Large
994.38/994.75 c 949s| 2660k| 48 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 3.720000e+02 | Large
997.59/997.97 c 952s| 2670k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1000.88/1001.21 c 955s| 2680k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1004.08/1004.40 c 958s| 2690k| 44 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1007.29/1007.62 c 961s| 2700k| 41 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1010.38/1010.77 c 964s| 2710k| 37 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1013.58/1013.93 c 967s| 2720k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1017.08/1017.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.08/1017.50 c 971s| 2730k| 45 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1020.38/1020.74 c 974s| 2740k| 39 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1023.68/1024.02 c 977s| 2750k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1026.87/1027.26 c 980s| 2760k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1030.28/1030.60 c 983s| 2770k| 43 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1033.48/1033.87 c 986s| 2780k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1036.57/1036.91 c 989s| 2790k| 56 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1039.67/1040.05 c 992s| 2800k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1043.16/1043.58 c 996s| 2810k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1046.37/1046.77 c 999s| 2820k| 43 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1050.08/1050.45 c 1002s| 2830k| 39 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1053.37/1053.75 c 1005s| 2840k| 45 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1056.67/1057.10 c 1009s| 2850k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1060.07/1060.47 c 1012s| 2860k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1063.46/1063.86 c 1015s| 2870k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1066.77/1067.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.77/1067.14 c 1018s| 2880k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1070.07/1070.41 c 1021s| 2890k| 38 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1073.27/1073.66 c 1024s| 2900k| 36 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1076.66/1077.06 c 1028s| 2910k| 40 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1079.87/1080.22 c 1031s| 2920k| 56 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1083.26/1083.62 c 1034s| 2930k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1086.86/1087.23 c 1038s| 2940k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1090.05/1090.48 c 1041s| 2950k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1093.25/1093.67 c 1044s| 2960k| 44 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1096.56/1096.96 c 1047s| 2970k| 50 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1099.86/1100.21 c 1050s| 2980k| 38 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1103.05/1103.45 c 1053s| 2990k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1106.26/1106.63 c 1056s| 3000k| 41 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1109.56/1109.99 c 1059s| 3010k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1112.86/1113.23 c 1062s| 3020k| 37 | 0 | 0.0 |7552k| 93 | - | 808 |5600 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1116.06/1116.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.06/1116.48 c 1066s| 3030k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1119.36/1119.71 c 1069s| 3040k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1122.66/1123.00 c 1072s| 3050k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1125.75/1126.17 c 1075s| 3060k| 70 | 0 | 0.0 |7560k| 93 | - | 808 |5600 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1128.44/1128.85 c 1077s| 3070k| 62 | 0 | 0.0 |7561k| 93 | - | 808 |5603 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1131.35/1131.71 c 1080s| 3080k| 62 | 0 | 0.0 |7559k| 93 | - | 808 |5602 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1134.44/1134.83 c 1083s| 3090k| 66 | 0 | 0.0 |7560k| 93 | - | 808 |5601 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1137.45/1137.83 c 1086s| 3100k| 65 | 0 | 0.0 |7560k| 93 | - | 808 |5601 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1140.25/1140.63 c 1089s| 3110k| 58 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1143.34/1143.78 c 1092s| 3120k| 58 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1146.85/1147.22 c 1095s| 3130k| 56 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1150.64/1151.07 c 1099s| 3140k| 52 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1154.54/1155.00 c 1102s| 3150k| 49 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1158.14/1158.53 c 1106s| 3160k| 54 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1161.24/1161.63 c 1109s| 3170k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1164.23/1164.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.23/1164.61 c 1111s| 3180k| 53 | 0 | 0.0 |7558k| 93 | - | 808 |5602 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1167.33/1167.70 c 1114s| 3190k| 48 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1171.43/1171.82 c 1118s| 3200k| 48 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1175.63/1176.01 c 1122s| 3210k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1179.93/1180.37 c 1127s| 3220k| 46 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1184.33/1184.75 c 1131s| 3230k| 54 | 0 | 0.0 |7558k| 93 | - | 808 |5602 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1187.43/1187.85 c 1134s| 3240k| 49 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1190.42/1190.86 c 1137s| 3250k| 49 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1193.62/1194.03 c 1140s| 3260k| 53 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1196.83/1197.20 c 1143s| 3270k| 44 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1200.02/1200.42 c 1146s| 3280k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1203.23/1203.67 c 1149s| 3290k| 52 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1206.52/1206.91 c 1152s| 3300k| 49 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1209.72/1210.17 c 1155s| 3310k| 51 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1212.93/1213.35 c 1158s| 3320k| 60 | 0 | 0.0 |7558k| 93 | - | 808 |5600 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1216.23/1216.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.23/1216.62 c 1161s| 3330k| 51 | 0 | 0.0 |7558k| 93 | - | 808 |5602 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1219.42/1219.89 c 1164s| 3340k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1222.62/1223.03 c 1167s| 3350k| 54 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1225.62/1226.02 c 1170s| 3360k| 57 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1228.62/1229.04 c 1173s| 3370k| 63 | 0 | 0.0 |7559k| 93 | - | 808 |5601 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1231.91/1232.31 c 1176s| 3380k| 51 | 0 | 0.0 |7559k| 93 | - | 808 |5603 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1235.92/1236.36 c 1180s| 3390k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1240.32/1240.80 c 1184s| 3400k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1244.72/1245.17 c 1189s| 3410k| 40 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1249.12/1249.59 c 1193s| 3420k| 41 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1253.01/1253.42 c 1197s| 3430k| 49 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1256.10/1256.58 c 1200s| 3440k| 46 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1259.41/1259.86 c 1203s| 3450k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1262.61/1263.00 c 1206s| 3460k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1265.71/1266.15 c 1209s| 3470k| 59 | 0 | 0.0 |7559k| 93 | - | 808 |5602 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1269.01/1269.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.01/1269.40 c 1212s| 3480k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1272.31/1272.74 c 1215s| 3490k| 43 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1275.61/1276.02 c 1218s| 3500k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1279.00/1279.47 c 1222s| 3510k| 42 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1282.00/1282.48 c 1224s| 3520k| 43 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1285.20/1285.62 c 1227s| 3530k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1288.30/1288.77 c 1230s| 3540k| 48 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1291.59/1292.09 c 1234s| 3550k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1294.80/1295.29 c 1237s| 3560k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1298.00/1298.49 c 1240s| 3570k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1301.20/1301.64 c 1243s| 3580k| 67 | 0 | 0.0 |7560k| 93 | - | 808 |5600 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1304.69/1305.13 c 1246s| 3590k| 39 | 0 | 0.0 |7557k| 93 | - | 808 |5603 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1307.90/1308.31 c 1249s| 3600k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1311.09/1311.53 c 1252s| 3610k| 51 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1314.29/1314.71 c 1255s| 3620k| 62 | 0 | 0.0 |7560k| 93 | - | 808 |5602 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1317.70/1318.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.70/1318.10 c 1258s| 3630k| 46 | 0 | 0.0 |7558k| 93 | - | 808 |5604 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1320.89/1321.38 c 1262s| 3640k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1324.09/1324.58 c 1265s| 3650k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1327.39/1327.81 c 1268s| 3660k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1330.69/1331.13 c 1271s| 3670k| 40 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1333.99/1334.41 c 1274s| 3680k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1337.19/1337.70 c 1277s| 3690k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1340.58/1341.00 c 1280s| 3700k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1343.88/1344.36 c 1284s| 3710k| 46 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1347.18/1347.62 c 1287s| 3720k| 38 | 0 | 0.0 |7557k| 93 | - | 808 |5603 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1350.48/1350.92 c 1290s| 3730k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1353.68/1354.13 c 1293s| 3740k| 69 | 0 | 0.0 |7560k| 93 | - | 808 |5600 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1356.38/1356.88 c 1296s| 3750k| 61 | 0 | 0.0 |7558k| 93 | - | 808 |5600 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1359.58/1360.00 c 1299s| 3760k| 53 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1362.78/1363.20 c 1302s| 3770k| 50 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1366.79/1367.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.79/1367.23 c 1305s| 3780k| 43 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1371.07/1371.58 c 1310s| 3790k| 41 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1374.37/1374.86 c 1313s| 3800k| 46 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1377.68/1378.13 c 1316s| 3810k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1380.98/1381.41 c 1319s| 3820k| 52 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1384.17/1384.67 c 1322s| 3830k| 62 | 0 | 0.0 |7559k| 93 | - | 808 |5600 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1387.37/1387.86 c 1325s| 3840k| 49 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1390.57/1391.04 c 1328s| 3850k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1393.77/1394.30 c 1331s| 3860k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1396.97/1397.49 c 1334s| 3870k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1400.37/1400.81 c 1338s| 3880k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1403.36/1403.83 c 1340s| 3890k| 46 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 655k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1406.37/1406.82 c 1343s| 3900k| 49 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1409.47/1409.91 c 1346s| 3910k| 38 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1412.47/1412.94 c 1349s| 3920k| 39 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1415.46/1415.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.46/1415.90 c 1352s| 3930k| 52 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1418.86/1419.30 c 1355s| 3940k| 46 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1422.57/1423.01 c 1359s| 3950k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1425.66/1426.15 c 1362s| 3960k| 48 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1428.86/1429.32 c 1365s| 3970k| 58 | 0 | 0.0 |7558k| 93 | - | 808 |5600 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1432.26/1432.72 c 1368s| 3980k| 43 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1435.46/1435.97 c 1371s| 3990k| 52 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1438.76/1439.25 c 1374s| 4000k| 43 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1441.95/1442.44 c 1377s| 4010k| 48 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1445.46/1445.91 c 1381s| 4020k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1448.66/1449.19 c 1384s| 4030k| 39 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1451.96/1452.41 c 1387s| 4040k| 39 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1455.25/1455.74 c 1390s| 4050k| 38 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1458.55/1459.02 c 1393s| 4060k| 42 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1461.85/1462.36 c 1396s| 4070k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1464.95/1465.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.95/1465.41 c 1399s| 4080k| 62 | 0 | 0.0 |7559k| 93 | - | 808 |5601 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1468.35/1468.85 c 1403s| 4090k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1471.94/1472.49 c 1406s| 4100k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1475.55/1476.06 c 1410s| 4110k| 39 | 0 | 0.0 |7555k| 93 | - | 808 |5603 | 0 | 0 | 0 | 688k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1478.96/1479.44 c 1413s| 4120k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1482.14/1482.67 c 1416s| 4130k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1485.44/1485.93 c 1419s| 4140k| 45 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1488.54/1489.07 c 1422s| 4150k| 49 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1491.94/1492.42 c 1425s| 4160k| 46 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1495.24/1495.74 c 1428s| 4170k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1498.54/1499.03 c 1432s| 4180k| 46 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1501.84/1502.33 c 1435s| 4190k| 43 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1505.04/1505.58 c 1438s| 4200k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1508.34/1508.85 c 1441s| 4210k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1511.54/1512.07 c 1444s| 4220k| 59 | 0 | 0.0 |7561k| 93 | - | 808 |5603 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1515.13/1515.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.13/1515.68 c 1447s| 4230k| 39 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1518.33/1518.87 c 1451s| 4240k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1521.53/1522.08 c 1454s| 4250k| 47 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1524.93/1525.41 c 1457s| 4260k| 40 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1528.13/1528.67 c 1460s| 4270k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1531.43/1531.95 c 1463s| 4280k| 39 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1534.63/1535.11 c 1466s| 4290k| 39 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1538.03/1538.51 c 1469s| 4300k| 55 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1541.13/1541.63 c 1472s| 4310k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1544.02/1544.59 c 1475s| 4320k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1547.13/1547.67 c 1478s| 4330k| 40 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1550.32/1550.83 c 1481s| 4340k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1553.63/1554.14 c 1484s| 4350k| 40 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1556.93/1557.45 c 1487s| 4360k| 37 | 0 | 0.0 |7553k| 93 | - | 808 |5601 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1560.22/1560.74 c 1491s| 4370k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1563.22/1563.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.22/1563.70 c 1493s| 4380k| 70 | 0 | 0.0 |7561k| 93 | - | 808 |5600 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1566.02/1566.53 c 1496s| 4390k| 63 | 0 | 0.0 |7561k| 93 | - | 808 |5603 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1569.12/1569.68 c 1499s| 4400k| 56 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1572.52/1573.09 c 1502s| 4410k| 53 | 0 | 0.0 |7558k| 93 | - | 808 |5603 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1576.02/1576.57 c 1506s| 4420k| 56 | 0 | 0.0 |7559k| 93 | - | 808 |5602 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1578.91/1579.43 c 1508s| 4430k| 50 | 0 | 0.0 |7559k| 93 | - | 808 |5603 | 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1582.21/1582.75 c 1512s| 4440k| 48 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1586.12/1586.61 c 1515s| 4450k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1590.12/1590.67 c 1519s| 4460k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1594.21/1594.76 c 1523s| 4470k| 42 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1597.51/1598.00 c 1526s| 4480k| 54 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1600.51/1601.01 c 1529s| 4490k| 50 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1603.71/1604.26 c 1532s| 4500k| 50 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1606.91/1607.47 c 1535s| 4510k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1610.10/1610.64 c 1538s| 4520k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1613.21/1613.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.21/1613.77 c 1541s| 4530k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1616.42/1616.91 c 1544s| 4540k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1620.20/1620.75 c 1548s| 4550k| 40 | 0 | 0.0 |7558k| 93 | - | 808 |5604 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1624.61/1625.10 c 1552s| 4560k| 52 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1627.70/1628.25 c 1555s| 4570k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1630.90/1631.49 c 1558s| 4580k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1634.11/1634.68 c 1561s| 4590k| 49 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1637.40/1637.97 c 1564s| 4600k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1640.71/1641.23 c 1568s| 4610k| 50 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1644.00/1644.54 c 1571s| 4620k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1647.21/1647.77 c 1574s| 4630k| 38 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1650.50/1651.00 c 1577s| 4640k| 43 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1653.70/1654.24 c 1580s| 4650k| 46 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1656.90/1657.42 c 1583s| 4660k| 40 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1660.00/1660.56 c 1586s| 4670k| 46 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1663.39/1663.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.39/1663.91 c 1589s| 4680k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1666.59/1667.15 c 1592s| 4690k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1669.70/1670.27 c 1595s| 4700k| 53 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 776k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1672.80/1673.38 c 1598s| 4710k| 49 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1675.90/1676.49 c 1601s| 4720k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1679.99/1680.51 c 1605s| 4730k| 42 | 0 | 0.0 |7555k| 93 | - | 808 |5602 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1682.99/1683.55 c 1608s| 4740k| 44 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1685.99/1686.50 c 1611s| 4750k| 48 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1689.29/1689.83 c 1614s| 4760k| 51 | 0 | 0.0 |7559k| 93 | - | 808 |5602 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1692.30/1692.90 c 1617s| 4770k| 39 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1695.19/1695.78 c 1620s| 4780k| 44 | 0 | 0.0 |7558k| 93 | - | 808 |5603 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1698.28/1698.85 c 1623s| 4790k| 52 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1701.39/1701.90 c 1626s| 4800k| 49 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1704.28/1704.84 c 1628s| 4810k| 55 | 0 | 0.0 |7557k| 93 | - | 808 |5600 | 0 | 0 | 0 | 791k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1707.89/1708.49 c 1632s| 4820k| 40 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 793k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1711.09/1711.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.09/1711.67 c 1635s| 4830k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1714.18/1714.73 c 1638s| 4840k| 43 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1717.47/1718.01 c 1641s| 4850k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1720.68/1721.25 c 1644s| 4860k| 44 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1723.98/1724.53 c 1647s| 4870k| 36 | 0 | 0.0 |7556k| 93 | - | 808 |5602 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1727.16/1727.73 c 1650s| 4880k| 51 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1730.16/1730.71 c 1653s| 4890k| 62 | 0 | 0.0 |7560k| 93 | - | 808 |5601 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1733.86/1734.40 c 1657s| 4900k| 45 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1736.96/1737.52 c 1660s| 4910k| 41 | 0 | 0.0 |7554k| 93 | - | 808 |5602 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1740.16/1740.78 c 1663s| 4920k| 44 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1743.46/1744.04 c 1666s| 4930k| 47 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1746.66/1747.29 c 1669s| 4940k| 48 | 0 | 0.0 |7557k| 93 | - | 808 |5602 | 0 | 0 | 0 | 810k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1749.86/1750.47 c 1672s| 4950k| 49 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1753.05/1753.68 c 1675s| 4960k| 43 | 0 | 0.0 |7555k| 93 | - | 808 |5601 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1756.35/1756.93 c 1678s| 4970k| 38 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1759.66/1760.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.66/1760.23 c 1681s| 4980k| 43 | 0 | 0.0 |7556k| 93 | - | 808 |5601 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1763.15/1763.75 c 1685s| 4990k| 48 | 0 | 0.0 |7556k| 93 | - | 808 |5600 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1766.55/1767.11 c 1688s| 5000k| 39 | 0 | 0.0 |7554k| 93 | - | 808 |5601 | 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1769.95/1770.50 c 1691s| 5010k| 44 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1773.25/1773.89 c 1694s| 5020k| 36 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1776.45/1777.06 c 1697s| 5030k| 35 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1779.75/1780.38 c 1701s| 5040k| 45 | 0 | 0.0 |7555k| 93 | - | 808 |5600 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1782.94/1783.57 c 1704s| 5050k| 37 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1785.95/1786.56 c 1706s| 5060k| 59 | 0 | 0.0 |7560k| 93 | - | 808 |5602 | 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1789.05/1789.60 c 1709s| 5070k| 53 | 0 | 0.0 |7558k| 93 | - | 808 |5601 | 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1792.24/1792.89 c 1712s| 5080k| 44 | 0 | 0.0 |7557k| 93 | - | 808 |5601 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1796.45/1797.01 c 1716s| 5090k| 42 | 0 | 0.0 |7554k| 93 | - | 808 |5600 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1799.84/1800.48 c 1720s| 5100k| 41 | 0 | 0.0 |7553k| 93 | - | 808 |5600 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 3.720000e+02 | Large
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1719.86
1800.05/1800.61 c Solving Nodes : 5100412
1800.05/1800.61 c Primal Bound : +3.72000000000000e+02 (12 solutions)
1800.05/1800.61 c Dual Bound : +1.00000000000000e+00
1800.05/1800.61 c Gap : 37100.00 %
1800.05/1800.62 s SATISFIABLE
1800.05/1800.62 v -x808 x807 x806 -x805 x804 -x803 -x802 -x801 x800 -x799 x798 -x797 x796 -x795 -x794 x793 x792 -x791 -x790 x789 x788 -x787 -x786
1800.05/1800.62 v -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 -x774 x773 x772 -x771 x770 -x769 x768 -x767 x766 -x765 x764 -x763
1800.05/1800.62 v -x762 x761 x760 -x759 x758 -x757 -x756 x755 x754 -x753 x752 -x751 -x750 x749 x748 -x747 x746 -x745 x744 -x743 -x742 x741 -x740
1800.05/1800.62 v -x739 x738 -x737 x736 -x735 -x734 x733 x732 -x731 x730 -x729 x728 -x727 x726 -x725 x724 -x723 -x722 x721 x720 -x719 x718
1800.05/1800.62 v -x717 -x716 x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 -x706 x705 x704 -x703 x702 -x701 -x700 x699 x698 -x697 x696 -x695
1800.05/1800.62 v x694 -x693 -x692 x691 x690 -x689 x688 -x687 x686 -x685 -x684 x683 x682 -x681 x680 -x679 x678 -x677 x676 -x675 -x674 x673 x672
1800.05/1800.62 v -x671 x670 -x669 x668 -x667 -x666 x665 x664 -x663 x662 -x661 -x660 x659 x658 -x657 x656 -x655 x654 -x653 -x652 x651 x650
1800.05/1800.62 v -x649 x648 -x647 x646 -x645 x644 -x643 -x642 x641 x640 -x639 x638 -x637 -x636 x635 x634 -x633 x632 -x631 x630 -x629 x628 -x627
1800.05/1800.62 v -x626 x625 x624 -x623 x622 -x621 x620 -x619 -x618 x617 x616 -x615 -x614 x613 x612 -x611 x610 -x609 x608 -x607 x606 -x605 -x604
1800.05/1800.62 v x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 x594 -x593 x592 -x591 -x590 x589 x588 -x587 x586 -x585 x584 -x583 x582 -x581
1800.05/1800.62 v x580 -x579 -x578 x577 x576 -x575 x574 -x573 -x572 x571 x570 -x569 x568 -x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559
1800.05/1800.62 v x558 -x557 -x556 x555 x554 -x553 x552 -x551 x550 -x549 x548 -x547 -x546 x545 x544 -x543 x542 -x541 -x540 x539 x538 -x537 x536
1800.05/1800.62 v -x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 -x516 x515 x514 -x513
1800.05/1800.62 v -x512 -x511 -x510 x509 -x508 x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 x493 -x492
1800.05/1800.62 v x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470
1800.05/1800.62 v x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 x457 x456 -x455 -x454 x453 x452 -x451 -x450 x449 -x448
1800.05/1800.62 v -x447 -x446 x445 -x444 -x443 -x442 x441 x440 -x439 -x438 x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 x429 -x428 x427 -x426
1800.05/1800.62 v -x425 -x424 x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 x411 -x410 -x409 -x408 x407 -x406 -x405 -x404
1800.05/1800.62 v -x403 -x402 x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 x385 -x384 x383 -x382
1800.05/1800.62 v x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 x372 -x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360
1800.05/1800.62 v x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337
1800.05/1800.62 v -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 x320 -x319 -x318 x317 x316 -x315 -x314
1800.05/1800.62 v x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 x302 -x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291
1800.05/1800.62 v -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269
1800.05/1800.62 v -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246
1800.05/1800.62 v x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223
1800.05/1800.62 v -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 x206 -x205 -x204 x203 -x202 x201 -x200
1800.05/1800.62 v x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178
1800.05/1800.62 v x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 -x156 x155
1800.05/1800.62 v -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132
1800.05/1800.62 v x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110
1800.05/1800.62 v x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 x88 -x87 -x86 x85 -x84
1800.05/1800.62 v x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56
1800.05/1800.62 v x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 x42 -x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28
1800.05/1800.62 v x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1719.86
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664163-1276428735.opb
1800.05/1800.62 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 5557 initial, 5557 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664163-1276428735.opb
1800.05/1800.62 c Variables : 808 (808 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 5557 initial, 6531 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.06 0 0 0 0 0 0 0 0
1800.05/1800.62 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c logicor : 5557+ 0 6523614 0 12 805630 12488315 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 12 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c logicor : 904.64 0.00 904.64 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 4.72 2 0 0
1800.05/1800.62 c rootredcost : 4.72 0 0 0
1800.05/1800.62 c pseudoobj : 433.40 10453173 908316 22668139
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 789.48 805630 805630 805630 48.8 29287 31.1 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 56.73 219481 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 834721 48.1 - - -
1800.05/1800.62 c applied locally : - - - 0 0.0 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 41.62 3740148 0 0 0 0 7480296
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.01 - 12
1800.05/1800.62 c oneopt : 3.26 0 0
1800.05/1800.62 c trivial : 0.00 2 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 2.36 0 0
1800.05/1800.62 c trysol : 2.53 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 5100412
1800.05/1800.62 c nodes (total) : 5100412
1800.05/1800.62 c nodes left : 41
1800.05/1800.62 c max depth : 93
1800.05/1800.62 c max depth (total): 93
1800.05/1800.62 c backtracks : 938175 (18.4%)
1800.05/1800.62 c delayed cutoffs : 585000
1800.05/1800.62 c repropagations : 865366 (4683591 domain reductions, 573175 cutoffs)
1800.05/1800.62 c avg switch length: 2.06
1800.05/1800.62 c switching time : 97.87
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 12 (12 improvements)
1800.05/1800.62 c First Solution : +3.96000000000000e+02 (in run 1, after 2587 nodes, 3.05 seconds, depth 55, found by <relaxation>)
1800.05/1800.62 c Primal Bound : +3.72000000000000e+02 (in run 1, after 137728 nodes, 88.97 seconds, depth 71, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +1.00000000000000e+00
1800.05/1800.62 c Gap : 37100.00 %
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1800.05/1800.64 c Time complete: 1800.09.