0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664050-1276368181.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, 22 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.03/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 476 upgd conss, 2 impls, 0 clqs
0.03/0.06 c (round 3) 0 del vars, 5 del conss, 0 chg bounds, 122 chg sides, 336 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.03/0.07 c (round 4) 0 del vars, 48 del conss, 0 chg bounds, 225 chg sides, 503 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.03/0.08 c (round 5) 0 del vars, 63 del conss, 0 chg bounds, 255 chg sides, 565 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.03/0.08 c (round 6) 0 del vars, 65 del conss, 0 chg bounds, 266 chg sides, 590 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.03/0.09 c (round 7) 0 del vars, 65 del conss, 0 chg bounds, 270 chg sides, 607 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/476 (21.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (8 rounds):
0.09/0.10 c 0 deleted vars, 65 deleted constraints, 0 tightened bounds, 0 added holes, 270 changed sides, 607 changed coefficients
0.09/0.10 c 216 implications, 0 cliques
0.09/0.10 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 544 constraints
0.09/0.10 c 455 constraints of type <knapsack>
0.09/0.10 c 86 constraints of type <setppc>
0.09/0.10 c 3 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.99
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 2 | 0 | - |2080k| 0 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.760000e+02 | Inf
2.39/2.46 c 2.2s| 10000 | 10001 | 0 | 0.0 |6340k| 39 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 1.900000e+01 | 4.760000e+02 |2405.26%
4.79/4.80 c 4.3s| 20000 | 20001 | 0 | 0.0 | 10M| 41 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.760000e+02 |2280.00%
7.08/7.14 c 6.5s| 30000 | 30001 | 0 | 0.0 | 14M| 43 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.760000e+02 |2166.67%
9.39/9.47 c 8.6s| 40000 | 40001 | 0 | 0.0 | 18M| 45 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
11.79/11.80 c 10.7s| 50000 | 50001 | 0 | 0.0 | 22M| 45 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.760000e+02 |2063.64%
14.20/14.24 c 12.9s| 60000 | 60001 | 0 | 0.0 | 26M| 51 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
16.68/16.73 c 15.2s| 70000 | 70001 | 0 | 0.0 | 30M| 51 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
19.18/19.20 c 17.5s| 80000 | 80001 | 0 | 0.0 | 34M| 51 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
21.58/21.66 c 19.7s| 90000 | 90001 | 0 | 0.0 | 38M| 51 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.760000e+02 |1969.57%
24.09/24.14 c 21.9s|100000 |100001 | 0 | 0.0 | 43M| 53 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
26.59/26.62 c 24.2s|110000 |110001 | 0 | 0.0 | 47M| 53 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
28.98/29.08 c 26.4s|120000 |120001 | 0 | 0.0 | 51M| 53 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
31.49/31.54 c 28.7s|130000 |130001 | 0 | 0.0 | 55M| 53 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
33.88/33.98 c 30.9s|140000 |140001 | 0 | 0.0 | 58M| 53 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
36.38/36.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.38/36.40 c 33.1s|150000 |150001 | 0 | 0.0 | 62M| 53 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.760000e+02 |1883.33%
38.78/38.84 c 35.3s|160000 |160001 | 0 | 0.0 | 66M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
41.28/41.30 c 37.6s|170000 |170001 | 0 | 0.0 | 70M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
43.68/43.75 c 39.8s|180000 |180001 | 0 | 0.0 | 74M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
46.09/46.19 c 42.0s|190000 |190001 | 0 | 0.0 | 78M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
48.58/48.64 c 44.2s|200000 |200001 | 0 | 0.0 | 82M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
50.98/51.07 c 46.5s|210000 |210001 | 0 | 0.0 | 86M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
53.47/53.50 c 48.7s|220000 |220001 | 0 | 0.0 | 90M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
55.87/55.92 c 50.9s|230000 |230001 | 0 | 0.0 | 94M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
58.28/58.33 c 53.0s|240000 |240001 | 0 | 0.0 | 98M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
60.67/60.73 c 55.3s|250000 |250001 | 0 | 0.0 | 102M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
63.07/63.12 c 57.4s|260000 |260001 | 0 | 0.0 | 105M| 57 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.760000e+02 |1804.00%
65.47/65.54 c 59.6s|270000 |270001 | 0 | 0.0 | 109M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
67.87/67.99 c 61.9s|280000 |280001 | 0 | 0.0 | 113M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
70.38/70.44 c 64.1s|290000 |290001 | 0 | 0.0 | 117M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
72.77/72.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.77/72.88 c 66.3s|300000 |300001 | 0 | 0.0 | 121M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
75.27/75.32 c 68.6s|310000 |310001 | 0 | 0.0 | 125M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
77.67/77.76 c 70.8s|320000 |320001 | 0 | 0.0 | 129M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
80.06/80.19 c 73.0s|330000 |330001 | 0 | 0.0 | 133M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
82.56/82.62 c 75.2s|340000 |340001 | 0 | 0.0 | 137M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
84.97/85.03 c 77.4s|350000 |350001 | 0 | 0.0 | 141M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
87.36/87.44 c 79.6s|360000 |360001 | 0 | 0.0 | 145M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
89.76/89.85 c 81.8s|370000 |370001 | 0 | 0.0 | 149M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
92.16/92.25 c 84.0s|380000 |380001 | 0 | 0.0 | 152M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
94.57/94.65 c 86.2s|390000 |390001 | 0 | 0.0 | 156M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
96.97/97.04 c 88.3s|400000 |400001 | 0 | 0.0 | 160M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
99.36/99.44 c 90.5s|410000 |410001 | 0 | 0.0 | 164M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
101.76/101.82 c 92.7s|420000 |420001 | 0 | 0.0 | 168M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
104.16/104.20 c 94.8s|430000 |430001 | 0 | 0.0 | 172M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
106.46/106.57 c 97.0s|440000 |440001 | 0 | 0.0 | 175M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
108.86/108.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.86/108.93 c 99.1s|450000 |450001 | 0 | 0.0 | 179M| 59 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.760000e+02 |1730.77%
111.16/111.29 c 101s|460000 |460001 | 0 | 0.0 | 183M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
113.66/113.72 c 103s|470000 |470001 | 0 | 0.0 | 187M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
116.06/116.15 c 106s|480000 |480001 | 0 | 0.0 | 191M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
118.45/118.58 c 108s|490000 |490001 | 0 | 0.0 | 195M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
120.96/121.01 c 110s|500000 |500001 | 0 | 0.0 | 199M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
123.35/123.43 c 112s|510000 |510001 | 0 | 0.0 | 203M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
125.75/125.85 c 115s|520000 |520001 | 0 | 0.0 | 207M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
128.16/128.27 c 117s|530000 |530001 | 0 | 0.0 | 211M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
130.66/130.70 c 119s|540000 |540001 | 0 | 0.0 | 215M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
133.06/133.11 c 121s|550000 |550001 | 0 | 0.0 | 218M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
135.45/135.53 c 123s|560000 |560001 | 0 | 0.0 | 222M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
137.85/137.93 c 126s|570000 |570001 | 0 | 0.0 | 226M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
140.25/140.33 c 128s|580000 |580001 | 0 | 0.0 | 230M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
142.64/142.73 c 130s|590000 |590001 | 0 | 0.0 | 234M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
145.05/145.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.05/145.13 c 132s|600000 |600001 | 0 | 0.0 | 238M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
147.45/147.53 c 134s|610000 |610001 | 0 | 0.0 | 242M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
149.85/149.92 c 137s|620000 |620001 | 0 | 0.0 | 246M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
152.24/152.31 c 139s|630000 |630001 | 0 | 0.0 | 249M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
154.64/154.70 c 141s|640000 |640001 | 0 | 0.0 | 253M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
156.94/157.09 c 143s|650000 |650001 | 0 | 0.0 | 257M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
159.35/159.49 c 145s|660000 |660001 | 0 | 0.0 | 261M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
161.74/161.86 c 147s|670000 |670001 | 0 | 0.0 | 265M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
164.14/164.24 c 150s|680000 |680001 | 0 | 0.0 | 269M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
166.54/166.62 c 152s|690000 |690001 | 0 | 0.0 | 273M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
168.94/169.00 c 154s|700000 |700001 | 0 | 0.0 | 276M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
171.24/171.37 c 156s|710000 |710001 | 0 | 0.0 | 280M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
173.65/173.74 c 158s|720000 |720001 | 0 | 0.0 | 284M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
176.04/176.11 c 160s|730000 |730001 | 0 | 0.0 | 288M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
178.34/178.47 c 162s|740000 |740001 | 0 | 0.0 | 292M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
180.74/180.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.74/180.83 c 165s|750000 |750001 | 0 | 0.0 | 296M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
183.04/183.18 c 167s|760000 |760001 | 0 | 0.0 | 300M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
185.43/185.53 c 169s|770000 |770001 | 0 | 0.0 | 303M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
187.73/187.87 c 171s|780000 |780001 | 0 | 0.0 | 307M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
190.14/190.22 c 173s|790000 |790001 | 0 | 0.0 | 311M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
192.44/192.54 c 175s|800000 |800001 | 0 | 0.0 | 315M| 61 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.760000e+02 |1662.96%
194.83/194.91 c 177s|810000 |810001 | 0 | 0.0 | 319M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
197.23/197.34 c 180s|820000 |820001 | 0 | 0.0 | 323M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
199.63/199.76 c 182s|830000 |830001 | 0 | 0.0 | 327M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
202.03/202.18 c 184s|840000 |840001 | 0 | 0.0 | 331M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
204.44/204.60 c 186s|850000 |850001 | 0 | 0.0 | 334M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
206.93/207.02 c 188s|860000 |860001 | 0 | 0.0 | 338M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
209.32/209.43 c 191s|870000 |870001 | 0 | 0.0 | 342M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
211.73/211.84 c 193s|880000 |880001 | 0 | 0.0 | 346M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
214.13/214.26 c 195s|890000 |890001 | 0 | 0.0 | 350M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
216.53/216.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.53/216.68 c 197s|900000 |900001 | 0 | 0.0 | 354M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
219.03/219.10 c 199s|910000 |910001 | 0 | 0.0 | 358M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
221.43/221.51 c 202s|920000 |920001 | 0 | 0.0 | 362M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
223.82/223.92 c 204s|930000 |930001 | 0 | 0.0 | 366M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
226.22/226.32 c 206s|940000 |940001 | 0 | 0.0 | 370M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
228.62/228.73 c 208s|950000 |950001 | 0 | 0.0 | 374M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
231.02/231.12 c 210s|960000 |960001 | 0 | 0.0 | 377M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
233.42/233.51 c 213s|970000 |970001 | 0 | 0.0 | 381M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
235.82/235.90 c 215s|980000 |980001 | 0 | 0.0 | 385M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
238.12/238.28 c 217s|990000 |990001 | 0 | 0.0 | 389M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
240.51/240.66 c 219s| 1000k| 1000k| 0 | 0.0 | 393M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
242.92/243.06 c 221s| 1010k| 1010k| 0 | 0.0 | 397M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
245.31/245.44 c 224s| 1020k| 1020k| 0 | 0.0 | 401M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
247.71/247.83 c 226s| 1030k| 1030k| 0 | 0.0 | 405M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
250.11/250.21 c 228s| 1040k| 1040k| 0 | 0.0 | 408M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
252.51/252.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.51/252.60 c 230s| 1050k| 1050k| 0 | 0.0 | 412M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
254.80/254.99 c 232s| 1060k| 1060k| 0 | 0.0 | 416M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
257.21/257.37 c 234s| 1070k| 1070k| 0 | 0.0 | 420M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
259.60/259.76 c 237s| 1080k| 1080k| 0 | 0.0 | 424M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
262.01/262.13 c 239s| 1090k| 1090k| 0 | 0.0 | 428M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
264.41/264.51 c 241s| 1100k| 1100k| 0 | 0.0 | 431M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
266.70/266.88 c 243s| 1110k| 1110k| 0 | 0.0 | 435M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
269.11/269.26 c 245s| 1120k| 1120k| 0 | 0.0 | 439M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
271.51/271.63 c 247s| 1130k| 1130k| 0 | 0.0 | 443M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
273.90/274.01 c 250s| 1140k| 1140k| 0 | 0.0 | 447M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
276.20/276.39 c 252s| 1150k| 1150k| 0 | 0.0 | 451M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
278.60/278.77 c 254s| 1160k| 1160k| 0 | 0.0 | 455M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
281.00/281.13 c 256s| 1170k| 1170k| 0 | 0.0 | 458M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
283.39/283.50 c 258s| 1180k| 1180k| 0 | 0.0 | 462M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
285.70/285.86 c 260s| 1190k| 1190k| 0 | 0.0 | 466M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
288.10/288.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.10/288.23 c 262s| 1200k| 1200k| 0 | 0.0 | 470M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
290.40/290.59 c 265s| 1210k| 1210k| 0 | 0.0 | 474M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
292.79/292.96 c 267s| 1220k| 1220k| 0 | 0.0 | 478M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
295.20/295.32 c 269s| 1230k| 1230k| 0 | 0.0 | 481M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
297.49/297.68 c 271s| 1240k| 1240k| 0 | 0.0 | 485M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
299.89/300.03 c 273s| 1250k| 1250k| 0 | 0.0 | 489M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
302.20/302.38 c 275s| 1260k| 1260k| 0 | 0.0 | 493M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
304.60/304.74 c 278s| 1270k| 1270k| 0 | 0.0 | 497M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
306.89/307.09 c 280s| 1280k| 1280k| 0 | 0.0 | 500M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
309.29/309.44 c 282s| 1290k| 1290k| 0 | 0.0 | 504M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
311.60/311.77 c 284s| 1300k| 1300k| 0 | 0.0 | 508M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
313.99/314.11 c 286s| 1310k| 1310k| 0 | 0.0 | 512M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
316.29/316.44 c 288s| 1320k| 1320k| 0 | 0.0 | 516M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
318.59/318.77 c 290s| 1330k| 1330k| 0 | 0.0 | 519M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
320.89/321.08 c 292s| 1340k| 1340k| 0 | 0.0 | 523M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
323.19/323.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.19/323.39 c 294s| 1350k| 1350k| 0 | 0.0 | 527M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
325.50/325.68 c 297s| 1360k| 1360k| 0 | 0.0 | 531M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
327.79/327.96 c 299s| 1370k| 1370k| 0 | 0.0 | 534M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.760000e+02 |1600.00%
330.18/330.33 c 301s| 1380k| 1380k| 0 | 0.0 | 538M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
332.58/332.75 c 303s| 1390k| 1390k| 0 | 0.0 | 542M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
334.99/335.17 c 305s| 1400k| 1400k| 0 | 0.0 | 546M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
337.39/337.59 c 307s| 1410k| 1410k| 0 | 0.0 | 550M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
339.88/340.01 c 310s| 1420k| 1420k| 0 | 0.0 | 554M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
342.28/342.42 c 312s| 1430k| 1430k| 0 | 0.0 | 558M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
344.68/344.84 c 314s| 1440k| 1440k| 0 | 0.0 | 562M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
347.08/347.25 c 316s| 1450k| 1450k| 0 | 0.0 | 566M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
349.47/349.67 c 318s| 1460k| 1460k| 0 | 0.0 | 570M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
351.89/352.08 c 321s| 1470k| 1470k| 0 | 0.0 | 574M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
354.38/354.50 c 323s| 1480k| 1480k| 0 | 0.0 | 578M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
356.78/356.91 c 325s| 1490k| 1490k| 0 | 0.0 | 581M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
359.17/359.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.17/359.33 c 327s| 1500k| 1500k| 0 | 0.0 | 585M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
361.57/361.75 c 329s| 1510k| 1510k| 0 | 0.0 | 589M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
363.98/364.15 c 332s| 1520k| 1520k| 0 | 0.0 | 593M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
366.38/366.55 c 334s| 1530k| 1530k| 0 | 0.0 | 597M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
368.78/368.96 c 336s| 1540k| 1540k| 0 | 0.0 | 601M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
371.17/371.37 c 338s| 1550k| 1550k| 0 | 0.0 | 605M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
373.57/373.77 c 340s| 1560k| 1560k| 0 | 0.0 | 609M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
375.97/376.18 c 343s| 1570k| 1570k| 0 | 0.0 | 613M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
378.37/378.59 c 345s| 1580k| 1580k| 0 | 0.0 | 616M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
380.77/380.99 c 347s| 1590k| 1590k| 0 | 0.0 | 620M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
383.17/383.38 c 349s| 1600k| 1600k| 0 | 0.0 | 624M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
385.57/385.77 c 351s| 1610k| 1610k| 0 | 0.0 | 628M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
387.97/388.17 c 353s| 1620k| 1620k| 0 | 0.0 | 632M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
390.38/390.56 c 356s| 1630k| 1630k| 0 | 0.0 | 636M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
392.77/392.95 c 358s| 1640k| 1640k| 0 | 0.0 | 640M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
395.17/395.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.17/395.34 c 360s| 1650k| 1650k| 0 | 0.0 | 643M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
397.56/397.74 c 362s| 1660k| 1660k| 0 | 0.0 | 647M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
399.97/400.14 c 364s| 1670k| 1670k| 0 | 0.0 | 651M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
402.37/402.53 c 367s| 1680k| 1680k| 0 | 0.0 | 655M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
404.76/404.92 c 369s| 1690k| 1690k| 0 | 0.0 | 659M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
407.16/407.31 c 371s| 1700k| 1700k| 0 | 0.0 | 663M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
409.56/409.70 c 373s| 1710k| 1710k| 0 | 0.0 | 667M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
411.86/412.08 c 375s| 1720k| 1720k| 0 | 0.0 | 670M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
414.26/414.47 c 377s| 1730k| 1730k| 0 | 0.0 | 674M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
416.66/416.86 c 380s| 1740k| 1740k| 0 | 0.0 | 678M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
419.06/419.24 c 382s| 1750k| 1750k| 0 | 0.0 | 682M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
421.46/421.63 c 384s| 1760k| 1760k| 0 | 0.0 | 686M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
423.86/424.02 c 386s| 1770k| 1770k| 0 | 0.0 | 690M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
426.26/426.40 c 388s| 1780k| 1780k| 0 | 0.0 | 694M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
428.55/428.77 c 390s| 1790k| 1790k| 0 | 0.0 | 697M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
430.96/431.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.96/431.15 c 393s| 1800k| 1800k| 0 | 0.0 | 701M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
433.35/433.54 c 395s| 1810k| 1810k| 0 | 0.0 | 705M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
435.76/435.91 c 397s| 1820k| 1820k| 0 | 0.0 | 709M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
438.05/438.29 c 399s| 1830k| 1830k| 0 | 0.0 | 713M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
440.45/440.67 c 401s| 1840k| 1840k| 0 | 0.0 | 717M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
442.85/443.05 c 403s| 1850k| 1850k| 0 | 0.0 | 720M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
445.25/445.43 c 406s| 1860k| 1860k| 0 | 0.0 | 724M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
447.65/447.80 c 408s| 1870k| 1870k| 0 | 0.0 | 728M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
449.95/450.17 c 410s| 1880k| 1880k| 0 | 0.0 | 732M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
452.34/452.55 c 412s| 1890k| 1890k| 0 | 0.0 | 736M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
454.74/454.92 c 414s| 1900k| 1900k| 0 | 0.0 | 740M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
457.15/457.30 c 416s| 1910k| 1910k| 0 | 0.0 | 743M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
459.44/459.68 c 419s| 1920k| 1920k| 0 | 0.0 | 747M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
461.86/462.04 c 421s| 1930k| 1930k| 0 | 0.0 | 751M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
464.14/464.39 c 423s| 1940k| 1940k| 0 | 0.0 | 755M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
466.55/466.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.55/466.76 c 425s| 1950k| 1950k| 0 | 0.0 | 759M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
468.94/469.13 c 427s| 1960k| 1960k| 0 | 0.0 | 763M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
471.24/471.49 c 429s| 1970k| 1970k| 0 | 0.0 | 766M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
473.64/473.85 c 432s| 1980k| 1980k| 0 | 0.0 | 770M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
476.04/476.21 c 434s| 1990k| 1990k| 0 | 0.0 | 774M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
478.35/478.56 c 436s| 2000k| 2000k| 0 | 0.0 | 778M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
480.74/480.92 c 438s| 2010k| 2010k| 0 | 0.0 | 782M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
483.04/483.27 c 440s| 2020k| 2020k| 0 | 0.0 | 786M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
485.43/485.62 c 442s| 2030k| 2030k| 0 | 0.0 | 789M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
487.74/487.97 c 444s| 2040k| 2040k| 0 | 0.0 | 793M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
490.14/490.32 c 447s| 2050k| 2050k| 0 | 0.0 | 797M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
492.44/492.67 c 449s| 2060k| 2060k| 0 | 0.0 | 801M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
494.84/495.01 c 451s| 2070k| 2070k| 0 | 0.0 | 805M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
497.13/497.36 c 453s| 2080k| 2080k| 0 | 0.0 | 808M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
499.53/499.72 c 455s| 2090k| 2090k| 0 | 0.0 | 812M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
501.83/502.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.83/502.06 c 457s| 2100k| 2100k| 0 | 0.0 | 816M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
504.23/504.40 c 459s| 2110k| 2110k| 0 | 0.0 | 820M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
506.53/506.73 c 461s| 2120k| 2120k| 0 | 0.0 | 824M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
508.83/509.08 c 464s| 2130k| 2130k| 0 | 0.0 | 827M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
511.24/511.41 c 466s| 2140k| 2140k| 0 | 0.0 | 831M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
513.54/513.74 c 468s| 2150k| 2150k| 0 | 0.0 | 835M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
515.83/516.07 c 470s| 2160k| 2160k| 0 | 0.0 | 839M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
518.23/518.41 c 472s| 2170k| 2170k| 0 | 0.0 | 843M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
520.52/520.75 c 474s| 2180k| 2180k| 0 | 0.0 | 846M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
522.82/523.08 c 476s| 2190k| 2190k| 0 | 0.0 | 850M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
525.23/525.42 c 478s| 2200k| 2200k| 0 | 0.0 | 854M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
527.52/527.75 c 480s| 2210k| 2210k| 0 | 0.0 | 858M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
529.82/530.07 c 483s| 2220k| 2220k| 0 | 0.0 | 862M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
532.13/532.38 c 485s| 2230k| 2230k| 0 | 0.0 | 865M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
534.43/534.70 c 487s| 2240k| 2240k| 0 | 0.0 | 869M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
536.83/537.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.83/537.01 c 489s| 2250k| 2250k| 0 | 0.0 | 873M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
539.12/539.33 c 491s| 2260k| 2260k| 0 | 0.0 | 877M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
541.42/541.64 c 493s| 2270k| 2270k| 0 | 0.0 | 880M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
543.72/543.94 c 495s| 2280k| 2280k| 0 | 0.0 | 884M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
546.02/546.23 c 497s| 2290k| 2290k| 0 | 0.0 | 888M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
548.31/548.52 c 499s| 2300k| 2300k| 0 | 0.0 | 891M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
550.62/550.81 c 502s| 2310k| 2310k| 0 | 0.0 | 895M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
552.82/553.09 c 504s| 2320k| 2320k| 0 | 0.0 | 899M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
555.12/555.35 c 506s| 2330k| 2330k| 0 | 0.0 | 903M| 63 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.760000e+02 |1541.38%
557.42/557.64 c 508s| 2340k| 2340k| 0 | 0.0 | 906M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
559.82/560.02 c 510s| 2350k| 2350k| 0 | 0.0 | 910M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
562.21/562.40 c 512s| 2360k| 2360k| 0 | 0.0 | 914M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
564.52/564.78 c 514s| 2370k| 2370k| 0 | 0.0 | 918M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
566.91/567.15 c 516s| 2380k| 2380k| 0 | 0.0 | 922M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
569.31/569.53 c 519s| 2390k| 2390k| 0 | 0.0 | 926M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
571.72/571.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.72/571.91 c 521s| 2400k| 2400k| 0 | 0.0 | 929M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
574.02/574.29 c 523s| 2410k| 2410k| 0 | 0.0 | 933M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
576.41/576.67 c 525s| 2420k| 2420k| 0 | 0.0 | 937M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
578.81/579.04 c 527s| 2430k| 2430k| 0 | 0.0 | 941M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
581.20/581.42 c 529s| 2440k| 2440k| 0 | 0.0 | 945M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
583.51/583.79 c 532s| 2450k| 2450k| 0 | 0.0 | 949M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
585.90/586.17 c 534s| 2460k| 2460k| 0 | 0.0 | 952M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
588.32/588.54 c 536s| 2470k| 2470k| 0 | 0.0 | 956M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
590.71/590.92 c 538s| 2480k| 2480k| 0 | 0.0 | 960M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
593.01/593.30 c 540s| 2490k| 2490k| 0 | 0.0 | 964M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
595.40/595.67 c 542s| 2500k| 2500k| 0 | 0.0 | 968M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
597.80/598.04 c 544s| 2510k| 2510k| 0 | 0.0 | 972M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
600.20/600.41 c 547s| 2520k| 2520k| 0 | 0.0 | 975M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
602.51/602.78 c 549s| 2530k| 2530k| 0 | 0.0 | 979M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
604.90/605.15 c 551s| 2540k| 2540k| 0 | 0.0 | 983M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
607.30/607.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.30/607.51 c 553s| 2550k| 2550k| 0 | 0.0 | 987M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
609.59/609.88 c 555s| 2560k| 2560k| 0 | 0.0 | 991M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
612.00/612.25 c 557s| 2570k| 2570k| 0 | 0.0 | 995M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
614.39/614.62 c 560s| 2580k| 2580k| 0 | 0.0 | 998M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
616.80/617.00 c 562s| 2590k| 2590k| 0 | 0.0 |1002M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
619.10/619.36 c 564s| 2600k| 2600k| 0 | 0.0 |1006M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
621.49/621.72 c 566s| 2610k| 2610k| 0 | 0.0 |1010M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
623.79/624.08 c 568s| 2620k| 2620k| 0 | 0.0 |1014M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
626.20/626.45 c 570s| 2630k| 2630k| 0 | 0.0 |1017M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
628.59/628.81 c 573s| 2640k| 2640k| 0 | 0.0 |1021M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
630.89/631.17 c 575s| 2650k| 2650k| 0 | 0.0 |1025M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
633.30/633.54 c 577s| 2660k| 2660k| 0 | 0.0 |1029M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
635.69/635.90 c 579s| 2670k| 2670k| 0 | 0.0 |1033M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
637.99/638.26 c 581s| 2680k| 2680k| 0 | 0.0 |1036M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
640.39/640.62 c 583s| 2690k| 2690k| 0 | 0.0 |1040M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
642.69/642.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.69/642.98 c 586s| 2700k| 2700k| 0 | 0.0 |1044M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
645.08/645.34 c 588s| 2710k| 2710k| 0 | 0.0 |1048M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
647.49/647.70 c 590s| 2720k| 2720k| 0 | 0.0 |1052M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
649.79/650.07 c 592s| 2730k| 2730k| 0 | 0.0 |1055M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
652.18/652.43 c 594s| 2740k| 2740k| 0 | 0.0 |1059M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
654.58/654.80 c 596s| 2750k| 2750k| 0 | 0.0 |1063M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
656.88/657.15 c 598s| 2760k| 2760k| 0 | 0.0 |1067M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
659.28/659.51 c 601s| 2770k| 2770k| 0 | 0.0 |1071M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
661.58/661.86 c 603s| 2780k| 2780k| 0 | 0.0 |1074M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
663.98/664.21 c 605s| 2790k| 2790k| 0 | 0.0 |1078M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
666.29/666.57 c 607s| 2800k| 2800k| 0 | 0.0 |1082M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
668.68/668.92 c 609s| 2810k| 2810k| 0 | 0.0 |1086M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
670.98/671.26 c 611s| 2820k| 2820k| 0 | 0.0 |1089M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
673.37/673.62 c 613s| 2830k| 2830k| 0 | 0.0 |1093M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
675.68/675.97 c 616s| 2840k| 2840k| 0 | 0.0 |1097M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
678.07/678.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.07/678.33 c 618s| 2850k| 2850k| 0 | 0.0 |1101M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
680.38/680.69 c 620s| 2860k| 2860k| 0 | 0.0 |1105M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
682.78/683.03 c 622s| 2870k| 2870k| 0 | 0.0 |1108M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
685.08/685.38 c 624s| 2880k| 2880k| 0 | 0.0 |1112M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
687.47/687.72 c 626s| 2890k| 2890k| 0 | 0.0 |1116M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
689.77/690.06 c 628s| 2900k| 2900k| 0 | 0.0 |1120M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
692.17/692.40 c 630s| 2910k| 2910k| 0 | 0.0 |1124M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
694.47/694.74 c 632s| 2920k| 2920k| 0 | 0.0 |1127M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
696.77/697.08 c 635s| 2930k| 2930k| 0 | 0.0 |1131M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
699.17/699.42 c 637s| 2940k| 2940k| 0 | 0.0 |1135M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
701.48/701.76 c 639s| 2950k| 2950k| 0 | 0.0 |1139M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
703.77/704.10 c 641s| 2960k| 2960k| 0 | 0.0 |1142M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
706.17/706.42 c 643s| 2970k| 2970k| 0 | 0.0 |1146M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
708.47/708.75 c 645s| 2980k| 2980k| 0 | 0.0 |1150M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
710.76/711.08 c 647s| 2990k| 2990k| 0 | 0.0 |1154M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
713.16/713.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.16/713.41 c 649s| 3000k| 3000k| 0 | 0.0 |1157M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
715.47/715.73 c 652s| 3010k| 3010k| 0 | 0.0 |1161M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
717.76/718.05 c 654s| 3020k| 3020k| 0 | 0.0 |1165M| 65 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
720.17/720.42 c 656s| 3030k| 3030k| 0 | 0.0 |1169M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
722.47/722.78 c 658s| 3040k| 3040k| 0 | 0.0 |1172M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
724.86/725.14 c 660s| 3050k| 3050k| 0 | 0.0 |1176M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
727.26/727.50 c 662s| 3060k| 3060k| 0 | 0.0 |1180M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
729.56/729.85 c 664s| 3070k| 3070k| 0 | 0.0 |1184M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
731.96/732.21 c 667s| 3080k| 3080k| 0 | 0.0 |1188M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
734.26/734.57 c 669s| 3090k| 3090k| 0 | 0.0 |1192M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
736.66/736.92 c 671s| 3100k| 3100k| 0 | 0.0 |1195M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
738.96/739.28 c 673s| 3110k| 3110k| 0 | 0.0 |1199M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
741.36/741.65 c 675s| 3120k| 3120k| 0 | 0.0 |1203M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
743.76/744.00 c 677s| 3130k| 3130k| 0 | 0.0 |1207M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
746.06/746.36 c 679s| 3140k| 3140k| 0 | 0.0 |1211M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
748.45/748.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.45/748.72 c 682s| 3150k| 3150k| 0 | 0.0 |1214M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
750.75/751.09 c 684s| 3160k| 3160k| 0 | 0.0 |1218M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
753.16/753.44 c 686s| 3170k| 3170k| 0 | 0.0 |1222M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
755.46/755.79 c 688s| 3180k| 3180k| 0 | 0.0 |1226M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
757.85/758.14 c 690s| 3190k| 3190k| 0 | 0.0 |1230M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
760.15/760.49 c 692s| 3200k| 3200k| 0 | 0.0 |1233M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
762.55/762.84 c 694s| 3210k| 3210k| 0 | 0.0 |1237M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
764.85/765.19 c 697s| 3220k| 3220k| 0 | 0.0 |1241M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
767.25/767.53 c 699s| 3230k| 3230k| 0 | 0.0 |1245M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
769.54/769.89 c 701s| 3240k| 3240k| 0 | 0.0 |1249M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
771.95/772.23 c 703s| 3250k| 3250k| 0 | 0.0 |1252M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
774.24/774.58 c 705s| 3260k| 3260k| 0 | 0.0 |1256M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
776.64/776.92 c 707s| 3270k| 3270k| 0 | 0.0 |1260M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
778.94/779.28 c 709s| 3280k| 3280k| 0 | 0.0 |1264M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
781.35/781.61 c 712s| 3290k| 3290k| 0 | 0.0 |1268M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
783.65/783.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.65/783.97 c 714s| 3300k| 3300k| 0 | 0.0 |1272M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
786.04/786.32 c 716s| 3310k| 3310k| 0 | 0.0 |1275M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
788.35/788.67 c 718s| 3320k| 3320k| 0 | 0.0 |1279M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
790.74/791.01 c 720s| 3330k| 3330k| 0 | 0.0 |1283M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
793.04/793.37 c 722s| 3340k| 3340k| 0 | 0.0 |1287M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
795.44/795.72 c 724s| 3350k| 3350k| 0 | 0.0 |1291M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
797.74/798.08 c 726s| 3360k| 3360k| 0 | 0.0 |1294M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
800.13/800.41 c 729s| 3370k| 3370k| 0 | 0.0 |1298M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
802.44/802.75 c 731s| 3380k| 3380k| 0 | 0.0 |1302M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
804.74/805.09 c 733s| 3390k| 3390k| 0 | 0.0 |1306M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
807.15/807.43 c 735s| 3400k| 3400k| 0 | 0.0 |1310M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
809.44/809.77 c 737s| 3410k| 3410k| 0 | 0.0 |1313M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
811.83/812.11 c 739s| 3420k| 3420k| 0 | 0.0 |1317M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
814.14/814.44 c 741s| 3430k| 3430k| 0 | 0.0 |1321M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
816.44/816.78 c 744s| 3440k| 3440k| 0 | 0.0 |1325M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
818.83/819.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.83/819.13 c 746s| 3450k| 3450k| 0 | 0.0 |1329M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
821.13/821.47 c 748s| 3460k| 3460k| 0 | 0.0 |1332M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
823.54/823.81 c 750s| 3470k| 3470k| 0 | 0.0 |1336M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
825.84/826.15 c 752s| 3480k| 3480k| 0 | 0.0 |1340M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
828.13/828.49 c 754s| 3490k| 3490k| 0 | 0.0 |1344M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
830.53/830.82 c 756s| 3500k| 3500k| 0 | 0.0 |1348M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
832.83/833.15 c 758s| 3510k| 3510k| 0 | 0.0 |1351M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
835.13/835.48 c 761s| 3520k| 3520k| 0 | 0.0 |1355M| 67 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.760000e+02 |1486.67%
837.23/837.56 c (node 3528889) switching to memory saving mode (mem: 1296.0M/1620.0M)
838.32/838.64 o 227
838.32/838.64 c * 764s| 3529k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 2.270000e+02 | 656.67%
838.42/838.77 o 226
838.42/838.77 c * 764s| 3529k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 2.260000e+02 | 653.33%
839.73/840.02 c 765s| 3530k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 115 | 0 | 3.000000e+01 | 2.260000e+02 | 653.33%
840.73/841.05 o 225
840.73/841.05 c * 766s| 3530k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 198 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
843.82/844.16 c 769s| 3540k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 300 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
848.83/849.13 c 774s| 3550k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 604 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
852.62/852.91 c 777s| 3560k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 783 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
856.12/856.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.12/856.42 c 781s| 3570k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 | 932 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
859.42/859.73 c 784s| 3580k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |1047 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
862.82/863.12 c 787s| 3590k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |1162 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
867.82/868.14 c 792s| 3600k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |1471 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
871.61/871.98 c 796s| 3610k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |1637 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
875.22/875.52 c 799s| 3620k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |1776 | 0 | 3.000000e+01 | 2.250000e+02 | 650.00%
879.21/879.55 o 224
879.21/879.55 c * 803s| 3626k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |2050 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
882.82/883.18 c 806s| 3630k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |2404 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
887.21/887.59 c 811s| 3640k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |2638 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
894.61/894.92 c 818s| 3650k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |3206 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
904.41/904.71 c 828s| 3660k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |4088 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
908.11/908.48 c 831s| 3670k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |4260 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
913.40/913.76 c 836s| 3680k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |4599 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
917.31/917.64 c 840s| 3690k| 3529k| 0 | 0.0 |1359M| 255 | - | 476 | 544 | 0 | 0 | 0 |4806 | 0 | 3.000000e+01 | 2.240000e+02 | 646.67%
920.90/921.24 o 223
920.90/921.24 c * 843s| 3698k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |5004 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
922.20/922.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.20/922.56 c 845s| 3700k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |5111 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
927.50/927.89 c 850s| 3710k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |5485 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
931.99/932.33 c 854s| 3720k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |5751 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
936.80/937.10 c 859s| 3730k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |6056 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
940.49/940.83 c 862s| 3740k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |6233 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
943.89/944.23 c 866s| 3750k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |6371 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
946.99/947.39 c 869s| 3760k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |6474 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
951.10/951.46 c 873s| 3770k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |6704 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
956.09/956.43 c 877s| 3780k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |7027 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
960.49/960.89 c 882s| 3790k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |7264 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
965.18/965.51 c 886s| 3800k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |7541 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
969.09/969.41 c 890s| 3810k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |7724 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
972.48/972.89 c 893s| 3820k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |7867 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
976.39/976.71 c 897s| 3830k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |8069 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
979.99/980.32 c 900s| 3840k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |8231 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
983.28/983.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.28/983.64 c 904s| 3850k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |8357 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
987.39/987.71 c 908s| 3860k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |8581 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
992.38/992.76 c 912s| 3870k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |8934 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
995.77/996.15 c 916s| 3880k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |9084 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
998.58/998.90 c 918s| 3890k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |9150 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1001.17/1001.57 c 921s| 3900k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |9207 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1005.08/1005.47 c 925s| 3910k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |9406 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1009.28/1009.62 c 929s| 3920k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |9637 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1013.88/1014.21 c 933s| 3930k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 |9942 | 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1021.86/1022.20 c 941s| 3940k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 10k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1026.46/1026.86 c 945s| 3950k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 10k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1030.67/1031.01 c 949s| 3960k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 11k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1034.77/1035.19 c 953s| 3970k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 11k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1039.46/1039.80 c 958s| 3980k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 11k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1043.17/1043.50 c 961s| 3990k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 11k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1047.87/1048.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.87/1048.28 c 966s| 4000k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 12k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1051.76/1052.17 c 970s| 4010k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 12k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1055.46/1055.86 c 973s| 4020k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 12k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1061.95/1062.31 c 980s| 4030k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 12k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1066.06/1066.41 c 983s| 4040k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 13k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1071.95/1072.34 c 989s| 4050k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 13k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1075.75/1076.14 c 993s| 4060k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 13k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1080.04/1080.45 c 997s| 4070k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 13k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1087.34/1087.71 c 1004s| 4080k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 14k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1091.94/1092.35 c 1009s| 4090k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 14k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1098.64/1099.02 c 1015s| 4100k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 15k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1105.63/1106.01 c 1022s| 4110k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 15k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1112.12/1112.56 c 1028s| 4120k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 16k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1117.82/1118.22 c 1034s| 4130k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 16k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1125.22/1125.66 c 1041s| 4140k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 17k| 0 | 3.000000e+01 | 2.230000e+02 | 643.33%
1127.52/1127.99 o 222
1127.52/1127.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.52/1127.99 c *1043s| 4145k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 17k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1131.43/1131.90 c 1047s| 4150k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 17k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1140.12/1140.53 c 1056s| 4160k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 18k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1147.72/1148.18 c 1063s| 4170k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 19k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1152.62/1153.05 c 1068s| 4180k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 19k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1157.51/1157.98 c 1073s| 4190k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 20k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1164.11/1164.55 c 1079s| 4200k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 20k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1168.21/1168.66 c 1083s| 4210k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 21k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1173.32/1173.79 c 1088s| 4220k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 21k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1179.91/1180.32 c 1094s| 4230k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 22k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1185.41/1185.83 c 1100s| 4240k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 22k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1190.60/1191.08 c 1105s| 4250k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 22k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1195.50/1195.90 c 1109s| 4260k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 23k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1198.90/1199.39 c 1113s| 4270k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 23k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1203.19/1203.66 c 1117s| 4280k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 23k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1207.50/1207.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.50/1207.98 c 1121s| 4290k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 23k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1211.59/1212.08 c 1125s| 4300k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 23k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1215.89/1216.37 c 1129s| 4310k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 24k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1220.50/1220.95 c 1134s| 4320k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 24k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1224.90/1225.38 c 1138s| 4330k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 24k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1229.30/1229.79 c 1142s| 4340k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 25k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1233.19/1233.60 c 1146s| 4350k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 25k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1236.99/1237.49 c 1149s| 4360k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 25k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1240.79/1241.26 c 1153s| 4370k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 25k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1245.19/1245.68 c 1157s| 4380k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 25k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1249.58/1250.02 c 1162s| 4390k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 26k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1254.88/1255.37 c 1167s| 4400k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 26k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1260.08/1260.53 c 1172s| 4410k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 26k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1264.68/1265.12 c 1176s| 4420k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 27k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1271.98/1272.49 c 1183s| 4430k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 28k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1276.08/1276.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.08/1276.54 c 1187s| 4440k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 28k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1280.38/1280.83 c 1191s| 4450k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 28k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1286.48/1286.90 c 1197s| 4460k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 29k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1292.17/1292.65 c 1203s| 4470k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 29k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1296.57/1297.05 c 1207s| 4480k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 29k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1301.76/1302.20 c 1212s| 4490k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 30k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1306.47/1306.98 c 1217s| 4500k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 30k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1311.37/1311.82 c 1221s| 4510k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 30k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1315.67/1316.14 c 1226s| 4520k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 31k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1319.96/1320.43 c 1230s| 4530k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 31k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1327.95/1328.47 c 1238s| 4540k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 32k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1333.86/1334.39 c 1243s| 4550k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 32k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1339.15/1339.66 c 1248s| 4560k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 33k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1345.06/1345.54 c 1254s| 4570k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 33k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1352.95/1353.46 c 1262s| 4580k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 34k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1358.35/1358.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.35/1358.86 c 1267s| 4590k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 34k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1363.34/1363.83 c 1272s| 4600k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 35k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1367.45/1367.96 c 1276s| 4610k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 35k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1373.55/1374.02 c 1282s| 4620k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 35k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1378.55/1379.08 c 1287s| 4630k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 36k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1382.94/1383.48 c 1291s| 4640k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 36k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1389.64/1390.13 c 1297s| 4650k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 37k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1398.04/1398.50 c 1306s| 4660k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 37k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1403.23/1403.71 c 1311s| 4670k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 38k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1408.04/1408.56 c 1315s| 4680k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 38k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1413.93/1414.45 c 1321s| 4690k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 39k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1420.13/1420.70 c 1327s| 4700k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 39k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1425.43/1425.93 c 1332s| 4710k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 39k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1429.62/1430.11 c 1336s| 4720k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 40k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1434.02/1434.58 c 1341s| 4730k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 40k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1438.52/1439.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.52/1439.06 c 1345s| 4740k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 40k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1444.93/1445.44 c 1351s| 4750k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 41k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1448.82/1449.30 c 1355s| 4760k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 41k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1453.52/1454.00 c 1359s| 4770k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 41k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1460.23/1460.79 c 1366s| 4780k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 42k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1466.83/1467.40 c 1373s| 4790k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 42k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1472.32/1472.84 c 1378s| 4800k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 43k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1476.62/1477.11 c 1382s| 4810k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 43k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1481.11/1481.66 c 1386s| 4820k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 43k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1484.81/1485.34 c 1390s| 4830k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 43k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1489.31/1489.83 c 1394s| 4840k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 44k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1493.21/1493.73 c 1398s| 4850k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 44k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1496.80/1497.37 c 1401s| 4860k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 44k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1502.40/1502.92 c 1407s| 4870k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 44k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1507.61/1508.14 c 1412s| 4880k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 45k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1511.00/1511.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.00/1511.59 c 1415s| 4890k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 45k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1515.60/1516.11 c 1419s| 4900k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 45k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1520.20/1520.79 c 1424s| 4910k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 46k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1525.10/1525.62 c 1429s| 4920k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 46k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1528.70/1529.24 c 1432s| 4930k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 46k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1533.19/1533.79 c 1436s| 4940k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 46k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1537.49/1538.08 c 1441s| 4950k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 47k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1544.10/1544.64 c 1447s| 4960k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 47k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1550.40/1550.93 c 1453s| 4970k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 48k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1556.79/1557.35 c 1459s| 4980k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 48k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1563.08/1563.68 c 1466s| 4990k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 49k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1569.48/1570.03 c 1472s| 5000k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 49k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1575.08/1575.68 c 1477s| 5010k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 50k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1579.58/1580.13 c 1482s| 5020k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 50k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1585.47/1586.08 c 1487s| 5030k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 50k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1590.48/1591.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.48/1591.06 c 1492s| 5040k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 51k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1594.27/1594.87 c 1496s| 5050k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 51k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1597.87/1598.47 c 1499s| 5060k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 51k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1604.27/1604.84 c 1505s| 5070k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 52k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1609.37/1609.94 c 1510s| 5080k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 52k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1615.28/1615.89 c 1516s| 5090k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 52k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1619.68/1620.29 c 1520s| 5100k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 53k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1623.47/1624.01 c 1524s| 5110k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 53k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1627.76/1628.38 c 1528s| 5120k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 53k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1633.36/1633.94 c 1534s| 5130k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 54k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1637.96/1638.50 c 1538s| 5140k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 54k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1642.35/1642.92 c 1542s| 5150k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 54k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1645.96/1646.50 c 1546s| 5160k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 54k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1650.47/1651.01 c 1550s| 5170k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 55k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1653.87/1654.44 c 1553s| 5180k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 55k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1658.75/1659.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.75/1659.33 c 1558s| 5190k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 55k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1665.15/1665.72 c 1564s| 5200k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 56k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1668.95/1669.59 c 1568s| 5210k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 56k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1673.15/1673.73 c 1572s| 5220k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 56k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1677.45/1678.09 c 1576s| 5230k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 56k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1682.15/1682.72 c 1581s| 5240k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 57k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1688.14/1688.72 c 1587s| 5250k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 57k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1692.54/1693.19 c 1591s| 5260k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 57k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1699.34/1699.93 c 1597s| 5270k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 58k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1704.35/1704.92 c 1602s| 5280k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 58k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1710.04/1710.62 c 1608s| 5290k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 59k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1714.84/1715.48 c 1613s| 5300k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 59k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1720.14/1720.75 c 1618s| 5310k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 59k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1725.24/1725.89 c 1623s| 5320k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 60k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1731.13/1731.75 c 1628s| 5330k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 60k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1737.63/1738.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.63/1738.20 c 1635s| 5340k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 61k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1742.72/1743.38 c 1640s| 5350k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 61k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1748.22/1748.81 c 1645s| 5360k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 61k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1753.42/1754.05 c 1650s| 5370k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 62k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1758.33/1758.97 c 1655s| 5380k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 62k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1762.82/1763.40 c 1659s| 5390k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 62k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1767.42/1768.00 c 1664s| 5400k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 63k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1773.82/1774.47 c 1670s| 5410k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 63k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1777.91/1778.58 c 1674s| 5420k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 63k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1781.33/1781.96 c 1677s| 5430k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 64k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1785.61/1786.28 c 1681s| 5440k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 64k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1790.91/1791.57 c 1686s| 5450k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 64k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1794.62/1795.28 c 1690s| 5460k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 64k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1799.11/1799.74 c 1694s| 5470k| 3529k| 0 | 0.0 |1359M| 260 | - | 476 | 544 | 0 | 0 | 0 | 65k| 0 | 3.000000e+01 | 2.220000e+02 | 640.00%
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1695.03
1800.02/1800.61 c Solving Nodes : 5471955
1800.02/1800.61 c Primal Bound : +2.22000000000000e+02 (9 solutions)
1800.02/1800.61 c Dual Bound : +3.00000000000000e+01
1800.02/1800.61 c Gap : 640.00 %
1800.02/1800.61 s SATISFIABLE
1800.02/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.02/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
1800.02/1800.61 v -x430 -x429 x428 -x427 x426 -x425 -x424 x423 -x422 x421 -x420 -x419 -x418 x417 x416 -x415 x414 -x413 x412 x411 -x410 -x409
1800.02/1800.61 v -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 x389 x388 x387
1800.02/1800.61 v -x386 -x385 -x384 -x383 x382 x381 x380 x379 -x378 -x377 x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 x365 x364
1800.02/1800.61 v -x363 -x362 x361 x360 x359 x358 -x357 x356 -x355 x354 -x353 -x352 -x351 x350 x349 x348 -x347 x346 x345 -x344 x343 -x342 -x341
1800.02/1800.61 v x340 -x339 x338 x337 x336 -x335 x334 x333 x332 -x331 -x330 x329 x328 x327 -x326 x325 -x324 x323 -x322 -x321 x320 x319 x318
1800.02/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.02/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
1800.02/1800.61 v -x273 -x272 x271 -x270 -x269 x268 x267 x266 x265 -x264 x263 x262 -x261 x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 x251
1800.02/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
1800.02/1800.61 v x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207
1800.02/1800.61 v -x206 x205 x204 -x203 -x202 x201 -x200 -x199 x198 -x197 x196 -x195 -x194 -x193 -x192 x191 x190 -x189 x188 x187 x186 -x185
1800.02/1800.61 v x184 x183 -x182 x181 x180 x179 x178 -x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 x165 x164 -x163 -x162
1800.02/1800.61 v -x161 -x160 -x159 x158 -x157 x156 -x155 x154 x153 -x152 -x151 x150 -x149 x148 x147 x146 x145 -x144 x143 x142 -x141 -x140
1800.02/1800.61 v x139 -x138 x137 -x136 x135 -x134 -x133 x132 x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 x120 -x119 x118 x117
1800.02/1800.61 v x116 x115 x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 x102 -x101 -x100 -x99 x98 -x97 -x96 x95 x94
1800.02/1800.61 v -x93 -x92 -x91 x90 x89 -x88 x87 x86 -x85 -x84 -x83 x82 -x81 x80 -x79 -x78 x77 -x76 -x75 x74 x73 x72 x71 -x70 x69 -x68 x67 -x66
1800.02/1800.61 v x65 x64 -x63 -x62 -x61 -x60 x59 x58 x57 x56 -x55 x54 -x53 x52 x51 -x50 x49 -x48 -x47 -x46 x45 x44 x43 -x42 -x41 x40 -x39 -x38
1800.02/1800.61 v x37 x36 x35 x34 x33 -x32 x31 x30 x29 x28 x27 x26 -x25 x24 x23 -x22 x21 x20 x19 x18 x17 -x16 x15 x14 x13 x12 x11 -x10 x9 x8
1800.02/1800.61 v x7 x6 -x5 -x4 x3 x2 x1
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1695.03
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2664050-1276368181.opb
1800.02/1800.61 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 476 initial, 476 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2664050-1276368181.opb
1800.02/1800.61 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 544 initial, 544 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c knapsack : 0.00 0 0 0 0 0 18 270 585
1800.02/1800.61 c setppc : 0.01 0 0 0 0 0 47 0 0
1800.02/1800.61 c linear : 0.01 0 0 0 0 0 0 0 22
1800.02/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c knapsack : 455 0 9659779 0 4515462 65246 6336642 0 0 0
1800.02/1800.61 c setppc : 86 0 6494773 0 3281575 0 1605807 0 0 0
1800.02/1800.61 c logicor : 3+ 0 196348 0 3529099 0 35141 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 4515462 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c knapsack : 830.44 0.00 757.44 0.00 73.00
1800.02/1800.61 c setppc : 57.25 0.00 10.99 0.00 46.26
1800.02/1800.61 c logicor : 4.70 0.00 0.44 0.00 4.26
1800.02/1800.61 c countsols : 1.80 0.00 0.00 0.00 1.80
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 5.43 2 0 0
1800.02/1800.61 c rootredcost : 5.46 0 0 0
1800.02/1800.61 c pseudoobj : 266.61 10575898 916319 10044367
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 460.46 65246 65246 5174698 246.5 4 204.5 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 0 0.0 - - -
1800.02/1800.61 c applied locally : - - - 65246 204.6 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.61 c redcost : 0.00 0 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 0 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.61 c cmir : 0.00 0 0 0 0 0
1800.02/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.61 c clique : 0.00 0 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 0 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 294.55 4515456 0 0 0 0 9030912
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.80 - 6
1800.02/1800.61 c oneopt : 3.28 0 0
1800.02/1800.61 c trivial : 0.00 2 3
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 0 0
1800.02/1800.61 c rounding : 0.00 0 0
1800.02/1800.61 c shifting : 0.00 0 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.00 0 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.00 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 2.46 0 0
1800.02/1800.61 c trysol : 2.43 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.61 c (at root node) : - 0 0 0.00 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 5471955
1800.02/1800.61 c nodes (total) : 5471955
1800.02/1800.61 c nodes left : 3529081
1800.02/1800.61 c max depth : 260
1800.02/1800.61 c max depth (total): 260
1800.02/1800.61 c backtracks : 717221 (13.1%)
1800.02/1800.61 c delayed cutoffs : 29830
1800.02/1800.61 c repropagations : 42056 (351753 domain reductions, 25073 cutoffs)
1800.02/1800.61 c avg switch length: 2.59
1800.02/1800.61 c switching time : 70.70
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 9 (7 improvements)
1800.02/1800.61 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.02/1800.61 c Primal Bound : +2.22000000000000e+02 (in run 1, after 4145679 nodes, 1043.16 seconds, depth 258, found by <relaxation>)
1800.02/1800.61 c Dual Bound : +3.00000000000000e+01
1800.02/1800.61 c Gap : 640.00 %
1800.02/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Root Iterations : 0