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-2664041-1276366749.opb>
0.00/0.02 c original problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 475 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 o 475
0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.750000e+02
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 475 upgd conss, 2 impls, 0 clqs
0.00/0.06 c (round 3) 0 del vars, 2 del conss, 0 chg bounds, 137 chg sides, 384 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.07 c (round 4) 0 del vars, 49 del conss, 0 chg bounds, 270 chg sides, 611 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.08 c (round 5) 0 del vars, 65 del conss, 0 chg bounds, 291 chg sides, 645 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.08 c (round 6) 0 del vars, 65 del conss, 0 chg bounds, 307 chg sides, 671 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.09 c (round 7) 0 del vars, 65 del conss, 0 chg bounds, 308 chg sides, 672 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/475 (21.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (8 rounds):
0.09/0.10 c 0 deleted vars, 65 deleted constraints, 0 tightened bounds, 0 added holes, 308 changed sides, 672 changed coefficients
0.09/0.10 c 324 implications, 0 cliques
0.09/0.10 c presolved problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 568 constraints
0.09/0.10 c 453 constraints of type <knapsack>
0.09/0.10 c 114 constraints of type <setppc>
0.09/0.10 c 1 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.99
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 2 | 0 | - |2096k| 0 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.750000e+02 | Inf
2.49/2.55 c 2.3s| 10000 | 10001 | 0 | 0.0 |6593k| 41 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.750000e+02 |2275.00%
4.89/4.96 c 4.5s| 20000 | 20001 | 0 | 0.0 | 10M| 43 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.750000e+02 |2161.90%
7.28/7.36 c 6.7s| 30000 | 30001 | 0 | 0.0 | 15M| 45 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.750000e+02 |2059.09%
9.99/10.02 c 9.1s| 40000 | 40001 | 0 | 0.0 | 19M| 47 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.750000e+02 |1965.22%
12.59/12.67 c 11.6s| 50000 | 50001 | 0 | 0.0 | 23M| 49 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.750000e+02 |1879.17%
15.30/15.33 c 14.0s| 60000 | 60001 | 0 | 0.0 | 27M| 49 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.750000e+02 |1879.17%
17.89/17.95 c 16.5s| 70000 | 70001 | 0 | 0.0 | 31M| 49 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.750000e+02 |1879.17%
20.58/20.62 c 18.9s| 80000 | 80001 | 0 | 0.0 | 36M| 51 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.750000e+02 |1800.00%
23.19/23.26 c 21.4s| 90000 | 90001 | 0 | 0.0 | 40M| 51 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.750000e+02 |1800.00%
25.78/25.88 c 23.8s|100000 |100001 | 0 | 0.0 | 44M| 51 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.750000e+02 |1800.00%
28.49/28.50 c 26.2s|110000 |110001 | 0 | 0.0 | 48M| 53 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.750000e+02 |1726.92%
31.08/31.15 c 28.6s|120000 |120001 | 0 | 0.0 | 53M| 53 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.750000e+02 |1726.92%
33.68/33.78 c 31.1s|130000 |130001 | 0 | 0.0 | 57M| 53 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.750000e+02 |1726.92%
36.28/36.40 c 33.5s|140000 |140001 | 0 | 0.0 | 61M| 53 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.750000e+02 |1726.92%
38.87/38.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.87/38.99 c 35.9s|150000 |150001 | 0 | 0.0 | 65M| 53 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.750000e+02 |1726.92%
41.48/41.59 c 38.2s|160000 |160001 | 0 | 0.0 | 69M| 53 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.750000e+02 |1726.92%
44.18/44.22 c 40.7s|170000 |170001 | 0 | 0.0 | 73M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
46.78/46.84 c 43.1s|180000 |180001 | 0 | 0.0 | 78M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
49.38/49.46 c 45.5s|190000 |190001 | 0 | 0.0 | 82M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
51.97/52.06 c 47.9s|200000 |200001 | 0 | 0.0 | 86M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
54.57/54.66 c 50.2s|210000 |210001 | 0 | 0.0 | 90M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
57.18/57.25 c 52.6s|220000 |220001 | 0 | 0.0 | 95M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
59.77/59.84 c 55.0s|230000 |230001 | 0 | 0.0 | 99M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
62.37/62.43 c 57.3s|240000 |240001 | 0 | 0.0 | 103M| 55 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.750000e+02 |1659.26%
64.97/65.05 c 59.8s|250000 |250001 | 0 | 0.0 | 107M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
67.57/67.66 c 62.2s|260000 |260001 | 0 | 0.0 | 111M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
70.17/70.26 c 64.6s|270000 |270001 | 0 | 0.0 | 116M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
72.76/72.85 c 67.0s|280000 |280001 | 0 | 0.0 | 120M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
75.36/75.44 c 69.3s|290000 |290001 | 0 | 0.0 | 124M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
77.97/78.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.97/78.02 c 71.7s|300000 |300001 | 0 | 0.0 | 128M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
80.57/80.60 c 74.1s|310000 |310001 | 0 | 0.0 | 133M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
83.06/83.17 c 76.5s|320000 |320001 | 0 | 0.0 | 137M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
85.67/85.75 c 78.8s|330000 |330001 | 0 | 0.0 | 141M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
88.26/88.31 c 81.1s|340000 |340001 | 0 | 0.0 | 145M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
90.76/90.88 c 83.5s|350000 |350001 | 0 | 0.0 | 149M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
93.37/93.44 c 85.9s|360000 |360001 | 0 | 0.0 | 153M| 57 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.750000e+02 |1596.43%
95.96/96.01 c 88.2s|370000 |370001 | 0 | 0.0 | 157M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
98.46/98.59 c 90.6s|380000 |380001 | 0 | 0.0 | 162M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
101.06/101.18 c 93.0s|390000 |390001 | 0 | 0.0 | 166M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
103.66/103.75 c 95.3s|400000 |400001 | 0 | 0.0 | 170M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
106.25/106.32 c 97.7s|410000 |410001 | 0 | 0.0 | 174M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
108.76/108.87 c 100s|420000 |420001 | 0 | 0.0 | 179M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
111.35/111.43 c 102s|430000 |430001 | 0 | 0.0 | 183M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
113.85/113.98 c 105s|440000 |440001 | 0 | 0.0 | 187M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
116.46/116.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.46/116.53 c 107s|450000 |450001 | 0 | 0.0 | 191M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
118.95/119.08 c 109s|460000 |460001 | 0 | 0.0 | 195M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
121.55/121.63 c 112s|470000 |470001 | 0 | 0.0 | 199M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
124.04/124.18 c 114s|480000 |480001 | 0 | 0.0 | 204M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
126.65/126.72 c 116s|490000 |490001 | 0 | 0.0 | 208M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
129.14/129.25 c 119s|500000 |500001 | 0 | 0.0 | 212M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
131.64/131.79 c 121s|510000 |510001 | 0 | 0.0 | 216M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
134.24/134.34 c 123s|520000 |520001 | 0 | 0.0 | 220M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
136.75/136.88 c 126s|530000 |530001 | 0 | 0.0 | 224M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
139.34/139.44 c 128s|540000 |540001 | 0 | 0.0 | 228M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
141.85/141.99 c 130s|550000 |550001 | 0 | 0.0 | 232M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
144.44/144.52 c 133s|560000 |560001 | 0 | 0.0 | 236M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.750000e+02 |1537.93%
146.94/147.08 c 135s|570000 |570001 | 0 | 0.0 | 241M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
149.55/149.68 c 138s|580000 |580001 | 0 | 0.0 | 245M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
152.14/152.26 c 140s|590000 |590001 | 0 | 0.0 | 249M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
154.74/154.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.74/154.84 c 142s|600000 |600001 | 0 | 0.0 | 253M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
157.34/157.42 c 145s|610000 |610001 | 0 | 0.0 | 258M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
159.84/159.99 c 147s|620000 |620001 | 0 | 0.0 | 262M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
162.43/162.56 c 149s|630000 |630001 | 0 | 0.0 | 266M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
165.03/165.13 c 152s|640000 |640001 | 0 | 0.0 | 270M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
167.53/167.69 c 154s|650000 |650001 | 0 | 0.0 | 274M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
170.13/170.26 c 156s|660000 |660001 | 0 | 0.0 | 279M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
172.73/172.82 c 159s|670000 |670001 | 0 | 0.0 | 283M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
175.23/175.38 c 161s|680000 |680001 | 0 | 0.0 | 287M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
177.83/177.94 c 163s|690000 |690001 | 0 | 0.0 | 291M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
180.43/180.50 c 166s|700000 |700001 | 0 | 0.0 | 295M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
182.92/183.05 c 168s|710000 |710001 | 0 | 0.0 | 299M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
185.53/185.60 c 170s|720000 |720001 | 0 | 0.0 | 304M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
188.03/188.14 c 173s|730000 |730001 | 0 | 0.0 | 308M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
190.52/190.69 c 175s|740000 |740001 | 0 | 0.0 | 312M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
193.13/193.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.13/193.23 c 177s|750000 |750001 | 0 | 0.0 | 316M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
195.63/195.78 c 180s|760000 |760001 | 0 | 0.0 | 320M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
198.23/198.33 c 182s|770000 |770001 | 0 | 0.0 | 324M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
200.72/200.88 c 184s|780000 |780001 | 0 | 0.0 | 328M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
203.33/203.42 c 187s|790000 |790001 | 0 | 0.0 | 333M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
205.82/205.98 c 189s|800000 |800001 | 0 | 0.0 | 337M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
208.42/208.53 c 191s|810000 |810001 | 0 | 0.0 | 341M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
210.92/211.08 c 194s|820000 |820001 | 0 | 0.0 | 345M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
213.51/213.62 c 196s|830000 |830001 | 0 | 0.0 | 349M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
216.01/216.15 c 198s|840000 |840001 | 0 | 0.0 | 353M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
218.52/218.65 c 201s|850000 |850001 | 0 | 0.0 | 357M| 61 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.750000e+02 |1483.33%
221.11/221.20 c 203s|860000 |860001 | 0 | 0.0 | 361M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
223.61/223.76 c 205s|870000 |870001 | 0 | 0.0 | 366M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
226.21/226.32 c 208s|880000 |880001 | 0 | 0.0 | 370M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
228.72/228.86 c 210s|890000 |890001 | 0 | 0.0 | 374M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
231.31/231.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.31/231.41 c 212s|900000 |900001 | 0 | 0.0 | 378M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
233.81/233.96 c 215s|910000 |910001 | 0 | 0.0 | 382M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
236.32/236.50 c 217s|920000 |920001 | 0 | 0.0 | 387M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
238.91/239.03 c 219s|930000 |930001 | 0 | 0.0 | 391M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
241.41/241.57 c 222s|940000 |940001 | 0 | 0.0 | 395M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
244.01/244.12 c 224s|950000 |950001 | 0 | 0.0 | 399M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
246.50/246.64 c 226s|960000 |960001 | 0 | 0.0 | 403M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
249.01/249.17 c 229s|970000 |970001 | 0 | 0.0 | 407M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
251.61/251.71 c 231s|980000 |980001 | 0 | 0.0 | 411M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
254.10/254.24 c 233s|990000 |990001 | 0 | 0.0 | 416M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
256.60/256.77 c 236s| 1000k| 1000k| 0 | 0.0 | 420M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
259.20/259.30 c 238s| 1010k| 1010k| 0 | 0.0 | 424M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
261.70/261.82 c 240s| 1020k| 1020k| 0 | 0.0 | 428M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
264.20/264.35 c 242s| 1030k| 1030k| 0 | 0.0 | 432M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
266.70/266.87 c 245s| 1040k| 1040k| 0 | 0.0 | 436M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
269.30/269.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.30/269.40 c 247s| 1050k| 1050k| 0 | 0.0 | 440M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
271.80/271.92 c 249s| 1060k| 1060k| 0 | 0.0 | 445M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
274.29/274.43 c 252s| 1070k| 1070k| 0 | 0.0 | 449M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
276.80/276.95 c 254s| 1080k| 1080k| 0 | 0.0 | 453M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
279.31/279.48 c 256s| 1090k| 1090k| 0 | 0.0 | 457M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
281.90/282.02 c 259s| 1100k| 1100k| 0 | 0.0 | 461M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
284.39/284.56 c 261s| 1110k| 1110k| 0 | 0.0 | 465M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
286.90/287.10 c 263s| 1120k| 1120k| 0 | 0.0 | 469M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
289.49/289.63 c 266s| 1130k| 1130k| 0 | 0.0 | 474M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
291.99/292.18 c 268s| 1140k| 1140k| 0 | 0.0 | 478M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
294.60/294.72 c 270s| 1150k| 1150k| 0 | 0.0 | 482M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
297.09/297.27 c 273s| 1160k| 1160k| 0 | 0.0 | 486M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
299.68/299.83 c 275s| 1170k| 1170k| 0 | 0.0 | 490M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
302.19/302.38 c 277s| 1180k| 1180k| 0 | 0.0 | 494M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
304.78/304.93 c 280s| 1190k| 1190k| 0 | 0.0 | 499M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
307.28/307.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.28/307.48 c 282s| 1200k| 1200k| 0 | 0.0 | 503M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
309.88/310.02 c 284s| 1210k| 1210k| 0 | 0.0 | 507M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
312.38/312.56 c 287s| 1220k| 1220k| 0 | 0.0 | 511M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
314.98/315.10 c 289s| 1230k| 1230k| 0 | 0.0 | 515M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
317.48/317.63 c 291s| 1240k| 1240k| 0 | 0.0 | 519M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
319.98/320.16 c 294s| 1250k| 1250k| 0 | 0.0 | 523M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
322.48/322.69 c 296s| 1260k| 1260k| 0 | 0.0 | 527M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
325.07/325.22 c 298s| 1270k| 1270k| 0 | 0.0 | 531M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
327.59/327.74 c 301s| 1280k| 1280k| 0 | 0.0 | 536M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
330.08/330.26 c 303s| 1290k| 1290k| 0 | 0.0 | 540M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
332.58/332.76 c 305s| 1300k| 1300k| 0 | 0.0 | 544M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
335.07/335.26 c 307s| 1310k| 1310k| 0 | 0.0 | 548M| 65 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.750000e+02 |1432.26%
337.58/337.75 c 310s| 1320k| 1320k| 0 | 0.0 | 552M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
340.17/340.32 c 312s| 1330k| 1330k| 0 | 0.0 | 556M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
342.67/342.88 c 314s| 1340k| 1340k| 0 | 0.0 | 560M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
345.28/345.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.28/345.42 c 317s| 1350k| 1350k| 0 | 0.0 | 564M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
347.77/347.97 c 319s| 1360k| 1360k| 0 | 0.0 | 569M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
350.37/350.52 c 321s| 1370k| 1370k| 0 | 0.0 | 573M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
352.87/353.07 c 324s| 1380k| 1380k| 0 | 0.0 | 577M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
355.46/355.61 c 326s| 1390k| 1390k| 0 | 0.0 | 581M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
357.97/358.15 c 328s| 1400k| 1400k| 0 | 0.0 | 585M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
360.47/360.68 c 331s| 1410k| 1410k| 0 | 0.0 | 590M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
363.06/363.22 c 333s| 1420k| 1420k| 0 | 0.0 | 594M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
365.57/365.75 c 335s| 1430k| 1430k| 0 | 0.0 | 598M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
368.07/368.29 c 338s| 1440k| 1440k| 0 | 0.0 | 602M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
370.66/370.83 c 340s| 1450k| 1450k| 0 | 0.0 | 606M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
373.16/373.37 c 342s| 1460k| 1460k| 0 | 0.0 | 610M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
375.76/375.90 c 345s| 1470k| 1470k| 0 | 0.0 | 615M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
378.27/378.44 c 347s| 1480k| 1480k| 0 | 0.0 | 619M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
380.76/380.98 c 349s| 1490k| 1490k| 0 | 0.0 | 623M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
383.35/383.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.35/383.51 c 352s| 1500k| 1500k| 0 | 0.0 | 627M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
385.86/386.04 c 354s| 1510k| 1510k| 0 | 0.0 | 631M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
388.35/388.58 c 356s| 1520k| 1520k| 0 | 0.0 | 635M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
390.95/391.11 c 359s| 1530k| 1530k| 0 | 0.0 | 640M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
393.46/393.64 c 361s| 1540k| 1540k| 0 | 0.0 | 644M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
395.96/396.18 c 363s| 1550k| 1550k| 0 | 0.0 | 648M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
398.55/398.72 c 366s| 1560k| 1560k| 0 | 0.0 | 652M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
401.05/401.25 c 368s| 1570k| 1570k| 0 | 0.0 | 656M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
403.55/403.77 c 370s| 1580k| 1580k| 0 | 0.0 | 660M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
406.14/406.30 c 373s| 1590k| 1590k| 0 | 0.0 | 664M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
408.65/408.84 c 375s| 1600k| 1600k| 0 | 0.0 | 669M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
411.16/411.37 c 377s| 1610k| 1610k| 0 | 0.0 | 673M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
413.74/413.90 c 380s| 1620k| 1620k| 0 | 0.0 | 677M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
416.25/416.43 c 382s| 1630k| 1630k| 0 | 0.0 | 681M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
418.74/418.96 c 384s| 1640k| 1640k| 0 | 0.0 | 685M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
421.25/421.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.25/421.49 c 386s| 1650k| 1650k| 0 | 0.0 | 689M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
423.84/424.02 c 389s| 1660k| 1660k| 0 | 0.0 | 693M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
426.34/426.54 c 391s| 1670k| 1670k| 0 | 0.0 | 698M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
428.85/429.06 c 393s| 1680k| 1680k| 0 | 0.0 | 702M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
431.34/431.59 c 396s| 1690k| 1690k| 0 | 0.0 | 706M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
433.94/434.11 c 398s| 1700k| 1700k| 0 | 0.0 | 710M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
436.45/436.64 c 400s| 1710k| 1710k| 0 | 0.0 | 714M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
438.94/439.17 c 403s| 1720k| 1720k| 0 | 0.0 | 718M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
441.53/441.70 c 405s| 1730k| 1730k| 0 | 0.0 | 722M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
444.04/444.23 c 407s| 1740k| 1740k| 0 | 0.0 | 726M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
446.53/446.77 c 410s| 1750k| 1750k| 0 | 0.0 | 731M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
449.13/449.30 c 412s| 1760k| 1760k| 0 | 0.0 | 735M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
451.63/451.84 c 414s| 1770k| 1770k| 0 | 0.0 | 739M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
454.14/454.36 c 417s| 1780k| 1780k| 0 | 0.0 | 743M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
456.63/456.89 c 419s| 1790k| 1790k| 0 | 0.0 | 747M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
459.23/459.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.23/459.43 c 421s| 1800k| 1800k| 0 | 0.0 | 751M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
461.73/461.96 c 424s| 1810k| 1810k| 0 | 0.0 | 755M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
464.33/464.50 c 426s| 1820k| 1820k| 0 | 0.0 | 759M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
466.83/467.03 c 428s| 1830k| 1830k| 0 | 0.0 | 763M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
469.33/469.57 c 431s| 1840k| 1840k| 0 | 0.0 | 768M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
471.82/472.09 c 433s| 1850k| 1850k| 0 | 0.0 | 772M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
474.43/474.63 c 435s| 1860k| 1860k| 0 | 0.0 | 776M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
476.92/477.15 c 438s| 1870k| 1870k| 0 | 0.0 | 780M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
479.43/479.66 c 440s| 1880k| 1880k| 0 | 0.0 | 784M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
481.92/482.18 c 442s| 1890k| 1890k| 0 | 0.0 | 788M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
484.52/484.70 c 444s| 1900k| 1900k| 0 | 0.0 | 792M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
487.03/487.21 c 447s| 1910k| 1910k| 0 | 0.0 | 796M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
489.52/489.73 c 449s| 1920k| 1920k| 0 | 0.0 | 800M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
492.02/492.24 c 451s| 1930k| 1930k| 0 | 0.0 | 804M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
494.52/494.76 c 454s| 1940k| 1940k| 0 | 0.0 | 808M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
497.03/497.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.03/497.27 c 456s| 1950k| 1950k| 0 | 0.0 | 812M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
499.52/499.78 c 458s| 1960k| 1960k| 0 | 0.0 | 817M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
502.01/502.28 c 461s| 1970k| 1970k| 0 | 0.0 | 821M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
504.52/504.79 c 463s| 1980k| 1980k| 0 | 0.0 | 825M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
507.11/507.30 c 465s| 1990k| 1990k| 0 | 0.0 | 829M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
509.61/509.80 c 468s| 2000k| 2000k| 0 | 0.0 | 833M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
512.01/512.29 c 470s| 2010k| 2010k| 0 | 0.0 | 837M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
514.52/514.79 c 472s| 2020k| 2020k| 0 | 0.0 | 841M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
517.01/517.29 c 474s| 2030k| 2030k| 0 | 0.0 | 845M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
519.51/519.77 c 477s| 2040k| 2040k| 0 | 0.0 | 849M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
522.01/522.26 c 479s| 2050k| 2050k| 0 | 0.0 | 853M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
524.51/524.74 c 481s| 2060k| 2060k| 0 | 0.0 | 857M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
527.01/527.20 c 483s| 2070k| 2070k| 0 | 0.0 | 861M| 67 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.750000e+02 |1384.38%
529.51/529.70 c 486s| 2080k| 2080k| 0 | 0.0 | 865M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
532.00/532.26 c 488s| 2090k| 2090k| 0 | 0.0 | 869M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
534.60/534.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.60/534.80 c 490s| 2100k| 2100k| 0 | 0.0 | 873M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
537.10/537.35 c 493s| 2110k| 2110k| 0 | 0.0 | 877M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
539.60/539.89 c 495s| 2120k| 2120k| 0 | 0.0 | 882M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
542.20/542.42 c 497s| 2130k| 2130k| 0 | 0.0 | 886M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
544.70/544.96 c 500s| 2140k| 2140k| 0 | 0.0 | 890M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
547.30/547.50 c 502s| 2150k| 2150k| 0 | 0.0 | 894M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
549.81/550.04 c 504s| 2160k| 2160k| 0 | 0.0 | 898M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
552.30/552.58 c 507s| 2170k| 2170k| 0 | 0.0 | 903M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
554.90/555.11 c 509s| 2180k| 2180k| 0 | 0.0 | 907M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
557.41/557.64 c 511s| 2190k| 2190k| 0 | 0.0 | 911M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
559.90/560.17 c 514s| 2200k| 2200k| 0 | 0.0 | 915M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
562.50/562.70 c 516s| 2210k| 2210k| 0 | 0.0 | 919M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
565.00/565.24 c 518s| 2220k| 2220k| 0 | 0.0 | 923M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
567.49/567.77 c 521s| 2230k| 2230k| 0 | 0.0 | 927M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
569.99/570.29 c 523s| 2240k| 2240k| 0 | 0.0 | 932M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
572.59/572.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.59/572.81 c 525s| 2250k| 2250k| 0 | 0.0 | 936M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
575.10/575.33 c 527s| 2260k| 2260k| 0 | 0.0 | 940M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
577.59/577.85 c 530s| 2270k| 2270k| 0 | 0.0 | 944M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
580.09/580.38 c 532s| 2280k| 2280k| 0 | 0.0 | 948M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
582.69/582.91 c 534s| 2290k| 2290k| 0 | 0.0 | 952M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
585.19/585.43 c 537s| 2300k| 2300k| 0 | 0.0 | 956M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
587.68/587.95 c 539s| 2310k| 2310k| 0 | 0.0 | 961M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
590.19/590.47 c 541s| 2320k| 2320k| 0 | 0.0 | 965M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
592.69/592.99 c 544s| 2330k| 2330k| 0 | 0.0 | 969M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
595.28/595.51 c 546s| 2340k| 2340k| 0 | 0.0 | 973M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
597.78/598.02 c 548s| 2350k| 2350k| 0 | 0.0 | 977M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
600.29/600.53 c 551s| 2360k| 2360k| 0 | 0.0 | 981M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
602.78/603.05 c 553s| 2370k| 2370k| 0 | 0.0 | 985M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
605.28/605.57 c 555s| 2380k| 2380k| 0 | 0.0 | 990M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
607.77/608.09 c 557s| 2390k| 2390k| 0 | 0.0 | 994M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
610.37/610.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.37/610.61 c 560s| 2400k| 2400k| 0 | 0.0 | 998M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
612.88/613.13 c 562s| 2410k| 2410k| 0 | 0.0 |1002M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
615.37/615.64 c 564s| 2420k| 2420k| 0 | 0.0 |1006M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
617.88/618.15 c 567s| 2430k| 2430k| 0 | 0.0 |1010M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
620.38/620.67 c 569s| 2440k| 2440k| 0 | 0.0 |1014M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
622.87/623.17 c 571s| 2450k| 2450k| 0 | 0.0 |1018M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
625.38/625.68 c 574s| 2460k| 2460k| 0 | 0.0 |1022M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
627.88/628.19 c 576s| 2470k| 2470k| 0 | 0.0 |1026M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
630.47/630.70 c 578s| 2480k| 2480k| 0 | 0.0 |1031M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
632.97/633.21 c 580s| 2490k| 2490k| 0 | 0.0 |1035M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
635.48/635.72 c 583s| 2500k| 2500k| 0 | 0.0 |1039M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
637.97/638.24 c 585s| 2510k| 2510k| 0 | 0.0 |1043M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
640.46/640.75 c 587s| 2520k| 2520k| 0 | 0.0 |1047M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
642.96/643.26 c 590s| 2530k| 2530k| 0 | 0.0 |1051M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
645.47/645.76 c 592s| 2540k| 2540k| 0 | 0.0 |1055M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
647.97/648.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.97/648.27 c 594s| 2550k| 2550k| 0 | 0.0 |1059M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
650.46/650.77 c 597s| 2560k| 2560k| 0 | 0.0 |1063M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
652.96/653.28 c 599s| 2570k| 2570k| 0 | 0.0 |1067M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
655.46/655.77 c 601s| 2580k| 2580k| 0 | 0.0 |1071M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
657.96/658.27 c 603s| 2590k| 2590k| 0 | 0.0 |1076M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
660.46/660.77 c 606s| 2600k| 2600k| 0 | 0.0 |1080M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
662.97/663.28 c 608s| 2610k| 2610k| 0 | 0.0 |1084M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
665.46/665.79 c 610s| 2620k| 2620k| 0 | 0.0 |1088M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
668.05/668.30 c 613s| 2630k| 2630k| 0 | 0.0 |1092M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
670.55/670.81 c 615s| 2640k| 2640k| 0 | 0.0 |1096M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
673.06/673.33 c 617s| 2650k| 2650k| 0 | 0.0 |1100M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
675.55/675.85 c 619s| 2660k| 2660k| 0 | 0.0 |1104M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
678.05/678.37 c 622s| 2670k| 2670k| 0 | 0.0 |1108M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
680.56/680.90 c 624s| 2680k| 2680k| 0 | 0.0 |1113M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
683.15/683.41 c 626s| 2690k| 2690k| 0 | 0.0 |1117M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
685.65/685.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.65/685.91 c 629s| 2700k| 2700k| 0 | 0.0 |1121M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
688.15/688.42 c 631s| 2710k| 2710k| 0 | 0.0 |1125M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
690.65/690.93 c 633s| 2720k| 2720k| 0 | 0.0 |1129M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
693.15/693.44 c 636s| 2730k| 2730k| 0 | 0.0 |1133M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
695.65/695.96 c 638s| 2740k| 2740k| 0 | 0.0 |1137M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
698.15/698.47 c 640s| 2750k| 2750k| 0 | 0.0 |1141M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
700.65/700.99 c 642s| 2760k| 2760k| 0 | 0.0 |1145M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
703.24/703.51 c 645s| 2770k| 2770k| 0 | 0.0 |1149M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
705.75/706.02 c 647s| 2780k| 2780k| 0 | 0.0 |1153M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
708.24/708.54 c 649s| 2790k| 2790k| 0 | 0.0 |1157M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
710.74/711.06 c 652s| 2800k| 2800k| 0 | 0.0 |1162M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
713.24/713.57 c 654s| 2810k| 2810k| 0 | 0.0 |1166M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
715.75/716.09 c 656s| 2820k| 2820k| 0 | 0.0 |1170M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
718.34/718.60 c 659s| 2830k| 2830k| 0 | 0.0 |1174M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
720.84/721.12 c 661s| 2840k| 2840k| 0 | 0.0 |1178M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
723.34/723.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.34/723.64 c 663s| 2850k| 2850k| 0 | 0.0 |1182M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
725.83/726.15 c 665s| 2860k| 2860k| 0 | 0.0 |1186M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
728.34/728.65 c 668s| 2870k| 2870k| 0 | 0.0 |1190M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
730.84/731.15 c 670s| 2880k| 2880k| 0 | 0.0 |1194M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
733.34/733.66 c 672s| 2890k| 2890k| 0 | 0.0 |1198M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
735.84/736.17 c 675s| 2900k| 2900k| 0 | 0.0 |1202M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
738.34/738.67 c 677s| 2910k| 2910k| 0 | 0.0 |1206M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
740.83/741.19 c 679s| 2920k| 2920k| 0 | 0.0 |1210M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
743.34/743.70 c 682s| 2930k| 2930k| 0 | 0.0 |1214M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
745.93/746.21 c 684s| 2940k| 2940k| 0 | 0.0 |1218M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
748.42/748.72 c 686s| 2950k| 2950k| 0 | 0.0 |1222M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
750.94/751.22 c 688s| 2960k| 2960k| 0 | 0.0 |1226M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
753.43/753.71 c 691s| 2970k| 2970k| 0 | 0.0 |1230M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
755.93/756.21 c 693s| 2980k| 2980k| 0 | 0.0 |1234M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
758.43/758.71 c 695s| 2990k| 2990k| 0 | 0.0 |1238M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
760.94/761.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.94/761.20 c 698s| 3000k| 3000k| 0 | 0.0 |1243M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
763.42/763.71 c 700s| 3010k| 3010k| 0 | 0.0 |1247M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
765.93/766.20 c 702s| 3020k| 3020k| 0 | 0.0 |1251M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
768.42/768.70 c 704s| 3030k| 3030k| 0 | 0.0 |1255M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
770.83/771.19 c 707s| 3040k| 3040k| 0 | 0.0 |1259M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
773.32/773.69 c 709s| 3050k| 3050k| 0 | 0.0 |1263M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
775.82/776.19 c 711s| 3060k| 3060k| 0 | 0.0 |1267M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
778.32/778.68 c 714s| 3070k| 3070k| 0 | 0.0 |1271M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
780.82/781.17 c 716s| 3080k| 3080k| 0 | 0.0 |1275M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
783.32/783.66 c 718s| 3090k| 3090k| 0 | 0.0 |1279M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
785.81/786.15 c 720s| 3100k| 3100k| 0 | 0.0 |1283M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
788.33/788.63 c 723s| 3110k| 3110k| 0 | 0.0 |1287M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
790.81/791.12 c 725s| 3120k| 3120k| 0 | 0.0 |1291M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
793.32/793.61 c 727s| 3130k| 3130k| 0 | 0.0 |1295M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
795.81/796.10 c 729s| 3140k| 3140k| 0 | 0.0 |1299M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
798.22/798.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.22/798.58 c 732s| 3150k| 3150k| 0 | 0.0 |1303M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
800.71/801.06 c 734s| 3160k| 3160k| 0 | 0.0 |1307M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
803.21/803.54 c 736s| 3170k| 3170k| 0 | 0.0 |1311M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
805.71/806.02 c 738s| 3180k| 3180k| 0 | 0.0 |1315M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
808.12/808.50 c 741s| 3190k| 3190k| 0 | 0.0 |1319M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
810.60/810.98 c 743s| 3200k| 3200k| 0 | 0.0 |1323M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
813.11/813.45 c 745s| 3210k| 3210k| 0 | 0.0 |1327M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
815.61/815.92 c 748s| 3220k| 3220k| 0 | 0.0 |1331M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
818.01/818.39 c 750s| 3230k| 3230k| 0 | 0.0 |1335M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
820.51/820.86 c 752s| 3240k| 3240k| 0 | 0.0 |1339M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
823.00/823.32 c 754s| 3250k| 3250k| 0 | 0.0 |1343M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
825.41/825.78 c 757s| 3260k| 3260k| 0 | 0.0 |1347M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
827.90/828.24 c 759s| 3270k| 3270k| 0 | 0.0 |1351M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
830.30/830.69 c 761s| 3280k| 3280k| 0 | 0.0 |1355M| 69 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 4.750000e+02 |1339.39%
832.60/832.91 c (node 3289095) switching to memory saving mode (mem: 1296.0M/1620.0M)
833.60/833.92 o 225
833.60/833.92 c * 764s| 3289k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 2.250000e+02 | 581.82%
833.80/834.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.80/834.13 c 764s| 3290k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 5 | 0 | 3.300000e+01 | 2.250000e+02 | 581.82%
838.90/839.28 c 769s| 3300k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 384 | 0 | 3.300000e+01 | 2.250000e+02 | 581.82%
839.19/839.51 o 224
839.19/839.51 c * 769s| 3300k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 387 | 0 | 3.300000e+01 | 2.240000e+02 | 578.79%
839.30/839.65 o 223
839.30/839.65 c * 770s| 3300k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 389 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
843.80/844.11 c 774s| 3310k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 682 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
847.59/847.95 c 778s| 3320k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 863 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
850.89/851.27 c 781s| 3330k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |1007 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
854.49/854.83 c 784s| 3340k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |1200 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
858.09/858.41 c 788s| 3350k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |1399 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
862.10/862.45 c 791s| 3360k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |1664 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
865.59/865.95 c 795s| 3370k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |1835 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
869.69/870.07 c 799s| 3380k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |2103 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
873.29/873.64 c 802s| 3390k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |2298 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
876.39/876.74 c 805s| 3400k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |2423 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
881.89/882.25 c 810s| 3410k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |2878 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
886.78/887.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.78/887.15 c 815s| 3420k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |3244 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
891.48/891.86 c 820s| 3430k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |3583 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
896.28/896.66 c 824s| 3440k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |3926 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
900.17/900.51 c 828s| 3450k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |4121 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
906.28/906.68 c 834s| 3460k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |4688 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
910.98/911.33 c 839s| 3470k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |5004 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
915.37/915.76 c 843s| 3480k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |5306 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
918.97/919.39 c 846s| 3490k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |5481 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
923.16/923.54 c 850s| 3500k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |5717 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
927.57/927.97 c 855s| 3510k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |5990 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
932.07/932.44 c 859s| 3520k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |6276 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
935.36/935.74 c 862s| 3530k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |6403 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
940.46/940.83 c 867s| 3540k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |6797 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
945.46/945.82 c 872s| 3550k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |7168 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
948.76/949.11 c 875s| 3560k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |7298 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
954.96/955.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.96/955.37 c 881s| 3570k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |7876 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
959.15/959.57 c 885s| 3580k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |8164 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
964.26/964.69 c 890s| 3590k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |8584 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
970.35/970.77 c 896s| 3600k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |9116 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
974.95/975.31 c 900s| 3610k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |9427 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
979.45/979.85 c 905s| 3620k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 |9727 | 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
983.94/984.33 c 909s| 3630k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 10k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
987.36/987.73 c 912s| 3640k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 10k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
991.34/991.79 c 916s| 3650k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 10k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
995.25/995.68 c 920s| 3660k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 10k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
999.84/1000.29 c 924s| 3670k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 10k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1005.24/1005.67 c 930s| 3680k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 11k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1012.93/1013.31 c 937s| 3690k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 12k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1017.43/1017.85 c 942s| 3700k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 12k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1022.33/1022.74 c 946s| 3710k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 12k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1026.23/1026.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.23/1026.60 c 950s| 3720k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 13k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1030.43/1030.85 c 954s| 3730k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 13k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1036.03/1036.45 c 960s| 3740k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 13k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1041.34/1041.79 c 965s| 3750k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 14k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1046.02/1046.45 c 969s| 3760k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 14k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1050.92/1051.35 c 974s| 3770k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 14k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1054.62/1055.09 c 978s| 3780k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1058.02/1058.45 c 981s| 3790k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1061.12/1061.54 c 984s| 3800k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1064.92/1065.32 c 987s| 3810k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1068.02/1068.46 c 990s| 3820k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1071.41/1071.83 c 994s| 3830k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1074.51/1074.99 c 997s| 3840k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1077.42/1077.82 c 999s| 3850k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 15k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1081.92/1082.34 c 1004s| 3860k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 16k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1085.01/1085.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.01/1085.49 c 1007s| 3870k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 16k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1088.62/1089.05 c 1010s| 3880k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 16k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1092.60/1093.06 c 1014s| 3890k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 16k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1096.11/1096.57 c 1017s| 3900k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 16k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1099.80/1100.20 c 1021s| 3910k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 16k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1104.10/1104.53 c 1025s| 3920k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 17k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1107.11/1107.56 c 1028s| 3930k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 17k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1110.71/1111.17 c 1031s| 3940k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 17k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1114.00/1114.43 c 1034s| 3950k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 17k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1117.11/1117.60 c 1037s| 3960k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 17k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1120.80/1121.26 c 1041s| 3970k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 17k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1124.80/1125.24 c 1045s| 3980k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 18k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1128.50/1128.97 c 1048s| 3990k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 18k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1132.29/1132.74 c 1052s| 4000k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 18k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1135.90/1136.36 c 1055s| 4010k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 18k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1139.60/1140.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.60/1140.01 c 1059s| 4020k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 18k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1142.89/1143.35 c 1062s| 4030k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 18k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1147.29/1147.71 c 1066s| 4040k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 19k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1151.20/1151.60 c 1070s| 4050k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 19k| 0 | 3.300000e+01 | 2.230000e+02 | 575.76%
1152.19/1152.61 o 222
1152.19/1152.61 c *1071s| 4052k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 19k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1155.69/1156.16 c 1074s| 4060k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 19k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1159.48/1159.97 c 1078s| 4070k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 19k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1163.29/1163.77 c 1082s| 4080k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 19k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1167.69/1168.12 c 1086s| 4090k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 20k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1172.48/1172.90 c 1091s| 4100k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 20k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1176.59/1177.01 c 1094s| 4110k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 20k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1179.88/1180.33 c 1098s| 4120k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 20k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1185.58/1186.00 c 1103s| 4130k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 21k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1189.57/1190.06 c 1107s| 4140k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 21k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1194.08/1194.52 c 1111s| 4150k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 21k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1197.57/1198.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.57/1198.05 c 1115s| 4160k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 22k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1200.97/1201.43 c 1118s| 4170k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 22k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1204.27/1204.72 c 1121s| 4180k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 22k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1208.26/1208.77 c 1125s| 4190k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 22k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1212.77/1213.26 c 1129s| 4200k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 22k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1217.17/1217.67 c 1134s| 4210k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 23k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1221.67/1222.13 c 1138s| 4220k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 23k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1225.97/1226.46 c 1142s| 4230k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 23k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1229.86/1230.31 c 1146s| 4240k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 24k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1233.56/1234.02 c 1149s| 4250k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 24k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1238.06/1238.51 c 1154s| 4260k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 24k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1243.86/1244.32 c 1159s| 4270k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 25k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1249.06/1249.60 c 1164s| 4280k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 25k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1254.85/1255.37 c 1170s| 4290k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 26k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1260.25/1260.78 c 1175s| 4300k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 26k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1264.56/1265.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.56/1265.03 c 1179s| 4310k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 26k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1268.24/1268.76 c 1183s| 4320k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 26k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1271.74/1272.27 c 1186s| 4330k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 27k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1274.95/1275.47 c 1189s| 4340k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 27k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1278.75/1279.22 c 1193s| 4350k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 27k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1282.94/1283.48 c 1197s| 4360k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 27k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1286.55/1287.09 c 1200s| 4370k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 27k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1289.94/1290.41 c 1204s| 4380k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 27k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1294.64/1295.14 c 1208s| 4390k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 28k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1298.54/1299.06 c 1212s| 4400k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 28k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1302.73/1303.25 c 1216s| 4410k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 28k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1306.13/1306.65 c 1219s| 4420k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 28k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1309.44/1309.98 c 1222s| 4430k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 29k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1313.33/1313.87 c 1226s| 4440k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 29k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1316.73/1317.27 c 1229s| 4450k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 29k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1320.03/1320.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.03/1320.55 c 1233s| 4460k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 29k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1323.13/1323.62 c 1236s| 4470k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 29k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1326.53/1327.06 c 1239s| 4480k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 29k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1331.23/1331.74 c 1243s| 4490k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 30k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1334.43/1334.92 c 1246s| 4500k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 30k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1337.92/1338.49 c 1250s| 4510k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 30k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1341.43/1341.97 c 1253s| 4520k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 30k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1344.42/1344.98 c 1256s| 4530k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 30k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1349.12/1349.63 c 1260s| 4540k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 30k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1352.82/1353.34 c 1264s| 4550k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 31k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1356.82/1357.39 c 1268s| 4560k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 31k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1361.41/1361.99 c 1272s| 4570k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 31k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1364.81/1365.37 c 1276s| 4580k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 31k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1368.62/1369.13 c 1279s| 4590k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 31k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1372.91/1373.44 c 1283s| 4600k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 32k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1376.51/1377.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.51/1377.02 c 1287s| 4610k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 32k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1379.71/1380.25 c 1290s| 4620k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 32k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1383.91/1384.46 c 1294s| 4630k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 32k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1387.51/1388.07 c 1297s| 4640k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 32k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1391.20/1391.74 c 1301s| 4650k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 33k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1395.20/1395.76 c 1305s| 4660k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 33k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1399.30/1399.82 c 1309s| 4670k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 33k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1403.10/1403.65 c 1312s| 4680k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 33k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1406.31/1406.85 c 1315s| 4690k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 33k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1409.60/1410.10 c 1318s| 4700k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 34k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1412.80/1413.34 c 1322s| 4710k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 34k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1416.49/1417.03 c 1325s| 4720k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 34k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1420.50/1421.02 c 1329s| 4730k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 34k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1423.90/1424.43 c 1332s| 4740k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 34k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1427.59/1428.16 c 1336s| 4750k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 34k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1430.69/1431.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.69/1431.20 c 1339s| 4760k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1433.79/1434.33 c 1342s| 4770k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1436.79/1437.31 c 1345s| 4780k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1440.18/1440.79 c 1348s| 4790k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1443.58/1444.15 c 1351s| 4800k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1446.69/1447.27 c 1354s| 4810k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1449.88/1450.40 c 1357s| 4820k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 35k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1457.18/1457.77 c 1364s| 4830k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 36k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1463.78/1464.38 c 1371s| 4840k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 36k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1469.78/1470.37 c 1376s| 4850k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 37k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1475.17/1475.74 c 1382s| 4860k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 37k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1478.77/1479.39 c 1385s| 4870k| 3289k| 0 | 0.0 |1359M| 265 | - | 475 | 568 | 0 | 0 | 0 | 37k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1483.67/1484.22 c 1390s| 4880k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 38k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1490.17/1490.74 c 1396s| 4890k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 39k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1495.37/1495.91 c 1401s| 4900k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 39k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1500.56/1501.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.56/1501.18 c 1406s| 4910k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 39k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1506.37/1506.91 c 1412s| 4920k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 40k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1511.26/1511.82 c 1417s| 4930k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 40k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1516.86/1517.44 c 1422s| 4940k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 41k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1521.56/1522.18 c 1427s| 4950k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 41k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1526.36/1526.94 c 1431s| 4960k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 42k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1530.56/1531.19 c 1435s| 4970k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 42k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1534.85/1535.43 c 1440s| 4980k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 42k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1539.55/1540.15 c 1444s| 4990k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 42k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1544.65/1545.22 c 1449s| 5000k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 43k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1549.55/1550.17 c 1454s| 5010k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 43k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1553.45/1554.06 c 1458s| 5020k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 43k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1557.64/1558.24 c 1462s| 5030k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 44k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1561.45/1562.01 c 1465s| 5040k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 44k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1564.54/1565.14 c 1468s| 5050k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 44k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1568.94/1569.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.94/1569.56 c 1472s| 5060k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 44k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1572.04/1572.69 c 1475s| 5070k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 44k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1575.84/1576.48 c 1479s| 5080k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 45k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1579.94/1580.52 c 1483s| 5090k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 45k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1583.93/1584.58 c 1487s| 5100k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 45k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1588.04/1588.64 c 1491s| 5110k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 45k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1592.54/1593.14 c 1495s| 5120k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 46k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1596.03/1596.61 c 1498s| 5130k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 46k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1599.13/1599.77 c 1501s| 5140k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 46k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1602.73/1603.39 c 1505s| 5150k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 46k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1607.63/1608.28 c 1510s| 5160k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 47k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1612.03/1612.66 c 1514s| 5170k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 47k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1615.82/1616.44 c 1517s| 5180k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 47k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1619.64/1620.27 c 1521s| 5190k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 47k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1623.32/1623.94 c 1525s| 5200k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 48k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1628.02/1628.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.02/1628.68 c 1529s| 5210k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 48k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1632.61/1633.24 c 1534s| 5220k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 48k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1636.82/1637.42 c 1538s| 5230k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 49k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1641.22/1641.85 c 1542s| 5240k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 49k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1644.93/1645.55 c 1545s| 5250k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 49k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1648.41/1649.05 c 1549s| 5260k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 49k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1651.62/1652.25 c 1552s| 5270k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 49k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1656.11/1656.73 c 1556s| 5280k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 50k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1660.31/1660.94 c 1560s| 5290k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 50k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1664.21/1664.86 c 1564s| 5300k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 50k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1667.71/1668.36 c 1567s| 5310k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 50k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1671.41/1672.07 c 1571s| 5320k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 50k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1675.11/1675.78 c 1574s| 5330k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 51k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1678.80/1679.49 c 1578s| 5340k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 51k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1682.01/1682.62 c 1581s| 5350k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 51k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1685.20/1685.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1685.20/1685.85 c 1584s| 5360k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 51k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1689.90/1690.54 c 1589s| 5370k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1693.30/1693.99 c 1592s| 5380k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1696.70/1697.32 c 1595s| 5390k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1699.70/1700.39 c 1598s| 5400k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1702.59/1703.20 c 1601s| 5410k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1707.00/1707.65 c 1605s| 5420k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1710.90/1711.56 c 1609s| 5430k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 52k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1715.19/1715.84 c 1613s| 5440k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 53k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1718.59/1719.25 c 1616s| 5450k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 53k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1723.59/1724.21 c 1621s| 5460k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 53k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1728.59/1729.26 c 1626s| 5470k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 54k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1732.89/1733.56 c 1630s| 5480k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 54k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1739.08/1739.72 c 1636s| 5490k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 54k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1743.38/1744.02 c 1640s| 5500k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 55k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1747.88/1748.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.88/1748.56 c 1644s| 5510k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 55k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1752.07/1752.78 c 1649s| 5520k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 55k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1757.67/1758.38 c 1654s| 5530k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 56k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1762.17/1762.81 c 1658s| 5540k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 56k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1766.07/1766.79 c 1662s| 5550k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 56k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1769.77/1770.43 c 1666s| 5560k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 56k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1773.87/1774.55 c 1670s| 5570k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 57k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1779.86/1780.52 c 1675s| 5580k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 57k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1785.36/1786.06 c 1681s| 5590k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 58k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1790.96/1791.66 c 1686s| 5600k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 58k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1796.67/1797.38 c 1692s| 5610k| 3289k| 0 | 0.0 |1359M| 267 | - | 475 | 568 | 0 | 0 | 0 | 59k| 0 | 3.300000e+01 | 2.220000e+02 | 572.73%
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.72 c
1800.08/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.72 c Solving Time (sec) : 1694.96
1800.08/1800.72 c Solving Nodes : 5617197
1800.08/1800.72 c Primal Bound : +2.22000000000000e+02 (7 solutions)
1800.08/1800.72 c Dual Bound : +3.30000000000000e+01
1800.08/1800.72 c Gap : 572.73 %
1800.08/1800.72 s SATISFIABLE
1800.08/1800.72 v -x475 x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 x465 x464 -x463 -x462 x461 -x460 -x459 x458 x457 -x456 -x455 x454 -x453
1800.08/1800.72 v x452 x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 x434 x433 x432 x431
1800.08/1800.72 v -x430 x429 x428 -x427 x426 x425 x424 x423 -x422 -x421 x420 -x419 -x418 x417 x416 -x415 -x414 x413 -x412 x411 x410 -x409 x408
1800.08/1800.72 v x407 -x406 -x405 x404 x403 -x402 x401 x400 x399 x398 x397 x396 -x395 x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 x386 x385
1800.08/1800.72 v -x384 x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 x374 x373 -x372 -x371 x370 -x369 -x368 -x367 x366 x365 x364 x363 -x362
1800.08/1800.72 v -x361 -x360 x359 x358 x357 -x356 x355 x354 -x353 x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 x343 -x342 x341 -x340
1800.08/1800.72 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 x321 x320 x319 -x318
1800.08/1800.72 v -x317 x316 -x315 -x314 x313 -x312 -x311 x310 -x309 x308 -x307 -x306 x305 x304 x303 x302 -x301 -x300 x299 -x298 x297 -x296
1800.08/1800.72 v -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 -x282 x281 x280 -x279 -x278 x277 -x276 x275 -x274
1800.08/1800.72 v -x273 -x272 -x271 x270 x269 -x268 -x267 x266 -x265 -x264 x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 x253 x252
1800.08/1800.72 v -x251 x250 -x249 x248 -x247 x246 -x245 x244 x243 -x242 x241 -x240 -x239 x238 x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229
1800.08/1800.72 v x228 -x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 x216 x215 -x214 x213 x212 x211 x210 x209 -x208 x207 x206
1800.08/1800.72 v -x205 x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 x196 -x195 x194 x193 -x192 -x191 x190 -x189 -x188 -x187 x186 x185 -x184
1800.08/1800.72 v -x183 -x182 x181 x180 x179 x178 x177 x176 -x175 x174 -x173 x172 x171 x170 x169 -x168 x167 x166 x165 x164 -x163 x162 -x161 -x160
1800.08/1800.72 v -x159 -x158 x157 -x156 -x155 -x154 -x153 x152 -x151 x150 x149 x148 x147 x146 x145 x144 -x143 -x142 x141 -x140 x139 -x138
1800.08/1800.72 v x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 x127 -x126 -x125 x124 x123 x122 -x121 x120 x119 -x118 -x117 -x116 -x115
1800.08/1800.72 v x114 x113 x112 -x111 x110 x109 x108 -x107 x106 x105 -x104 x103 x102 x101 -x100 x99 -x98 -x97 -x96 -x95 x94 x93 x92 -x91
1800.08/1800.72 v -x90 -x89 x88 x87 -x86 -x85 x84 x83 -x82 x81 x80 -x79 x78 -x77 -x76 -x75 -x74 x73 x72 x71 x70 -x69 -x68 x67 x66 x65 -x64 -x63
1800.08/1800.72 v x62 x61 -x60 -x59 x58 -x57 x56 -x55 x54 -x53 x52 x51 -x50 -x49 x48 x47 -x46 -x45 -x44 -x43 -x42 x41 x40 x39 -x38 x37 x36 -x35
1800.08/1800.72 v -x34 -x33 x32 -x31 x30 -x29 -x28 x27 -x26 -x25 x24 x23 x22 x21 -x20 x19 x18 -x17 -x16 -x15 x14 x13 x12 x11 x10 -x9 -x8 x7 x6
1800.08/1800.72 v x5 -x4 x3 x2 x1
1800.08/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.72 c Solving Time : 1694.96
1800.08/1800.72 c Original Problem :
1800.08/1800.72 c Problem name : HOME/instance-2664041-1276366749.opb
1800.08/1800.72 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72 c Constraints : 475 initial, 475 maximal
1800.08/1800.72 c Presolved Problem :
1800.08/1800.72 c Problem name : t_HOME/instance-2664041-1276366749.opb
1800.08/1800.72 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72 c Constraints : 568 initial, 568 maximal
1800.08/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.72 c knapsack : 0.03 0 0 0 0 0 21 308 651
1800.08/1800.72 c setppc : 0.00 0 0 0 0 0 44 0 0
1800.08/1800.72 c linear : 0.01 0 0 0 0 0 0 0 21
1800.08/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c root node : - 0 - - 0 - - - -
1800.08/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.72 c knapsack : 453 0 9681736 0 4462053 59437 8435136 0 0 0
1800.08/1800.72 c setppc : 114 0 6481276 0 3289127 0 2431042 0 0 0
1800.08/1800.72 c logicor : 1+ 0 168128 0 904438 0 28842 0 0 0
1800.08/1800.72 c countsols : 0 0 0 0 4462053 0 0 0 0 0
1800.08/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.72 c knapsack : 785.41 0.00 733.77 0.00 51.64
1800.08/1800.72 c setppc : 106.49 0.00 15.15 0.00 91.34
1800.08/1800.72 c logicor : 0.96 0.00 0.37 0.00 0.59
1800.08/1800.72 c countsols : 1.77 0.00 0.00 0.00 1.77
1800.08/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.72 c vbounds : 5.84 2 0 0
1800.08/1800.72 c rootredcost : 5.46 0 0 0
1800.08/1800.72 c pseudoobj : 281.42 10793060 1111524 12796906
1800.08/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.72 c propagation : 386.76 59437 59437 4474954 240.3 0 0.0 -
1800.08/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.08/1800.72 c applied globally : - - - 0 0.0 - - -
1800.08/1800.72 c applied locally : - - - 59437 197.8 - - -
1800.08/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.72 c redcost : 0.00 0 0 0 0 0
1800.08/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.72 c intobj : 0.00 0 0 0 0 0
1800.08/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.72 c gomory : 0.00 0 0 0 0 0
1800.08/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.72 c cmir : 0.00 0 0 0 0 0
1800.08/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.72 c clique : 0.00 0 0 0 0 0
1800.08/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.72 c mcf : 0.00 0 0 0 0 0
1800.08/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.72 c Pricers : Time Calls Vars
1800.08/1800.72 c problem variables: 0.00 0 0
1800.08/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.72 c inference : 271.30 4462049 0 0 0 0 8924098
1800.08/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c random : 0.00 0 0 0 0 0 0
1800.08/1800.72 c Primal Heuristics : Time Calls Found
1800.08/1800.72 c LP solutions : 0.00 - 0
1800.08/1800.72 c pseudo solutions : 0.50 - 4
1800.08/1800.72 c oneopt : 3.05 0 0
1800.08/1800.72 c trivial : 0.00 2 3
1800.08/1800.72 c simplerounding : 0.00 0 0
1800.08/1800.72 c zirounding : 0.00 0 0
1800.08/1800.72 c rounding : 0.00 0 0
1800.08/1800.72 c shifting : 0.00 0 0
1800.08/1800.72 c intshifting : 0.00 0 0
1800.08/1800.72 c twoopt : 0.00 0 0
1800.08/1800.72 c fixandinfer : 0.00 0 0
1800.08/1800.72 c feaspump : 0.00 0 0
1800.08/1800.72 c coefdiving : 0.00 0 0
1800.08/1800.72 c pscostdiving : 0.00 0 0
1800.08/1800.72 c fracdiving : 0.00 0 0
1800.08/1800.72 c veclendiving : 0.00 0 0
1800.08/1800.72 c intdiving : 0.00 0 0
1800.08/1800.72 c actconsdiving : 0.00 0 0
1800.08/1800.72 c objpscostdiving : 0.00 0 0
1800.08/1800.72 c rootsoldiving : 0.00 0 0
1800.08/1800.72 c linesearchdiving : 0.00 0 0
1800.08/1800.72 c guideddiving : 0.00 0 0
1800.08/1800.72 c octane : 0.00 0 0
1800.08/1800.72 c rens : 0.00 0 0
1800.08/1800.72 c rins : 0.00 0 0
1800.08/1800.72 c localbranching : 0.00 0 0
1800.08/1800.72 c mutation : 0.00 0 0
1800.08/1800.72 c crossover : 0.00 0 0
1800.08/1800.72 c dins : 0.00 0 0
1800.08/1800.72 c undercover : 0.00 0 0
1800.08/1800.72 c nlp : 2.47 0 0
1800.08/1800.72 c trysol : 2.38 0 0
1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.72 c (at root node) : - 0 0 0.00 -
1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.72 c B&B Tree :
1800.08/1800.72 c number of runs : 1
1800.08/1800.72 c nodes : 5617197
1800.08/1800.72 c nodes (total) : 5617197
1800.08/1800.72 c nodes left : 3289280
1800.08/1800.72 c max depth : 267
1800.08/1800.72 c max depth (total): 267
1800.08/1800.72 c backtracks : 754523 (13.4%)
1800.08/1800.72 c delayed cutoffs : 17607
1800.08/1800.72 c repropagations : 30770 (237906 domain reductions, 15818 cutoffs)
1800.08/1800.72 c avg switch length: 2.50
1800.08/1800.72 c switching time : 75.35
1800.08/1800.72 c Solution :
1800.08/1800.72 c Solutions found : 7 (5 improvements)
1800.08/1800.72 c First Solution : +4.75000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.08/1800.72 c Primal Bound : +2.22000000000000e+02 (in run 1, after 4052597 nodes, 1070.82 seconds, depth 246, found by <relaxation>)
1800.08/1800.72 c Dual Bound : +3.30000000000000e+01
1800.08/1800.72 c Gap : 572.73 %
1800.08/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.72 c Root Iterations : 0