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-2664154-1276369077.opb>
0.00/0.02 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 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.02/0.03 o 478
0.02/0.03 c feasible solution found by trivial heuristic, objective value 4.780000e+02
0.02/0.03 c presolving:
0.02/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.02/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 478 upgd conss, 2 impls, 0 clqs
0.02/0.06 c (round 3) 0 del vars, 3 del conss, 0 chg bounds, 113 chg sides, 334 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.02/0.07 c (round 4) 0 del vars, 45 del conss, 0 chg bounds, 258 chg sides, 582 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.02/0.08 c (round 5) 0 del vars, 58 del conss, 0 chg bounds, 292 chg sides, 624 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.02/0.08 c (round 6) 0 del vars, 60 del conss, 0 chg bounds, 299 chg sides, 645 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.02/0.09 c (round 7) 0 del vars, 61 del conss, 0 chg bounds, 303 chg sides, 650 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/478 (21.1%) - 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, 61 deleted constraints, 0 tightened bounds, 0 added holes, 303 changed sides, 650 changed coefficients
0.09/0.10 c 244 implications, 0 cliques
0.09/0.10 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 551 constraints
0.09/0.10 c 453 constraints of type <knapsack>
0.09/0.10 c 94 constraints of type <setppc>
0.09/0.10 c 4 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.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 2 | 0 | - |2096k| 0 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.780000e+02 | Inf
2.49/2.54 c 2.3s| 10000 | 10001 | 0 | 0.0 |6445k| 39 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 1.900000e+01 | 4.780000e+02 |2415.79%
4.89/4.96 c 4.5s| 20000 | 20001 | 0 | 0.0 | 10M| 41 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 4.780000e+02 |2290.00%
7.28/7.36 c 6.7s| 30000 | 30001 | 0 | 0.0 | 14M| 43 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.100000e+01 | 4.780000e+02 |2176.19%
9.69/9.77 c 8.9s| 40000 | 40001 | 0 | 0.0 | 19M| 45 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.780000e+02 |2072.73%
12.29/12.34 c 11.3s| 50000 | 50001 | 0 | 0.0 | 23M| 45 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.200000e+01 | 4.780000e+02 |2072.73%
14.88/14.94 c 13.6s| 60000 | 60001 | 0 | 0.0 | 27M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.780000e+02 |1978.26%
17.49/17.51 c 16.0s| 70000 | 70001 | 0 | 0.0 | 31M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.300000e+01 | 4.780000e+02 |1978.26%
19.99/20.06 c 18.3s| 80000 | 80001 | 0 | 0.0 | 35M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.780000e+02 |1891.67%
22.58/22.66 c 20.7s| 90000 | 90001 | 0 | 0.0 | 39M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.780000e+02 |1891.67%
25.19/25.23 c 23.1s|100000 |100001 | 0 | 0.0 | 43M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.780000e+02 |1891.67%
27.69/27.79 c 25.4s|110000 |110001 | 0 | 0.0 | 48M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.780000e+02 |1891.67%
30.28/30.32 c 27.7s|120000 |120001 | 0 | 0.0 | 52M| 49 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.400000e+01 | 4.780000e+02 |1891.67%
32.89/32.90 c 30.1s|130000 |130001 | 0 | 0.0 | 56M| 51 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.780000e+02 |1812.00%
35.38/35.47 c 32.4s|140000 |140001 | 0 | 0.0 | 60M| 51 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.780000e+02 |1812.00%
37.98/38.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.98/38.03 c 34.8s|150000 |150001 | 0 | 0.0 | 64M| 51 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.780000e+02 |1812.00%
40.48/40.58 c 37.1s|160000 |160001 | 0 | 0.0 | 68M| 51 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.780000e+02 |1812.00%
43.08/43.11 c 39.4s|170000 |170001 | 0 | 0.0 | 72M| 51 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.780000e+02 |1812.00%
45.57/45.62 c 41.7s|180000 |180001 | 0 | 0.0 | 76M| 51 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.500000e+01 | 4.780000e+02 |1812.00%
48.08/48.14 c 44.0s|190000 |190001 | 0 | 0.0 | 80M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
50.67/50.71 c 46.3s|200000 |200001 | 0 | 0.0 | 85M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
53.17/53.26 c 48.7s|210000 |210001 | 0 | 0.0 | 89M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
55.77/55.80 c 51.0s|220000 |220001 | 0 | 0.0 | 93M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
58.28/58.34 c 53.3s|230000 |230001 | 0 | 0.0 | 97M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
60.77/60.87 c 55.6s|240000 |240001 | 0 | 0.0 | 101M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
63.27/63.38 c 57.9s|250000 |250001 | 0 | 0.0 | 105M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
65.76/65.89 c 60.2s|260000 |260001 | 0 | 0.0 | 109M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
68.27/68.39 c 62.5s|270000 |270001 | 0 | 0.0 | 113M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
70.76/70.87 c 64.8s|280000 |280001 | 0 | 0.0 | 117M| 53 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.600000e+01 | 4.780000e+02 |1738.46%
73.27/73.33 c 67.0s|290000 |290001 | 0 | 0.0 | 121M| 55 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
75.77/75.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.77/75.81 c 69.2s|300000 |300001 | 0 | 0.0 | 125M| 55 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
78.16/78.28 c 71.5s|310000 |310001 | 0 | 0.0 | 129M| 55 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
80.66/80.73 c 73.8s|320000 |320001 | 0 | 0.0 | 133M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
83.17/83.27 c 76.1s|330000 |330001 | 0 | 0.0 | 137M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
85.67/85.80 c 78.4s|340000 |340001 | 0 | 0.0 | 141M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
88.26/88.32 c 80.7s|350000 |350001 | 0 | 0.0 | 145M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
90.76/90.83 c 83.0s|360000 |360001 | 0 | 0.0 | 149M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
93.26/93.34 c 85.3s|370000 |370001 | 0 | 0.0 | 153M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
95.77/95.84 c 87.6s|380000 |380001 | 0 | 0.0 | 157M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
98.26/98.34 c 89.9s|390000 |390001 | 0 | 0.0 | 161M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
100.76/100.83 c 92.2s|400000 |400001 | 0 | 0.0 | 165M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
103.26/103.32 c 94.4s|410000 |410001 | 0 | 0.0 | 169M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
105.66/105.79 c 96.7s|420000 |420001 | 0 | 0.0 | 173M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
108.15/108.26 c 98.9s|430000 |430001 | 0 | 0.0 | 177M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
110.66/110.71 c 101s|440000 |440001 | 0 | 0.0 | 181M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
113.06/113.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.06/113.15 c 103s|450000 |450001 | 0 | 0.0 | 185M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.700000e+01 | 4.780000e+02 |1670.37%
115.55/115.67 c 106s|460000 |460001 | 0 | 0.0 | 189M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
118.16/118.20 c 108s|470000 |470001 | 0 | 0.0 | 194M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
120.65/120.71 c 110s|480000 |480001 | 0 | 0.0 | 198M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
123.16/123.22 c 113s|490000 |490001 | 0 | 0.0 | 202M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
125.65/125.73 c 115s|500000 |500001 | 0 | 0.0 | 206M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
128.15/128.24 c 117s|510000 |510001 | 0 | 0.0 | 210M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
130.65/130.73 c 119s|520000 |520001 | 0 | 0.0 | 214M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
133.15/133.23 c 122s|530000 |530001 | 0 | 0.0 | 218M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
135.65/135.72 c 124s|540000 |540001 | 0 | 0.0 | 222M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
138.15/138.21 c 126s|550000 |550001 | 0 | 0.0 | 226M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
140.55/140.70 c 129s|560000 |560001 | 0 | 0.0 | 230M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
143.04/143.19 c 131s|570000 |570001 | 0 | 0.0 | 234M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
145.55/145.67 c 133s|580000 |580001 | 0 | 0.0 | 238M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
148.04/148.14 c 135s|590000 |590001 | 0 | 0.0 | 242M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
150.56/150.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.56/150.62 c 138s|600000 |600001 | 0 | 0.0 | 246M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
152.95/153.09 c 140s|610000 |610001 | 0 | 0.0 | 250M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
155.44/155.55 c 142s|620000 |620001 | 0 | 0.0 | 254M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
157.95/158.01 c 144s|630000 |630001 | 0 | 0.0 | 258M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
160.35/160.46 c 147s|640000 |640001 | 0 | 0.0 | 262M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
162.84/162.92 c 149s|650000 |650001 | 0 | 0.0 | 266M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
165.25/165.36 c 151s|660000 |660001 | 0 | 0.0 | 270M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
167.74/167.81 c 153s|670000 |670001 | 0 | 0.0 | 274M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
170.14/170.24 c 155s|680000 |680001 | 0 | 0.0 | 278M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
172.55/172.67 c 158s|690000 |690001 | 0 | 0.0 | 281M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
174.94/175.08 c 160s|700000 |700001 | 0 | 0.0 | 285M| 57 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.800000e+01 | 4.780000e+02 |1607.14%
177.44/177.50 c 162s|710000 |710001 | 0 | 0.0 | 289M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
179.94/180.02 c 164s|720000 |720001 | 0 | 0.0 | 293M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
182.45/182.54 c 167s|730000 |730001 | 0 | 0.0 | 298M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
184.92/185.06 c 169s|740000 |740001 | 0 | 0.0 | 302M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
187.42/187.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.42/187.56 c 171s|750000 |750001 | 0 | 0.0 | 306M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
189.92/190.06 c 174s|760000 |760001 | 0 | 0.0 | 310M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
192.42/192.55 c 176s|770000 |770001 | 0 | 0.0 | 314M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
194.91/195.04 c 178s|780000 |780001 | 0 | 0.0 | 318M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
197.41/197.53 c 180s|790000 |790001 | 0 | 0.0 | 322M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
199.92/200.01 c 183s|800000 |800001 | 0 | 0.0 | 326M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
202.33/202.49 c 185s|810000 |810001 | 0 | 0.0 | 330M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
204.82/204.97 c 187s|820000 |820001 | 0 | 0.0 | 334M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
207.31/207.45 c 190s|830000 |830001 | 0 | 0.0 | 338M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
209.82/209.92 c 192s|840000 |840001 | 0 | 0.0 | 342M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
212.22/212.39 c 194s|850000 |850001 | 0 | 0.0 | 346M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
214.71/214.85 c 196s|860000 |860001 | 0 | 0.0 | 350M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
217.21/217.31 c 199s|870000 |870001 | 0 | 0.0 | 354M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
219.61/219.77 c 201s|880000 |880001 | 0 | 0.0 | 358M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
222.01/222.18 c 203s|890000 |890001 | 0 | 0.0 | 362M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
224.50/224.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.50/224.63 c 205s|900000 |900001 | 0 | 0.0 | 366M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
226.91/227.08 c 207s|910000 |910001 | 0 | 0.0 | 370M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
229.40/229.53 c 210s|920000 |920001 | 0 | 0.0 | 374M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
231.80/231.99 c 212s|930000 |930001 | 0 | 0.0 | 378M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
234.30/234.44 c 214s|940000 |940001 | 0 | 0.0 | 382M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
236.70/236.88 c 216s|950000 |950001 | 0 | 0.0 | 385M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
239.20/239.31 c 219s|960000 |960001 | 0 | 0.0 | 389M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
241.60/241.74 c 221s|970000 |970001 | 0 | 0.0 | 393M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
244.01/244.18 c 223s|980000 |980001 | 0 | 0.0 | 397M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
246.50/246.62 c 225s|990000 |990001 | 0 | 0.0 | 401M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
248.90/249.06 c 227s| 1000k| 1000k| 0 | 0.0 | 405M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
251.40/251.50 c 230s| 1010k| 1010k| 0 | 0.0 | 409M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
253.79/253.94 c 232s| 1020k| 1020k| 0 | 0.0 | 413M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
256.20/256.36 c 234s| 1030k| 1030k| 0 | 0.0 | 417M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
258.59/258.79 c 236s| 1040k| 1040k| 0 | 0.0 | 421M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
261.10/261.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.10/261.21 c 239s| 1050k| 1050k| 0 | 0.0 | 425M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
263.49/263.63 c 241s| 1060k| 1060k| 0 | 0.0 | 429M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
265.89/266.03 c 243s| 1070k| 1070k| 0 | 0.0 | 432M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
268.30/268.43 c 245s| 1080k| 1080k| 0 | 0.0 | 436M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
270.69/270.84 c 247s| 1090k| 1090k| 0 | 0.0 | 440M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
273.09/273.23 c 250s| 1100k| 1100k| 0 | 0.0 | 444M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
275.49/275.63 c 252s| 1110k| 1110k| 0 | 0.0 | 448M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
277.89/278.01 c 254s| 1120k| 1120k| 0 | 0.0 | 452M| 59 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | 4.780000e+02 |1548.28%
280.19/280.38 c 256s| 1130k| 1130k| 0 | 0.0 | 456M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
282.69/282.88 c 258s| 1140k| 1140k| 0 | 0.0 | 460M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
285.19/285.38 c 261s| 1150k| 1150k| 0 | 0.0 | 464M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
287.69/287.86 c 263s| 1160k| 1160k| 0 | 0.0 | 468M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
290.20/290.35 c 265s| 1170k| 1170k| 0 | 0.0 | 472M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
292.68/292.83 c 267s| 1180k| 1180k| 0 | 0.0 | 476M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
295.19/295.31 c 270s| 1190k| 1190k| 0 | 0.0 | 480M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
297.59/297.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.59/297.78 c 272s| 1200k| 1200k| 0 | 0.0 | 484M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
300.09/300.26 c 274s| 1210k| 1210k| 0 | 0.0 | 488M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
302.59/302.73 c 276s| 1220k| 1220k| 0 | 0.0 | 492M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
305.08/305.20 c 279s| 1230k| 1230k| 0 | 0.0 | 496M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
307.48/307.68 c 281s| 1240k| 1240k| 0 | 0.0 | 500M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
309.99/310.14 c 283s| 1250k| 1250k| 0 | 0.0 | 504M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
312.48/312.61 c 285s| 1260k| 1260k| 0 | 0.0 | 508M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
314.88/315.06 c 288s| 1270k| 1270k| 0 | 0.0 | 512M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
317.38/317.52 c 290s| 1280k| 1280k| 0 | 0.0 | 516M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
319.78/319.98 c 292s| 1290k| 1290k| 0 | 0.0 | 520M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
322.28/322.44 c 294s| 1300k| 1300k| 0 | 0.0 | 524M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
324.77/324.90 c 297s| 1310k| 1310k| 0 | 0.0 | 528M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
327.18/327.36 c 299s| 1320k| 1320k| 0 | 0.0 | 532M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
329.68/329.80 c 301s| 1330k| 1330k| 0 | 0.0 | 536M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
332.08/332.25 c 303s| 1340k| 1340k| 0 | 0.0 | 540M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
334.47/334.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.47/334.69 c 306s| 1350k| 1350k| 0 | 0.0 | 544M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
336.97/337.14 c 308s| 1360k| 1360k| 0 | 0.0 | 548M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
339.38/339.58 c 310s| 1370k| 1370k| 0 | 0.0 | 552M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
341.88/342.03 c 312s| 1380k| 1380k| 0 | 0.0 | 555M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
344.27/344.48 c 315s| 1390k| 1390k| 0 | 0.0 | 559M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
346.77/346.91 c 317s| 1400k| 1400k| 0 | 0.0 | 563M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
349.17/349.35 c 319s| 1410k| 1410k| 0 | 0.0 | 567M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
351.57/351.79 c 321s| 1420k| 1420k| 0 | 0.0 | 571M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
354.08/354.22 c 323s| 1430k| 1430k| 0 | 0.0 | 575M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
356.47/356.65 c 326s| 1440k| 1440k| 0 | 0.0 | 579M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
358.87/359.08 c 328s| 1450k| 1450k| 0 | 0.0 | 583M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
361.37/361.52 c 330s| 1460k| 1460k| 0 | 0.0 | 587M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
363.77/363.95 c 332s| 1470k| 1470k| 0 | 0.0 | 591M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
366.18/366.37 c 335s| 1480k| 1480k| 0 | 0.0 | 595M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
368.57/368.79 c 337s| 1490k| 1490k| 0 | 0.0 | 599M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
371.06/371.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.06/371.21 c 339s| 1500k| 1500k| 0 | 0.0 | 603M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
373.46/373.64 c 341s| 1510k| 1510k| 0 | 0.0 | 606M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
375.86/376.06 c 343s| 1520k| 1520k| 0 | 0.0 | 610M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
378.27/378.47 c 346s| 1530k| 1530k| 0 | 0.0 | 614M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
380.77/380.90 c 348s| 1540k| 1540k| 0 | 0.0 | 618M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
383.16/383.33 c 350s| 1550k| 1550k| 0 | 0.0 | 622M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
385.56/385.75 c 352s| 1560k| 1560k| 0 | 0.0 | 626M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
387.96/388.17 c 354s| 1570k| 1570k| 0 | 0.0 | 630M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
390.37/390.59 c 357s| 1580k| 1580k| 0 | 0.0 | 634M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
392.85/393.01 c 359s| 1590k| 1590k| 0 | 0.0 | 638M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
395.26/395.43 c 361s| 1600k| 1600k| 0 | 0.0 | 642M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
397.66/397.86 c 363s| 1610k| 1610k| 0 | 0.0 | 645M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
400.06/400.28 c 366s| 1620k| 1620k| 0 | 0.0 | 649M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
402.56/402.70 c 368s| 1630k| 1630k| 0 | 0.0 | 653M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
404.95/405.11 c 370s| 1640k| 1640k| 0 | 0.0 | 657M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
407.35/407.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.35/407.52 c 372s| 1650k| 1650k| 0 | 0.0 | 661M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
409.76/409.93 c 374s| 1660k| 1660k| 0 | 0.0 | 665M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
412.15/412.33 c 376s| 1670k| 1670k| 0 | 0.0 | 669M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
414.56/414.74 c 379s| 1680k| 1680k| 0 | 0.0 | 673M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
416.96/417.15 c 381s| 1690k| 1690k| 0 | 0.0 | 677M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
419.35/419.55 c 383s| 1700k| 1700k| 0 | 0.0 | 680M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
421.75/421.95 c 385s| 1710k| 1710k| 0 | 0.0 | 684M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
424.15/424.35 c 387s| 1720k| 1720k| 0 | 0.0 | 688M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
426.55/426.74 c 390s| 1730k| 1730k| 0 | 0.0 | 692M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
428.95/429.14 c 392s| 1740k| 1740k| 0 | 0.0 | 696M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
431.35/431.53 c 394s| 1750k| 1750k| 0 | 0.0 | 700M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
433.75/433.92 c 396s| 1760k| 1760k| 0 | 0.0 | 704M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
436.05/436.29 c 398s| 1770k| 1770k| 0 | 0.0 | 708M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
438.45/438.66 c 400s| 1780k| 1780k| 0 | 0.0 | 711M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
440.86/441.01 c 403s| 1790k| 1790k| 0 | 0.0 | 715M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
443.15/443.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.15/443.36 c 405s| 1800k| 1800k| 0 | 0.0 | 719M| 61 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | 4.780000e+02 |1493.33%
445.54/445.74 c 407s| 1810k| 1810k| 0 | 0.0 | 723M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
448.05/448.22 c 409s| 1820k| 1820k| 0 | 0.0 | 727M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
450.45/450.70 c 411s| 1830k| 1830k| 0 | 0.0 | 731M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
452.95/453.16 c 414s| 1840k| 1840k| 0 | 0.0 | 735M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
455.44/455.63 c 416s| 1850k| 1850k| 0 | 0.0 | 739M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
457.94/458.10 c 418s| 1860k| 1860k| 0 | 0.0 | 743M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
460.34/460.57 c 420s| 1870k| 1870k| 0 | 0.0 | 747M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
462.85/463.05 c 423s| 1880k| 1880k| 0 | 0.0 | 751M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
465.34/465.51 c 425s| 1890k| 1890k| 0 | 0.0 | 755M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
467.74/467.98 c 427s| 1900k| 1900k| 0 | 0.0 | 759M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
470.23/470.44 c 429s| 1910k| 1910k| 0 | 0.0 | 763M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
472.75/472.90 c 432s| 1920k| 1920k| 0 | 0.0 | 767M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
475.13/475.37 c 434s| 1930k| 1930k| 0 | 0.0 | 771M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
477.63/477.83 c 436s| 1940k| 1940k| 0 | 0.0 | 775M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
480.03/480.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.03/480.28 c 438s| 1950k| 1950k| 0 | 0.0 | 779M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
482.54/482.72 c 441s| 1960k| 1960k| 0 | 0.0 | 783M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
484.94/485.16 c 443s| 1970k| 1970k| 0 | 0.0 | 787M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
487.43/487.61 c 445s| 1980k| 1980k| 0 | 0.0 | 791M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
489.83/490.05 c 447s| 1990k| 1990k| 0 | 0.0 | 794M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
492.23/492.49 c 450s| 2000k| 2000k| 0 | 0.0 | 798M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
494.74/494.94 c 452s| 2010k| 2010k| 0 | 0.0 | 802M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
497.13/497.38 c 454s| 2020k| 2020k| 0 | 0.0 | 806M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
499.63/499.83 c 456s| 2030k| 2030k| 0 | 0.0 | 810M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
502.02/502.27 c 458s| 2040k| 2040k| 0 | 0.0 | 814M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
504.52/504.71 c 461s| 2050k| 2050k| 0 | 0.0 | 818M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
506.93/507.14 c 463s| 2060k| 2060k| 0 | 0.0 | 822M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
509.33/509.57 c 465s| 2070k| 2070k| 0 | 0.0 | 826M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
511.83/512.01 c 467s| 2080k| 2080k| 0 | 0.0 | 830M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
514.23/514.44 c 470s| 2090k| 2090k| 0 | 0.0 | 834M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
516.63/516.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.63/516.87 c 472s| 2100k| 2100k| 0 | 0.0 | 838M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
519.13/519.30 c 474s| 2110k| 2110k| 0 | 0.0 | 842M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
521.52/521.73 c 476s| 2120k| 2120k| 0 | 0.0 | 846M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
523.92/524.16 c 478s| 2130k| 2130k| 0 | 0.0 | 850M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
526.33/526.59 c 481s| 2140k| 2140k| 0 | 0.0 | 854M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
528.83/529.02 c 483s| 2150k| 2150k| 0 | 0.0 | 858M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
531.22/531.44 c 485s| 2160k| 2160k| 0 | 0.0 | 862M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
533.63/533.85 c 487s| 2170k| 2170k| 0 | 0.0 | 865M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
536.02/536.27 c 489s| 2180k| 2180k| 0 | 0.0 | 869M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
538.42/538.69 c 492s| 2190k| 2190k| 0 | 0.0 | 873M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
540.93/541.10 c 494s| 2200k| 2200k| 0 | 0.0 | 877M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
543.32/543.53 c 496s| 2210k| 2210k| 0 | 0.0 | 881M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
545.71/545.94 c 498s| 2220k| 2220k| 0 | 0.0 | 885M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
548.12/548.36 c 500s| 2230k| 2230k| 0 | 0.0 | 889M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
550.51/550.78 c 503s| 2240k| 2240k| 0 | 0.0 | 893M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
553.02/553.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.02/553.21 c 505s| 2250k| 2250k| 0 | 0.0 | 897M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
555.41/555.63 c 507s| 2260k| 2260k| 0 | 0.0 | 901M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
557.81/558.05 c 509s| 2270k| 2270k| 0 | 0.0 | 905M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
560.21/560.45 c 512s| 2280k| 2280k| 0 | 0.0 | 909M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
562.61/562.87 c 514s| 2290k| 2290k| 0 | 0.0 | 913M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
565.01/565.27 c 516s| 2300k| 2300k| 0 | 0.0 | 917M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
567.42/567.68 c 518s| 2310k| 2310k| 0 | 0.0 | 920M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
569.81/570.09 c 520s| 2320k| 2320k| 0 | 0.0 | 924M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
572.21/572.49 c 523s| 2330k| 2330k| 0 | 0.0 | 928M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
574.71/574.90 c 525s| 2340k| 2340k| 0 | 0.0 | 932M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
577.11/577.30 c 527s| 2350k| 2350k| 0 | 0.0 | 936M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
579.51/579.71 c 529s| 2360k| 2360k| 0 | 0.0 | 940M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
581.90/582.13 c 531s| 2370k| 2370k| 0 | 0.0 | 944M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
584.31/584.55 c 534s| 2380k| 2380k| 0 | 0.0 | 948M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
586.70/586.96 c 536s| 2390k| 2390k| 0 | 0.0 | 952M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
589.10/589.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.10/589.37 c 538s| 2400k| 2400k| 0 | 0.0 | 956M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
591.51/591.77 c 540s| 2410k| 2410k| 0 | 0.0 | 959M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
593.90/594.19 c 542s| 2420k| 2420k| 0 | 0.0 | 963M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
596.40/596.60 c 545s| 2430k| 2430k| 0 | 0.0 | 967M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
598.80/599.01 c 547s| 2440k| 2440k| 0 | 0.0 | 971M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
601.20/601.43 c 549s| 2450k| 2450k| 0 | 0.0 | 975M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
603.61/603.83 c 551s| 2460k| 2460k| 0 | 0.0 | 979M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
606.00/606.24 c 553s| 2470k| 2470k| 0 | 0.0 | 983M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
608.40/608.65 c 556s| 2480k| 2480k| 0 | 0.0 | 987M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
610.79/611.05 c 558s| 2490k| 2490k| 0 | 0.0 | 991M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
613.20/613.47 c 560s| 2500k| 2500k| 0 | 0.0 | 995M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
615.59/615.88 c 562s| 2510k| 2510k| 0 | 0.0 | 999M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
618.00/618.29 c 564s| 2520k| 2520k| 0 | 0.0 |1002M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
620.39/620.69 c 567s| 2530k| 2530k| 0 | 0.0 |1006M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
622.79/623.09 c 569s| 2540k| 2540k| 0 | 0.0 |1010M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
625.19/625.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.19/625.49 c 571s| 2550k| 2550k| 0 | 0.0 |1014M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
627.60/627.89 c 573s| 2560k| 2560k| 0 | 0.0 |1018M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
630.00/630.28 c 575s| 2570k| 2570k| 0 | 0.0 |1022M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
632.39/632.67 c 577s| 2580k| 2580k| 0 | 0.0 |1026M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
634.79/635.07 c 580s| 2590k| 2590k| 0 | 0.0 |1030M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
637.19/637.46 c 582s| 2600k| 2600k| 0 | 0.0 |1034M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
639.59/639.85 c 584s| 2610k| 2610k| 0 | 0.0 |1037M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
641.99/642.25 c 586s| 2620k| 2620k| 0 | 0.0 |1041M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
644.40/644.65 c 588s| 2630k| 2630k| 0 | 0.0 |1045M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
646.79/647.04 c 591s| 2640k| 2640k| 0 | 0.0 |1049M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
649.19/649.44 c 593s| 2650k| 2650k| 0 | 0.0 |1053M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
651.59/651.82 c 595s| 2660k| 2660k| 0 | 0.0 |1057M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
653.99/654.21 c 597s| 2670k| 2670k| 0 | 0.0 |1061M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
656.29/656.58 c 599s| 2680k| 2680k| 0 | 0.0 |1065M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
658.69/658.97 c 601s| 2690k| 2690k| 0 | 0.0 |1069M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
661.09/661.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.09/661.35 c 604s| 2700k| 2700k| 0 | 0.0 |1072M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
663.48/663.73 c 606s| 2710k| 2710k| 0 | 0.0 |1076M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
665.88/666.11 c 608s| 2720k| 2720k| 0 | 0.0 |1080M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
668.18/668.47 c 610s| 2730k| 2730k| 0 | 0.0 |1084M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
670.58/670.85 c 612s| 2740k| 2740k| 0 | 0.0 |1088M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
672.98/673.23 c 614s| 2750k| 2750k| 0 | 0.0 |1092M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
675.38/675.61 c 617s| 2760k| 2760k| 0 | 0.0 |1096M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
677.68/677.98 c 619s| 2770k| 2770k| 0 | 0.0 |1099M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
680.08/680.36 c 621s| 2780k| 2780k| 0 | 0.0 |1103M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
682.48/682.74 c 623s| 2790k| 2790k| 0 | 0.0 |1107M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
684.88/685.11 c 625s| 2800k| 2800k| 0 | 0.0 |1111M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
687.18/687.48 c 627s| 2810k| 2810k| 0 | 0.0 |1115M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
689.57/689.85 c 630s| 2820k| 2820k| 0 | 0.0 |1119M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
691.97/692.23 c 632s| 2830k| 2830k| 0 | 0.0 |1123M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
694.38/694.60 c 634s| 2840k| 2840k| 0 | 0.0 |1126M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
696.67/696.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.67/696.97 c 636s| 2850k| 2850k| 0 | 0.0 |1130M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
699.07/699.33 c 638s| 2860k| 2860k| 0 | 0.0 |1134M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
701.48/701.71 c 640s| 2870k| 2870k| 0 | 0.0 |1138M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
703.78/704.07 c 643s| 2880k| 2880k| 0 | 0.0 |1142M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
706.17/706.42 c 645s| 2890k| 2890k| 0 | 0.0 |1146M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
708.47/708.77 c 647s| 2900k| 2900k| 0 | 0.0 |1149M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
710.87/711.12 c 649s| 2910k| 2910k| 0 | 0.0 |1153M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
713.17/713.46 c 651s| 2920k| 2920k| 0 | 0.0 |1157M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
715.46/715.79 c 653s| 2930k| 2930k| 0 | 0.0 |1161M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
717.86/718.11 c 655s| 2940k| 2940k| 0 | 0.0 |1165M| 63 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | 4.780000e+02 |1441.94%
720.17/720.46 c 658s| 2950k| 2950k| 0 | 0.0 |1169M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
722.67/722.95 c 660s| 2960k| 2960k| 0 | 0.0 |1173M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
725.17/725.43 c 662s| 2970k| 2970k| 0 | 0.0 |1177M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
727.66/727.90 c 664s| 2980k| 2980k| 0 | 0.0 |1181M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
730.07/730.37 c 667s| 2990k| 2990k| 0 | 0.0 |1185M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
732.57/732.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.57/732.84 c 669s| 3000k| 3000k| 0 | 0.0 |1189M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
735.07/735.30 c 671s| 3010k| 3010k| 0 | 0.0 |1193M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
737.46/737.76 c 673s| 3020k| 3020k| 0 | 0.0 |1197M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
739.97/740.22 c 676s| 3030k| 3030k| 0 | 0.0 |1201M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
742.36/742.68 c 678s| 3040k| 3040k| 0 | 0.0 |1205M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
744.86/745.14 c 680s| 3050k| 3050k| 0 | 0.0 |1209M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
747.26/747.59 c 682s| 3060k| 3060k| 0 | 0.0 |1213M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
749.76/750.04 c 685s| 3070k| 3070k| 0 | 0.0 |1217M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
752.17/752.50 c 687s| 3080k| 3080k| 0 | 0.0 |1221M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
754.66/754.95 c 689s| 3090k| 3090k| 0 | 0.0 |1225M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
757.06/757.39 c 691s| 3100k| 3100k| 0 | 0.0 |1229M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
759.56/759.83 c 694s| 3110k| 3110k| 0 | 0.0 |1233M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
761.96/762.28 c 696s| 3120k| 3120k| 0 | 0.0 |1237M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
764.45/764.72 c 698s| 3130k| 3130k| 0 | 0.0 |1241M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
766.86/767.17 c 700s| 3140k| 3140k| 0 | 0.0 |1245M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
769.36/769.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.36/769.61 c 702s| 3150k| 3150k| 0 | 0.0 |1249M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
771.75/772.06 c 705s| 3160k| 3160k| 0 | 0.0 |1253M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
774.25/774.50 c 707s| 3170k| 3170k| 0 | 0.0 |1257M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
776.65/776.95 c 709s| 3180k| 3180k| 0 | 0.0 |1261M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
779.05/779.38 c 711s| 3190k| 3190k| 0 | 0.0 |1265M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
781.55/781.81 c 714s| 3200k| 3200k| 0 | 0.0 |1269M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
783.96/784.23 c 716s| 3210k| 3210k| 0 | 0.0 |1273M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
786.35/786.65 c 718s| 3220k| 3220k| 0 | 0.0 |1277M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
788.74/789.08 c 720s| 3230k| 3230k| 0 | 0.0 |1281M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
791.25/791.51 c 722s| 3240k| 3240k| 0 | 0.0 |1285M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
793.64/793.93 c 725s| 3250k| 3250k| 0 | 0.0 |1289M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
796.05/796.35 c 727s| 3260k| 3260k| 0 | 0.0 |1293M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
798.44/798.77 c 729s| 3270k| 3270k| 0 | 0.0 |1296M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
800.84/801.20 c 731s| 3280k| 3280k| 0 | 0.0 |1300M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
803.34/803.61 c 734s| 3290k| 3290k| 0 | 0.0 |1304M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
805.75/806.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.75/806.04 c 736s| 3300k| 3300k| 0 | 0.0 |1308M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
808.15/808.45 c 738s| 3310k| 3310k| 0 | 0.0 |1312M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
810.54/810.85 c 740s| 3320k| 3320k| 0 | 0.0 |1316M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
812.94/813.26 c 742s| 3330k| 3330k| 0 | 0.0 |1320M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
815.34/815.66 c 745s| 3340k| 3340k| 0 | 0.0 |1324M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
817.74/818.06 c 747s| 3350k| 3350k| 0 | 0.0 |1328M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
820.14/820.47 c 749s| 3360k| 3360k| 0 | 0.0 |1332M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
822.55/822.88 c 751s| 3370k| 3370k| 0 | 0.0 |1336M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
824.94/825.29 c 753s| 3380k| 3380k| 0 | 0.0 |1340M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
827.44/827.71 c 756s| 3390k| 3390k| 0 | 0.0 |1344M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
829.84/830.11 c 758s| 3400k| 3400k| 0 | 0.0 |1347M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
832.24/832.52 c 760s| 3410k| 3410k| 0 | 0.0 |1351M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
834.64/834.92 c 762s| 3420k| 3420k| 0 | 0.0 |1355M| 65 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 4.780000e+02 |1393.75%
836.53/836.87 c (node 3428095) switching to memory saving mode (mem: 1296.0M/1620.0M)
837.63/837.92 o 230
837.63/837.92 c * 765s| 3428k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 2.300000e+02 | 618.75%
837.73/838.06 o 229
837.73/838.06 c * 765s| 3428k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | 2.290000e+02 | 615.62%
838.03/838.38 o 228
838.03/838.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.03/838.38 c * 765s| 3428k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 5 | 0 | 3.200000e+01 | 2.280000e+02 | 612.50%
838.54/838.88 c 766s| 3430k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 23 | 0 | 3.200000e+01 | 2.280000e+02 | 612.50%
838.74/839.08 o 227
838.74/839.08 c * 766s| 3430k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 23 | 0 | 3.200000e+01 | 2.270000e+02 | 609.38%
838.94/839.26 o 226
838.94/839.26 c * 766s| 3430k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 23 | 0 | 3.200000e+01 | 2.260000e+02 | 606.25%
839.63/839.96 o 225
839.63/839.96 c * 767s| 3431k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 41 | 0 | 3.200000e+01 | 2.250000e+02 | 603.12%
839.83/840.12 o 224
839.83/840.12 c * 767s| 3431k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 41 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
845.03/845.37 c 772s| 3440k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 405 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
850.33/850.69 c 777s| 3450k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 724 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
854.53/854.86 c 781s| 3460k| 3428k| 0 | 0.0 |1359M| 246 | - | 478 | 551 | 0 | 0 | 0 | 905 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
859.13/859.41 c 786s| 3470k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |1127 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
863.33/863.67 c 790s| 3480k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |1343 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
867.23/867.52 c 794s| 3490k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |1506 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
872.23/872.51 c 798s| 3500k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |1784 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
876.43/876.78 c 803s| 3510k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |1984 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
881.22/881.54 c 807s| 3520k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |2240 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
885.82/886.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.82/886.13 c 812s| 3530k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |2487 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
890.63/890.95 c 816s| 3540k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |2752 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
896.12/896.42 c 822s| 3550k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |3102 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
901.11/901.42 c 826s| 3560k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |3388 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
905.22/905.51 c 830s| 3570k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |3584 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
909.11/909.50 c 834s| 3580k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |3752 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
914.01/914.34 c 839s| 3590k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |4020 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
918.22/918.53 c 843s| 3600k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |4230 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
923.81/924.18 c 848s| 3610k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |4601 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
928.61/928.91 c 853s| 3620k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |4863 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
932.61/932.95 c 857s| 3630k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |5032 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
937.91/938.27 c 862s| 3640k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |5354 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
941.90/942.29 c 866s| 3650k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |5529 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
946.50/946.85 c 870s| 3660k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |5775 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
951.60/951.96 c 875s| 3670k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |6076 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
955.70/956.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.70/956.02 c 879s| 3680k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |6242 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
960.60/960.99 c 884s| 3690k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |6524 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
965.70/966.08 c 889s| 3700k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |6840 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
970.60/970.90 c 894s| 3710k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |7109 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
974.80/975.10 c 898s| 3720k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |7295 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
978.60/978.97 c 901s| 3730k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |7457 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
982.40/982.79 c 905s| 3740k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |7604 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
987.00/987.35 c 910s| 3750k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |7846 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
991.09/991.41 c 913s| 3760k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |8031 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
996.39/996.76 c 919s| 3770k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |8360 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1001.09/1001.46 c 923s| 3780k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |8598 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1007.79/1008.11 c 930s| 3790k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |9055 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1012.99/1013.34 c 935s| 3800k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |9364 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1018.30/1018.68 c 940s| 3810k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 |9682 | 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1026.68/1027.03 c 948s| 3820k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 10k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1033.98/1034.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.98/1034.35 c 955s| 3830k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 10k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1040.29/1040.67 c 961s| 3840k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 11k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1046.37/1046.72 c 967s| 3850k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 11k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1050.87/1051.29 c 972s| 3860k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 12k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1056.97/1057.37 c 978s| 3870k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 12k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1062.97/1063.39 c 983s| 3880k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 12k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1068.67/1069.01 c 989s| 3890k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 13k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1074.47/1074.82 c 995s| 3900k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 13k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1079.87/1080.23 c 1000s| 3910k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 14k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1086.86/1087.25 c 1007s| 3920k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 14k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1092.86/1093.22 c 1012s| 3930k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 14k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1097.47/1097.82 c 1017s| 3940k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 15k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1102.46/1102.86 c 1022s| 3950k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 15k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1106.75/1107.16 c 1026s| 3960k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 15k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1111.16/1111.57 c 1030s| 3970k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 15k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1115.46/1115.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.46/1115.86 c 1034s| 3980k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 16k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1120.86/1121.29 c 1040s| 3990k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 16k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1125.56/1125.99 c 1044s| 4000k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 16k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1130.36/1130.74 c 1049s| 4010k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 17k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1135.15/1135.52 c 1053s| 4020k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 17k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1140.26/1140.63 c 1058s| 4030k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 17k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1144.55/1144.97 c 1063s| 4040k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 17k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1149.75/1150.18 c 1068s| 4050k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 18k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1154.04/1154.45 c 1072s| 4060k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 18k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1157.74/1158.13 c 1075s| 4070k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 18k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1161.34/1161.72 c 1079s| 4080k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 18k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1165.14/1165.51 c 1082s| 4090k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 18k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1169.55/1169.96 c 1087s| 4100k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 18k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1173.14/1173.50 c 1090s| 4110k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 19k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1177.94/1178.35 c 1095s| 4120k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 19k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1183.14/1183.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.14/1183.60 c 1100s| 4130k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 19k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1189.24/1189.65 c 1106s| 4140k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 19k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1194.74/1195.11 c 1111s| 4150k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 20k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1199.23/1199.62 c 1115s| 4160k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 20k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1203.84/1204.21 c 1120s| 4170k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 20k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1208.13/1208.51 c 1124s| 4180k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 21k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1212.84/1213.26 c 1129s| 4190k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 21k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1216.33/1216.72 c 1132s| 4200k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 21k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1220.13/1220.57 c 1136s| 4210k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 21k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1224.83/1225.21 c 1140s| 4220k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 21k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1229.63/1230.02 c 1145s| 4230k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1233.32/1233.73 c 1148s| 4240k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1237.13/1237.52 c 1152s| 4250k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1240.33/1240.73 c 1155s| 4260k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1243.52/1243.97 c 1158s| 4270k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1247.22/1247.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.22/1247.60 c 1161s| 4280k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1251.11/1251.56 c 1165s| 4290k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 22k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1254.82/1255.20 c 1169s| 4300k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 23k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1259.41/1259.84 c 1173s| 4310k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 23k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1263.31/1263.75 c 1177s| 4320k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 23k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1267.61/1268.00 c 1181s| 4330k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 23k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1271.61/1272.02 c 1185s| 4340k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 23k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1275.61/1276.05 c 1189s| 4350k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 24k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1280.02/1280.44 c 1193s| 4360k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 24k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1284.11/1284.50 c 1197s| 4370k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 24k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1288.00/1288.40 c 1201s| 4380k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 24k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1291.80/1292.28 c 1205s| 4390k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 24k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1295.41/1295.88 c 1208s| 4400k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 24k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1299.30/1299.76 c 1212s| 4410k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 25k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1302.90/1303.30 c 1215s| 4420k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 25k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1306.80/1307.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.80/1307.21 c 1219s| 4430k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 25k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1311.91/1312.39 c 1224s| 4440k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 25k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1317.09/1317.57 c 1229s| 4450k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 25k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1322.50/1322.97 c 1234s| 4460k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 26k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1326.89/1327.39 c 1238s| 4470k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 26k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1332.10/1332.56 c 1243s| 4480k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 26k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1337.39/1337.84 c 1249s| 4490k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 26k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1341.89/1342.31 c 1253s| 4500k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 27k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1346.19/1346.69 c 1257s| 4510k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 27k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1351.40/1351.84 c 1262s| 4520k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 27k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1357.08/1357.50 c 1268s| 4530k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 28k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1362.79/1363.30 c 1273s| 4540k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 28k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1367.89/1368.39 c 1278s| 4550k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 28k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1373.18/1373.67 c 1283s| 4560k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 28k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1377.78/1378.20 c 1288s| 4570k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 29k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1382.38/1382.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.38/1382.86 c 1292s| 4580k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 29k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1387.07/1387.52 c 1297s| 4590k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 29k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1392.87/1393.30 c 1302s| 4600k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 30k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1397.27/1397.78 c 1307s| 4610k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 30k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1402.77/1403.23 c 1312s| 4620k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 30k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1407.27/1407.71 c 1316s| 4630k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 30k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1411.67/1412.14 c 1321s| 4640k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 31k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1415.87/1416.36 c 1325s| 4650k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 31k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1420.86/1421.39 c 1330s| 4660k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 31k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1426.46/1426.92 c 1335s| 4670k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 31k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1431.26/1431.75 c 1340s| 4680k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 32k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1435.46/1435.90 c 1344s| 4690k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 32k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1439.56/1440.03 c 1348s| 4700k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 32k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1444.56/1445.03 c 1352s| 4710k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 32k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1449.86/1450.36 c 1358s| 4720k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 32k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1455.15/1455.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.15/1455.62 c 1363s| 4730k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 33k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1459.36/1459.80 c 1367s| 4740k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 33k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1465.55/1466.07 c 1373s| 4750k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 33k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1470.05/1470.52 c 1377s| 4760k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 34k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1474.24/1474.76 c 1381s| 4770k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 34k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1479.06/1479.52 c 1386s| 4780k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 34k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1483.15/1483.61 c 1390s| 4790k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 34k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1486.85/1487.38 c 1393s| 4800k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 34k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1491.95/1492.42 c 1398s| 4810k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 35k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1496.84/1497.32 c 1403s| 4820k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 35k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1501.24/1501.77 c 1407s| 4830k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 35k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1506.55/1507.01 c 1412s| 4840k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 35k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1511.84/1512.33 c 1418s| 4850k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 36k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1516.23/1516.77 c 1422s| 4860k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 36k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1522.54/1523.04 c 1428s| 4870k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 36k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1527.84/1528.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.84/1528.30 c 1433s| 4880k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 37k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1534.04/1534.54 c 1439s| 4890k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 37k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1540.23/1540.74 c 1445s| 4900k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 37k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1545.13/1545.63 c 1450s| 4910k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 38k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1551.54/1552.10 c 1456s| 4920k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 38k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1556.82/1557.36 c 1461s| 4930k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 39k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1561.12/1561.61 c 1466s| 4940k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 39k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1566.72/1567.23 c 1471s| 4950k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 39k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1570.92/1571.47 c 1475s| 4960k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 39k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1575.02/1575.52 c 1479s| 4970k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 39k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1579.92/1580.47 c 1484s| 4980k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 40k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1584.52/1585.05 c 1488s| 4990k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 40k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1589.11/1589.69 c 1493s| 5000k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 40k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1595.32/1595.87 c 1499s| 5010k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 41k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1599.21/1599.72 c 1502s| 5020k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 41k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1603.11/1603.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.11/1603.66 c 1506s| 5030k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 41k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1608.40/1608.92 c 1511s| 5040k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 41k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1614.60/1615.10 c 1517s| 5050k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 42k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1619.90/1620.41 c 1523s| 5060k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 42k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1623.70/1624.22 c 1526s| 5070k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 42k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1627.60/1628.12 c 1530s| 5080k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 42k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1632.00/1632.55 c 1534s| 5090k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 42k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1636.50/1637.10 c 1539s| 5100k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 43k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1642.20/1642.73 c 1544s| 5110k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 43k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1646.80/1647.36 c 1549s| 5120k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 43k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1651.79/1652.37 c 1553s| 5130k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 43k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1656.60/1657.18 c 1558s| 5140k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 44k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1662.00/1662.52 c 1563s| 5150k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 44k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1667.30/1667.80 c 1568s| 5160k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 44k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1672.09/1672.68 c 1573s| 5170k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 45k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1677.18/1677.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.18/1677.79 c 1578s| 5180k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 45k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1681.88/1682.42 c 1583s| 5190k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 45k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1686.18/1686.72 c 1587s| 5200k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 45k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1689.78/1690.32 c 1590s| 5210k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 45k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1694.28/1694.81 c 1594s| 5220k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 46k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1698.68/1699.26 c 1599s| 5230k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 46k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1703.29/1703.82 c 1603s| 5240k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 46k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1708.58/1709.17 c 1608s| 5250k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 46k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1712.78/1713.30 c 1612s| 5260k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 47k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1717.69/1718.25 c 1617s| 5270k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 47k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1721.38/1721.97 c 1621s| 5280k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 47k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1725.07/1725.60 c 1624s| 5290k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 47k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1728.87/1729.49 c 1628s| 5300k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 47k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1732.98/1733.51 c 1632s| 5310k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 47k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1737.38/1737.90 c 1636s| 5320k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 48k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1742.27/1742.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.27/1742.85 c 1641s| 5330k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 48k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1747.17/1747.72 c 1646s| 5340k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 48k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1751.97/1752.50 c 1650s| 5350k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 48k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1757.28/1757.84 c 1655s| 5360k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 49k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1761.77/1762.39 c 1660s| 5370k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 49k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1765.66/1766.25 c 1663s| 5380k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 49k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1769.76/1770.37 c 1667s| 5390k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 49k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1773.47/1774.09 c 1671s| 5400k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 49k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1777.46/1778.03 c 1675s| 5410k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 50k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1781.66/1782.21 c 1679s| 5420k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 50k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1785.56/1786.16 c 1683s| 5430k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 50k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1789.66/1790.26 c 1687s| 5440k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 50k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1793.26/1793.85 c 1690s| 5450k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 50k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1796.87/1797.48 c 1693s| 5460k| 3428k| 0 | 0.0 |1359M| 247 | - | 478 | 551 | 0 | 0 | 0 | 50k| 0 | 3.200000e+01 | 2.240000e+02 | 600.00%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1696.54
1800.07/1800.61 c Solving Nodes : 5465250
1800.07/1800.61 c Primal Bound : +2.24000000000000e+02 (10 solutions)
1800.07/1800.61 c Dual Bound : +3.20000000000000e+01
1800.07/1800.61 c Gap : 600.00 %
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x478 x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 x468 -x467 x466 x465 x464 -x463 -x462 x461 x460 x459 x458 x457 -x456
1800.07/1800.61 v -x455 x454 x453 -x452 x451 x450 x449 x448 x447 x446 x445 -x444 -x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 -x434 -x433
1800.07/1800.61 v -x432 x431 x430 x429 -x428 x427 -x426 x425 x424 x423 x422 -x421 x420 x419 x418 -x417 -x416 -x415 x414 -x413 x412 -x411 -x410
1800.07/1800.61 v -x409 x408 x407 -x406 -x405 -x404 x403 -x402 x401 -x400 -x399 x398 x397 x396 -x395 -x394 -x393 x392 x391 -x390 -x389 -x388 -x387
1800.07/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.07/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
1800.07/1800.61 v x341 x340 -x339 x338 -x337 x336 x335 -x334 x333 x332 -x331 -x330 -x329 x328 x327 x326 -x325 -x324 x323 -x322 -x321 -x320 -x319
1800.07/1800.61 v -x318 x317 -x316 -x315 x314 x313 x312 -x311 -x310 x309 -x308 x307 x306 -x305 x304 -x303 -x302 -x301 -x300 x299 x298 x297
1800.07/1800.61 v -x296 x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275
1800.07/1800.61 v -x274 -x273 -x272 -x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 -x257 -x256 x255 x254 -x253
1800.07/1800.61 v -x252 x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 x242 x241 -x240 x239 x238 x237 x236 -x235 -x234 -x233 x232 -x231
1800.07/1800.61 v -x230 -x229 -x228 -x227 x226 x225 x224 x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 x212 x211 -x210 x209
1800.07/1800.61 v -x208 x207 x206 -x205 -x204 -x203 -x202 x201 x200 x199 -x198 -x197 -x196 x195 x194 x193 -x192 -x191 x190 x189 x188 x187 -x186
1800.07/1800.61 v x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 x177 -x176 x175 -x174 -x173 -x172 x171 x170 x169 -x168 x167 -x166 x165 -x164
1800.07/1800.61 v -x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 -x147 x146 x145 x144 -x143 x142 x141
1800.07/1800.61 v x140 -x139 -x138 x137 x136 -x135 -x134 -x133 x132 -x131 x130 x129 -x128 -x127 -x126 -x125 x124 x123 x122 -x121 x120 x119 x118
1800.07/1800.61 v -x117 x116 x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 x104 -x103 x102 x101 x100 x99 x98 x97 -x96 x95 x94
1800.07/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
1800.07/1800.61 v x66 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.07/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
1800.07/1800.61 v x9 -x8 -x7 -x6 x5 -x4 -x3 x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1696.54
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664154-1276369077.opb
1800.07/1800.61 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 478 initial, 478 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664154-1276369077.opb
1800.07/1800.61 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 551 initial, 551 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 0.01 0 0 0 0 0 21 303 629
1800.07/1800.61 c setppc : 0.01 0 0 0 0 0 40 0 0
1800.07/1800.61 c linear : 0.02 0 0 0 0 0 0 0 21
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 453 0 9535351 0 4455764 51040 7617444 0 0 0
1800.07/1800.61 c setppc : 94 0 6296366 0 3166535 0 1794072 0 0 0
1800.07/1800.61 c logicor : 4+ 0 336511 0 3428215 0 25143 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 4455764 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c knapsack : 820.04 0.00 751.45 0.00 68.59
1800.07/1800.61 c setppc : 68.77 0.00 11.54 0.00 57.23
1800.07/1800.61 c logicor : 4.39 0.00 0.40 0.00 3.99
1800.07/1800.61 c countsols : 2.10 0.00 0.00 0.00 2.10
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 5.21 2 0 0
1800.07/1800.61 c rootredcost : 4.65 0 0 0
1800.07/1800.61 c pseudoobj : 269.34 10509533 974382 10426513
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 429.32 51040 51040 4862585 252.2 0 0.0 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 0 0.0 - - -
1800.07/1800.61 c applied locally : - - - 51040 200.4 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 287.59 4455757 0 0 0 0 8911514
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.91 - 7
1800.07/1800.61 c oneopt : 3.26 0 0
1800.07/1800.61 c trivial : 0.00 2 3
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 2.23 0 0
1800.07/1800.61 c trysol : 2.58 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 5465250
1800.07/1800.61 c nodes (total) : 5465250
1800.07/1800.61 c nodes left : 3428258
1800.07/1800.61 c max depth : 247
1800.07/1800.61 c max depth (total): 247
1800.07/1800.61 c backtracks : 666620 (12.2%)
1800.07/1800.61 c delayed cutoffs : 17966
1800.07/1800.61 c repropagations : 26129 (220335 domain reductions, 15937 cutoffs)
1800.07/1800.61 c avg switch length: 2.57
1800.07/1800.61 c switching time : 72.23
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 10 (8 improvements)
1800.07/1800.61 c First Solution : +4.78000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.07/1800.61 c Primal Bound : +2.24000000000000e+02 (in run 1, after 3431843 nodes, 767.03 seconds, depth 243, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +3.20000000000000e+01
1800.07/1800.61 c Gap : 600.00 %
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 0