0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2664051-1276365055.opb>
0.00/0.02 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 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 476
0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.760000e+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, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs
0.00/0.07 c (round 3) 0 del vars, 1 del conss, 0 chg bounds, 111 chg sides, 344 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.07 c (round 4) 0 del vars, 39 del conss, 0 chg bounds, 236 chg sides, 537 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.08 c (round 5) 0 del vars, 48 del conss, 0 chg bounds, 251 chg sides, 558 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.08 c (round 6) 0 del vars, 48 del conss, 0 chg bounds, 254 chg sides, 564 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.08/0.09 c (0.1s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.09 c presolving (7 rounds):
0.08/0.09 c 0 deleted vars, 48 deleted constraints, 0 tightened bounds, 0 added holes, 254 changed sides, 564 changed coefficients
0.08/0.09 c 210 implications, 0 cliques
0.08/0.09 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 546 constraints
0.08/0.09 c 457 constraints of type <knapsack>
0.08/0.09 c 87 constraints of type <setppc>
0.08/0.09 c 2 constraints of type <logicor>
0.08/0.09 c transformed objective value is always integral (scale: 1)
0.08/0.09 c Presolving Time: 0.05
0.08/0.09 c - non default parameters ----------------------------------------------------------------------
0.08/0.09 c # SCIP version 1.2.1.2
0.08/0.09 c
0.08/0.09 c # frequency for displaying node information lines
0.08/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.09 c display/freq = 10000
0.08/0.09 c
0.08/0.09 c # maximal time in seconds to run
0.08/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.09 c limits/time = 1799.99
0.08/0.09 c
0.08/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.09 c limits/memory = 1620
0.08/0.09 c
0.08/0.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.08/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.09 c lp/solvefreq = -1
0.08/0.09 c
0.08/0.09 c # should presolving try to simplify inequalities
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/linear/simplifyinequalities = TRUE
0.08/0.09 c
0.08/0.09 c # should presolving try to simplify knapsacks
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.09 c
0.08/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.10 c separating/rapidlearning/freq = 0
0.08/0.10 c
0.08/0.10 c -----------------------------------------------------------------------------------------------
0.08/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 | - |2079k| 0 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.760000e+02 | Inf
2.49/2.53 c 2.3s| 10000 | 10001 | 0 | 0.0 |6265k| 37 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 1.700000e+01 | 4.760000e+02 |2700.00%
4.89/4.93 c 4.5s| 20000 | 20001 | 0 | 0.0 | 10M| 41 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 1.900000e+01 | 4.760000e+02 |2405.26%
7.29/7.32 c 6.6s| 30000 | 30001 | 0 | 0.0 | 14M| 41 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 1.900000e+01 | 4.760000e+02 |2405.26%
9.69/9.71 c 8.8s| 40000 | 40001 | 0 | 0.0 | 18M| 43 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.760000e+02 |2280.00%
12.19/12.26 c 11.2s| 50000 | 50001 | 0 | 0.0 | 22M| 43 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.760000e+02 |2280.00%
14.79/14.84 c 13.6s| 60000 | 60001 | 0 | 0.0 | 26M| 45 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.760000e+02 |2166.67%
17.38/17.44 c 15.9s| 70000 | 70001 | 0 | 0.0 | 30M| 45 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.760000e+02 |2166.67%
19.99/20.01 c 18.3s| 80000 | 80001 | 0 | 0.0 | 34M| 45 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.760000e+02 |2166.67%
22.48/22.56 c 20.6s| 90000 | 90001 | 0 | 0.0 | 38M| 45 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.760000e+02 |2166.67%
25.08/25.13 c 22.9s|100000 |100001 | 0 | 0.0 | 42M| 47 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
27.68/27.72 c 25.3s|110000 |110001 | 0 | 0.0 | 47M| 47 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
30.18/30.28 c 27.7s|120000 |120001 | 0 | 0.0 | 51M| 47 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
32.79/32.82 c 30.0s|130000 |130001 | 0 | 0.0 | 55M| 47 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
35.28/35.36 c 32.3s|140000 |140001 | 0 | 0.0 | 59M| 47 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
37.79/37.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.79/37.87 c 34.6s|150000 |150001 | 0 | 0.0 | 63M| 47 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
40.28/40.38 c 36.9s|160000 |160001 | 0 | 0.0 | 67M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
42.88/42.97 c 39.2s|170000 |170001 | 0 | 0.0 | 71M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
45.48/45.55 c 41.6s|180000 |180001 | 0 | 0.0 | 75M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
48.08/48.13 c 44.0s|190000 |190001 | 0 | 0.0 | 79M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
50.58/50.70 c 46.4s|200000 |200001 | 0 | 0.0 | 83M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
53.18/53.25 c 48.6s|210000 |210001 | 0 | 0.0 | 87M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
55.68/55.79 c 51.0s|220000 |220001 | 0 | 0.0 | 91M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
58.28/58.34 c 53.3s|230000 |230001 | 0 | 0.0 | 95M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
60.78/60.87 c 55.7s|240000 |240001 | 0 | 0.0 | 99M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
63.27/63.39 c 58.0s|250000 |250001 | 0 | 0.0 | 103M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
65.77/65.89 c 60.3s|260000 |260001 | 0 | 0.0 | 107M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
68.27/68.37 c 62.5s|270000 |270001 | 0 | 0.0 | 111M| 49 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
70.87/70.95 c 64.9s|280000 |280001 | 0 | 0.0 | 115M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
73.47/73.52 c 67.2s|290000 |290001 | 0 | 0.0 | 119M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
75.97/76.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.97/76.08 c 69.6s|300000 |300001 | 0 | 0.0 | 123M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
78.57/78.63 c 71.9s|310000 |310001 | 0 | 0.0 | 127M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
81.07/81.17 c 74.2s|320000 |320001 | 0 | 0.0 | 131M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
83.67/83.70 c 76.5s|330000 |330001 | 0 | 0.0 | 135M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
86.17/86.23 c 78.8s|340000 |340001 | 0 | 0.0 | 139M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
88.66/88.76 c 81.2s|350000 |350001 | 0 | 0.0 | 143M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
91.18/91.27 c 83.5s|360000 |360001 | 0 | 0.0 | 147M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
93.67/93.78 c 85.8s|370000 |370001 | 0 | 0.0 | 151M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
96.26/96.30 c 88.0s|380000 |380001 | 0 | 0.0 | 155M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
98.77/98.80 c 90.3s|390000 |390001 | 0 | 0.0 | 159M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
101.26/101.31 c 92.6s|400000 |400001 | 0 | 0.0 | 163M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
103.76/103.82 c 95.0s|410000 |410001 | 0 | 0.0 | 167M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
106.26/106.31 c 97.2s|420000 |420001 | 0 | 0.0 | 171M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
108.77/108.80 c 99.5s|430000 |430001 | 0 | 0.0 | 175M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
111.16/111.28 c 102s|440000 |440001 | 0 | 0.0 | 179M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
113.66/113.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.66/113.75 c 104s|450000 |450001 | 0 | 0.0 | 183M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
116.16/116.21 c 106s|460000 |460001 | 0 | 0.0 | 187M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
118.66/118.76 c 109s|470000 |470001 | 0 | 0.0 | 191M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
121.15/121.29 c 111s|480000 |480001 | 0 | 0.0 | 195M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
123.75/123.85 c 113s|490000 |490001 | 0 | 0.0 | 199M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
126.36/126.40 c 116s|500000 |500001 | 0 | 0.0 | 203M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
128.85/128.94 c 118s|510000 |510001 | 0 | 0.0 | 207M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
131.35/131.47 c 120s|520000 |520001 | 0 | 0.0 | 211M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
133.85/133.99 c 122s|530000 |530001 | 0 | 0.0 | 215M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
136.45/136.51 c 125s|540000 |540001 | 0 | 0.0 | 219M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
138.94/139.03 c 127s|550000 |550001 | 0 | 0.0 | 223M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
141.45/141.54 c 129s|560000 |560001 | 0 | 0.0 | 227M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
143.95/144.05 c 132s|570000 |570001 | 0 | 0.0 | 231M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
146.44/146.56 c 134s|580000 |580001 | 0 | 0.0 | 235M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
148.94/149.07 c 136s|590000 |590001 | 0 | 0.0 | 239M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
151.44/151.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.44/151.57 c 139s|600000 |600001 | 0 | 0.0 | 243M| 53 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
153.95/154.06 c 141s|610000 |610001 | 0 | 0.0 | 247M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
156.44/156.54 c 143s|620000 |620001 | 0 | 0.0 | 251M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
158.94/159.03 c 145s|630000 |630001 | 0 | 0.0 | 255M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
161.44/161.52 c 148s|640000 |640001 | 0 | 0.0 | 259M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
163.94/164.00 c 150s|650000 |650001 | 0 | 0.0 | 263M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
166.34/166.47 c 152s|660000 |660001 | 0 | 0.0 | 267M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
168.84/168.93 c 154s|670000 |670001 | 0 | 0.0 | 271M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
171.34/171.40 c 157s|680000 |680001 | 0 | 0.0 | 275M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
173.75/173.87 c 159s|690000 |690001 | 0 | 0.0 | 279M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
176.23/176.35 c 161s|700000 |700001 | 0 | 0.0 | 283M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
178.73/178.81 c 163s|710000 |710001 | 0 | 0.0 | 287M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
181.14/181.26 c 166s|720000 |720001 | 0 | 0.0 | 291M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
183.64/183.71 c 168s|730000 |730001 | 0 | 0.0 | 295M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
186.04/186.16 c 170s|740000 |740001 | 0 | 0.0 | 299M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
188.53/188.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.53/188.62 c 172s|750000 |750001 | 0 | 0.0 | 303M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
190.94/191.08 c 175s|760000 |760001 | 0 | 0.0 | 306M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
193.44/193.53 c 177s|770000 |770001 | 0 | 0.0 | 310M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
195.83/195.96 c 179s|780000 |780001 | 0 | 0.0 | 314M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
198.33/198.40 c 181s|790000 |790001 | 0 | 0.0 | 318M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
200.73/200.85 c 183s|800000 |800001 | 0 | 0.0 | 322M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
203.13/203.28 c 186s|810000 |810001 | 0 | 0.0 | 326M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
205.63/205.71 c 188s|820000 |820001 | 0 | 0.0 | 330M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
208.03/208.13 c 190s|830000 |830001 | 0 | 0.0 | 334M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
210.43/210.54 c 192s|840000 |840001 | 0 | 0.0 | 338M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
212.93/213.08 c 195s|850000 |850001 | 0 | 0.0 | 342M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
215.54/215.63 c 197s|860000 |860001 | 0 | 0.0 | 346M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
218.02/218.17 c 199s|870000 |870001 | 0 | 0.0 | 350M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
220.62/220.70 c 202s|880000 |880001 | 0 | 0.0 | 354M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
223.13/223.24 c 204s|890000 |890001 | 0 | 0.0 | 358M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
225.63/225.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.63/225.75 c 206s|900000 |900001 | 0 | 0.0 | 362M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
228.13/228.25 c 208s|910000 |910001 | 0 | 0.0 | 366M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
230.62/230.78 c 211s|920000 |920001 | 0 | 0.0 | 370M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
233.22/233.31 c 213s|930000 |930001 | 0 | 0.0 | 374M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
235.72/235.83 c 215s|940000 |940001 | 0 | 0.0 | 378M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
238.22/238.35 c 218s|950000 |950001 | 0 | 0.0 | 382M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
240.71/240.81 c 220s|960000 |960001 | 0 | 0.0 | 386M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
243.21/243.33 c 222s|970000 |970001 | 0 | 0.0 | 390M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
245.71/245.85 c 225s|980000 |980001 | 0 | 0.0 | 394M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
248.21/248.37 c 227s|990000 |990001 | 0 | 0.0 | 398M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
250.72/250.88 c 229s| 1000k| 1000k| 0 | 0.0 | 402M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
253.20/253.38 c 231s| 1010k| 1010k| 0 | 0.0 | 406M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
255.71/255.87 c 234s| 1020k| 1020k| 0 | 0.0 | 410M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
258.21/258.36 c 236s| 1030k| 1030k| 0 | 0.0 | 414M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
260.71/260.86 c 238s| 1040k| 1040k| 0 | 0.0 | 418M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
263.20/263.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.20/263.36 c 240s| 1050k| 1050k| 0 | 0.0 | 422M| 55 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
265.70/265.83 c 243s| 1060k| 1060k| 0 | 0.0 | 426M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
268.21/268.30 c 245s| 1070k| 1070k| 0 | 0.0 | 430M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
270.61/270.78 c 247s| 1080k| 1080k| 0 | 0.0 | 434M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
273.11/273.26 c 250s| 1090k| 1090k| 0 | 0.0 | 438M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
275.60/275.73 c 252s| 1100k| 1100k| 0 | 0.0 | 442M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
278.11/278.20 c 254s| 1110k| 1110k| 0 | 0.0 | 446M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
280.50/280.68 c 256s| 1120k| 1120k| 0 | 0.0 | 449M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
283.00/283.15 c 259s| 1130k| 1130k| 0 | 0.0 | 453M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
285.50/285.61 c 261s| 1140k| 1140k| 0 | 0.0 | 457M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
287.90/288.08 c 263s| 1150k| 1150k| 0 | 0.0 | 461M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
290.40/290.54 c 265s| 1160k| 1160k| 0 | 0.0 | 465M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
292.89/293.00 c 268s| 1170k| 1170k| 0 | 0.0 | 469M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
295.30/295.46 c 270s| 1180k| 1180k| 0 | 0.0 | 473M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
297.79/297.92 c 272s| 1190k| 1190k| 0 | 0.0 | 477M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
300.20/300.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.20/300.38 c 274s| 1200k| 1200k| 0 | 0.0 | 481M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
302.69/302.84 c 277s| 1210k| 1210k| 0 | 0.0 | 485M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
305.19/305.30 c 279s| 1220k| 1220k| 0 | 0.0 | 489M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
307.59/307.75 c 281s| 1230k| 1230k| 0 | 0.0 | 493M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
310.00/310.20 c 283s| 1240k| 1240k| 0 | 0.0 | 497M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
312.49/312.65 c 286s| 1250k| 1250k| 0 | 0.0 | 501M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
315.00/315.11 c 288s| 1260k| 1260k| 0 | 0.0 | 505M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
317.39/317.57 c 290s| 1270k| 1270k| 0 | 0.0 | 509M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
319.90/320.02 c 292s| 1280k| 1280k| 0 | 0.0 | 512M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
322.29/322.47 c 295s| 1290k| 1290k| 0 | 0.0 | 516M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
324.78/324.91 c 297s| 1300k| 1300k| 0 | 0.0 | 520M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
327.19/327.36 c 299s| 1310k| 1310k| 0 | 0.0 | 524M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
329.68/329.81 c 301s| 1320k| 1320k| 0 | 0.0 | 528M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
332.10/332.25 c 303s| 1330k| 1330k| 0 | 0.0 | 532M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
334.59/334.70 c 306s| 1340k| 1340k| 0 | 0.0 | 536M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
336.99/337.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.99/337.14 c 308s| 1350k| 1350k| 0 | 0.0 | 540M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
339.39/339.58 c 310s| 1360k| 1360k| 0 | 0.0 | 544M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
341.89/342.03 c 312s| 1370k| 1370k| 0 | 0.0 | 548M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
344.28/344.48 c 315s| 1380k| 1380k| 0 | 0.0 | 552M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
346.78/346.91 c 317s| 1390k| 1390k| 0 | 0.0 | 556M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
349.18/349.33 c 319s| 1400k| 1400k| 0 | 0.0 | 559M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
351.59/351.76 c 321s| 1410k| 1410k| 0 | 0.0 | 563M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
353.99/354.19 c 323s| 1420k| 1420k| 0 | 0.0 | 567M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
356.48/356.62 c 326s| 1430k| 1430k| 0 | 0.0 | 571M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
358.88/359.06 c 328s| 1440k| 1440k| 0 | 0.0 | 575M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
361.27/361.46 c 330s| 1450k| 1450k| 0 | 0.0 | 579M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
363.68/363.88 c 332s| 1460k| 1460k| 0 | 0.0 | 583M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
366.18/366.32 c 334s| 1470k| 1470k| 0 | 0.0 | 587M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
368.57/368.74 c 337s| 1480k| 1480k| 0 | 0.0 | 591M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
370.97/371.15 c 339s| 1490k| 1490k| 0 | 0.0 | 595M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
373.37/373.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.37/373.57 c 341s| 1500k| 1500k| 0 | 0.0 | 598M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
375.87/376.00 c 343s| 1510k| 1510k| 0 | 0.0 | 602M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
378.28/378.42 c 345s| 1520k| 1520k| 0 | 0.0 | 606M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
380.67/380.84 c 348s| 1530k| 1530k| 0 | 0.0 | 610M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
383.07/383.26 c 350s| 1540k| 1540k| 0 | 0.0 | 614M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
385.47/385.66 c 352s| 1550k| 1550k| 0 | 0.0 | 618M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
387.87/388.07 c 354s| 1560k| 1560k| 0 | 0.0 | 622M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
390.28/390.47 c 356s| 1570k| 1570k| 0 | 0.0 | 626M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
392.66/392.87 c 359s| 1580k| 1580k| 0 | 0.0 | 630M| 57 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
395.07/395.29 c 361s| 1590k| 1590k| 0 | 0.0 | 634M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
397.66/397.81 c 363s| 1600k| 1600k| 0 | 0.0 | 638M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
400.17/400.33 c 365s| 1610k| 1610k| 0 | 0.0 | 642M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
402.66/402.84 c 368s| 1620k| 1620k| 0 | 0.0 | 646M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
405.16/405.34 c 370s| 1630k| 1630k| 0 | 0.0 | 650M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
407.66/407.82 c 372s| 1640k| 1640k| 0 | 0.0 | 654M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
410.16/410.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.16/410.32 c 375s| 1650k| 1650k| 0 | 0.0 | 658M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
412.66/412.83 c 377s| 1660k| 1660k| 0 | 0.0 | 662M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
415.16/415.33 c 379s| 1670k| 1670k| 0 | 0.0 | 666M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
417.65/417.80 c 381s| 1680k| 1680k| 0 | 0.0 | 669M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
420.07/420.29 c 384s| 1690k| 1690k| 0 | 0.0 | 673M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
422.56/422.78 c 386s| 1700k| 1700k| 0 | 0.0 | 677M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
425.06/425.27 c 388s| 1710k| 1710k| 0 | 0.0 | 681M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
427.55/427.77 c 390s| 1720k| 1720k| 0 | 0.0 | 685M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
430.05/430.26 c 393s| 1730k| 1730k| 0 | 0.0 | 689M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
432.55/432.73 c 395s| 1740k| 1740k| 0 | 0.0 | 693M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
434.96/435.19 c 397s| 1750k| 1750k| 0 | 0.0 | 697M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
437.45/437.65 c 400s| 1760k| 1760k| 0 | 0.0 | 701M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
439.95/440.12 c 402s| 1770k| 1770k| 0 | 0.0 | 705M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
442.45/442.60 c 404s| 1780k| 1780k| 0 | 0.0 | 709M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
444.85/445.07 c 406s| 1790k| 1790k| 0 | 0.0 | 713M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
447.35/447.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.35/447.54 c 409s| 1800k| 1800k| 0 | 0.0 | 717M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
449.85/450.01 c 411s| 1810k| 1810k| 0 | 0.0 | 721M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
452.25/452.49 c 413s| 1820k| 1820k| 0 | 0.0 | 725M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
454.75/454.96 c 415s| 1830k| 1830k| 0 | 0.0 | 729M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
457.25/457.43 c 418s| 1840k| 1840k| 0 | 0.0 | 733M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
459.65/459.88 c 420s| 1850k| 1850k| 0 | 0.0 | 737M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
462.15/462.33 c 422s| 1860k| 1860k| 0 | 0.0 | 741M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
464.55/464.78 c 424s| 1870k| 1870k| 0 | 0.0 | 745M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
467.04/467.23 c 427s| 1880k| 1880k| 0 | 0.0 | 749M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
469.45/469.69 c 429s| 1890k| 1890k| 0 | 0.0 | 753M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
471.94/472.14 c 431s| 1900k| 1900k| 0 | 0.0 | 757M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
474.34/474.59 c 433s| 1910k| 1910k| 0 | 0.0 | 761M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
476.84/477.06 c 436s| 1920k| 1920k| 0 | 0.0 | 764M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
479.34/479.51 c 438s| 1930k| 1930k| 0 | 0.0 | 768M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
481.74/481.97 c 440s| 1940k| 1940k| 0 | 0.0 | 772M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
484.24/484.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.24/484.43 c 442s| 1950k| 1950k| 0 | 0.0 | 776M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
486.64/486.89 c 445s| 1960k| 1960k| 0 | 0.0 | 780M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
489.14/489.36 c 447s| 1970k| 1970k| 0 | 0.0 | 784M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
491.63/491.81 c 449s| 1980k| 1980k| 0 | 0.0 | 788M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
494.04/494.27 c 451s| 1990k| 1990k| 0 | 0.0 | 792M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
496.53/496.72 c 454s| 2000k| 2000k| 0 | 0.0 | 796M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
498.93/499.17 c 456s| 2010k| 2010k| 0 | 0.0 | 800M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
501.44/501.61 c 458s| 2020k| 2020k| 0 | 0.0 | 804M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
503.82/504.05 c 460s| 2030k| 2030k| 0 | 0.0 | 808M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
506.33/506.50 c 462s| 2040k| 2040k| 0 | 0.0 | 812M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
508.72/508.96 c 465s| 2050k| 2050k| 0 | 0.0 | 816M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
511.24/511.40 c 467s| 2060k| 2060k| 0 | 0.0 | 820M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
513.62/513.84 c 469s| 2070k| 2070k| 0 | 0.0 | 824M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
516.03/516.29 c 471s| 2080k| 2080k| 0 | 0.0 | 828M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
518.52/518.73 c 474s| 2090k| 2090k| 0 | 0.0 | 831M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
520.93/521.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.93/521.16 c 476s| 2100k| 2100k| 0 | 0.0 | 835M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
523.33/523.60 c 478s| 2110k| 2110k| 0 | 0.0 | 839M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
525.82/526.02 c 480s| 2120k| 2120k| 0 | 0.0 | 843M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
528.22/528.45 c 482s| 2130k| 2130k| 0 | 0.0 | 847M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
530.62/530.87 c 485s| 2140k| 2140k| 0 | 0.0 | 851M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
533.12/533.31 c 487s| 2150k| 2150k| 0 | 0.0 | 855M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
535.53/535.75 c 489s| 2160k| 2160k| 0 | 0.0 | 859M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
537.92/538.18 c 491s| 2170k| 2170k| 0 | 0.0 | 863M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
540.42/540.61 c 494s| 2180k| 2180k| 0 | 0.0 | 867M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
542.82/543.04 c 496s| 2190k| 2190k| 0 | 0.0 | 871M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
545.22/545.47 c 498s| 2200k| 2200k| 0 | 0.0 | 874M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
547.71/547.90 c 500s| 2210k| 2210k| 0 | 0.0 | 878M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
550.11/550.34 c 502s| 2220k| 2220k| 0 | 0.0 | 882M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
552.51/552.77 c 505s| 2230k| 2230k| 0 | 0.0 | 886M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
555.01/555.20 c 507s| 2240k| 2240k| 0 | 0.0 | 890M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
557.42/557.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.42/557.63 c 509s| 2250k| 2250k| 0 | 0.0 | 894M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
559.82/560.07 c 511s| 2260k| 2260k| 0 | 0.0 | 898M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
562.21/562.49 c 514s| 2270k| 2270k| 0 | 0.0 | 902M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
564.71/564.91 c 516s| 2280k| 2280k| 0 | 0.0 | 906M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
567.12/567.32 c 518s| 2290k| 2290k| 0 | 0.0 | 910M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
569.52/569.73 c 520s| 2300k| 2300k| 0 | 0.0 | 914M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
571.91/572.15 c 522s| 2310k| 2310k| 0 | 0.0 | 918M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
574.30/574.58 c 525s| 2320k| 2320k| 0 | 0.0 | 921M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
576.80/577.00 c 527s| 2330k| 2330k| 0 | 0.0 | 925M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
579.20/579.42 c 529s| 2340k| 2340k| 0 | 0.0 | 929M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
581.61/581.84 c 531s| 2350k| 2350k| 0 | 0.0 | 933M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
584.01/584.26 c 533s| 2360k| 2360k| 0 | 0.0 | 937M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
586.40/586.68 c 536s| 2370k| 2370k| 0 | 0.0 | 941M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
588.90/589.10 c 538s| 2380k| 2380k| 0 | 0.0 | 945M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
591.30/591.51 c 540s| 2390k| 2390k| 0 | 0.0 | 949M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
593.71/593.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.71/593.93 c 542s| 2400k| 2400k| 0 | 0.0 | 953M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
596.11/596.35 c 544s| 2410k| 2410k| 0 | 0.0 | 957M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
598.50/598.77 c 547s| 2420k| 2420k| 0 | 0.0 | 960M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
600.90/601.19 c 549s| 2430k| 2430k| 0 | 0.0 | 964M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
603.40/603.60 c 551s| 2440k| 2440k| 0 | 0.0 | 968M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
605.79/606.02 c 553s| 2450k| 2450k| 0 | 0.0 | 972M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
608.19/608.42 c 555s| 2460k| 2460k| 0 | 0.0 | 976M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
610.58/610.83 c 558s| 2470k| 2470k| 0 | 0.0 | 980M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
612.98/613.23 c 560s| 2480k| 2480k| 0 | 0.0 | 984M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
615.39/615.63 c 562s| 2490k| 2490k| 0 | 0.0 | 988M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
617.78/618.04 c 564s| 2500k| 2500k| 0 | 0.0 | 992M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
620.19/620.45 c 566s| 2510k| 2510k| 0 | 0.0 | 995M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
622.58/622.86 c 569s| 2520k| 2520k| 0 | 0.0 | 999M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
624.99/625.26 c 571s| 2530k| 2530k| 0 | 0.0 |1003M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
627.39/627.65 c 573s| 2540k| 2540k| 0 | 0.0 |1007M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
629.78/630.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.78/630.05 c 575s| 2550k| 2550k| 0 | 0.0 |1011M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
632.18/632.46 c 577s| 2560k| 2560k| 0 | 0.0 |1015M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
634.58/634.86 c 580s| 2570k| 2570k| 0 | 0.0 |1019M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
636.98/637.26 c 582s| 2580k| 2580k| 0 | 0.0 |1023M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
639.38/639.66 c 584s| 2590k| 2590k| 0 | 0.0 |1026M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
641.77/642.05 c 586s| 2600k| 2600k| 0 | 0.0 |1030M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
644.18/644.43 c 588s| 2610k| 2610k| 0 | 0.0 |1034M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
646.59/646.83 c 590s| 2620k| 2620k| 0 | 0.0 |1038M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
648.97/649.22 c 593s| 2630k| 2630k| 0 | 0.0 |1042M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
651.38/651.62 c 595s| 2640k| 2640k| 0 | 0.0 |1046M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
653.77/654.01 c 597s| 2650k| 2650k| 0 | 0.0 |1050M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
656.07/656.39 c 599s| 2660k| 2660k| 0 | 0.0 |1054M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
658.47/658.77 c 601s| 2670k| 2670k| 0 | 0.0 |1057M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
660.88/661.16 c 603s| 2680k| 2680k| 0 | 0.0 |1061M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
663.27/663.53 c 606s| 2690k| 2690k| 0 | 0.0 |1065M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
665.67/665.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.67/665.91 c 608s| 2700k| 2700k| 0 | 0.0 |1069M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
667.97/668.29 c 610s| 2710k| 2710k| 0 | 0.0 |1073M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
670.37/670.66 c 612s| 2720k| 2720k| 0 | 0.0 |1077M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
672.77/673.02 c 614s| 2730k| 2730k| 0 | 0.0 |1080M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
675.08/675.39 c 616s| 2740k| 2740k| 0 | 0.0 |1084M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
677.47/677.74 c 619s| 2750k| 2750k| 0 | 0.0 |1088M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
679.77/680.09 c 621s| 2760k| 2760k| 0 | 0.0 |1092M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
682.26/682.56 c 623s| 2770k| 2770k| 0 | 0.0 |1096M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
684.76/685.07 c 625s| 2780k| 2780k| 0 | 0.0 |1100M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
687.28/687.56 c 628s| 2790k| 2790k| 0 | 0.0 |1104M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
689.77/690.05 c 630s| 2800k| 2800k| 0 | 0.0 |1108M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
692.27/692.54 c 632s| 2810k| 2810k| 0 | 0.0 |1112M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
694.76/695.01 c 634s| 2820k| 2820k| 0 | 0.0 |1116M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
697.26/697.51 c 637s| 2830k| 2830k| 0 | 0.0 |1120M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
699.76/700.00 c 639s| 2840k| 2840k| 0 | 0.0 |1124M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
702.16/702.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.16/702.49 c 641s| 2850k| 2850k| 0 | 0.0 |1128M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
704.66/704.94 c 643s| 2860k| 2860k| 0 | 0.0 |1132M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
707.16/707.42 c 646s| 2870k| 2870k| 0 | 0.0 |1136M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
709.66/709.91 c 648s| 2880k| 2880k| 0 | 0.0 |1140M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
712.16/712.40 c 650s| 2890k| 2890k| 0 | 0.0 |1144M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
714.56/714.90 c 652s| 2900k| 2900k| 0 | 0.0 |1148M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
717.05/717.37 c 655s| 2910k| 2910k| 0 | 0.0 |1152M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
719.56/719.85 c 657s| 2920k| 2920k| 0 | 0.0 |1156M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
722.06/722.33 c 659s| 2930k| 2930k| 0 | 0.0 |1160M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
724.46/724.78 c 662s| 2940k| 2940k| 0 | 0.0 |1163M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
726.95/727.23 c 664s| 2950k| 2950k| 0 | 0.0 |1167M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
729.35/729.69 c 666s| 2960k| 2960k| 0 | 0.0 |1171M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
731.86/732.17 c 668s| 2970k| 2970k| 0 | 0.0 |1175M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
734.35/734.66 c 670s| 2980k| 2980k| 0 | 0.0 |1179M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
736.85/737.13 c 673s| 2990k| 2990k| 0 | 0.0 |1183M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
739.35/739.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.35/739.61 c 675s| 3000k| 3000k| 0 | 0.0 |1187M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
741.75/742.08 c 677s| 3010k| 3010k| 0 | 0.0 |1191M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
744.25/744.54 c 680s| 3020k| 3020k| 0 | 0.0 |1195M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
746.75/747.00 c 682s| 3030k| 3030k| 0 | 0.0 |1199M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
749.15/749.47 c 684s| 3040k| 3040k| 0 | 0.0 |1203M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
751.65/751.94 c 686s| 3050k| 3050k| 0 | 0.0 |1207M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
754.05/754.39 c 688s| 3060k| 3060k| 0 | 0.0 |1211M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
756.55/756.83 c 691s| 3070k| 3070k| 0 | 0.0 |1215M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
758.95/759.27 c 693s| 3080k| 3080k| 0 | 0.0 |1219M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
761.45/761.70 c 695s| 3090k| 3090k| 0 | 0.0 |1223M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
763.85/764.16 c 697s| 3100k| 3100k| 0 | 0.0 |1227M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
766.35/766.62 c 700s| 3110k| 3110k| 0 | 0.0 |1231M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
768.74/769.07 c 702s| 3120k| 3120k| 0 | 0.0 |1235M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
771.24/771.54 c 704s| 3130k| 3130k| 0 | 0.0 |1238M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
773.74/774.01 c 706s| 3140k| 3140k| 0 | 0.0 |1242M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
776.15/776.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.15/776.47 c 709s| 3150k| 3150k| 0 | 0.0 |1246M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
778.64/778.93 c 711s| 3160k| 3160k| 0 | 0.0 |1250M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
781.04/781.39 c 713s| 3170k| 3170k| 0 | 0.0 |1254M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
783.54/783.85 c 715s| 3180k| 3180k| 0 | 0.0 |1258M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
786.04/786.30 c 717s| 3190k| 3190k| 0 | 0.0 |1262M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
788.44/788.76 c 720s| 3200k| 3200k| 0 | 0.0 |1266M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
790.94/791.21 c 722s| 3210k| 3210k| 0 | 0.0 |1270M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
793.34/793.67 c 724s| 3220k| 3220k| 0 | 0.0 |1274M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
795.84/796.11 c 726s| 3230k| 3230k| 0 | 0.0 |1278M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
798.24/798.56 c 729s| 3240k| 3240k| 0 | 0.0 |1282M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
800.74/801.00 c 731s| 3250k| 3250k| 0 | 0.0 |1286M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
803.13/803.43 c 733s| 3260k| 3260k| 0 | 0.0 |1290M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
805.53/805.86 c 735s| 3270k| 3270k| 0 | 0.0 |1293M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
807.93/808.30 c 738s| 3280k| 3280k| 0 | 0.0 |1297M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
810.44/810.74 c 740s| 3290k| 3290k| 0 | 0.0 |1301M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
812.83/813.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.83/813.18 c 742s| 3300k| 3300k| 0 | 0.0 |1305M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
815.33/815.63 c 744s| 3310k| 3310k| 0 | 0.0 |1309M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
817.73/818.07 c 746s| 3320k| 3320k| 0 | 0.0 |1313M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
820.23/820.52 c 749s| 3330k| 3330k| 0 | 0.0 |1317M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
822.63/822.97 c 751s| 3340k| 3340k| 0 | 0.0 |1321M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
825.13/825.41 c 753s| 3350k| 3350k| 0 | 0.0 |1325M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
827.52/827.86 c 755s| 3360k| 3360k| 0 | 0.0 |1329M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
830.03/830.30 c 758s| 3370k| 3370k| 0 | 0.0 |1333M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
832.43/832.75 c 760s| 3380k| 3380k| 0 | 0.0 |1337M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
834.92/835.20 c 762s| 3390k| 3390k| 0 | 0.0 |1340M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
837.32/837.65 c 764s| 3400k| 3400k| 0 | 0.0 |1344M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
839.82/840.10 c 767s| 3410k| 3410k| 0 | 0.0 |1348M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
842.23/842.55 c 769s| 3420k| 3420k| 0 | 0.0 |1352M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
844.72/845.00 c 771s| 3430k| 3430k| 0 | 0.0 |1356M| 59 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
846.12/846.42 c (node 3435834) switching to memory saving mode (mem: 1296.0M/1620.0M)
847.12/847.49 o 229
847.12/847.49 c * 773s| 3436k| 3436k| 0 | 0.0 |1359M| 252 | - | 476 | 546 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
848.32/848.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.32/848.64 c 774s| 3440k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 19 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
851.32/851.60 c 777s| 3450k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 80 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
854.12/854.40 c 780s| 3460k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 114 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
856.92/857.28 c 783s| 3470k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 164 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
859.93/860.29 c 785s| 3480k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 220 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
862.51/862.86 c 788s| 3490k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 250 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
865.22/865.52 c 790s| 3500k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 308 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
867.82/868.15 c 793s| 3510k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 352 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
870.42/870.70 c 795s| 3520k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 390 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
872.92/873.25 c 798s| 3530k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 433 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
875.51/875.81 c 800s| 3540k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 474 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
877.92/878.26 c 802s| 3550k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 501 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
880.41/880.72 c 805s| 3560k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 532 | 0 | 2.800000e+01 | 2.290000e+02 | 717.86%
881.31/881.62 o 228
881.31/881.62 c * 805s| 3563k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 543 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
883.02/883.35 c 807s| 3570k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 572 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
885.41/885.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.41/885.73 c 809s| 3580k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 601 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
890.21/890.56 c 814s| 3590k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 892 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
893.11/893.48 c 817s| 3600k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 | 992 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
896.50/896.87 c 820s| 3610k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1140 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
900.01/900.36 c 823s| 3620k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1305 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
902.61/902.97 c 826s| 3630k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1363 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
905.30/905.67 c 828s| 3640k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1433 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
908.00/908.38 c 831s| 3650k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1501 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
910.90/911.29 c 834s| 3660k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1586 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
913.50/913.88 c 836s| 3670k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1637 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
917.01/917.31 c 839s| 3680k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1784 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
920.10/920.48 c 842s| 3690k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1904 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
922.70/923.00 c 845s| 3700k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |1952 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
925.40/925.77 c 847s| 3710k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2028 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
928.20/928.53 c 850s| 3720k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2094 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
930.99/931.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.99/931.33 c 853s| 3730k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2165 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
933.51/933.85 c 855s| 3740k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2203 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
936.30/936.68 c 858s| 3750k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2270 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
939.50/939.83 c 861s| 3760k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2377 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
942.59/942.92 c 864s| 3770k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2464 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
946.49/946.81 c 867s| 3780k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2656 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
949.40/949.78 c 870s| 3790k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2752 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
952.09/952.40 c 873s| 3800k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2803 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
954.69/955.04 c 875s| 3810k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2864 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
957.29/957.64 c 878s| 3820k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |2917 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
960.19/960.58 c 880s| 3830k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |3003 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
963.08/963.41 c 883s| 3840k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |3076 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
965.58/965.94 c 885s| 3850k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |3123 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
968.98/969.37 c 889s| 3860k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |3268 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
971.59/971.97 c 891s| 3870k| 3436k| 0 | 0.0 |1359M| 253 | - | 476 | 546 | 0 | 0 | 0 |3317 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
974.49/974.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.49/974.80 c 894s| 3880k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3388 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
977.18/977.59 c 896s| 3890k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3469 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
979.79/980.19 c 899s| 3900k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3525 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
982.58/982.95 c 901s| 3910k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3600 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
985.69/986.08 c 904s| 3920k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3717 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
988.68/989.04 c 907s| 3930k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3808 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
991.38/991.70 c 910s| 3940k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3869 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
994.09/994.42 c 912s| 3950k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |3945 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
996.78/997.18 c 915s| 3960k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4016 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
999.59/999.99 c 918s| 3970k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4095 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1002.38/1002.77 c 920s| 3980k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4166 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1005.37/1005.75 c 923s| 3990k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4263 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1008.28/1008.64 c 926s| 4000k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4341 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1010.97/1011.35 c 928s| 4010k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4410 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1013.89/1014.28 c 931s| 4020k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4503 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1017.08/1017.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.08/1017.43 c 934s| 4030k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4610 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1019.78/1020.17 c 937s| 4040k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4674 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1022.48/1022.87 c 939s| 4050k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4741 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1025.17/1025.57 c 942s| 4060k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4809 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1027.87/1028.23 c 944s| 4070k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4873 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1030.67/1031.05 c 947s| 4080k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |4949 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1033.58/1033.98 c 950s| 4090k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5040 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1036.17/1036.51 c 952s| 4100k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5088 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1038.86/1039.27 c 955s| 4110k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5161 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1041.87/1042.25 c 957s| 4120k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5263 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1044.76/1045.10 c 960s| 4130k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5343 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1047.97/1048.31 c 963s| 4140k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5469 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1050.97/1051.31 c 966s| 4150k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5570 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1053.86/1054.20 c 969s| 4160k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5658 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1057.16/1057.55 c 972s| 4170k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5806 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1060.16/1060.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.16/1060.53 c 975s| 4180k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5913 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1062.96/1063.32 c 977s| 4190k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |5995 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1065.57/1065.91 c 980s| 4200k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6049 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1067.96/1068.32 c 982s| 4210k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6091 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1070.46/1070.90 c 985s| 4220k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6148 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1073.06/1073.46 c 987s| 4230k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6207 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1075.56/1075.90 c 989s| 4240k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6246 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1078.06/1078.47 c 992s| 4250k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6300 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1081.06/1081.47 c 994s| 4260k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6405 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1083.86/1084.24 c 997s| 4270k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6483 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1087.46/1087.86 c 1001s| 4280k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6659 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1089.85/1090.23 c 1003s| 4290k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6699 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1092.45/1092.80 c 1005s| 4300k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6769 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1095.16/1095.53 c 1008s| 4310k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6845 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1098.15/1098.50 c 1011s| 4320k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |6942 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1101.25/1101.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.25/1101.69 c 1014s| 4330k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7074 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1104.25/1104.69 c 1017s| 4340k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7177 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1107.15/1107.50 c 1019s| 4350k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7262 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1110.25/1110.60 c 1022s| 4360k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7379 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1112.94/1113.32 c 1025s| 4370k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7448 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1115.75/1116.19 c 1027s| 4380k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7533 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1118.55/1118.96 c 1030s| 4390k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7607 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1121.35/1121.73 c 1033s| 4400k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7684 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1124.45/1124.89 c 1036s| 4410k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7799 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1127.34/1127.70 c 1038s| 4420k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7872 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1130.04/1130.40 c 1041s| 4430k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |7936 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1132.94/1133.34 c 1044s| 4440k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8025 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1135.95/1136.39 c 1046s| 4450k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8128 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1139.15/1139.55 c 1049s| 4460k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8240 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1141.85/1142.29 c 1052s| 4470k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8306 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1144.74/1145.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.74/1145.15 c 1055s| 4480k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8385 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1147.64/1148.05 c 1058s| 4490k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8472 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1150.34/1150.79 c 1060s| 4500k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8543 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1153.14/1153.53 c 1063s| 4510k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8613 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1155.53/1155.97 c 1065s| 4520k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8652 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1158.43/1158.83 c 1068s| 4530k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8736 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1161.04/1161.44 c 1070s| 4540k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8787 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1163.63/1164.02 c 1073s| 4550k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8842 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1166.84/1167.25 c 1076s| 4560k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |8971 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1169.84/1170.25 c 1078s| 4570k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9080 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1172.93/1173.39 c 1081s| 4580k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9203 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1175.93/1176.36 c 1084s| 4590k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9307 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1178.73/1179.16 c 1087s| 4600k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9387 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1181.63/1182.01 c 1090s| 4610k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9471 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1185.63/1186.02 c 1093s| 4620k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9697 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1188.92/1189.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.92/1189.38 c 1097s| 4630k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 |9853 | 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1192.53/1192.93 c 1100s| 4640k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1195.53/1195.94 c 1103s| 4650k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1199.13/1199.50 c 1106s| 4660k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1202.02/1202.44 c 1109s| 4670k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1205.23/1205.64 c 1112s| 4680k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1207.92/1208.36 c 1115s| 4690k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1211.52/1211.96 c 1118s| 4700k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1215.03/1215.42 c 1121s| 4710k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 10k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1217.81/1218.24 c 1124s| 4720k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1220.32/1220.75 c 1126s| 4730k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1223.32/1223.78 c 1129s| 4740k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1226.02/1226.42 c 1132s| 4750k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1228.62/1229.09 c 1134s| 4760k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1231.72/1232.11 c 1137s| 4770k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1234.42/1234.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.42/1234.80 c 1140s| 4780k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1237.41/1237.89 c 1143s| 4790k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1240.61/1241.08 c 1146s| 4800k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1243.40/1243.84 c 1148s| 4810k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1246.70/1247.11 c 1151s| 4820k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 11k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1249.81/1250.29 c 1154s| 4830k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1252.61/1253.02 c 1157s| 4840k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1255.31/1255.72 c 1160s| 4850k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1258.60/1259.01 c 1163s| 4860k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1261.60/1262.07 c 1166s| 4870k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1264.51/1264.90 c 1168s| 4880k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1267.20/1267.65 c 1171s| 4890k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1269.90/1270.34 c 1173s| 4900k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1272.80/1273.24 c 1176s| 4910k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1275.61/1276.06 c 1179s| 4920k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1278.69/1279.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.69/1279.13 c 1182s| 4930k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 12k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1282.20/1282.64 c 1185s| 4940k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1285.09/1285.54 c 1188s| 4950k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1288.29/1288.72 c 1191s| 4960k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1291.09/1291.50 c 1193s| 4970k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1294.49/1294.96 c 1197s| 4980k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1297.59/1298.06 c 1200s| 4990k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1300.90/1301.33 c 1203s| 5000k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1303.79/1304.28 c 1206s| 5010k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1306.59/1307.01 c 1208s| 5020k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 13k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1309.49/1309.96 c 1211s| 5030k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1312.19/1312.69 c 1214s| 5040k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1315.28/1315.71 c 1216s| 5050k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1318.68/1319.11 c 1220s| 5060k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1321.39/1321.84 c 1222s| 5070k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1324.28/1324.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.28/1324.74 c 1225s| 5080k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1326.98/1327.47 c 1228s| 5090k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1329.99/1330.44 c 1230s| 5100k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1333.28/1333.77 c 1234s| 5110k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 14k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1337.38/1337.80 c 1237s| 5120k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1340.48/1340.92 c 1240s| 5130k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1343.68/1344.19 c 1244s| 5140k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1346.58/1347.06 c 1246s| 5150k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1350.08/1350.50 c 1250s| 5160k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1353.08/1353.53 c 1252s| 5170k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1356.07/1356.59 c 1255s| 5180k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1358.97/1359.40 c 1258s| 5190k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1361.45/1361.98 c 1260s| 5200k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1364.25/1364.77 c 1263s| 5210k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1367.15/1367.66 c 1266s| 5220k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1369.65/1370.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.65/1370.15 c 1268s| 5230k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1372.35/1372.84 c 1271s| 5240k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 15k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1375.85/1376.30 c 1274s| 5250k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1378.54/1379.08 c 1277s| 5260k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1381.45/1381.91 c 1279s| 5270k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1384.14/1384.69 c 1282s| 5280k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1387.05/1387.59 c 1285s| 5290k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1389.74/1390.24 c 1287s| 5300k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1392.34/1392.89 c 1290s| 5310k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1395.25/1395.76 c 1292s| 5320k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1398.15/1398.64 c 1295s| 5330k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1400.85/1401.38 c 1298s| 5340k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1404.84/1405.34 c 1301s| 5350k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1407.74/1408.25 c 1304s| 5360k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 16k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1410.54/1411.05 c 1307s| 5370k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1413.54/1414.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.54/1414.06 c 1310s| 5380k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1416.54/1417.00 c 1312s| 5390k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1419.23/1419.70 c 1315s| 5400k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1422.14/1422.61 c 1318s| 5410k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1424.93/1425.43 c 1320s| 5420k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1427.94/1428.49 c 1323s| 5430k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1430.84/1431.32 c 1326s| 5440k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1433.63/1434.19 c 1329s| 5450k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1437.03/1437.53 c 1332s| 5460k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1439.83/1440.30 c 1335s| 5470k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 17k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1442.64/1443.11 c 1337s| 5480k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1445.53/1446.07 c 1340s| 5490k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1448.32/1448.86 c 1343s| 5500k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1451.43/1451.97 c 1346s| 5510k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1454.73/1455.28 c 1349s| 5520k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1458.14/1458.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.14/1458.66 c 1352s| 5530k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1461.13/1461.66 c 1355s| 5540k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1464.32/1464.83 c 1358s| 5550k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1467.52/1468.08 c 1361s| 5560k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 18k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1471.32/1471.86 c 1365s| 5570k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1474.62/1475.11 c 1368s| 5580k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1477.62/1478.16 c 1371s| 5590k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1480.61/1481.18 c 1373s| 5600k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1483.91/1484.45 c 1377s| 5610k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1487.11/1487.69 c 1380s| 5620k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1490.81/1491.32 c 1383s| 5630k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1494.31/1494.81 c 1386s| 5640k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 19k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1498.01/1498.52 c 1390s| 5650k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1501.01/1501.57 c 1393s| 5660k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1504.01/1504.54 c 1396s| 5670k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1507.20/1507.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.20/1507.77 c 1399s| 5680k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1510.20/1510.73 c 1402s| 5690k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1513.20/1513.72 c 1404s| 5700k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1516.10/1516.61 c 1407s| 5710k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1519.10/1519.68 c 1410s| 5720k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1522.20/1522.74 c 1413s| 5730k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1524.70/1525.22 c 1415s| 5740k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 20k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1527.40/1527.91 c 1418s| 5750k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1530.19/1530.72 c 1420s| 5760k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1533.39/1533.95 c 1424s| 5770k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1536.60/1537.17 c 1427s| 5780k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1539.19/1539.72 c 1429s| 5790k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1541.90/1542.45 c 1432s| 5800k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1545.19/1545.78 c 1435s| 5810k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1548.09/1548.61 c 1437s| 5820k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1550.69/1551.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.69/1551.27 c 1440s| 5830k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1553.39/1553.98 c 1442s| 5840k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1556.19/1556.76 c 1445s| 5850k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 21k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1559.68/1560.23 c 1448s| 5860k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1562.60/1563.18 c 1451s| 5870k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1565.69/1566.26 c 1454s| 5880k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1568.78/1569.31 c 1457s| 5890k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1571.99/1572.56 c 1460s| 5900k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1574.98/1575.50 c 1463s| 5910k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1577.89/1578.49 c 1466s| 5920k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1580.88/1581.40 c 1468s| 5930k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1583.88/1584.42 c 1471s| 5940k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1586.68/1587.22 c 1474s| 5950k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1589.48/1590.04 c 1477s| 5960k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 22k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1592.18/1592.77 c 1479s| 5970k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1594.78/1595.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.78/1595.35 c 1482s| 5980k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1597.68/1598.24 c 1484s| 5990k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1600.27/1600.87 c 1487s| 6000k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1603.18/1603.78 c 1490s| 6010k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1606.07/1606.66 c 1492s| 6020k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1609.27/1609.89 c 1495s| 6030k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1612.27/1612.88 c 1498s| 6040k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1615.17/1615.72 c 1501s| 6050k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1618.06/1618.64 c 1504s| 6060k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1621.06/1621.69 c 1507s| 6070k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1624.07/1624.61 c 1509s| 6080k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 23k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1626.77/1627.35 c 1512s| 6090k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1629.57/1630.17 c 1515s| 6100k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1632.67/1633.27 c 1517s| 6110k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1635.56/1636.19 c 1520s| 6120k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1638.66/1639.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.66/1639.27 c 1523s| 6130k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1641.56/1642.14 c 1526s| 6140k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1644.06/1644.68 c 1528s| 6150k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1646.56/1647.13 c 1531s| 6160k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1650.85/1651.45 c 1535s| 6170k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1653.96/1654.56 c 1538s| 6180k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 24k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1657.26/1657.83 c 1541s| 6190k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1660.46/1661.08 c 1544s| 6200k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1664.56/1665.18 c 1548s| 6210k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1667.75/1668.30 c 1551s| 6220k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1670.75/1671.38 c 1554s| 6230k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1673.86/1674.43 c 1557s| 6240k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1677.05/1677.65 c 1560s| 6250k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1680.55/1681.10 c 1563s| 6260k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 25k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1683.56/1684.12 c 1566s| 6270k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1686.64/1687.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.64/1687.23 c 1569s| 6280k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1689.65/1690.29 c 1572s| 6290k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1692.95/1693.54 c 1575s| 6300k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1696.75/1697.38 c 1579s| 6310k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1700.25/1700.83 c 1582s| 6320k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1703.35/1703.91 c 1585s| 6330k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 26k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1706.65/1707.27 c 1588s| 6340k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1709.64/1710.26 c 1591s| 6350k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1712.54/1713.15 c 1594s| 6360k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1715.64/1716.21 c 1597s| 6370k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1718.75/1719.33 c 1599s| 6380k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1721.94/1722.60 c 1603s| 6390k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1724.73/1725.34 c 1605s| 6400k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1727.63/1728.22 c 1608s| 6410k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1730.64/1731.25 c 1611s| 6420k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1733.23/1733.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.23/1733.86 c 1613s| 6430k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1736.03/1736.68 c 1616s| 6440k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 27k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1740.33/1740.95 c 1620s| 6450k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1743.63/1744.27 c 1623s| 6460k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1747.23/1747.89 c 1627s| 6470k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1750.93/1751.58 c 1630s| 6480k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1754.13/1754.74 c 1633s| 6490k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1756.92/1757.55 c 1636s| 6500k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1759.63/1760.23 c 1638s| 6510k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1762.42/1763.02 c 1641s| 6520k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1765.03/1765.67 c 1643s| 6530k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 28k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1767.82/1768.48 c 1646s| 6540k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1771.72/1772.31 c 1650s| 6550k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1774.93/1775.51 c 1653s| 6560k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1777.62/1778.25 c 1655s| 6570k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1780.62/1781.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.62/1781.26 c 1658s| 6580k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1784.22/1784.84 c 1662s| 6590k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1787.32/1787.98 c 1665s| 6600k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1790.22/1790.85 c 1667s| 6610k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1793.12/1793.78 c 1670s| 6620k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 29k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1796.01/1796.65 c 1673s| 6630k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 30k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1798.71/1799.37 c 1675s| 6640k| 3436k| 0 | 0.0 |1359M| 255 | - | 476 | 546 | 0 | 0 | 0 | 30k| 0 | 2.800000e+01 | 2.280000e+02 | 714.29%
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1676.57
1800.03/1800.61 c Solving Nodes : 6643687
1800.03/1800.61 c Primal Bound : +2.28000000000000e+02 (5 solutions)
1800.03/1800.61 c Dual Bound : +2.80000000000000e+01
1800.03/1800.61 c Gap : 714.29 %
1800.03/1800.61 s SATISFIABLE
1800.03/1800.61 v x476 x475 x474 -x473 x472 x471 -x470 -x469 x468 -x467 x466 x465 -x464 x463 x462 -x461 x460 x459 -x458 x457 -x456 x455 -x454 x453
1800.03/1800.61 v x452 -x451 x450 -x449 -x448 x447 x446 -x445 x444 x443 -x442 x441 x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430
1800.03/1800.61 v x429 -x428 -x427 x426 -x425 x424 -x423 x422 x421 -x420 -x419 x418 -x417 -x416 -x415 x414 x413 x412 x411 x410 -x409 -x408
1800.03/1800.61 v -x407 -x406 -x405 x404 x403 -x402 x401 x400 -x399 -x398 x397 x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386
1800.03/1800.61 v -x385 -x384 x383 x382 x381 -x380 -x379 x378 x377 x376 x375 x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 x365 x364 x363
1800.03/1800.61 v x362 -x361 x360 x359 -x358 x357 x356 -x355 -x354 x353 -x352 x351 -x350 x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340
1800.03/1800.61 v -x339 x338 -x337 -x336 -x335 -x334 x333 x332 x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 x323 x322 -x321 x320 -x319 -x318
1800.03/1800.61 v x317 x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 x308 x307 -x306 x305 -x304 -x303 -x302 x301 -x300 x299 -x298 -x297 x296
1800.03/1800.61 v -x295 x294 x293 -x292 x291 -x290 -x289 x288 x287 x286 x285 x284 -x283 -x282 -x281 x280 x279 -x278 x277 -x276 -x275 -x274 x273
1800.03/1800.61 v x272 x271 x270 -x269 x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 x255 -x254 -x253 x252 x251
1800.03/1800.61 v x250 -x249 x248 -x247 x246 x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 x229 x228
1800.03/1800.61 v x227 -x226 -x225 -x224 x223 x222 -x221 -x220 x219 -x218 x217 -x216 x215 x214 x213 -x212 x211 -x210 x209 x208 -x207 x206 x205
1800.03/1800.61 v x204 x203 -x202 x201 x200 x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 x189 x188 x187 -x186 -x185 x184 x183 -x182
1800.03/1800.61 v x181 -x180 x179 -x178 x177 x176 x175 x174 -x173 x172 x171 -x170 -x169 x168 x167 x166 x165 x164 x163 x162 x161 -x160 -x159
1800.03/1800.61 v x158 -x157 -x156 x155 -x154 -x153 x152 x151 -x150 x149 -x148 x147 -x146 x145 x144 -x143 x142 -x141 -x140 x139 -x138 x137 x136
1800.03/1800.61 v -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 x117 x116 x115 x114
1800.03/1800.61 v x113 x112 -x111 x110 x109 -x108 x107 x106 x105 x104 -x103 -x102 x101 x100 x99 -x98 x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 x89
1800.03/1800.61 v -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 x62 x61
1800.03/1800.61 v -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 -x34
1800.03/1800.61 v -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.03/1800.61 v -x5 -x4 -x3 x2 x1
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1676.57
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664051-1276365055.opb
1800.03/1800.61 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 476 initial, 476 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664051-1276365055.opb
1800.03/1800.61 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 546 initial, 546 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 0.02 0 0 0 0 0 17 254 537
1800.03/1800.61 c setppc : 0.00 0 0 0 0 0 31 0 0
1800.03/1800.61 c linear : 0.01 0 0 0 0 0 0 0 27
1800.03/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 457 0 11116949 0 5045938 30140 8786020 0 0 0
1800.03/1800.61 c setppc : 87 0 6397205 0 3253916 0 1561499 0 0 0
1800.03/1800.61 c logicor : 2+ 0 182946 0 3437175 0 15221 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 5045938 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c knapsack : 676.77 0.00 633.45 0.00 43.32
1800.03/1800.61 c setppc : 73.30 0.00 11.56 0.00 61.74
1800.03/1800.61 c logicor : 3.57 0.00 0.36 0.00 3.21
1800.03/1800.61 c countsols : 2.31 0.00 0.00 0.00 2.31
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 6.68 2 0 0
1800.03/1800.61 c rootredcost : 6.24 0 0 0
1800.03/1800.61 c pseudoobj : 335.39 12694920 1578171 11644870
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 249.26 30140 30140 2592395 248.7 0 0.0 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.00 24 0 0 0.0 0 0.0 -
1800.03/1800.61 c applied globally : - - - 0 0.0 - - -
1800.03/1800.61 c applied locally : - - - 30140 203.0 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.61 c redcost : 0.00 0 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 0.00 0 0 0 0 0
1800.03/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.61 c cmir : 0.00 0 0 0 0 0
1800.03/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.61 c clique : 0.00 0 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 0 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 297.72 5045936 0 0 0 0 10091872
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 0.26 - 2
1800.03/1800.61 c oneopt : 3.90 0 0
1800.03/1800.61 c trivial : 0.00 2 3
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 0 0
1800.03/1800.61 c rounding : 0.00 0 0
1800.03/1800.61 c shifting : 0.00 0 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.00 0 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 2.70 0 0
1800.03/1800.61 c trysol : 3.00 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.61 c (at root node) : - 0 0 0.00 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 6643687
1800.03/1800.61 c nodes (total) : 6643687
1800.03/1800.61 c nodes left : 3436034
1800.03/1800.61 c max depth : 255
1800.03/1800.61 c max depth (total): 255
1800.03/1800.61 c backtracks : 1018425 (15.3%)
1800.03/1800.61 c delayed cutoffs : 12143
1800.03/1800.61 c repropagations : 16221 (116976 domain reductions, 10586 cutoffs)
1800.03/1800.61 c avg switch length: 2.49
1800.03/1800.61 c switching time : 84.91
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 5 (3 improvements)
1800.03/1800.61 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.61 c Primal Bound : +2.28000000000000e+02 (in run 1, after 3563122 nodes, 805.30 seconds, depth 247, found by <relaxation>)
1800.03/1800.61 c Dual Bound : +2.80000000000000e+01
1800.03/1800.61 c Gap : 714.29 %
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 0