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-2664780-1276593478.opb>
0.00/0.03 c original problem has 652 variables (652 bin, 0 int, 0 impl, 0 cont) and 759 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 o 652
0.00/0.05 c feasible solution found by trivial heuristic, objective value 6.520000e+02
0.00/0.05 c presolving:
0.00/0.07 c (round 1) 0 del vars, 368 del conss, 0 chg bounds, 351 chg sides, 0 chg coeffs, 0 upgd conss, 28 impls, 0 clqs
0.00/0.07 c (round 2) 37 del vars, 374 del conss, 0 chg bounds, 351 chg sides, 0 chg coeffs, 0 upgd conss, 28 impls, 0 clqs
0.00/0.07 c (round 3) 44 del vars, 384 del conss, 0 chg bounds, 351 chg sides, 0 chg coeffs, 0 upgd conss, 28 impls, 0 clqs
0.00/0.07 c (round 4) 45 del vars, 386 del conss, 0 chg bounds, 351 chg sides, 0 chg coeffs, 0 upgd conss, 28 impls, 0 clqs
0.08/0.08 c (round 5) 46 del vars, 386 del conss, 0 chg bounds, 351 chg sides, 0 chg coeffs, 373 upgd conss, 28 impls, 0 clqs
0.08/0.09 c (0.1s) probing: 101/606 (16.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.09 c presolving (6 rounds):
0.08/0.09 c 46 deleted vars, 386 deleted constraints, 0 tightened bounds, 0 added holes, 351 changed sides, 0 changed coefficients
0.08/0.09 c 28 implications, 0 cliques
0.08/0.09 c presolved problem has 606 variables (606 bin, 0 int, 0 impl, 0 cont) and 373 constraints
0.08/0.09 c 373 constraints of type <logicor>
0.08/0.09 c transformed objective value is always integral (scale: 1)
0.08/0.09 c Presolving Time: 0.04
0.08/0.09 c - non default parameters ----------------------------------------------------------------------
0.08/0.09 c # SCIP version 1.2.1.2
0.08/0.09 c
0.08/0.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.08/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.09 c conflict/interconss = 0
0.08/0.09 c
0.08/0.09 c # should binary conflicts be preferred?
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c conflict/preferbinary = TRUE
0.08/0.09 c
0.08/0.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.08/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.09 c constraints/agelimit = 1
0.08/0.09 c
0.08/0.09 c # should enforcement of pseudo solution be disabled?
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/disableenfops = TRUE
0.08/0.09 c
0.08/0.09 c # frequency for displaying node information lines
0.08/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.09 c display/freq = 10000
0.08/0.09 c
0.08/0.09 c # maximal time in seconds to run
0.08/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.09 c limits/time = 1799.97
0.08/0.09 c
0.08/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.09 c limits/memory = 1620
0.08/0.09 c
0.08/0.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.08/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.09 c lp/solvefreq = -1
0.08/0.09 c
0.08/0.09 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.08/0.09 c # [type: char, range: {lafpsqd}, default: l]
0.08/0.09 c lp/pricing = a
0.08/0.09 c
0.08/0.09 c # should presolving try to simplify inequalities
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/linear/simplifyinequalities = TRUE
0.08/0.09 c
0.08/0.09 c # should presolving try to simplify knapsacks
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.09 c
0.08/0.09 c # priority of node selection rule <dfs> in standard mode
0.08/0.09 c # [type: int, range: [-536870912,536870911], default: 0]
0.08/0.09 c nodeselection/dfs/stdpriority = 1000000
0.08/0.09 c
0.08/0.09 c -----------------------------------------------------------------------------------------------
0.08/0.09 c start solving
0.08/0.09 c
0.08/0.09 o 613
0.08/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.09 c t 0.1s| 1 | 0 | 0 | - |1882k| 0 | - | 606 | 373 | 0 | 0 | 0 | 0 | 0 | -- | 6.130000e+02 | Inf
0.08/0.10 c 0.1s| 1 | 2 | 0 | - |1866k| 0 | - | 606 | 373 | 0 | 0 | 0 | 0 | 0 | 7.000000e+00 | 6.130000e+02 |8657.14%
0.09/0.16 o 113
0.09/0.16 c * 0.1s| 501 | 497 | 0 | 0.0 |2135k| 500 | - | 606 | 373 | 0 | 0 | 0 | 0 | 0 | 8.000000e+00 | 1.130000e+02 |1312.50%
2.69/2.75 o 112
2.69/2.75 c * 2.5s| 7319 | 473 | 0 | 0.0 |2242k| 500 | - | 606 | 373 | 0 | 0 | 0 |4103 | 0 | 8.000000e+00 | 1.120000e+02 |1300.00%
3.89/3.91 c 3.6s| 10000 | 471 | 0 | 0.0 |2242k| 500 | - | 606 | 373 | 0 | 0 | 0 |5855 | 0 | 8.000000e+00 | 1.120000e+02 |1300.00%
4.40/4.43 o 111
4.40/4.43 c * 4.1s| 11267 | 471 | 0 | 0.0 |2249k| 500 | - | 606 | 373 | 0 | 0 | 0 |6665 | 0 | 8.000000e+00 | 1.110000e+02 |1287.50%
5.59/5.69 o 110
5.59/5.69 c * 5.3s| 14319 | 470 | 0 | 0.0 |2265k| 500 | - | 606 | 373 | 0 | 0 | 0 |8544 | 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
7.99/8.00 c 7.5s| 20000 | 471 | 0 | 0.0 |2263k| 500 | - | 606 | 373 | 0 | 0 | 0 | 11k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
12.19/12.24 c 11.5s| 30000 | 468 | 0 | 0.0 |2268k| 500 | - | 606 | 373 | 0 | 0 | 0 | 17k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
16.28/16.30 c 15.3s| 40000 | 474 | 0 | 0.0 |2272k| 500 | - | 606 | 373 | 0 | 0 | 0 | 23k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
20.68/20.77 c 19.6s| 50000 | 462 | 0 | 0.0 |2269k| 500 | - | 606 | 373 | 0 | 0 | 0 | 29k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
24.98/25.09 c 23.7s| 60000 | 472 | 0 | 0.0 |2271k| 500 | - | 606 | 373 | 0 | 0 | 0 | 35k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
29.49/29.59 c 27.9s| 70000 | 464 | 0 | 0.0 |2272k| 500 | - | 606 | 373 | 0 | 0 | 0 | 41k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
34.29/34.35 c 32.5s| 80000 | 466 | 0 | 0.0 |2269k| 500 | - | 606 | 373 | 0 | 0 | 0 | 47k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
38.98/39.02 c 36.9s| 90000 | 463 | 0 | 0.0 |2268k| 500 | - | 606 | 373 | 0 | 0 | 0 | 53k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
43.38/43.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.38/43.48 c 41.1s|100000 | 463 | 0 | 0.0 |2267k| 500 | - | 606 | 373 | 0 | 0 | 0 | 60k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
47.68/47.71 c 45.0s|110000 | 464 | 0 | 0.0 |2268k| 500 | - | 606 | 373 | 0 | 0 | 0 | 65k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
51.98/52.07 c 49.2s|120000 | 464 | 0 | 0.0 |2270k| 500 | - | 606 | 373 | 0 | 0 | 0 | 71k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
56.48/56.51 c 53.4s|130000 | 460 | 0 | 0.0 |2274k| 500 | - | 606 | 373 | 0 | 0 | 0 | 77k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
60.57/60.69 c 57.3s|140000 | 459 | 0 | 0.0 |2277k| 500 | - | 606 | 373 | 0 | 0 | 0 | 83k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
64.98/65.02 c 61.4s|150000 | 467 | 0 | 0.0 |2272k| 500 | - | 606 | 373 | 0 | 0 | 0 | 89k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
69.38/69.47 c 65.6s|160000 | 466 | 0 | 0.0 |2272k| 500 | - | 606 | 373 | 0 | 0 | 0 | 95k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
73.68/73.75 c 69.7s|170000 | 460 | 0 | 0.0 |2277k| 500 | - | 606 | 373 | 0 | 0 | 0 | 101k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
78.47/78.54 c 74.2s|180000 | 459 | 0 | 0.0 |2274k| 500 | - | 606 | 373 | 0 | 0 | 0 | 107k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
83.28/83.35 c 78.8s|190000 | 456 | 0 | 0.0 |2272k| 500 | - | 606 | 373 | 0 | 0 | 0 | 114k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
87.57/87.60 c 82.8s|200000 | 459 | 0 | 0.0 |2271k| 500 | - | 606 | 373 | 0 | 0 | 0 | 120k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
91.87/91.94 c 86.9s|210000 | 458 | 0 | 0.0 |2270k| 500 | - | 606 | 373 | 0 | 0 | 0 | 126k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
95.87/95.92 c 90.7s|220000 | 458 | 0 | 0.0 |2274k| 500 | - | 606 | 373 | 0 | 0 | 0 | 131k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
100.07/100.18 c 94.6s|230000 | 457 | 0 | 0.0 |2270k| 500 | - | 606 | 373 | 0 | 0 | 0 | 137k| 0 | 8.000000e+00 | 1.100000e+02 |1275.00%
101.87/101.99 o 109
101.87/101.99 c *96.3s|234709 | 459 | 0 | 0.0 |2284k| 500 | - | 606 | 373 | 0 | 0 | 0 | 140k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
104.16/104.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.16/104.22 c 98.5s|240000 | 458 | 0 | 0.0 |2285k| 500 | - | 606 | 373 | 0 | 0 | 0 | 143k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
108.27/108.32 c 102s|250000 | 460 | 0 | 0.0 |2279k| 500 | - | 606 | 373 | 0 | 0 | 0 | 148k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
112.37/112.46 c 106s|260000 | 455 | 0 | 0.0 |2286k| 500 | - | 606 | 373 | 0 | 0 | 0 | 154k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
116.67/116.76 c 110s|270000 | 455 | 0 | 0.0 |2284k| 500 | - | 606 | 373 | 0 | 0 | 0 | 160k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
120.97/121.04 c 114s|280000 | 455 | 0 | 0.0 |2284k| 500 | - | 606 | 373 | 0 | 0 | 0 | 166k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
125.26/125.37 c 119s|290000 | 454 | 0 | 0.0 |2286k| 500 | - | 606 | 373 | 0 | 0 | 0 | 172k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
129.56/129.61 c 123s|300000 | 454 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 178k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
133.75/133.83 c 127s|310000 | 452 | 0 | 0.0 |2286k| 500 | - | 606 | 373 | 0 | 0 | 0 | 184k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
137.96/138.03 c 131s|320000 | 452 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 190k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
142.66/142.73 c 135s|330000 | 456 | 0 | 0.0 |2286k| 500 | - | 606 | 373 | 0 | 0 | 0 | 196k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
147.06/147.12 c 139s|340000 | 452 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 202k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
151.45/151.55 c 143s|350000 | 452 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 208k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
155.55/155.60 c 147s|360000 | 449 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 213k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
160.46/160.57 c 152s|370000 | 452 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 220k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
165.35/165.42 c 157s|380000 | 454 | 0 | 0.0 |2287k| 500 | - | 606 | 373 | 0 | 0 | 0 | 226k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
170.25/170.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.25/170.34 c 161s|390000 | 448 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 | 232k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
174.75/174.83 c 165s|400000 | 449 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 238k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
179.45/179.52 c 170s|410000 | 448 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 244k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
184.05/184.11 c 174s|420000 | 451 | 0 | 0.0 |2286k| 500 | - | 606 | 373 | 0 | 0 | 0 | 250k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
188.64/188.71 c 179s|430000 | 452 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 256k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
193.04/193.19 c 183s|440000 | 450 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 262k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
197.65/197.76 c 187s|450000 | 454 | 0 | 0.0 |2287k| 500 | - | 606 | 373 | 0 | 0 | 0 | 268k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
202.35/202.40 c 192s|460000 | 451 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 274k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
206.54/206.68 c 196s|470000 | 449 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 280k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
210.94/211.06 c 200s|480000 | 447 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 286k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
215.33/215.40 c 204s|490000 | 449 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 292k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
219.64/219.73 c 208s|500000 | 449 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 | 298k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
224.04/224.12 c 212s|510000 | 450 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 304k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
228.44/228.50 c 216s|520000 | 447 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 310k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
232.64/232.71 c 220s|530000 | 447 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 316k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
237.13/237.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.13/237.22 c 225s|540000 | 449 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 322k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
241.84/241.92 c 229s|550000 | 448 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 328k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
246.53/246.61 c 234s|560000 | 448 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 335k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
250.73/250.90 c 238s|570000 | 448 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 340k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
254.93/255.05 c 242s|580000 | 451 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 346k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
258.93/259.09 c 245s|590000 | 451 | 0 | 0.0 |2288k| 500 | - | 606 | 373 | 0 | 0 | 0 | 352k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
263.02/263.16 c 249s|600000 | 448 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 357k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
267.42/267.55 c 253s|610000 | 453 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 363k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
272.03/272.14 c 258s|620000 | 448 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 369k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
276.43/276.54 c 262s|630000 | 451 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 | 375k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
280.72/280.81 c 266s|640000 | 449 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 | 381k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
285.02/285.13 c 270s|650000 | 455 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 387k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
289.42/289.53 c 274s|660000 | 451 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 392k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
293.42/293.54 c 278s|670000 | 448 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 398k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
297.72/297.86 c 282s|680000 | 448 | 0 | 0.0 |2288k| 500 | - | 606 | 373 | 0 | 0 | 0 | 404k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
301.81/301.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.81/301.96 c 286s|690000 | 444 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 410k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
306.21/306.36 c 290s|700000 | 449 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 415k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
310.71/310.86 c 294s|710000 | 447 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 421k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
315.01/315.18 c 298s|720000 | 444 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 427k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
319.01/319.12 c 302s|730000 | 447 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 432k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
323.22/323.38 c 306s|740000 | 446 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 438k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
327.62/327.72 c 310s|750000 | 445 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 444k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
332.02/332.12 c 314s|760000 | 449 | 0 | 0.0 |2288k| 500 | - | 606 | 373 | 0 | 0 | 0 | 450k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
336.41/336.55 c 319s|770000 | 448 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 456k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
340.82/340.91 c 323s|780000 | 448 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 462k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
345.10/345.25 c 327s|790000 | 445 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 | 467k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
349.30/349.44 c 331s|800000 | 449 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 473k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
353.81/353.94 c 335s|810000 | 449 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 479k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
358.00/358.11 c 339s|820000 | 447 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 485k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
362.20/362.34 c 343s|830000 | 447 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 490k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
366.40/366.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.40/366.59 c 347s|840000 | 451 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 496k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
370.70/370.84 c 351s|850000 | 445 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 502k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
375.10/375.21 c 355s|860000 | 446 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 508k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
379.49/379.64 c 360s|870000 | 445 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 514k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
383.90/384.02 c 364s|880000 | 446 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 | 520k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
388.29/388.42 c 368s|890000 | 449 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 526k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
392.60/392.77 c 372s|900000 | 448 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 532k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
396.80/396.95 c 376s|910000 | 446 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 538k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
400.99/401.13 c 380s|920000 | 448 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 544k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
404.99/405.16 c 384s|930000 | 447 | 0 | 0.0 |2287k| 500 | - | 606 | 373 | 0 | 0 | 0 | 549k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
409.10/409.24 c 388s|940000 | 447 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 555k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
413.39/413.50 c 392s|950000 | 447 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 | 561k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
418.49/418.62 c 396s|960000 | 448 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 567k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
422.88/423.06 c 401s|970000 | 446 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 | 573k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
426.99/427.16 c 405s|980000 | 449 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 579k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
431.38/431.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.38/431.56 c 409s|990000 | 445 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 584k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
435.78/435.98 c 413s| 1000k| 448 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 590k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
440.08/440.29 c 417s| 1010k| 451 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 596k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
444.78/444.90 c 421s| 1020k| 446 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 603k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
449.18/449.34 c 426s| 1030k| 448 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 608k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
453.28/453.43 c 429s| 1040k| 452 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 614k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
457.28/457.47 c 433s| 1050k| 454 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 | 620k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
461.48/461.68 c 437s| 1060k| 449 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 | 625k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
466.18/466.32 c 442s| 1070k| 450 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 631k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
470.69/470.85 c 446s| 1080k| 448 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 637k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
475.08/475.27 c 450s| 1090k| 445 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 | 643k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
479.48/479.64 c 454s| 1100k| 444 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 648k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
484.17/484.30 c 459s| 1110k| 445 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 | 655k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
488.97/489.10 c 463s| 1120k| 447 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 661k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
493.68/493.86 c 468s| 1130k| 449 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 667k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
498.27/498.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.27/498.42 c 472s| 1140k| 447 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 673k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
502.66/502.88 c 476s| 1150k| 447 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 | 679k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
507.16/507.38 c 481s| 1160k| 446 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 | 684k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
512.16/512.36 c 485s| 1170k| 447 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 690k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
516.66/516.90 c 490s| 1180k| 443 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 | 696k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
521.06/521.29 c 494s| 1190k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 702k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
525.26/525.41 c 498s| 1200k| 450 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 708k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
529.56/529.75 c 502s| 1210k| 445 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 713k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
534.25/534.44 c 506s| 1220k| 445 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 720k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
538.56/538.75 c 510s| 1230k| 446 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 | 726k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
543.06/543.28 c 515s| 1240k| 444 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 | 731k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
547.57/547.80 c 519s| 1250k| 453 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 737k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
551.85/552.04 c 523s| 1260k| 446 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 743k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
556.36/556.55 c 527s| 1270k| 444 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 | 749k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
561.15/561.30 c 532s| 1280k| 444 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 755k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
565.45/565.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.45/565.64 c 536s| 1290k| 457 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 | 761k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
569.85/570.00 c 540s| 1300k| 449 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 767k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
574.45/574.65 c 545s| 1310k| 448 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 | 773k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
578.54/578.75 c 548s| 1320k| 446 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 | 779k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
583.04/583.27 c 553s| 1330k| 445 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 785k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
587.55/587.70 c 557s| 1340k| 446 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 | 791k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
591.65/591.86 c 561s| 1350k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 797k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
595.74/595.98 c 565s| 1360k| 447 | 0 | 0.0 |2288k| 500 | - | 606 | 373 | 0 | 0 | 0 | 803k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
600.24/600.45 c 569s| 1370k| 448 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 | 809k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
604.14/604.37 c 573s| 1380k| 446 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 814k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
608.24/608.47 c 576s| 1390k| 451 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 820k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
612.13/612.31 c 580s| 1400k| 450 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 826k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
616.64/616.89 c 584s| 1410k| 447 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 832k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
621.04/621.22 c 588s| 1420k| 448 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 837k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
625.33/625.60 c 593s| 1430k| 446 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 843k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
629.63/629.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.63/629.84 c 597s| 1440k| 447 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 849k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
633.83/634.06 c 601s| 1450k| 446 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 | 855k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
637.93/638.16 c 604s| 1460k| 446 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 861k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
642.24/642.42 c 609s| 1470k| 443 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 867k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
646.63/646.87 c 613s| 1480k| 445 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 873k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
651.12/651.34 c 617s| 1490k| 450 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 879k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
655.62/655.89 c 621s| 1500k| 451 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 | 885k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
660.12/660.33 c 626s| 1510k| 447 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 891k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
664.52/664.72 c 630s| 1520k| 445 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 897k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
668.82/669.03 c 634s| 1530k| 445 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 903k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
673.22/673.48 c 638s| 1540k| 447 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 909k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
677.43/677.64 c 642s| 1550k| 446 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 914k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
681.62/681.81 c 646s| 1560k| 442 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 | 920k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
685.72/685.90 c 650s| 1570k| 446 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 926k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
689.81/690.08 c 654s| 1580k| 448 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 932k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
694.11/694.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.11/694.34 c 658s| 1590k| 446 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 | 938k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
698.52/698.75 c 662s| 1600k| 446 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 944k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
702.72/702.98 c 666s| 1610k| 446 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 | 950k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
706.92/707.10 c 670s| 1620k| 444 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 | 955k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
710.92/711.17 c 674s| 1630k| 449 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 961k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
715.01/715.21 c 677s| 1640k| 448 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 | 967k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
718.91/719.18 c 681s| 1650k| 457 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 | 972k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
723.21/723.44 c 685s| 1660k| 446 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 | 978k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
727.21/727.48 c 689s| 1670k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 984k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
731.70/731.93 c 693s| 1680k| 443 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 | 990k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
736.01/736.20 c 697s| 1690k| 448 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 | 995k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
740.51/740.75 c 702s| 1700k| 444 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1001k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
744.71/744.94 c 706s| 1710k| 445 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1007k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
748.91/749.11 c 709s| 1720k| 443 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1013k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
752.91/753.18 c 713s| 1730k| 445 | 0 | 0.0 |2288k| 500 | - | 606 | 373 | 0 | 0 | 0 |1019k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
757.00/757.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.00/757.20 c 717s| 1740k| 450 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1025k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
760.80/761.07 c 721s| 1750k| 451 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1030k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
764.89/765.18 c 725s| 1760k| 445 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1036k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
769.30/769.54 c 729s| 1770k| 443 | 0 | 0.0 |2307k| 500 | - | 606 | 373 | 0 | 0 | 0 |1042k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
773.69/773.99 c 733s| 1780k| 443 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1048k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
777.90/778.15 c 737s| 1790k| 447 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1054k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
782.09/782.33 c 741s| 1800k| 446 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1059k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
786.69/786.99 c 745s| 1810k| 444 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1066k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
790.89/791.13 c 749s| 1820k| 445 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1071k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
795.30/795.53 c 753s| 1830k| 446 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1077k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
799.50/799.73 c 757s| 1840k| 450 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1083k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
803.58/803.84 c 761s| 1850k| 446 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1089k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
807.99/808.21 c 765s| 1860k| 443 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 |1095k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
812.39/812.63 c 770s| 1870k| 442 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1101k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
816.99/817.20 c 774s| 1880k| 449 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 |1107k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
821.18/821.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.18/821.40 c 778s| 1890k| 462 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1113k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
825.18/825.47 c 782s| 1900k| 446 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 |1119k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
829.48/829.79 c 786s| 1910k| 445 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1125k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
833.88/834.10 c 790s| 1920k| 446 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1130k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
837.78/838.04 c 794s| 1930k| 447 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1136k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
841.97/842.24 c 798s| 1940k| 448 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1142k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
846.28/846.57 c 802s| 1950k| 441 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1148k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
850.47/850.70 c 806s| 1960k| 441 | 0 | 0.0 |2287k| 500 | - | 606 | 373 | 0 | 0 | 0 |1153k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
855.37/855.63 c 810s| 1970k| 440 | 0 | 0.0 |2308k| 500 | - | 606 | 373 | 0 | 0 | 0 |1160k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
860.37/860.69 c 815s| 1980k| 446 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1166k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
864.57/864.89 c 819s| 1990k| 443 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1172k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
868.67/868.99 c 823s| 2000k| 445 | 0 | 0.0 |2290k| 500 | - | 606 | 373 | 0 | 0 | 0 |1178k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
872.97/873.27 c 827s| 2010k| 453 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 |1184k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
877.87/878.17 c 832s| 2020k| 451 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1190k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
882.56/882.88 c 836s| 2030k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1197k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
887.26/887.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.26/887.52 c 841s| 2040k| 445 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1203k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
891.96/892.25 c 845s| 2050k| 445 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 |1209k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
895.86/896.18 c 849s| 2060k| 443 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1214k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
899.96/900.27 c 853s| 2070k| 440 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1220k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
904.35/904.62 c 857s| 2080k| 446 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 |1226k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
908.95/909.25 c 861s| 2090k| 444 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1232k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
913.16/913.40 c 865s| 2100k| 442 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1238k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
917.95/918.24 c 870s| 2110k| 447 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1244k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
923.05/923.33 c 874s| 2120k| 447 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1251k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
927.75/928.02 c 879s| 2130k| 446 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1258k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
932.85/933.10 c 884s| 2140k| 444 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1265k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
937.64/937.91 c 888s| 2150k| 441 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1271k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
942.25/942.51 c 893s| 2160k| 444 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1278k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
946.94/947.23 c 897s| 2170k| 441 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 |1284k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
950.84/951.10 c 901s| 2180k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1290k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
955.14/955.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.14/955.40 c 905s| 2190k| 443 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1296k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
959.34/959.64 c 909s| 2200k| 441 | 0 | 0.0 |2287k| 500 | - | 606 | 373 | 0 | 0 | 0 |1301k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
963.84/964.14 c 913s| 2210k| 443 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1307k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
968.24/968.53 c 917s| 2220k| 442 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1313k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
972.74/973.03 c 922s| 2230k| 442 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1320k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
976.84/977.19 c 926s| 2240k| 445 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1325k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
981.04/981.35 c 930s| 2250k| 438 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1331k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
985.34/985.69 c 934s| 2260k| 447 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1337k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
989.53/989.90 c 938s| 2270k| 449 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |1342k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
993.63/993.95 c 941s| 2280k| 443 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1348k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
997.93/998.23 c 946s| 2290k| 449 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1354k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1002.13/1002.46 c 950s| 2300k| 444 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1360k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1006.83/1007.17 c 954s| 2310k| 442 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1366k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1011.13/1011.41 c 958s| 2320k| 441 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1372k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1015.32/1015.61 c 962s| 2330k| 443 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1377k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1019.53/1019.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.53/1019.84 c 966s| 2340k| 442 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1383k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1024.13/1024.41 c 970s| 2350k| 443 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |1389k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1028.52/1028.85 c 975s| 2360k| 442 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1395k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1032.92/1033.27 c 979s| 2370k| 453 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1401k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1037.63/1037.91 c 983s| 2380k| 441 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 |1407k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1042.02/1042.32 c 987s| 2390k| 446 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1413k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1046.62/1046.91 c 992s| 2400k| 439 | 0 | 0.0 |2288k| 500 | - | 606 | 373 | 0 | 0 | 0 |1419k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1051.33/1051.65 c 996s| 2410k| 442 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1425k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1055.92/1056.21 c 1001s| 2420k| 444 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1432k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1060.52/1060.86 c 1005s| 2430k| 443 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1438k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1065.01/1065.31 c 1009s| 2440k| 445 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1443k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1069.32/1069.69 c 1013s| 2450k| 443 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1449k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1073.42/1073.76 c 1017s| 2460k| 441 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1455k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1077.82/1078.12 c 1021s| 2470k| 442 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |1461k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1082.22/1082.51 c 1026s| 2480k| 443 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1467k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1086.61/1086.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.61/1086.93 c 1030s| 2490k| 442 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 |1474k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1090.71/1091.05 c 1034s| 2500k| 446 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1479k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1094.61/1094.97 c 1037s| 2510k| 449 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1485k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1098.81/1099.18 c 1041s| 2520k| 442 | 0 | 0.0 |2306k| 500 | - | 606 | 373 | 0 | 0 | 0 |1490k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1103.01/1103.33 c 1045s| 2530k| 442 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1496k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1107.32/1107.65 c 1049s| 2540k| 443 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1502k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1111.51/1111.87 c 1053s| 2550k| 441 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1507k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1115.61/1115.97 c 1057s| 2560k| 442 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1513k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1120.30/1120.66 c 1062s| 2570k| 443 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1520k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1124.60/1124.94 c 1066s| 2580k| 444 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1525k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1128.90/1129.28 c 1070s| 2590k| 440 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1531k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1133.20/1133.51 c 1074s| 2600k| 441 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1537k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1137.50/1137.88 c 1078s| 2610k| 443 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1543k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1142.00/1142.33 c 1082s| 2620k| 441 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 |1549k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1146.50/1146.80 c 1086s| 2630k| 445 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1555k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1150.70/1151.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.70/1151.08 c 1090s| 2640k| 444 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1560k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1155.39/1155.76 c 1095s| 2650k| 443 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1567k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1159.39/1159.70 c 1099s| 2660k| 445 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |1572k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1163.59/1163.93 c 1103s| 2670k| 443 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1578k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1168.09/1168.47 c 1107s| 2680k| 448 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1584k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1172.48/1172.88 c 1111s| 2690k| 438 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1590k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1176.69/1177.06 c 1115s| 2700k| 442 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1596k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1180.69/1181.08 c 1119s| 2710k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1601k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1184.79/1185.13 c 1123s| 2720k| 443 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1607k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1188.88/1189.25 c 1127s| 2730k| 444 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1613k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1193.28/1193.62 c 1131s| 2740k| 443 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1618k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1197.19/1197.58 c 1135s| 2750k| 444 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1624k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1201.58/1201.97 c 1139s| 2760k| 442 | 0 | 0.0 |2306k| 500 | - | 606 | 373 | 0 | 0 | 0 |1630k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1206.48/1206.88 c 1143s| 2770k| 442 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1636k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1211.58/1211.95 c 1148s| 2780k| 448 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1642k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1216.78/1217.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.78/1217.12 c 1153s| 2790k| 441 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1649k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1221.48/1221.84 c 1158s| 2800k| 446 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1655k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1225.78/1226.19 c 1162s| 2810k| 446 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1661k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1230.07/1230.44 c 1166s| 2820k| 445 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1667k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1233.98/1234.36 c 1169s| 2830k| 443 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1673k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1237.97/1238.34 c 1173s| 2840k| 440 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1678k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1242.07/1242.48 c 1177s| 2850k| 443 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1684k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1246.37/1246.71 c 1181s| 2860k| 442 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1690k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1250.87/1251.20 c 1185s| 2870k| 439 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1695k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1255.67/1256.03 c 1190s| 2880k| 446 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1702k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1260.28/1260.67 c 1194s| 2890k| 443 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1708k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1264.86/1265.21 c 1199s| 2900k| 440 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1714k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1269.37/1269.75 c 1203s| 2910k| 442 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1720k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1273.86/1274.23 c 1207s| 2920k| 441 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1726k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1278.26/1278.67 c 1211s| 2930k| 436 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1732k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1282.27/1282.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.27/1282.62 c 1215s| 2940k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1737k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1286.46/1286.88 c 1219s| 2950k| 443 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1743k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1290.86/1291.29 c 1223s| 2960k| 442 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1749k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1295.26/1295.67 c 1228s| 2970k| 440 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1755k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1300.16/1300.55 c 1232s| 2980k| 443 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1762k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1305.26/1305.65 c 1237s| 2990k| 440 | 0 | 0.0 |2304k| 500 | - | 606 | 373 | 0 | 0 | 0 |1768k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1310.36/1310.71 c 1242s| 3000k| 438 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1775k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1315.55/1315.96 c 1247s| 3010k| 441 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1783k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1320.55/1320.93 c 1252s| 3020k| 441 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1789k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1325.25/1325.68 c 1256s| 3030k| 439 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1796k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1329.46/1329.81 c 1260s| 3040k| 440 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1801k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1333.65/1334.03 c 1264s| 3050k| 441 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1807k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1338.15/1338.55 c 1268s| 3060k| 441 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1813k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1342.45/1342.84 c 1272s| 3070k| 442 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1819k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1346.74/1347.11 c 1276s| 3080k| 438 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1825k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1350.94/1351.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.94/1351.30 c 1280s| 3090k| 441 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1831k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1355.14/1355.57 c 1284s| 3100k| 440 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1837k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1359.65/1360.00 c 1289s| 3110k| 440 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1843k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1364.24/1364.62 c 1293s| 3120k| 442 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1849k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1368.64/1369.06 c 1297s| 3130k| 442 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1855k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1373.24/1373.62 c 1302s| 3140k| 443 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1861k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1377.64/1378.03 c 1306s| 3150k| 437 | 0 | 0.0 |2311k| 500 | - | 606 | 373 | 0 | 0 | 0 |1867k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1382.25/1382.63 c 1310s| 3160k| 442 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1873k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1386.54/1386.93 c 1314s| 3170k| 444 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1879k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1390.63/1391.04 c 1318s| 3180k| 447 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1884k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1395.33/1395.76 c 1322s| 3190k| 441 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1891k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1399.44/1399.85 c 1326s| 3200k| 441 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |1897k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1403.43/1403.83 c 1330s| 3210k| 446 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1902k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1407.73/1408.18 c 1334s| 3220k| 440 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |1908k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1412.23/1412.60 c 1338s| 3230k| 440 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |1914k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1416.43/1416.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.43/1416.81 c 1342s| 3240k| 441 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1920k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1420.73/1421.10 c 1346s| 3250k| 444 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |1926k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1425.23/1425.61 c 1351s| 3260k| 443 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 |1932k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1429.43/1429.82 c 1355s| 3270k| 444 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |1937k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1433.73/1434.17 c 1359s| 3280k| 443 | 0 | 0.0 |2307k| 500 | - | 606 | 373 | 0 | 0 | 0 |1943k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1438.22/1438.65 c 1363s| 3290k| 446 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |1949k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1442.52/1442.97 c 1367s| 3300k| 437 | 0 | 0.0 |2308k| 500 | - | 606 | 373 | 0 | 0 | 0 |1955k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1446.62/1447.09 c 1371s| 3310k| 444 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |1961k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1450.72/1451.15 c 1375s| 3320k| 438 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |1967k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1455.12/1455.57 c 1379s| 3330k| 440 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |1973k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1459.33/1459.74 c 1383s| 3340k| 437 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |1979k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1463.62/1464.10 c 1387s| 3350k| 441 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1985k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1468.02/1468.48 c 1391s| 3360k| 437 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |1991k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1472.61/1473.07 c 1396s| 3370k| 441 | 0 | 0.0 |2304k| 500 | - | 606 | 373 | 0 | 0 | 0 |1997k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1477.01/1477.46 c 1400s| 3380k| 444 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |2003k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1481.32/1481.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.32/1481.79 c 1404s| 3390k| 440 | 0 | 0.0 |2304k| 500 | - | 606 | 373 | 0 | 0 | 0 |2009k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1485.62/1486.07 c 1408s| 3400k| 441 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2014k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1489.91/1490.40 c 1412s| 3410k| 440 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2020k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1494.31/1494.78 c 1416s| 3420k| 445 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2026k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1498.81/1499.26 c 1421s| 3430k| 440 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2032k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1503.41/1503.89 c 1425s| 3440k| 440 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |2037k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1507.72/1508.15 c 1429s| 3450k| 444 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |2043k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1511.70/1512.17 c 1433s| 3460k| 446 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2048k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1516.00/1516.49 c 1437s| 3470k| 434 | 0 | 0.0 |2289k| 500 | - | 606 | 373 | 0 | 0 | 0 |2055k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1520.70/1521.14 c 1441s| 3480k| 440 | 0 | 0.0 |2304k| 500 | - | 606 | 373 | 0 | 0 | 0 |2061k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1525.40/1525.82 c 1446s| 3490k| 439 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2067k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1529.30/1529.75 c 1450s| 3500k| 443 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |2072k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1533.60/1534.07 c 1454s| 3510k| 440 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |2079k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1538.30/1538.75 c 1458s| 3520k| 443 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2085k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1542.80/1543.29 c 1462s| 3530k| 442 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2091k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1546.90/1547.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.90/1547.39 c 1466s| 3540k| 440 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |2097k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1551.10/1551.53 c 1470s| 3550k| 438 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2102k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1555.19/1555.64 c 1474s| 3560k| 441 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |2108k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1559.49/1559.95 c 1478s| 3570k| 440 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2114k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1563.70/1564.13 c 1482s| 3580k| 440 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2119k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1568.19/1568.67 c 1486s| 3590k| 441 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |2125k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1572.78/1573.21 c 1491s| 3600k| 438 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 |2132k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1577.18/1577.63 c 1495s| 3610k| 437 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2138k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1581.39/1581.89 c 1499s| 3620k| 439 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 |2143k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1585.58/1586.07 c 1503s| 3630k| 439 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |2149k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1589.69/1590.11 c 1507s| 3640k| 440 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |2155k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1593.78/1594.27 c 1511s| 3650k| 440 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2161k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1597.98/1598.46 c 1515s| 3660k| 438 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |2167k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1602.18/1602.66 c 1519s| 3670k| 437 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |2172k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1606.78/1607.20 c 1523s| 3680k| 435 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |2179k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1611.28/1611.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.28/1611.74 c 1527s| 3690k| 438 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 |2185k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1615.87/1616.39 c 1532s| 3700k| 439 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |2191k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1620.38/1620.81 c 1536s| 3710k| 446 | 0 | 0.0 |2296k| 500 | - | 606 | 373 | 0 | 0 | 0 |2197k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1624.37/1624.84 c 1540s| 3720k| 437 | 0 | 0.0 |2291k| 500 | - | 606 | 373 | 0 | 0 | 0 |2203k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1628.68/1629.16 c 1544s| 3730k| 441 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |2208k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1633.17/1633.63 c 1548s| 3740k| 437 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |2214k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1637.27/1637.70 c 1552s| 3750k| 436 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 |2220k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1641.27/1641.79 c 1556s| 3760k| 441 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |2226k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1645.76/1646.26 c 1560s| 3770k| 439 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |2232k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1650.06/1650.50 c 1564s| 3780k| 445 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 |2237k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1654.37/1654.80 c 1568s| 3790k| 436 | 0 | 0.0 |2293k| 500 | - | 606 | 373 | 0 | 0 | 0 |2243k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1658.67/1659.16 c 1572s| 3800k| 442 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |2249k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1663.27/1663.76 c 1577s| 3810k| 437 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 |2256k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1667.66/1668.18 c 1581s| 3820k| 437 | 0 | 0.0 |2292k| 500 | - | 606 | 373 | 0 | 0 | 0 |2261k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1672.16/1672.68 c 1585s| 3830k| 438 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |2267k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1677.06/1677.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1677.06/1677.51 c 1590s| 3840k| 437 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2273k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1681.96/1682.48 c 1594s| 3850k| 450 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |2280k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1686.36/1686.89 c 1599s| 3860k| 441 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |2286k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1690.76/1691.26 c 1603s| 3870k| 439 | 0 | 0.0 |2294k| 500 | - | 606 | 373 | 0 | 0 | 0 |2292k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1695.15/1695.68 c 1607s| 3880k| 440 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2298k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1699.76/1700.20 c 1611s| 3890k| 441 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |2304k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1704.35/1704.83 c 1616s| 3900k| 443 | 0 | 0.0 |2295k| 500 | - | 606 | 373 | 0 | 0 | 0 |2310k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1708.96/1709.41 c 1620s| 3910k| 442 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |2316k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1713.65/1714.19 c 1625s| 3920k| 440 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2322k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1718.25/1718.75 c 1629s| 3930k| 443 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2329k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1722.45/1722.94 c 1633s| 3940k| 442 | 0 | 0.0 |2306k| 500 | - | 606 | 373 | 0 | 0 | 0 |2334k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1727.34/1727.86 c 1637s| 3950k| 438 | 0 | 0.0 |2304k| 500 | - | 606 | 373 | 0 | 0 | 0 |2341k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1732.15/1732.62 c 1642s| 3960k| 438 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2347k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1736.25/1736.74 c 1646s| 3970k| 438 | 0 | 0.0 |2304k| 500 | - | 606 | 373 | 0 | 0 | 0 |2353k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1740.75/1741.22 c 1650s| 3980k| 436 | 0 | 0.0 |2299k| 500 | - | 606 | 373 | 0 | 0 | 0 |2359k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1745.25/1745.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.25/1745.78 c 1654s| 3990k| 439 | 0 | 0.0 |2298k| 500 | - | 606 | 373 | 0 | 0 | 0 |2365k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1750.04/1750.51 c 1659s| 4000k| 440 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |2371k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1754.34/1754.85 c 1663s| 4010k| 439 | 0 | 0.0 |2297k| 500 | - | 606 | 373 | 0 | 0 | 0 |2377k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1758.84/1759.31 c 1667s| 4020k| 437 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |2383k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1763.04/1763.58 c 1671s| 4030k| 438 | 0 | 0.0 |2302k| 500 | - | 606 | 373 | 0 | 0 | 0 |2389k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1767.54/1768.07 c 1676s| 4040k| 436 | 0 | 0.0 |2307k| 500 | - | 606 | 373 | 0 | 0 | 0 |2395k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1772.43/1772.90 c 1680s| 4050k| 441 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2401k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1776.64/1777.18 c 1684s| 4060k| 439 | 0 | 0.0 |2303k| 500 | - | 606 | 373 | 0 | 0 | 0 |2407k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1781.04/1781.59 c 1688s| 4070k| 436 | 0 | 0.0 |2300k| 500 | - | 606 | 373 | 0 | 0 | 0 |2413k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1785.63/1786.17 c 1693s| 4080k| 437 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2419k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1789.93/1790.47 c 1697s| 4090k| 434 | 0 | 0.0 |2305k| 500 | - | 606 | 373 | 0 | 0 | 0 |2425k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1794.33/1794.83 c 1701s| 4100k| 440 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2431k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1798.53/1799.05 c 1705s| 4110k| 436 | 0 | 0.0 |2301k| 500 | - | 606 | 373 | 0 | 0 | 0 |2436k| 0 | 8.000000e+00 | 1.090000e+02 |1262.50%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1706.29
1800.04/1800.50 c Solving Nodes : 4113267
1800.04/1800.50 c Primal Bound : +1.09000000000000e+02 (8 solutions)
1800.04/1800.50 c Dual Bound : +8.00000000000000e+00
1800.04/1800.50 c Gap : 1262.50 %
1800.04/1800.51 s SATISFIABLE
1800.04/1800.51 v -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 x638 -x637 x636 -x635 -x634 x633 -x632 x631 -x630
1800.04/1800.51 v -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 x615 -x614 -x613 x612 -x611 -x610 -x609
1800.04/1800.51 v -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592 -x591 x590 -x589 -x588 -x587
1800.04/1800.51 v -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566
1800.04/1800.51 v -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 x557 x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 x545 -x544
1800.04/1800.51 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 x524 -x523
1800.04/1800.51 v x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502
1800.04/1800.51 v -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480
1800.04/1800.51 v -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 x463 -x462 x461 -x460 -x459
1800.04/1800.51 v x458 -x457 -x456 -x455 -x454 x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1800.04/1800.51 v -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 x427 x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 -x416
1800.04/1800.51 v -x415 x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394
1800.04/1800.51 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1800.04/1800.51 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 x360 x359 -x358 -x357 x356 -x355 -x354 -x353 -x352
1800.04/1800.51 v -x351 -x350 x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330
1800.04/1800.51 v -x329 -x328 -x327 -x326 -x325 x324 x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309
1800.04/1800.51 v x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1800.04/1800.51 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266
1800.04/1800.51 v x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1800.04/1800.51 v x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224
1800.04/1800.51 v -x223 x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1800.04/1800.51 v -x201 -x200 -x199 -x198 -x197 -x196 x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1800.04/1800.51 v -x180 -x179 x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 x159
1800.04/1800.51 v x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.04/1800.51 v -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 x120 -x119 -x118 x117 x116
1800.04/1800.51 v -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 x95 x94 -x93
1800.04/1800.51 v -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.04/1800.51 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
1800.04/1800.51 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
1800.04/1800.51 v -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1706.29
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2664780-1276593478.opb
1800.04/1800.51 c Variables : 652 (652 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 759 initial, 759 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2664780-1276593478.opb
1800.04/1800.51 c Variables : 606 (606 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 373 initial, 373 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 39 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.51 c linear : 0.02 0 7 0 0 0 386 351 0
1800.04/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 0 - - 0 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.51 c logicor : 373+ 0 7887721 0 5 1620963 7849987 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c logicor : 699.41 0.00 699.41 0.00 0.00
1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 6.71 2 0 0
1800.04/1800.51 c rootredcost : 6.66 0 0 0
1800.04/1800.51 c pseudoobj : 712.43 14677999 817828 32905520
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 963.38 2438596 2438596 2438596 196.0 5903 188.6 -
1800.04/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 0.01 34 34 34 170.3 2 181.0 -
1800.04/1800.51 c applied globally : - - - 0 0.0 - - -
1800.04/1800.51 c applied locally : - - - 2438630 196.0 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.51 c redcost : 0.00 0 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 0.00 0 0 0 0 0
1800.04/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.51 c cmir : 0.00 0 0 0 0 0
1800.04/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.51 c clique : 0.00 0 0 0 0 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.00 0 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c inference : 44.33 2957978 0 0 0 0 5915956
1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c random : 0.00 0 0 0 0 0 0
1800.04/1800.51 c Primal Heuristics : Time Calls Found
1800.04/1800.51 c LP solutions : 0.00 - 0
1800.04/1800.51 c pseudo solutions : 0.00 - 5
1800.04/1800.51 c oneopt : 2.75 0 0
1800.04/1800.51 c trivial : 0.00 2 3
1800.04/1800.51 c simplerounding : 0.00 0 0
1800.04/1800.51 c zirounding : 0.00 0 0
1800.04/1800.51 c rounding : 0.00 0 0
1800.04/1800.51 c shifting : 0.00 0 0
1800.04/1800.51 c intshifting : 0.00 0 0
1800.04/1800.51 c twoopt : 0.00 0 0
1800.04/1800.51 c fixandinfer : 0.00 0 0
1800.04/1800.51 c feaspump : 0.00 0 0
1800.04/1800.51 c coefdiving : 0.00 0 0
1800.04/1800.51 c pscostdiving : 0.00 0 0
1800.04/1800.51 c fracdiving : 0.00 0 0
1800.04/1800.51 c veclendiving : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c objpscostdiving : 0.00 0 0
1800.04/1800.51 c rootsoldiving : 0.00 0 0
1800.04/1800.51 c linesearchdiving : 0.00 0 0
1800.04/1800.51 c guideddiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 0.00 0 0
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c crossover : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 1.78 0 0
1800.04/1800.51 c trysol : 1.63 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.51 c (at root node) : - 0 0 0.00 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 4113267
1800.04/1800.51 c nodes (total) : 4113267
1800.04/1800.51 c nodes left : 437
1800.04/1800.51 c max depth : 500
1800.04/1800.51 c max depth (total): 500
1800.04/1800.51 c backtracks : 1311610 (31.9%)
1800.04/1800.51 c delayed cutoffs : 1802226
1800.04/1800.51 c repropagations : 4166169 (23057333 domain reductions, 1283541 cutoffs)
1800.04/1800.51 c avg switch length: 2.86
1800.04/1800.51 c switching time : 52.82
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 8 (7 improvements)
1800.04/1800.51 c First Solution : +6.52000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.51 c Primal Bound : +1.09000000000000e+02 (in run 1, after 234709 nodes, 96.33 seconds, depth 473, found by <relaxation>)
1800.04/1800.51 c Dual Bound : +8.00000000000000e+00
1800.04/1800.51 c Gap : 1262.50 %
1800.04/1800.51 c Root Dual Bound : +7.00000000000000e+00
1800.04/1800.51 c Root Iterations : 0
1800.04/1800.52 c Time complete: 1800.05.