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-2694054-1277921742.wbo>
0.00/0.00 c original problem has 152 variables (131 bin, 0 int, 0 impl, 21 cont) and 43 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 o 826
0.00/0.00 c feasible solution found by trivial heuristic, objective value 8.260000e+02
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21 impls, 0 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 21 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21 impls, 0 clqs
0.00/0.00 c (0.0s) probing: 101/131 (77.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.00 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.00 c presolving (3 rounds):
0.00/0.00 c 0 deleted vars, 1 deleted constraints, 21 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 21 implications, 0 cliques
0.00/0.00 c presolved problem has 152 variables (131 bin, 0 int, 0 impl, 21 cont) and 42 constraints
0.00/0.00 c 21 constraints of type <indicator>
0.00/0.00 c 21 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 1.2.1.2
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1800
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 3420
0.00/0.00 c
0.00/0.00 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c lp/solvefreq = -1
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 2 | 0 | - | 473k| 0 | - | 152 | 42 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 8.260000e+02 | Inf
0.49/0.59 c 0.4s| 10000 | 8879 | 0 | 0.0 |4743k| 107 | - | 152 |1910 | 0 | 0 | 0 |4647 | 0 | 0.000000e+00 | 8.260000e+02 | Inf
1.19/1.22 c 0.9s| 20000 | 17083 | 0 | 0.0 |7871k| 107 | - | 152 |1684 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 8.260000e+02 | Inf
1.99/2.10 o 188
1.99/2.10 c * 1.6s| 27554 | 21756 | 0 | 0.0 | 11M| 107 | - | 152 |3227 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.880000e+02 | Inf
1.99/2.10 o 176
1.99/2.10 c * 1.6s| 27641 | 21840 | 0 | 0.0 | 11M| 107 | - | 152 |3206 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.760000e+02 | Inf
2.10/2.12 o 164
2.10/2.12 c * 1.6s| 28286 | 22480 | 0 | 0.0 | 11M| 107 | - | 152 |3065 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
2.10/2.19 c 1.6s| 30000 | 24186 | 0 | 0.0 | 11M| 107 | - | 152 |2525 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.640000e+02 | Inf
2.10/2.20 o 162
2.10/2.20 c * 1.6s| 30179 | 24354 | 0 | 0.0 | 11M| 107 | - | 152 |2461 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
2.20/2.20 o 125
2.20/2.20 c * 1.6s| 30327 | 24367 | 0 | 0.0 | 11M| 107 | - | 152 |2371 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.250000e+02 | Inf
2.20/2.21 o 110
2.20/2.21 c * 1.6s| 30348 | 24359 | 0 | 0.0 | 11M| 107 | - | 152 |2302 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.100000e+02 | Inf
2.20/2.21 o 88
2.20/2.21 c * 1.6s| 30368 | 24290 | 0 | 0.0 | 11M| 107 | - | 152 |2259 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
2.20/2.21 o 78
2.20/2.21 c * 1.6s| 30387 | 24285 | 0 | 0.0 | 11M| 107 | - | 152 |2256 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.800000e+01 | Inf
2.20/2.21 o 53
2.20/2.21 c * 1.6s| 30388 | 23920 | 0 | 0.0 | 11M| 107 | - | 152 |2256 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
2.69/2.73 c 2.0s| 40000 | 32288 | 0 | 0.0 | 14M| 107 | - | 152 |1183 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
3.19/3.29 c 2.4s| 50000 | 40863 | 0 | 0.0 | 17M| 107 | - | 152 |1239 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
3.79/3.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.87 c 2.8s| 60000 | 49390 | 0 | 0.0 | 20M| 107 | - | 152 |1374 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
4.39/4.46 c 3.2s| 70000 | 57795 | 0 | 0.0 | 24M| 107 | - | 152 |1216 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
4.99/5.07 c 3.7s| 80000 | 66084 | 0 | 0.0 | 27M| 107 | - | 152 |1417 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
5.69/5.72 c 4.1s| 90000 | 74310 | 0 | 0.0 | 30M| 107 | - | 152 |1476 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
6.29/6.38 c 4.6s|100000 | 82455 | 0 | 0.0 | 34M| 107 | - | 152 |1684 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
6.99/7.06 c 5.1s|110000 | 90514 | 0 | 0.0 | 37M| 107 | - | 152 |1472 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
7.70/7.76 c 5.6s|120000 | 98475 | 0 | 0.0 | 40M| 107 | - | 152 |1667 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
8.49/8.51 c 6.2s|130000 |106342 | 0 | 0.0 | 44M| 107 | - | 152 |1715 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
9.19/9.26 c 6.7s|140000 |114128 | 0 | 0.0 | 47M| 107 | - | 152 |1797 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
9.99/10.07 c 7.4s|150000 |121768 | 0 | 0.0 | 50M| 107 | - | 152 |2052 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
10.79/10.90 c 8.0s|160000 |129280 | 0 | 0.0 | 54M| 107 | - | 152 |1919 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
11.69/11.77 c 8.7s|170000 |136626 | 0 | 0.0 | 57M| 107 | - | 152 |2164 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
12.69/12.70 c 9.4s|180000 |143830 | 0 | 0.0 | 61M| 107 | - | 152 |2190 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
13.59/13.69 c 10.2s|190000 |150826 | 0 | 0.0 | 64M| 107 | - | 152 |2379 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
14.69/14.74 c 11.1s|200000 |157651 | 0 | 0.0 | 67M| 107 | - | 152 |2560 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
15.79/15.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.79/15.87 c 12.0s|210000 |164269 | 0 | 0.0 | 71M| 107 | - | 152 |2818 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
16.99/17.06 c 13.0s|220000 |170702 | 0 | 0.0 | 75M| 107 | - | 152 |2841 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
18.29/18.35 c 14.1s|230000 |176763 | 0 | 0.0 | 78M| 107 | - | 152 |3038 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
19.70/19.71 c 15.2s|240000 |182648 | 0 | 0.0 | 82M| 107 | - | 152 |3285 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
21.19/21.25 c 16.5s|250000 |188043 | 0 | 0.0 | 85M| 107 | - | 152 |3181 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
22.89/22.91 c 18.0s|260000 |193053 | 0 | 0.0 | 89M| 107 | - | 152 |3541 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
24.69/24.72 c 19.6s|270000 |197668 | 0 | 0.0 | 92M| 107 | - | 152 |3480 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
26.59/26.64 c 21.3s|280000 |201818 | 0 | 0.0 | 96M| 107 | - | 152 |3339 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
28.69/28.79 c 23.2s|290000 |205174 | 0 | 0.0 | 99M| 107 | - | 152 |3274 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
29.70/29.71 o 42
29.70/29.71 c *24.0s|293250 |205463 | 0 | 0.0 | 100M| 107 | - | 152 |3353 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
29.70/29.71 o 38
29.70/29.71 c *24.0s|293312 |205303 | 0 | 0.0 | 100M| 107 | - | 152 |3328 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
29.70/29.72 o 1
29.70/29.72 c *24.0s|293313 |203053 | 0 | 0.0 | 100M| 107 | - | 152 |3328 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
30.19/30.22 c 24.4s|300000 |208638 | 0 | 0.0 | 102M| 107 | - | 152 |1915 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
30.89/30.92 c 24.9s|310000 |216908 | 0 | 0.0 | 105M| 107 | - | 152 |1832 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
31.59/31.65 c 25.5s|320000 |225116 | 0 | 0.0 | 108M| 107 | - | 152 |1776 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
32.29/32.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.29/32.38 c 26.0s|330000 |233242 | 0 | 0.0 | 111M| 107 | - | 152 |1632 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
33.00/33.07 c 26.6s|340000 |241431 | 0 | 0.0 | 115M| 107 | - | 152 |1744 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
33.69/33.77 c 27.1s|350000 |249633 | 0 | 0.0 | 118M| 107 | - | 152 |1679 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
34.39/34.49 c 27.6s|360000 |257731 | 0 | 0.0 | 121M| 107 | - | 152 |1646 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
35.10/35.16 c 28.1s|370000 |265953 | 0 | 0.0 | 124M| 107 | - | 152 |1545 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
35.79/35.87 c 28.7s|380000 |274053 | 0 | 0.0 | 128M| 107 | - | 152 |1636 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
36.49/36.54 c 29.2s|390000 |282317 | 0 | 0.0 | 131M| 107 | - | 152 |1718 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
37.19/37.29 c 29.8s|400000 |290257 | 0 | 0.0 | 134M| 107 | - | 152 |1875 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
37.90/38.00 c 30.3s|410000 |298397 | 0 | 0.0 | 138M| 107 | - | 152 |1748 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
38.70/38.72 c 30.8s|420000 |306460 | 0 | 0.0 | 141M| 107 | - | 152 |1805 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
39.40/39.47 c 31.4s|430000 |314422 | 0 | 0.0 | 144M| 107 | - | 152 |1769 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
40.09/40.16 c 31.9s|440000 |322528 | 0 | 0.0 | 147M| 107 | - | 152 |1695 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
40.89/40.91 c 32.5s|450000 |330494 | 0 | 0.0 | 151M| 107 | - | 152 |1546 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
41.59/41.65 c 33.1s|460000 |338484 | 0 | 0.0 | 154M| 107 | - | 152 |1643 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
42.29/42.37 c 33.6s|470000 |346466 | 0 | 0.0 | 157M| 107 | - | 152 |1776 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.09/43.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.09/43.12 c 34.2s|480000 |354413 | 0 | 0.0 | 161M| 107 | - | 152 |1593 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
43.79/43.89 c 34.8s|490000 |362313 | 0 | 0.0 | 164M| 107 | - | 152 |1755 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
44.60/44.65 c 35.4s|500000 |370177 | 0 | 0.0 | 167M| 107 | - | 152 |1907 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
45.39/45.43 c 36.0s|510000 |378063 | 0 | 0.0 | 171M| 107 | - | 152 |1770 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
46.09/46.20 c 36.6s|520000 |385911 | 0 | 0.0 | 174M| 107 | - | 152 |1712 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
46.89/46.96 c 37.2s|530000 |393781 | 0 | 0.0 | 177M| 107 | - | 152 |1650 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
47.69/47.77 c 37.8s|540000 |401516 | 0 | 0.0 | 181M| 107 | - | 152 |1990 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
48.49/48.58 c 38.5s|550000 |409297 | 0 | 0.0 | 184M| 107 | - | 152 |1792 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
49.29/49.37 c 39.1s|560000 |417106 | 0 | 0.0 | 187M| 107 | - | 152 |1694 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
50.10/50.17 c 39.7s|570000 |424874 | 0 | 0.0 | 191M| 107 | - | 152 |1810 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
51.00/51.01 c 40.4s|580000 |432477 | 0 | 0.0 | 194M| 107 | - | 152 |1955 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
51.79/51.85 c 41.0s|590000 |440153 | 0 | 0.0 | 198M| 107 | - | 152 |1875 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
52.59/52.66 c 41.6s|600000 |447910 | 0 | 0.0 | 201M| 107 | - | 152 |1814 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
53.39/53.46 c 42.3s|610000 |455665 | 0 | 0.0 | 204M| 107 | - | 152 |1851 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
54.20/54.28 c 42.9s|620000 |463390 | 0 | 0.0 | 208M| 107 | - | 152 |1853 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
55.19/55.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.19/55.20 c 43.7s|630000 |470862 | 0 | 0.0 | 211M| 107 | - | 152 |1873 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
56.00/56.05 c 44.4s|640000 |478495 | 0 | 0.0 | 214M| 107 | - | 152 |1800 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
56.89/56.90 c 45.0s|650000 |486146 | 0 | 0.0 | 218M| 107 | - | 152 |1823 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
57.69/57.75 c 45.7s|660000 |493792 | 0 | 0.0 | 221M| 107 | - | 152 |1852 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
58.59/58.61 c 46.4s|670000 |501459 | 0 | 0.0 | 225M| 107 | - | 152 |1880 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
59.49/59.56 c 47.2s|680000 |508787 | 0 | 0.0 | 228M| 107 | - | 152 |1958 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
60.40/60.48 c 47.9s|690000 |516297 | 0 | 0.0 | 231M| 107 | - | 152 |1999 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
61.29/61.37 c 48.6s|700000 |523903 | 0 | 0.0 | 235M| 107 | - | 152 |1894 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
62.19/62.26 c 49.3s|710000 |531462 | 0 | 0.0 | 238M| 107 | - | 152 |1961 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.09/63.17 c 50.1s|720000 |538968 | 0 | 0.0 | 241M| 107 | - | 152 |1996 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
63.99/64.09 c 50.8s|730000 |546361 | 0 | 0.0 | 245M| 107 | - | 152 |2105 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
64.99/65.05 c 51.5s|740000 |553683 | 0 | 0.0 | 248M| 107 | - | 152 |2015 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
65.89/65.94 c 52.3s|750000 |561227 | 0 | 0.0 | 252M| 107 | - | 152 |1998 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
66.79/66.83 c 53.0s|760000 |568781 | 0 | 0.0 | 255M| 107 | - | 152 |1889 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
67.70/67.79 c 53.8s|770000 |576148 | 0 | 0.0 | 258M| 107 | - | 152 |2066 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
68.69/68.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.69/68.74 c 54.6s|780000 |583569 | 0 | 0.0 | 262M| 107 | - | 152 |2059 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
69.70/69.79 c 55.5s|790000 |590680 | 0 | 0.0 | 265M| 107 | - | 152 |2118 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
70.69/70.78 c 56.3s|800000 |597879 | 0 | 0.0 | 269M| 107 | - | 152 |2126 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
71.79/71.80 c 57.1s|810000 |605102 | 0 | 0.0 | 272M| 107 | - | 152 |2019 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
72.79/72.80 c 57.9s|820000 |612431 | 0 | 0.0 | 276M| 107 | - | 152 |2135 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
73.79/73.83 c 58.8s|830000 |619607 | 0 | 0.0 | 279M| 107 | - | 152 |2178 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
74.80/74.85 c 59.6s|840000 |626849 | 0 | 0.0 | 283M| 107 | - | 152 |2352 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
75.90/75.92 c 60.5s|850000 |633974 | 0 | 0.0 | 286M| 107 | - | 152 |2338 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
76.90/76.98 c 61.4s|860000 |641091 | 0 | 0.0 | 290M| 107 | - | 152 |2139 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
78.00/78.05 c 62.3s|870000 |648143 | 0 | 0.0 | 293M| 107 | - | 152 |2309 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
79.10/79.12 c 63.2s|880000 |655305 | 0 | 0.0 | 297M| 107 | - | 152 |2196 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
80.09/80.14 c 64.0s|890000 |662586 | 0 | 0.0 | 300M| 107 | - | 152 |2347 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
81.19/81.21 c 64.9s|900000 |669711 | 0 | 0.0 | 303M| 107 | - | 152 |2375 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
82.29/82.31 c 65.9s|910000 |676813 | 0 | 0.0 | 307M| 107 | - | 152 |2432 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
83.39/83.46 c 66.8s|920000 |683676 | 0 | 0.0 | 310M| 107 | - | 152 |2430 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
84.60/84.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.60/84.66 c 67.8s|930000 |690492 | 0 | 0.0 | 314M| 107 | - | 152 |2335 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
85.70/85.80 c 68.8s|940000 |697460 | 0 | 0.0 | 317M| 107 | - | 152 |2484 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
86.90/86.91 c 69.7s|950000 |704435 | 0 | 0.0 | 321M| 107 | - | 152 |2403 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
88.00/88.05 c 70.7s|960000 |711391 | 0 | 0.0 | 324M| 107 | - | 152 |2476 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
89.10/89.19 c 71.6s|970000 |718429 | 0 | 0.0 | 328M| 107 | - | 152 |2687 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
90.29/90.33 c 72.6s|980000 |725415 | 0 | 0.0 | 331M| 107 | - | 152 |2527 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
91.60/91.60 c 73.7s|990000 |731953 | 0 | 0.0 | 335M| 107 | - | 152 |2658 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
92.80/92.84 c 74.7s| 1000k|738644 | 0 | 0.0 | 339M| 107 | - | 152 |2559 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
94.00/94.08 c 75.8s| 1010k|745383 | 0 | 0.0 | 342M| 107 | - | 152 |2542 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
95.20/95.29 c 76.8s| 1020k|752221 | 0 | 0.0 | 346M| 107 | - | 152 |2627 | 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
96.49/96.51 c 77.9s| 1030k|759035 | 0 | 0.0 | 349M| 107 | - | 152 |2558 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
97.70/97.74 c 78.9s| 1040k|765838 | 0 | 0.0 | 353M| 107 | - | 152 |2723 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
99.00/99.02 c 80.0s| 1050k|772538 | 0 | 0.0 | 356M| 107 | - | 152 |2744 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
100.29/100.39 c 81.2s| 1060k|778847 | 0 | 0.0 | 360M| 107 | - | 152 |2674 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
101.69/101.73 c 82.3s| 1070k|785336 | 0 | 0.0 | 364M| 107 | - | 152 |2745 | 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
102.99/103.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.99/103.02 c 83.4s| 1080k|791973 | 0 | 0.0 | 367M| 107 | - | 152 |2625 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
104.30/104.34 c 84.5s| 1090k|798563 | 0 | 0.0 | 371M| 107 | - | 152 |2658 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
105.60/105.63 c 85.6s| 1100k|805238 | 0 | 0.0 | 374M| 107 | - | 152 |2623 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
106.89/106.96 c 86.8s| 1110k|811828 | 0 | 0.0 | 378M| 107 | - | 152 |2758 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
108.30/108.35 c 88.0s| 1120k|818294 | 0 | 0.0 | 381M| 107 | - | 152 |2640 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
109.80/109.89 c 89.3s| 1130k|824371 | 0 | 0.0 | 385M| 107 | - | 152 |2928 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
111.39/111.43 c 90.7s| 1140k|830457 | 0 | 0.0 | 389M| 107 | - | 152 |2927 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
112.79/112.89 c 92.0s| 1150k|836823 | 0 | 0.0 | 392M| 107 | - | 152 |2732 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
114.20/114.30 c 93.2s| 1160k|843181 | 0 | 0.0 | 396M| 107 | - | 152 |2827 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
115.69/115.73 c 94.4s| 1170k|849546 | 0 | 0.0 | 399M| 107 | - | 152 |2776 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
116.99/117.09 c 95.6s| 1180k|855896 | 0 | 0.0 | 403M| 107 | - | 152 |2865 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
118.50/118.51 c 96.8s| 1190k|862294 | 0 | 0.0 | 406M| 107 | - | 152 |2993 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
120.00/120.02 c 98.1s| 1200k|868449 | 0 | 0.0 | 410M| 107 | - | 152 |2959 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
121.59/121.68 c 99.6s| 1210k|874178 | 0 | 0.0 | 414M| 107 | - | 152 |3450 | 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
123.29/123.37 c 101s| 1220k|880077 | 0 | 0.0 | 417M| 107 | - | 152 |2898 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
124.89/124.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.89/124.90 c 102s| 1230k|886179 | 0 | 0.0 | 421M| 107 | - | 152 |3013 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
126.30/126.37 c 104s| 1240k|892441 | 0 | 0.0 | 424M| 107 | - | 152 |2904 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
127.79/127.89 c 105s| 1250k|898643 | 0 | 0.0 | 428M| 107 | - | 152 |3055 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
129.39/129.44 c 106s| 1260k|904748 | 0 | 0.0 | 432M| 107 | - | 152 |3037 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
130.99/131.08 c 108s| 1270k|910680 | 0 | 0.0 | 435M| 107 | - | 152 |3128 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
132.80/132.84 c 109s| 1280k|916304 | 0 | 0.0 | 439M| 107 | - | 152 |3720 | 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
134.70/134.71 c 111s| 1290k|921862 | 0 | 0.0 | 442M| 107 | - | 152 |3160 | 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
136.20/136.26 c 112s| 1300k|927879 | 0 | 0.0 | 446M| 107 | - | 152 |2940 | 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
137.80/137.88 c 114s| 1310k|933784 | 0 | 0.0 | 450M| 107 | - | 152 |2776 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
139.50/139.53 c 115s| 1320k|939616 | 0 | 0.0 | 453M| 107 | - | 152 |3016 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
141.20/141.23 c 117s| 1330k|945366 | 0 | 0.0 | 457M| 107 | - | 152 |3279 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
143.00/143.04 c 118s| 1340k|951061 | 0 | 0.0 | 461M| 107 | - | 152 |3259 | 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
144.90/144.92 c 120s| 1350k|956514 | 0 | 0.0 | 464M| 107 | - | 152 |3804 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
146.99/147.03 c 122s| 1360k|961594 | 0 | 0.0 | 468M| 107 | - | 152 |3147 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
148.79/148.81 c 123s| 1370k|967173 | 0 | 0.0 | 471M| 107 | - | 152 |3068 | 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
150.49/150.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.49/150.56 c 125s| 1380k|972886 | 0 | 0.0 | 475M| 107 | - | 152 |3009 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
152.29/152.38 c 127s| 1390k|978308 | 0 | 0.0 | 479M| 107 | - | 152 |2967 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
154.19/154.21 c 128s| 1400k|983747 | 0 | 0.0 | 482M| 107 | - | 152 |3396 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
156.00/156.08 c 130s| 1410k|989129 | 0 | 0.0 | 486M| 107 | - | 152 |3354 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
158.09/158.12 c 132s| 1420k|994240 | 0 | 0.0 | 490M| 107 | - | 152 |3727 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
160.19/160.28 c 134s| 1430k|999148 | 0 | 0.0 | 493M| 107 | - | 152 |3388 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
162.19/162.22 c 135s| 1440k| 1004k| 0 | 0.0 | 497M| 107 | - | 152 |3020 | 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
164.09/164.12 c 137s| 1450k| 1009k| 0 | 0.0 | 501M| 107 | - | 152 |3417 | 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
166.10/166.20 c 139s| 1460k| 1014k| 0 | 0.0 | 504M| 107 | - | 152 |3320 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
168.20/168.23 c 141s| 1470k| 1020k| 0 | 0.0 | 508M| 107 | - | 152 |3349 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
170.20/170.29 c 143s| 1480k| 1025k| 0 | 0.0 | 512M| 107 | - | 152 |3585 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
172.70/172.71 c 145s| 1490k| 1029k| 0 | 0.0 | 515M| 107 | - | 152 |3489 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
174.80/174.81 c 147s| 1500k| 1034k| 0 | 0.0 | 519M| 107 | - | 152 |3101 | 0 | 0 | 0 |1372k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
176.70/176.76 c 148s| 1510k| 1039k| 0 | 0.0 | 523M| 107 | - | 152 |3384 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
178.80/178.83 c 150s| 1520k| 1044k| 0 | 0.0 | 526M| 107 | - | 152 |3549 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
180.99/181.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.99/181.01 c 152s| 1530k| 1049k| 0 | 0.0 | 530M| 107 | - | 152 |3358 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
183.10/183.15 c 154s| 1540k| 1054k| 0 | 0.0 | 534M| 107 | - | 152 |3732 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
185.60/185.68 c 157s| 1550k| 1058k| 0 | 0.0 | 537M| 107 | - | 152 |3903 | 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
187.80/187.83 c 158s| 1560k| 1063k| 0 | 0.0 | 541M| 107 | - | 152 |3271 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
189.99/190.09 c 160s| 1570k| 1067k| 0 | 0.0 | 544M| 107 | - | 152 |3418 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
192.29/192.31 c 162s| 1580k| 1072k| 0 | 0.0 | 548M| 107 | - | 152 |3455 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
194.49/194.55 c 165s| 1590k| 1076k| 0 | 0.0 | 552M| 107 | - | 152 |3497 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
196.80/196.80 c 167s| 1600k| 1081k| 0 | 0.0 | 556M| 107 | - | 152 |3506 | 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
199.29/199.31 c 169s| 1610k| 1085k| 0 | 0.0 | 559M| 107 | - | 152 |3575 | 0 | 0 | 0 |1534k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
201.70/201.73 c 171s| 1620k| 1089k| 0 | 0.0 | 563M| 107 | - | 152 |3534 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
204.20/204.25 c 173s| 1630k| 1093k| 0 | 0.0 | 566M| 107 | - | 152 |3633 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
206.60/206.68 c 176s| 1640k| 1097k| 0 | 0.0 | 570M| 107 | - | 152 |3365 | 0 | 0 | 0 |1582k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
209.00/209.03 c 178s| 1650k| 1102k| 0 | 0.0 | 574M| 107 | - | 152 |3762 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
211.59/211.65 c 180s| 1660k| 1106k| 0 | 0.0 | 577M| 107 | - | 152 |3716 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
214.30/214.31 c 182s| 1670k| 1109k| 0 | 0.0 | 581M| 107 | - | 152 |3670 | 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
216.90/216.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.90/216.91 c 185s| 1680k| 1113k| 0 | 0.0 | 584M| 107 | - | 152 |3460 | 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
219.39/219.42 c 187s| 1690k| 1117k| 0 | 0.0 | 588M| 107 | - | 152 |3399 | 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
221.90/221.96 c 189s| 1700k| 1121k| 0 | 0.0 | 592M| 107 | - | 152 |3923 | 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
224.80/224.87 c 192s| 1710k| 1124k| 0 | 0.0 | 595M| 107 | - | 152 |3797 | 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
227.49/227.60 c 195s| 1720k| 1128k| 0 | 0.0 | 599M| 107 | - | 152 |3588 | 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
230.20/230.27 c 197s| 1730k| 1131k| 0 | 0.0 | 602M| 107 | - | 152 |3509 | 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
232.70/232.75 c 199s| 1740k| 1135k| 0 | 0.0 | 606M| 107 | - | 152 |3763 | 0 | 0 | 0 |1746k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
235.41/235.45 c 202s| 1750k| 1139k| 0 | 0.0 | 610M| 107 | - | 152 |3983 | 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
238.40/238.45 c 205s| 1760k| 1142k| 0 | 0.0 | 613M| 107 | - | 152 |3748 | 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
241.20/241.27 c 207s| 1770k| 1145k| 0 | 0.0 | 617M| 107 | - | 152 |3282 | 0 | 0 | 0 |1798k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
243.90/243.92 c 210s| 1780k| 1148k| 0 | 0.0 | 620M| 107 | - | 152 |3572 | 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
246.90/246.91 c 212s| 1790k| 1151k| 0 | 0.0 | 624M| 107 | - | 152 |3621 | 0 | 0 | 0 |1832k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
249.89/249.96 c 215s| 1800k| 1154k| 0 | 0.0 | 627M| 107 | - | 152 |3540 | 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
252.70/252.71 c 218s| 1810k| 1157k| 0 | 0.0 | 631M| 107 | - | 152 |3662 | 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
255.39/255.47 c 220s| 1820k| 1161k| 0 | 0.0 | 635M| 107 | - | 152 |3952 | 0 | 0 | 0 |1883k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
258.80/258.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.80/258.82 c 223s| 1830k| 1163k| 0 | 0.0 | 637M| 107 | - | 152 |3665 | 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
261.70/261.73 c 226s| 1840k| 1166k| 0 | 0.0 | 641M| 107 | - | 152 |3699 | 0 | 0 | 0 |1920k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
264.50/264.57 c 228s| 1850k| 1169k| 0 | 0.0 | 645M| 107 | - | 152 |3485 | 0 | 0 | 0 |1937k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
267.90/267.99 c 231s| 1860k| 1171k| 0 | 0.0 | 648M| 107 | - | 152 |3671 | 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
270.90/270.94 c 234s| 1870k| 1174k| 0 | 0.0 | 652M| 107 | - | 152 |3574 | 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
274.20/274.26 c 237s| 1880k| 1175k| 0 | 0.0 | 654M| 107 | - | 152 |3863 | 0 | 0 | 0 |1993k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
277.40/277.45 c 240s| 1890k| 1178k| 0 | 0.0 | 658M| 107 | - | 152 |3682 | 0 | 0 | 0 |2011k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
280.80/280.87 c 243s| 1900k| 1180k| 0 | 0.0 | 661M| 107 | - | 152 |3735 | 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
284.10/284.19 c 246s| 1910k| 1182k| 0 | 0.0 | 665M| 107 | - | 152 |3669 | 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
287.70/287.74 c 250s| 1920k| 1183k| 0 | 0.0 | 667M| 107 | - | 152 |3471 | 0 | 0 | 0 |2066k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
291.10/291.16 c 253s| 1930k| 1184k| 0 | 0.0 | 671M| 107 | - | 152 |3635 | 0 | 0 | 0 |2085k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
294.40/294.42 c 256s| 1940k| 1186k| 0 | 0.0 | 674M| 107 | - | 152 |3699 | 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
298.11/298.15 c 259s| 1950k| 1187k| 0 | 0.0 | 677M| 107 | - | 152 |3746 | 0 | 0 | 0 |2122k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
302.10/302.14 c 263s| 1960k| 1187k| 0 | 0.0 | 679M| 107 | - | 152 |3555 | 0 | 0 | 0 |2141k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
306.00/306.09 c 267s| 1970k| 1186k| 0 | 0.0 | 682M| 107 | - | 152 |3656 | 0 | 0 | 0 |2161k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
309.20/309.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.20/309.22 c 269s| 1980k| 1188k| 0 | 0.0 | 683M| 107 | - | 152 |2832 | 0 | 0 | 0 |2178k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
310.40/310.40 c 270s| 1990k| 1196k| 0 | 0.0 | 686M| 107 | - | 152 |2701 | 0 | 0 | 0 |2186k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
311.50/311.53 c 271s| 2000k| 1204k| 0 | 0.0 | 690M| 107 | - | 152 |2724 | 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
312.60/312.70 c 272s| 2010k| 1211k| 0 | 0.0 | 693M| 107 | - | 152 |2675 | 0 | 0 | 0 |2200k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
313.80/313.89 c 273s| 2020k| 1219k| 0 | 0.0 | 696M| 107 | - | 152 |2610 | 0 | 0 | 0 |2208k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
315.00/315.04 c 274s| 2030k| 1226k| 0 | 0.0 | 700M| 107 | - | 152 |2649 | 0 | 0 | 0 |2215k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
316.00/316.09 c 275s| 2040k| 1234k| 0 | 0.0 | 703M| 107 | - | 152 |2717 | 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
317.20/317.27 c 276s| 2050k| 1242k| 0 | 0.0 | 707M| 107 | - | 152 |2997 | 0 | 0 | 0 |2230k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
318.50/318.53 c 277s| 2060k| 1249k| 0 | 0.0 | 710M| 107 | - | 152 |2856 | 0 | 0 | 0 |2238k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
319.60/319.68 c 278s| 2070k| 1257k| 0 | 0.0 | 713M| 107 | - | 152 |2832 | 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
320.80/320.80 c 279s| 2080k| 1264k| 0 | 0.0 | 717M| 107 | - | 152 |2871 | 0 | 0 | 0 |2252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
322.00/322.04 c 280s| 2090k| 1272k| 0 | 0.0 | 720M| 107 | - | 152 |2909 | 0 | 0 | 0 |2260k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
323.20/323.28 c 281s| 2100k| 1279k| 0 | 0.0 | 723M| 107 | - | 152 |2831 | 0 | 0 | 0 |2267k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
324.40/324.48 c 282s| 2110k| 1287k| 0 | 0.0 | 727M| 107 | - | 152 |2961 | 0 | 0 | 0 |2274k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
325.70/325.77 c 283s| 2120k| 1294k| 0 | 0.0 | 730M| 107 | - | 152 |3099 | 0 | 0 | 0 |2282k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
327.10/327.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.10/327.10 c 285s| 2130k| 1301k| 0 | 0.0 | 734M| 107 | - | 152 |3045 | 0 | 0 | 0 |2290k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
328.40/328.42 c 286s| 2140k| 1309k| 0 | 0.0 | 737M| 107 | - | 152 |3010 | 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
329.60/329.61 c 287s| 2150k| 1317k| 0 | 0.0 | 741M| 107 | - | 152 |2949 | 0 | 0 | 0 |2304k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
330.90/330.92 c 288s| 2160k| 1324k| 0 | 0.0 | 744M| 107 | - | 152 |3235 | 0 | 0 | 0 |2312k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
332.20/332.26 c 289s| 2170k| 1331k| 0 | 0.0 | 747M| 107 | - | 152 |2867 | 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
333.50/333.57 c 290s| 2180k| 1338k| 0 | 0.0 | 751M| 107 | - | 152 |3367 | 0 | 0 | 0 |2328k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
334.90/334.96 c 291s| 2190k| 1346k| 0 | 0.0 | 754M| 107 | - | 152 |3078 | 0 | 0 | 0 |2337k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
336.20/336.24 c 292s| 2200k| 1353k| 0 | 0.0 | 758M| 107 | - | 152 |2987 | 0 | 0 | 0 |2344k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
337.50/337.53 c 294s| 2210k| 1361k| 0 | 0.0 | 761M| 107 | - | 152 |3006 | 0 | 0 | 0 |2351k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
338.71/338.80 c 295s| 2220k| 1368k| 0 | 0.0 | 765M| 107 | - | 152 |3178 | 0 | 0 | 0 |2359k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
340.10/340.13 c 296s| 2230k| 1375k| 0 | 0.0 | 768M| 107 | - | 152 |2791 | 0 | 0 | 0 |2366k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
341.20/341.24 c 297s| 2240k| 1383k| 0 | 0.0 | 771M| 107 | - | 152 |2840 | 0 | 0 | 0 |2373k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
342.60/342.61 c 298s| 2250k| 1390k| 0 | 0.0 | 775M| 107 | - | 152 |2617 | 0 | 0 | 0 |2381k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
344.21/344.25 c 299s| 2260k| 1397k| 0 | 0.0 | 778M| 107 | - | 152 |3074 | 0 | 0 | 0 |2391k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
345.50/345.57 c 301s| 2270k| 1404k| 0 | 0.0 | 782M| 107 | - | 152 |3114 | 0 | 0 | 0 |2398k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
346.90/346.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.90/346.90 c 302s| 2280k| 1411k| 0 | 0.0 | 785M| 107 | - | 152 |3251 | 0 | 0 | 0 |2406k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
348.21/348.22 c 303s| 2290k| 1419k| 0 | 0.0 | 789M| 107 | - | 152 |3066 | 0 | 0 | 0 |2413k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
349.40/349.48 c 304s| 2300k| 1426k| 0 | 0.0 | 792M| 107 | - | 152 |3172 | 0 | 0 | 0 |2420k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
350.81/350.84 c 305s| 2310k| 1434k| 0 | 0.0 | 796M| 107 | - | 152 |2890 | 0 | 0 | 0 |2427k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
352.20/352.26 c 306s| 2320k| 1441k| 0 | 0.0 | 799M| 107 | - | 152 |2779 | 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
353.50/353.51 c 307s| 2330k| 1448k| 0 | 0.0 | 802M| 107 | - | 152 |2755 | 0 | 0 | 0 |2442k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
354.80/354.81 c 309s| 2340k| 1456k| 0 | 0.0 | 806M| 107 | - | 152 |2825 | 0 | 0 | 0 |2451k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
356.40/356.47 c 310s| 2350k| 1462k| 0 | 0.0 | 810M| 107 | - | 152 |3475 | 0 | 0 | 0 |2461k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
357.90/357.93 c 311s| 2360k| 1469k| 0 | 0.0 | 813M| 107 | - | 152 |3279 | 0 | 0 | 0 |2469k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
359.20/359.29 c 313s| 2370k| 1477k| 0 | 0.0 | 817M| 107 | - | 152 |3241 | 0 | 0 | 0 |2476k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
360.50/360.57 c 314s| 2380k| 1484k| 0 | 0.0 | 820M| 107 | - | 152 |3125 | 0 | 0 | 0 |2484k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
361.90/361.96 c 315s| 2390k| 1491k| 0 | 0.0 | 824M| 107 | - | 152 |3077 | 0 | 0 | 0 |2492k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
363.20/363.26 c 316s| 2400k| 1498k| 0 | 0.0 | 827M| 107 | - | 152 |3012 | 0 | 0 | 0 |2499k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
364.60/364.66 c 317s| 2410k| 1506k| 0 | 0.0 | 830M| 107 | - | 152 |2892 | 0 | 0 | 0 |2507k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
365.90/365.98 c 318s| 2420k| 1513k| 0 | 0.0 | 834M| 107 | - | 152 |3224 | 0 | 0 | 0 |2514k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
367.41/367.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.41/367.46 c 320s| 2430k| 1520k| 0 | 0.0 | 837M| 107 | - | 152 |3055 | 0 | 0 | 0 |2522k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
368.90/368.97 c 321s| 2440k| 1527k| 0 | 0.0 | 841M| 107 | - | 152 |3170 | 0 | 0 | 0 |2531k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
370.90/370.91 c 323s| 2450k| 1534k| 0 | 0.0 | 845M| 107 | - | 152 |3605 | 0 | 0 | 0 |2542k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
372.40/372.49 c 324s| 2460k| 1540k| 0 | 0.0 | 848M| 107 | - | 152 |3517 | 0 | 0 | 0 |2551k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
373.80/373.90 c 325s| 2470k| 1548k| 0 | 0.0 | 852M| 107 | - | 152 |3281 | 0 | 0 | 0 |2559k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
375.41/375.40 c 327s| 2480k| 1555k| 0 | 0.0 | 855M| 107 | - | 152 |3282 | 0 | 0 | 0 |2567k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
376.70/376.76 c 328s| 2490k| 1562k| 0 | 0.0 | 859M| 107 | - | 152 |3475 | 0 | 0 | 0 |2575k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
378.20/378.21 c 329s| 2500k| 1569k| 0 | 0.0 | 862M| 107 | - | 152 |3241 | 0 | 0 | 0 |2583k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
379.70/379.75 c 330s| 2510k| 1576k| 0 | 0.0 | 866M| 107 | - | 152 |3101 | 0 | 0 | 0 |2590k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
381.30/381.30 c 332s| 2520k| 1583k| 0 | 0.0 | 869M| 107 | - | 152 |3256 | 0 | 0 | 0 |2598k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
382.60/382.68 c 333s| 2530k| 1591k| 0 | 0.0 | 873M| 107 | - | 152 |2996 | 0 | 0 | 0 |2606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
384.20/384.20 c 334s| 2540k| 1598k| 0 | 0.0 | 876M| 107 | - | 152 |3031 | 0 | 0 | 0 |2614k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
385.60/385.64 c 336s| 2550k| 1605k| 0 | 0.0 | 880M| 107 | - | 152 |2934 | 0 | 0 | 0 |2622k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
387.21/387.23 c 337s| 2560k| 1612k| 0 | 0.0 | 883M| 107 | - | 152 |2884 | 0 | 0 | 0 |2630k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
389.31/389.31 c 339s| 2570k| 1618k| 0 | 0.0 | 887M| 107 | - | 152 |3884 | 0 | 0 | 0 |2641k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
391.00/391.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.00/391.02 c 340s| 2580k| 1625k| 0 | 0.0 | 891M| 107 | - | 152 |3659 | 0 | 0 | 0 |2651k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
392.60/392.66 c 342s| 2590k| 1631k| 0 | 0.0 | 894M| 107 | - | 152 |3514 | 0 | 0 | 0 |2660k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
394.10/394.16 c 343s| 2600k| 1638k| 0 | 0.0 | 898M| 107 | - | 152 |3233 | 0 | 0 | 0 |2668k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
395.60/395.63 c 344s| 2610k| 1646k| 0 | 0.0 | 902M| 107 | - | 152 |3314 | 0 | 0 | 0 |2676k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
397.20/397.20 c 346s| 2620k| 1653k| 0 | 0.0 | 905M| 107 | - | 152 |3553 | 0 | 0 | 0 |2684k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
398.70/398.70 c 347s| 2630k| 1660k| 0 | 0.0 | 908M| 107 | - | 152 |2996 | 0 | 0 | 0 |2692k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
400.20/400.28 c 349s| 2640k| 1667k| 0 | 0.0 | 912M| 107 | - | 152 |3129 | 0 | 0 | 0 |2700k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
401.70/401.76 c 350s| 2650k| 1674k| 0 | 0.0 | 916M| 107 | - | 152 |3095 | 0 | 0 | 0 |2708k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
403.20/403.22 c 351s| 2660k| 1681k| 0 | 0.0 | 919M| 107 | - | 152 |2894 | 0 | 0 | 0 |2716k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
404.71/404.71 c 352s| 2670k| 1688k| 0 | 0.0 | 923M| 107 | - | 152 |3170 | 0 | 0 | 0 |2724k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
406.20/406.28 c 354s| 2680k| 1695k| 0 | 0.0 | 926M| 107 | - | 152 |3011 | 0 | 0 | 0 |2732k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
407.71/407.71 c 355s| 2690k| 1702k| 0 | 0.0 | 930M| 107 | - | 152 |2954 | 0 | 0 | 0 |2740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
409.21/409.21 c 356s| 2700k| 1709k| 0 | 0.0 | 933M| 107 | - | 152 |2853 | 0 | 0 | 0 |2748k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
411.41/411.42 c 358s| 2710k| 1715k| 0 | 0.0 | 937M| 107 | - | 152 |4226 | 0 | 0 | 0 |2761k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
413.30/413.36 c 360s| 2720k| 1721k| 0 | 0.0 | 941M| 107 | - | 152 |3826 | 0 | 0 | 0 |2771k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
415.11/415.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.11/415.13 c 362s| 2730k| 1728k| 0 | 0.0 | 945M| 107 | - | 152 |3522 | 0 | 0 | 0 |2780k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
416.81/416.84 c 363s| 2740k| 1735k| 0 | 0.0 | 948M| 107 | - | 152 |3379 | 0 | 0 | 0 |2789k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
418.50/418.58 c 365s| 2750k| 1741k| 0 | 0.0 | 952M| 107 | - | 152 |3391 | 0 | 0 | 0 |2797k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
420.30/420.33 c 366s| 2760k| 1748k| 0 | 0.0 | 955M| 107 | - | 152 |3274 | 0 | 0 | 0 |2806k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
421.91/421.97 c 368s| 2770k| 1755k| 0 | 0.0 | 959M| 107 | - | 152 |3179 | 0 | 0 | 0 |2815k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
423.30/423.39 c 369s| 2780k| 1762k| 0 | 0.0 | 963M| 107 | - | 152 |3158 | 0 | 0 | 0 |2823k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
425.00/425.02 c 371s| 2790k| 1768k| 0 | 0.0 | 966M| 107 | - | 152 |2936 | 0 | 0 | 0 |2831k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
426.61/426.61 c 372s| 2800k| 1775k| 0 | 0.0 | 970M| 107 | - | 152 |3091 | 0 | 0 | 0 |2839k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
428.10/428.18 c 373s| 2810k| 1782k| 0 | 0.0 | 973M| 107 | - | 152 |3061 | 0 | 0 | 0 |2847k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
429.70/429.71 c 375s| 2820k| 1789k| 0 | 0.0 | 977M| 107 | - | 152 |3015 | 0 | 0 | 0 |2855k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
431.21/431.25 c 376s| 2830k| 1796k| 0 | 0.0 | 980M| 107 | - | 152 |2832 | 0 | 0 | 0 |2864k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
432.80/432.82 c 377s| 2840k| 1803k| 0 | 0.0 | 984M| 107 | - | 152 |2997 | 0 | 0 | 0 |2873k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
434.31/434.37 c 379s| 2850k| 1810k| 0 | 0.0 | 988M| 107 | - | 152 |3242 | 0 | 0 | 0 |2881k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
436.20/436.25 c 381s| 2860k| 1817k| 0 | 0.0 | 991M| 107 | - | 152 |2943 | 0 | 0 | 0 |2891k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
438.81/438.81 c 383s| 2870k| 1822k| 0 | 0.0 | 995M| 107 | - | 152 |4379 | 0 | 0 | 0 |2904k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
440.70/440.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.70/440.73 c 385s| 2880k| 1828k| 0 | 0.0 | 999M| 107 | - | 152 |3686 | 0 | 0 | 0 |2914k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
442.71/442.72 c 386s| 2890k| 1835k| 0 | 0.0 |1003M| 107 | - | 152 |3659 | 0 | 0 | 0 |2923k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
444.61/444.60 c 388s| 2900k| 1841k| 0 | 0.0 |1006M| 107 | - | 152 |3619 | 0 | 0 | 0 |2933k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
446.31/446.36 c 390s| 2910k| 1848k| 0 | 0.0 |1010M| 107 | - | 152 |3179 | 0 | 0 | 0 |2942k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
448.10/448.11 c 391s| 2920k| 1855k| 0 | 0.0 |1014M| 107 | - | 152 |3415 | 0 | 0 | 0 |2951k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
449.61/449.68 c 393s| 2930k| 1861k| 0 | 0.0 |1017M| 107 | - | 152 |3076 | 0 | 0 | 0 |2959k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
451.30/451.39 c 394s| 2940k| 1868k| 0 | 0.0 |1021M| 107 | - | 152 |3064 | 0 | 0 | 0 |2968k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
453.01/453.00 c 396s| 2950k| 1875k| 0 | 0.0 |1024M| 107 | - | 152 |3259 | 0 | 0 | 0 |2977k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
454.70/454.72 c 397s| 2960k| 1881k| 0 | 0.0 |1028M| 107 | - | 152 |2931 | 0 | 0 | 0 |2985k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
456.30/456.37 c 399s| 2970k| 1888k| 0 | 0.0 |1032M| 107 | - | 152 |3290 | 0 | 0 | 0 |2994k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
458.01/458.04 c 400s| 2980k| 1895k| 0 | 0.0 |1035M| 107 | - | 152 |2998 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
459.60/459.68 c 402s| 2990k| 1902k| 0 | 0.0 |1039M| 107 | - | 152 |3109 | 0 | 0 | 0 |3011k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
461.51/461.52 c 403s| 3000k| 1909k| 0 | 0.0 |1042M| 107 | - | 152 |3134 | 0 | 0 | 0 |3020k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
463.41/463.41 c 405s| 3010k| 1915k| 0 | 0.0 |1046M| 107 | - | 152 |3256 | 0 | 0 | 0 |3030k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
465.22/465.26 c 407s| 3020k| 1922k| 0 | 0.0 |1050M| 107 | - | 152 |3025 | 0 | 0 | 0 |3040k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
467.20/467.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.20/467.24 c 408s| 3030k| 1928k| 0 | 0.0 |1053M| 107 | - | 152 |3112 | 0 | 0 | 0 |3050k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
468.80/468.89 c 410s| 3040k| 1934k| 0 | 0.0 |1057M| 107 | - | 152 |3216 | 0 | 0 | 0 |3060k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
471.11/471.10 c 412s| 3050k| 1940k| 0 | 0.0 |1061M| 107 | - | 152 |3762 | 0 | 0 | 0 |3071k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
473.31/473.34 c 414s| 3060k| 1946k| 0 | 0.0 |1065M| 107 | - | 152 |3942 | 0 | 0 | 0 |3082k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
475.30/475.32 c 416s| 3070k| 1952k| 0 | 0.0 |1068M| 107 | - | 152 |3676 | 0 | 0 | 0 |3092k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
477.21/477.23 c 417s| 3080k| 1959k| 0 | 0.0 |1072M| 107 | - | 152 |3441 | 0 | 0 | 0 |3102k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
479.11/479.15 c 419s| 3090k| 1965k| 0 | 0.0 |1076M| 107 | - | 152 |3552 | 0 | 0 | 0 |3111k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
481.01/481.01 c 421s| 3100k| 1972k| 0 | 0.0 |1079M| 107 | - | 152 |3154 | 0 | 0 | 0 |3120k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
482.81/482.89 c 422s| 3110k| 1978k| 0 | 0.0 |1083M| 107 | - | 152 |3228 | 0 | 0 | 0 |3129k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
484.71/484.73 c 424s| 3120k| 1985k| 0 | 0.0 |1087M| 107 | - | 152 |3342 | 0 | 0 | 0 |3138k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
486.50/486.59 c 426s| 3130k| 1991k| 0 | 0.0 |1090M| 107 | - | 152 |3071 | 0 | 0 | 0 |3147k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
488.31/488.31 c 427s| 3140k| 1998k| 0 | 0.0 |1094M| 107 | - | 152 |3051 | 0 | 0 | 0 |3156k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
490.20/490.26 c 429s| 3150k| 2004k| 0 | 0.0 |1098M| 107 | - | 152 |3278 | 0 | 0 | 0 |3165k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
492.01/492.02 c 431s| 3160k| 2011k| 0 | 0.0 |1101M| 107 | - | 152 |3335 | 0 | 0 | 0 |3174k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
493.81/493.85 c 432s| 3170k| 2017k| 0 | 0.0 |1105M| 107 | - | 152 |3202 | 0 | 0 | 0 |3184k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
495.91/495.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.91/495.90 c 434s| 3180k| 2024k| 0 | 0.0 |1109M| 107 | - | 152 |3255 | 0 | 0 | 0 |3194k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
497.90/497.90 c 436s| 3190k| 2030k| 0 | 0.0 |1112M| 107 | - | 152 |3246 | 0 | 0 | 0 |3204k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
500.01/500.00 c 438s| 3200k| 2036k| 0 | 0.0 |1116M| 107 | - | 152 |3074 | 0 | 0 | 0 |3214k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
502.00/502.08 c 440s| 3210k| 2042k| 0 | 0.0 |1120M| 107 | - | 152 |3191 | 0 | 0 | 0 |3224k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
504.00/504.09 c 441s| 3220k| 2049k| 0 | 0.0 |1123M| 107 | - | 152 |3169 | 0 | 0 | 0 |3234k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
506.01/506.05 c 443s| 3230k| 2055k| 0 | 0.0 |1127M| 107 | - | 152 |3115 | 0 | 0 | 0 |3244k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
508.01/508.00 c 445s| 3240k| 2062k| 0 | 0.0 |1131M| 107 | - | 152 |3225 | 0 | 0 | 0 |3253k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
510.31/510.32 c 447s| 3250k| 2067k| 0 | 0.0 |1135M| 107 | - | 152 |4398 | 0 | 0 | 0 |3265k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
512.41/512.45 c 449s| 3260k| 2073k| 0 | 0.0 |1138M| 107 | - | 152 |3877 | 0 | 0 | 0 |3275k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
514.51/514.57 c 451s| 3270k| 2079k| 0 | 0.0 |1142M| 107 | - | 152 |3496 | 0 | 0 | 0 |3285k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
516.71/516.76 c 453s| 3280k| 2085k| 0 | 0.0 |1146M| 107 | - | 152 |3723 | 0 | 0 | 0 |3295k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
518.70/518.77 c 455s| 3290k| 2091k| 0 | 0.0 |1150M| 107 | - | 152 |3680 | 0 | 0 | 0 |3305k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
520.71/520.74 c 457s| 3300k| 2098k| 0 | 0.0 |1153M| 107 | - | 152 |3333 | 0 | 0 | 0 |3315k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
522.71/522.77 c 458s| 3310k| 2104k| 0 | 0.0 |1157M| 107 | - | 152 |3272 | 0 | 0 | 0 |3324k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
524.51/524.54 c 460s| 3320k| 2110k| 0 | 0.0 |1161M| 107 | - | 152 |3310 | 0 | 0 | 0 |3333k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
526.50/526.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.50/526.51 c 462s| 3330k| 2117k| 0 | 0.0 |1164M| 107 | - | 152 |3222 | 0 | 0 | 0 |3343k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
528.50/528.57 c 464s| 3340k| 2123k| 0 | 0.0 |1168M| 107 | - | 152 |3005 | 0 | 0 | 0 |3352k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
530.60/530.63 c 465s| 3350k| 2129k| 0 | 0.0 |1172M| 107 | - | 152 |3134 | 0 | 0 | 0 |3361k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
532.71/532.78 c 467s| 3360k| 2136k| 0 | 0.0 |1175M| 107 | - | 152 |3316 | 0 | 0 | 0 |3372k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
534.91/534.97 c 469s| 3370k| 2142k| 0 | 0.0 |1179M| 107 | - | 152 |3359 | 0 | 0 | 0 |3382k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
537.11/537.18 c 471s| 3380k| 2148k| 0 | 0.0 |1183M| 107 | - | 152 |3424 | 0 | 0 | 0 |3392k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
539.21/539.21 c 473s| 3390k| 2154k| 0 | 0.0 |1186M| 107 | - | 152 |3181 | 0 | 0 | 0 |3403k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
541.21/541.25 c 475s| 3400k| 2160k| 0 | 0.0 |1190M| 107 | - | 152 |3097 | 0 | 0 | 0 |3412k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
543.31/543.40 c 477s| 3410k| 2166k| 0 | 0.0 |1194M| 107 | - | 152 |3194 | 0 | 0 | 0 |3423k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
545.31/545.37 c 479s| 3420k| 2172k| 0 | 0.0 |1198M| 107 | - | 152 |3069 | 0 | 0 | 0 |3432k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
547.60/547.61 c 481s| 3430k| 2179k| 0 | 0.0 |1201M| 107 | - | 152 |3199 | 0 | 0 | 0 |3442k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
549.51/549.57 c 483s| 3440k| 2185k| 0 | 0.0 |1205M| 107 | - | 152 |3105 | 0 | 0 | 0 |3452k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
551.61/551.63 c 485s| 3450k| 2191k| 0 | 0.0 |1209M| 107 | - | 152 |3261 | 0 | 0 | 0 |3462k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
553.71/553.73 c 486s| 3460k| 2197k| 0 | 0.0 |1212M| 107 | - | 152 |3114 | 0 | 0 | 0 |3472k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
555.81/555.82 c 488s| 3470k| 2204k| 0 | 0.0 |1216M| 107 | - | 152 |3215 | 0 | 0 | 0 |3482k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
557.90/557.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.90/557.96 c 490s| 3480k| 2210k| 0 | 0.0 |1220M| 107 | - | 152 |3056 | 0 | 0 | 0 |3492k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
560.10/560.10 c 492s| 3490k| 2216k| 0 | 0.0 |1223M| 107 | - | 152 |3275 | 0 | 0 | 0 |3503k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
562.11/562.18 c 494s| 3500k| 2222k| 0 | 0.0 |1227M| 107 | - | 152 |3272 | 0 | 0 | 0 |3513k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
564.60/564.68 c 496s| 3510k| 2227k| 0 | 0.0 |1231M| 107 | - | 152 |3555 | 0 | 0 | 0 |3524k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
566.91/566.93 c 498s| 3520k| 2233k| 0 | 0.0 |1235M| 107 | - | 152 |3395 | 0 | 0 | 0 |3535k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
569.01/569.09 c 500s| 3530k| 2239k| 0 | 0.0 |1239M| 107 | - | 152 |3376 | 0 | 0 | 0 |3545k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
571.21/571.21 c 502s| 3540k| 2245k| 0 | 0.0 |1243M| 107 | - | 152 |3496 | 0 | 0 | 0 |3556k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
573.30/573.36 c 504s| 3550k| 2251k| 0 | 0.0 |1247M| 107 | - | 152 |3347 | 0 | 0 | 0 |3565k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
575.51/575.53 c 506s| 3560k| 2257k| 0 | 0.0 |1250M| 107 | - | 152 |3326 | 0 | 0 | 0 |3576k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
577.60/577.62 c 508s| 3570k| 2263k| 0 | 0.0 |1254M| 107 | - | 152 |3322 | 0 | 0 | 0 |3585k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
579.71/579.79 c 510s| 3580k| 2269k| 0 | 0.0 |1258M| 107 | - | 152 |3369 | 0 | 0 | 0 |3596k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
582.11/582.10 c 512s| 3590k| 2275k| 0 | 0.0 |1261M| 107 | - | 152 |3217 | 0 | 0 | 0 |3606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
584.51/584.53 c 514s| 3600k| 2281k| 0 | 0.0 |1265M| 107 | - | 152 |3283 | 0 | 0 | 0 |3617k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
586.61/586.62 c 516s| 3610k| 2287k| 0 | 0.0 |1269M| 107 | - | 152 |3277 | 0 | 0 | 0 |3628k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
588.81/588.86 c 518s| 3620k| 2293k| 0 | 0.0 |1273M| 107 | - | 152 |3455 | 0 | 0 | 0 |3638k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
591.11/591.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.11/591.12 c 520s| 3630k| 2299k| 0 | 0.0 |1276M| 107 | - | 152 |3228 | 0 | 0 | 0 |3649k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
593.21/593.27 c 522s| 3640k| 2305k| 0 | 0.0 |1280M| 107 | - | 152 |3229 | 0 | 0 | 0 |3659k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
595.40/595.45 c 524s| 3650k| 2311k| 0 | 0.0 |1284M| 107 | - | 152 |3137 | 0 | 0 | 0 |3669k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
597.71/597.72 c 527s| 3660k| 2317k| 0 | 0.0 |1287M| 107 | - | 152 |3209 | 0 | 0 | 0 |3679k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
599.91/599.90 c 528s| 3670k| 2323k| 0 | 0.0 |1291M| 107 | - | 152 |3358 | 0 | 0 | 0 |3690k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
602.01/602.05 c 530s| 3680k| 2329k| 0 | 0.0 |1295M| 107 | - | 152 |3395 | 0 | 0 | 0 |3700k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
604.21/604.24 c 532s| 3690k| 2335k| 0 | 0.0 |1299M| 107 | - | 152 |3107 | 0 | 0 | 0 |3710k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
606.41/606.49 c 534s| 3700k| 2341k| 0 | 0.0 |1302M| 107 | - | 152 |3167 | 0 | 0 | 0 |3720k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
608.71/608.78 c 537s| 3710k| 2347k| 0 | 0.0 |1306M| 107 | - | 152 |3144 | 0 | 0 | 0 |3731k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
611.11/611.10 c 539s| 3720k| 2353k| 0 | 0.0 |1310M| 107 | - | 152 |3063 | 0 | 0 | 0 |3742k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
613.21/613.22 c 541s| 3730k| 2359k| 0 | 0.0 |1313M| 107 | - | 152 |3062 | 0 | 0 | 0 |3752k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
615.31/615.34 c 543s| 3740k| 2365k| 0 | 0.0 |1317M| 107 | - | 152 |3215 | 0 | 0 | 0 |3762k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
617.51/617.58 c 545s| 3750k| 2371k| 0 | 0.0 |1321M| 107 | - | 152 |3125 | 0 | 0 | 0 |3773k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
619.91/619.98 c 547s| 3760k| 2377k| 0 | 0.0 |1325M| 107 | - | 152 |3061 | 0 | 0 | 0 |3783k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
622.31/622.31 c 549s| 3770k| 2383k| 0 | 0.0 |1328M| 107 | - | 152 |3302 | 0 | 0 | 0 |3794k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
624.71/624.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.71/624.79 c 551s| 3780k| 2388k| 0 | 0.0 |1332M| 107 | - | 152 |3459 | 0 | 0 | 0 |3805k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
627.21/627.24 c 553s| 3790k| 2394k| 0 | 0.0 |1336M| 107 | - | 152 |3259 | 0 | 0 | 0 |3816k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
629.61/629.63 c 556s| 3800k| 2399k| 0 | 0.0 |1340M| 107 | - | 152 |3210 | 0 | 0 | 0 |3827k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
632.01/632.07 c 558s| 3810k| 2405k| 0 | 0.0 |1344M| 107 | - | 152 |3417 | 0 | 0 | 0 |3838k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
634.31/634.33 c 560s| 3820k| 2411k| 0 | 0.0 |1348M| 107 | - | 152 |3190 | 0 | 0 | 0 |3848k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
636.71/636.70 c 562s| 3830k| 2417k| 0 | 0.0 |1351M| 107 | - | 152 |3229 | 0 | 0 | 0 |3858k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
639.31/639.36 c 565s| 3840k| 2423k| 0 | 0.0 |1355M| 107 | - | 152 |3400 | 0 | 0 | 0 |3869k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
641.91/641.93 c 567s| 3850k| 2428k| 0 | 0.0 |1359M| 107 | - | 152 |3344 | 0 | 0 | 0 |3880k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
644.31/644.32 c 570s| 3860k| 2434k| 0 | 0.0 |1363M| 107 | - | 152 |3281 | 0 | 0 | 0 |3891k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
647.11/647.12 c 572s| 3870k| 2440k| 0 | 0.0 |1367M| 107 | - | 152 |3460 | 0 | 0 | 0 |3902k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
649.81/649.89 c 575s| 3880k| 2445k| 0 | 0.0 |1370M| 107 | - | 152 |3290 | 0 | 0 | 0 |3913k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
652.51/652.59 c 578s| 3890k| 2451k| 0 | 0.0 |1374M| 107 | - | 152 |3266 | 0 | 0 | 0 |3924k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
655.01/655.08 c 580s| 3900k| 2457k| 0 | 0.0 |1378M| 107 | - | 152 |3230 | 0 | 0 | 0 |3935k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
657.71/657.71 c 583s| 3910k| 2463k| 0 | 0.0 |1381M| 107 | - | 152 |3017 | 0 | 0 | 0 |3945k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
660.61/660.62 c 586s| 3920k| 2468k| 0 | 0.0 |1385M| 107 | - | 152 |3356 | 0 | 0 | 0 |3956k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
663.11/663.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.11/663.20 c 588s| 3930k| 2474k| 0 | 0.0 |1389M| 107 | - | 152 |3106 | 0 | 0 | 0 |3967k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
666.01/666.02 c 591s| 3940k| 2480k| 0 | 0.0 |1393M| 107 | - | 152 |3302 | 0 | 0 | 0 |3977k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
668.61/668.67 c 593s| 3950k| 2485k| 0 | 0.0 |1397M| 107 | - | 152 |3102 | 0 | 0 | 0 |3988k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
671.51/671.58 c 596s| 3960k| 2491k| 0 | 0.0 |1400M| 107 | - | 152 |3141 | 0 | 0 | 0 |4000k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
674.21/674.22 c 599s| 3970k| 2497k| 0 | 0.0 |1404M| 107 | - | 152 |3061 | 0 | 0 | 0 |4010k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
676.91/676.90 c 601s| 3980k| 2502k| 0 | 0.0 |1408M| 107 | - | 152 |3271 | 0 | 0 | 0 |4021k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
679.41/679.47 c 604s| 3990k| 2508k| 0 | 0.0 |1412M| 107 | - | 152 |3098 | 0 | 0 | 0 |4032k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
682.11/682.15 c 607s| 4000k| 2514k| 0 | 0.0 |1416M| 107 | - | 152 |3275 | 0 | 0 | 0 |4043k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
684.81/684.83 c 609s| 4010k| 2520k| 0 | 0.0 |1419M| 107 | - | 152 |3223 | 0 | 0 | 0 |4054k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
687.41/687.49 c 612s| 4020k| 2525k| 0 | 0.0 |1423M| 107 | - | 152 |3300 | 0 | 0 | 0 |4064k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
690.31/690.31 c 615s| 4030k| 2531k| 0 | 0.0 |1427M| 107 | - | 152 |3316 | 0 | 0 | 0 |4076k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
692.81/692.85 c 617s| 4040k| 2537k| 0 | 0.0 |1431M| 107 | - | 152 |3241 | 0 | 0 | 0 |4086k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
695.71/695.71 c 620s| 4050k| 2542k| 0 | 0.0 |1435M| 107 | - | 152 |3441 | 0 | 0 | 0 |4098k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
698.71/698.78 c 623s| 4060k| 2547k| 0 | 0.0 |1439M| 107 | - | 152 |3346 | 0 | 0 | 0 |4109k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
701.61/701.60 c 626s| 4070k| 2553k| 0 | 0.0 |1442M| 107 | - | 152 |3299 | 0 | 0 | 0 |4121k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
704.32/704.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.32/704.36 c 628s| 4080k| 2558k| 0 | 0.0 |1446M| 107 | - | 152 |3380 | 0 | 0 | 0 |4132k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
707.41/707.47 c 631s| 4090k| 2564k| 0 | 0.0 |1450M| 107 | - | 152 |3303 | 0 | 0 | 0 |4143k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
710.11/710.13 c 634s| 4100k| 2569k| 0 | 0.0 |1454M| 107 | - | 152 |3483 | 0 | 0 | 0 |4154k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
712.91/712.95 c 637s| 4110k| 2575k| 0 | 0.0 |1458M| 107 | - | 152 |3320 | 0 | 0 | 0 |4165k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
715.81/715.80 c 639s| 4120k| 2580k| 0 | 0.0 |1461M| 107 | - | 152 |3409 | 0 | 0 | 0 |4177k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
718.71/718.78 c 642s| 4130k| 2585k| 0 | 0.0 |1465M| 107 | - | 152 |3323 | 0 | 0 | 0 |4188k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
721.71/721.70 c 645s| 4140k| 2591k| 0 | 0.0 |1469M| 107 | - | 152 |3295 | 0 | 0 | 0 |4200k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
725.11/725.14 c 649s| 4150k| 2596k| 0 | 0.0 |1473M| 107 | - | 152 |3442 | 0 | 0 | 0 |4212k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
727.91/727.98 c 651s| 4160k| 2601k| 0 | 0.0 |1477M| 107 | - | 152 |3312 | 0 | 0 | 0 |4223k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
730.81/730.87 c 654s| 4170k| 2607k| 0 | 0.0 |1480M| 107 | - | 152 |3242 | 0 | 0 | 0 |4234k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
733.71/733.71 c 657s| 4180k| 2612k| 0 | 0.0 |1484M| 107 | - | 152 |3102 | 0 | 0 | 0 |4246k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
736.21/736.21 c 659s| 4190k| 2618k| 0 | 0.0 |1488M| 107 | - | 152 |3167 | 0 | 0 | 0 |4257k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
739.12/739.16 c 662s| 4200k| 2624k| 0 | 0.0 |1492M| 107 | - | 152 |3020 | 0 | 0 | 0 |4268k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
742.01/742.09 c 665s| 4210k| 2629k| 0 | 0.0 |1496M| 107 | - | 152 |3265 | 0 | 0 | 0 |4280k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
745.22/745.30 c 668s| 4220k| 2634k| 0 | 0.0 |1500M| 107 | - | 152 |3249 | 0 | 0 | 0 |4291k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
747.81/747.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.81/747.87 c 671s| 4230k| 2640k| 0 | 0.0 |1503M| 107 | - | 152 |3056 | 0 | 0 | 0 |4302k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
750.62/750.62 c 673s| 4240k| 2645k| 0 | 0.0 |1507M| 107 | - | 152 |3238 | 0 | 0 | 0 |4314k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
753.42/753.50 c 676s| 4250k| 2650k| 0 | 0.0 |1511M| 107 | - | 152 |3042 | 0 | 0 | 0 |4325k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
756.11/756.12 c 679s| 4260k| 2656k| 0 | 0.0 |1515M| 107 | - | 152 |3084 | 0 | 0 | 0 |4336k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
758.51/758.55 c 681s| 4270k| 2661k| 0 | 0.0 |1519M| 107 | - | 152 |3058 | 0 | 0 | 0 |4347k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
761.21/761.24 c 684s| 4280k| 2667k| 0 | 0.0 |1523M| 107 | - | 152 |3086 | 0 | 0 | 0 |4358k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
764.01/764.05 c 687s| 4290k| 2673k| 0 | 0.0 |1526M| 107 | - | 152 |3303 | 0 | 0 | 0 |4370k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
766.91/766.90 c 689s| 4300k| 2678k| 0 | 0.0 |1530M| 107 | - | 152 |3357 | 0 | 0 | 0 |4381k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
769.71/769.71 c 692s| 4310k| 2684k| 0 | 0.0 |1534M| 107 | - | 152 |3328 | 0 | 0 | 0 |4392k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
772.61/772.60 c 695s| 4320k| 2689k| 0 | 0.0 |1538M| 107 | - | 152 |3333 | 0 | 0 | 0 |4404k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
775.22/775.24 c 697s| 4330k| 2695k| 0 | 0.0 |1542M| 107 | - | 152 |3337 | 0 | 0 | 0 |4416k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
778.12/778.10 c 700s| 4340k| 2700k| 0 | 0.0 |1545M| 107 | - | 152 |3301 | 0 | 0 | 0 |4427k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
781.52/781.56 c 704s| 4350k| 2705k| 0 | 0.0 |1549M| 107 | - | 152 |3421 | 0 | 0 | 0 |4440k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
784.91/784.95 c 707s| 4360k| 2710k| 0 | 0.0 |1553M| 107 | - | 152 |3394 | 0 | 0 | 0 |4452k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
787.91/787.94 c 710s| 4370k| 2715k| 0 | 0.0 |1557M| 107 | - | 152 |3265 | 0 | 0 | 0 |4464k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
791.22/791.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.22/791.22 c 713s| 4380k| 2720k| 0 | 0.0 |1561M| 107 | - | 152 |3418 | 0 | 0 | 0 |4475k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
794.31/794.30 c 716s| 4390k| 2725k| 0 | 0.0 |1565M| 107 | - | 152 |3236 | 0 | 0 | 0 |4488k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
797.31/797.31 c 719s| 4400k| 2730k| 0 | 0.0 |1569M| 107 | - | 152 |3306 | 0 | 0 | 0 |4500k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
800.32/800.30 c 722s| 4410k| 2735k| 0 | 0.0 |1573M| 107 | - | 152 |3365 | 0 | 0 | 0 |4511k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
803.22/803.28 c 725s| 4420k| 2740k| 0 | 0.0 |1576M| 107 | - | 152 |3383 | 0 | 0 | 0 |4524k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
806.22/806.24 c 728s| 4430k| 2746k| 0 | 0.0 |1580M| 107 | - | 152 |3360 | 0 | 0 | 0 |4535k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
808.91/808.97 c 730s| 4440k| 2751k| 0 | 0.0 |1584M| 107 | - | 152 |3299 | 0 | 0 | 0 |4547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
812.01/812.06 c 733s| 4450k| 2756k| 0 | 0.0 |1588M| 107 | - | 152 |3098 | 0 | 0 | 0 |4559k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
814.91/814.99 c 736s| 4460k| 2761k| 0 | 0.0 |1592M| 107 | - | 152 |3338 | 0 | 0 | 0 |4571k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
818.01/818.06 c 739s| 4470k| 2766k| 0 | 0.0 |1596M| 107 | - | 152 |3079 | 0 | 0 | 0 |4583k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
821.32/821.39 c 743s| 4480k| 2771k| 0 | 0.0 |1600M| 107 | - | 152 |3090 | 0 | 0 | 0 |4595k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
824.32/824.33 c 745s| 4490k| 2776k| 0 | 0.0 |1603M| 107 | - | 152 |3118 | 0 | 0 | 0 |4606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
827.01/827.07 c 748s| 4500k| 2782k| 0 | 0.0 |1607M| 107 | - | 152 |3262 | 0 | 0 | 0 |4618k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
829.91/829.91 c 751s| 4510k| 2787k| 0 | 0.0 |1611M| 107 | - | 152 |3251 | 0 | 0 | 0 |4630k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
833.21/833.26 c 754s| 4520k| 2792k| 0 | 0.0 |1615M| 107 | - | 152 |3219 | 0 | 0 | 0 |4642k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
836.61/836.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.61/836.62 c 757s| 4530k| 2797k| 0 | 0.0 |1619M| 107 | - | 152 |3095 | 0 | 0 | 0 |4654k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
839.42/839.49 c 760s| 4540k| 2802k| 0 | 0.0 |1623M| 107 | - | 152 |3099 | 0 | 0 | 0 |4666k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
842.42/842.40 c 763s| 4550k| 2807k| 0 | 0.0 |1627M| 107 | - | 152 |3125 | 0 | 0 | 0 |4677k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
845.51/845.55 c 766s| 4560k| 2812k| 0 | 0.0 |1631M| 107 | - | 152 |3242 | 0 | 0 | 0 |4689k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
848.72/848.79 c 769s| 4570k| 2818k| 0 | 0.0 |1635M| 107 | - | 152 |3289 | 0 | 0 | 0 |4700k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
852.01/852.00 c 772s| 4580k| 2823k| 0 | 0.0 |1639M| 107 | - | 152 |3090 | 0 | 0 | 0 |4712k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
854.81/854.83 c 775s| 4590k| 2828k| 0 | 0.0 |1642M| 107 | - | 152 |3339 | 0 | 0 | 0 |4724k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
857.82/857.81 c 778s| 4600k| 2833k| 0 | 0.0 |1646M| 107 | - | 152 |3203 | 0 | 0 | 0 |4736k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
860.62/860.68 c 781s| 4610k| 2838k| 0 | 0.0 |1650M| 107 | - | 152 |3299 | 0 | 0 | 0 |4748k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
863.52/863.59 c 784s| 4620k| 2844k| 0 | 0.0 |1654M| 107 | - | 152 |3393 | 0 | 0 | 0 |4760k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
866.42/866.48 c 787s| 4630k| 2849k| 0 | 0.0 |1658M| 107 | - | 152 |3490 | 0 | 0 | 0 |4772k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
869.72/869.72 c 790s| 4640k| 2854k| 0 | 0.0 |1662M| 107 | - | 152 |3502 | 0 | 0 | 0 |4785k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
873.02/873.06 c 793s| 4650k| 2859k| 0 | 0.0 |1666M| 107 | - | 152 |3466 | 0 | 0 | 0 |4797k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
876.32/876.39 c 796s| 4660k| 2863k| 0 | 0.0 |1669M| 107 | - | 152 |3211 | 0 | 0 | 0 |4810k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
879.72/879.72 c 800s| 4670k| 2868k| 0 | 0.0 |1673M| 107 | - | 152 |3369 | 0 | 0 | 0 |4822k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
883.02/883.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.02/883.03 c 803s| 4680k| 2873k| 0 | 0.0 |1677M| 107 | - | 152 |3378 | 0 | 0 | 0 |4835k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
886.12/886.17 c 806s| 4690k| 2878k| 0 | 0.0 |1681M| 107 | - | 152 |3237 | 0 | 0 | 0 |4847k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
889.32/889.39 c 809s| 4700k| 2882k| 0 | 0.0 |1685M| 107 | - | 152 |3415 | 0 | 0 | 0 |4860k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
892.51/892.55 c 812s| 4710k| 2887k| 0 | 0.0 |1689M| 107 | - | 152 |3363 | 0 | 0 | 0 |4873k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
895.82/895.87 c 815s| 4720k| 2892k| 0 | 0.0 |1692M| 107 | - | 152 |3342 | 0 | 0 | 0 |4885k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
899.22/899.21 c 819s| 4730k| 2896k| 0 | 0.0 |1696M| 107 | - | 152 |3394 | 0 | 0 | 0 |4898k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
902.32/902.38 c 822s| 4740k| 2902k| 0 | 0.0 |1700M| 107 | - | 152 |3160 | 0 | 0 | 0 |4909k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
905.62/905.60 c 825s| 4750k| 2906k| 0 | 0.0 |1704M| 107 | - | 152 |3177 | 0 | 0 | 0 |4922k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
909.11/909.12 c 828s| 4760k| 2911k| 0 | 0.0 |1708M| 107 | - | 152 |3230 | 0 | 0 | 0 |4935k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
912.31/912.36 c 832s| 4770k| 2915k| 0 | 0.0 |1712M| 107 | - | 152 |3280 | 0 | 0 | 0 |4947k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
915.72/915.74 c 835s| 4780k| 2920k| 0 | 0.0 |1716M| 107 | - | 152 |3240 | 0 | 0 | 0 |4960k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
919.02/919.06 c 838s| 4790k| 2925k| 0 | 0.0 |1720M| 107 | - | 152 |2920 | 0 | 0 | 0 |4972k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
922.42/922.49 c 841s| 4800k| 2930k| 0 | 0.0 |1724M| 107 | - | 152 |3221 | 0 | 0 | 0 |4985k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
925.72/925.77 c 845s| 4810k| 2934k| 0 | 0.0 |1728M| 107 | - | 152 |3229 | 0 | 0 | 0 |4997k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
929.02/929.09 c 848s| 4820k| 2939k| 0 | 0.0 |1732M| 107 | - | 152 |3400 | 0 | 0 | 0 |5010k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
932.21/932.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.21/932.28 c 851s| 4830k| 2944k| 0 | 0.0 |1736M| 107 | - | 152 |3251 | 0 | 0 | 0 |5022k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
935.42/935.46 c 854s| 4840k| 2949k| 0 | 0.0 |1739M| 107 | - | 152 |3257 | 0 | 0 | 0 |5035k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
938.82/938.87 c 857s| 4850k| 2954k| 0 | 0.0 |1743M| 107 | - | 152 |3318 | 0 | 0 | 0 |5047k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
942.31/942.38 c 861s| 4860k| 2959k| 0 | 0.0 |1747M| 107 | - | 152 |3136 | 0 | 0 | 0 |5060k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
945.62/945.60 c 864s| 4870k| 2963k| 0 | 0.0 |1751M| 107 | - | 152 |3121 | 0 | 0 | 0 |5072k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
948.92/948.96 c 867s| 4880k| 2968k| 0 | 0.0 |1755M| 107 | - | 152 |3267 | 0 | 0 | 0 |5085k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
952.21/952.26 c 871s| 4890k| 2973k| 0 | 0.0 |1759M| 107 | - | 152 |3233 | 0 | 0 | 0 |5097k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
955.72/955.76 c 874s| 4900k| 2978k| 0 | 0.0 |1763M| 107 | - | 152 |3345 | 0 | 0 | 0 |5110k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
959.13/959.19 c 877s| 4910k| 2983k| 0 | 0.0 |1767M| 107 | - | 152 |3559 | 0 | 0 | 0 |5123k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
962.62/962.68 c 881s| 4920k| 2988k| 0 | 0.0 |1771M| 107 | - | 152 |3433 | 0 | 0 | 0 |5135k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
965.73/965.70 c 884s| 4930k| 2993k| 0 | 0.0 |1775M| 107 | - | 152 |3541 | 0 | 0 | 0 |5148k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
968.92/968.95 c 887s| 4940k| 2998k| 0 | 0.0 |1778M| 107 | - | 152 |3523 | 0 | 0 | 0 |5161k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
972.42/972.49 c 890s| 4950k| 3003k| 0 | 0.0 |1782M| 107 | - | 152 |3179 | 0 | 0 | 0 |5174k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
975.92/975.98 c 894s| 4960k| 3007k| 0 | 0.0 |1786M| 107 | - | 152 |3542 | 0 | 0 | 0 |5187k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
979.32/979.39 c 897s| 4970k| 3012k| 0 | 0.0 |1790M| 107 | - | 152 |3373 | 0 | 0 | 0 |5200k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
983.12/983.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.12/983.15 c 901s| 4980k| 3016k| 0 | 0.0 |1793M| 107 | - | 152 |3327 | 0 | 0 | 0 |5213k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
986.92/986.92 c 905s| 4990k| 3020k| 0 | 0.0 |1797M| 107 | - | 152 |3409 | 0 | 0 | 0 |5227k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
990.12/990.16 c 908s| 5000k| 3025k| 0 | 0.0 |1801M| 107 | - | 152 |3337 | 0 | 0 | 0 |5240k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
993.72/993.71 c 911s| 5010k| 3029k| 0 | 0.0 |1805M| 107 | - | 152 |3462 | 0 | 0 | 0 |5253k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
997.12/997.15 c 915s| 5020k| 3034k| 0 | 0.0 |1809M| 107 | - | 152 |3212 | 0 | 0 | 0 |5266k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1000.72/1000.73 c 918s| 5030k| 3038k| 0 | 0.0 |1813M| 107 | - | 152 |3129 | 0 | 0 | 0 |5279k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1004.62/1004.62 c 922s| 5040k| 3042k| 0 | 0.0 |1817M| 107 | - | 152 |3309 | 0 | 0 | 0 |5293k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1008.42/1008.45 c 926s| 5050k| 3046k| 0 | 0.0 |1821M| 107 | - | 152 |3163 | 0 | 0 | 0 |5306k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1012.22/1012.27 c 929s| 5060k| 3051k| 0 | 0.0 |1825M| 107 | - | 152 |3353 | 0 | 0 | 0 |5319k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1015.82/1015.84 c 933s| 5070k| 3055k| 0 | 0.0 |1829M| 107 | - | 152 |3041 | 0 | 0 | 0 |5332k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1019.42/1019.48 c 936s| 5080k| 3060k| 0 | 0.0 |1833M| 107 | - | 152 |3230 | 0 | 0 | 0 |5345k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1022.93/1022.93 c 940s| 5090k| 3064k| 0 | 0.0 |1836M| 107 | - | 152 |3293 | 0 | 0 | 0 |5358k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1026.22/1026.28 c 943s| 5100k| 3069k| 0 | 0.0 |1840M| 107 | - | 152 |3090 | 0 | 0 | 0 |5370k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1029.42/1029.44 c 946s| 5110k| 3073k| 0 | 0.0 |1844M| 107 | - | 152 |3116 | 0 | 0 | 0 |5383k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1033.22/1033.21 c 950s| 5120k| 3078k| 0 | 0.0 |1848M| 107 | - | 152 |3258 | 0 | 0 | 0 |5396k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1036.63/1036.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.63/1036.64 c 953s| 5130k| 3082k| 0 | 0.0 |1852M| 107 | - | 152 |3095 | 0 | 0 | 0 |5409k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1040.22/1040.26 c 957s| 5140k| 3087k| 0 | 0.0 |1856M| 107 | - | 152 |3113 | 0 | 0 | 0 |5422k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1044.02/1044.04 c 961s| 5150k| 3091k| 0 | 0.0 |1860M| 107 | - | 152 |3350 | 0 | 0 | 0 |5435k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1047.72/1047.74 c 964s| 5160k| 3096k| 0 | 0.0 |1864M| 107 | - | 152 |3128 | 0 | 0 | 0 |5448k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1051.02/1051.01 c 967s| 5170k| 3100k| 0 | 0.0 |1868M| 107 | - | 152 |3108 | 0 | 0 | 0 |5461k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1054.52/1054.54 c 971s| 5180k| 3105k| 0 | 0.0 |1872M| 107 | - | 152 |3237 | 0 | 0 | 0 |5474k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1057.72/1057.74 c 974s| 5190k| 3110k| 0 | 0.0 |1875M| 107 | - | 152 |3278 | 0 | 0 | 0 |5487k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1061.32/1061.32 c 977s| 5200k| 3114k| 0 | 0.0 |1879M| 107 | - | 152 |3452 | 0 | 0 | 0 |5500k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1065.02/1065.00 c 981s| 5210k| 3119k| 0 | 0.0 |1883M| 107 | - | 152 |3341 | 0 | 0 | 0 |5513k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1068.42/1068.40 c 984s| 5220k| 3124k| 0 | 0.0 |1887M| 107 | - | 152 |3682 | 0 | 0 | 0 |5526k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1071.62/1071.62 c 988s| 5230k| 3128k| 0 | 0.0 |1891M| 107 | - | 152 |3526 | 0 | 0 | 0 |5539k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1075.12/1075.14 c 991s| 5240k| 3133k| 0 | 0.0 |1895M| 107 | - | 152 |3631 | 0 | 0 | 0 |5553k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1078.53/1078.55 c 994s| 5250k| 3138k| 0 | 0.0 |1899M| 107 | - | 152 |3946 | 0 | 0 | 0 |5566k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1082.43/1082.45 c 998s| 5260k| 3142k| 0 | 0.0 |1903M| 107 | - | 152 |3528 | 0 | 0 | 0 |5580k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1086.33/1086.33 c 1002s| 5270k| 3146k| 0 | 0.0 |1906M| 107 | - | 152 |3287 | 0 | 0 | 0 |5594k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1090.33/1090.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.33/1090.31 c 1006s| 5280k| 3149k| 0 | 0.0 |1910M| 107 | - | 152 |3516 | 0 | 0 | 0 |5608k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1094.03/1094.07 c 1010s| 5290k| 3154k| 0 | 0.0 |1914M| 107 | - | 152 |3328 | 0 | 0 | 0 |5622k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1097.83/1097.81 c 1013s| 5300k| 3157k| 0 | 0.0 |1918M| 107 | - | 152 |3514 | 0 | 0 | 0 |5636k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1101.62/1101.67 c 1017s| 5310k| 3162k| 0 | 0.0 |1922M| 107 | - | 152 |3365 | 0 | 0 | 0 |5650k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1105.62/1105.67 c 1021s| 5320k| 3165k| 0 | 0.0 |1926M| 107 | - | 152 |3250 | 0 | 0 | 0 |5664k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1109.12/1109.20 c 1024s| 5330k| 3169k| 0 | 0.0 |1930M| 107 | - | 152 |3284 | 0 | 0 | 0 |5678k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1113.13/1113.13 c 1028s| 5340k| 3173k| 0 | 0.0 |1934M| 107 | - | 152 |3263 | 0 | 0 | 0 |5692k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1116.72/1116.75 c 1032s| 5350k| 3177k| 0 | 0.0 |1938M| 107 | - | 152 |3115 | 0 | 0 | 0 |5706k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1120.73/1120.71 c 1036s| 5360k| 3182k| 0 | 0.0 |1941M| 107 | - | 152 |3060 | 0 | 0 | 0 |5720k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1124.53/1124.56 c 1039s| 5370k| 3186k| 0 | 0.0 |1946M| 107 | - | 152 |3167 | 0 | 0 | 0 |5733k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1128.23/1128.27 c 1043s| 5380k| 3190k| 0 | 0.0 |1949M| 107 | - | 152 |3275 | 0 | 0 | 0 |5747k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1132.02/1132.02 c 1047s| 5390k| 3194k| 0 | 0.0 |1953M| 107 | - | 152 |3181 | 0 | 0 | 0 |5760k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1135.63/1135.61 c 1050s| 5400k| 3198k| 0 | 0.0 |1957M| 107 | - | 152 |3203 | 0 | 0 | 0 |5774k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1139.22/1139.26 c 1054s| 5410k| 3202k| 0 | 0.0 |1961M| 107 | - | 152 |3209 | 0 | 0 | 0 |5787k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1143.03/1143.00 c 1058s| 5420k| 3207k| 0 | 0.0 |1965M| 107 | - | 152 |3377 | 0 | 0 | 0 |5801k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1146.72/1146.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.72/1146.71 c 1061s| 5430k| 3211k| 0 | 0.0 |1969M| 107 | - | 152 |3257 | 0 | 0 | 0 |5815k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1150.73/1150.77 c 1065s| 5440k| 3215k| 0 | 0.0 |1973M| 107 | - | 152 |3231 | 0 | 0 | 0 |5828k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1154.43/1154.41 c 1069s| 5450k| 3219k| 0 | 0.0 |1977M| 107 | - | 152 |2986 | 0 | 0 | 0 |5841k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1158.33/1158.35 c 1073s| 5460k| 3223k| 0 | 0.0 |1980M| 107 | - | 152 |3226 | 0 | 0 | 0 |5855k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1162.22/1162.20 c 1076s| 5470k| 3228k| 0 | 0.0 |1984M| 107 | - | 152 |3254 | 0 | 0 | 0 |5869k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1166.12/1166.14 c 1080s| 5480k| 3232k| 0 | 0.0 |1988M| 107 | - | 152 |3211 | 0 | 0 | 0 |5883k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1169.92/1169.92 c 1084s| 5490k| 3236k| 0 | 0.0 |1992M| 107 | - | 152 |3330 | 0 | 0 | 0 |5896k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1173.43/1173.43 c 1087s| 5500k| 3241k| 0 | 0.0 |1996M| 107 | - | 152 |3266 | 0 | 0 | 0 |5909k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1177.03/1177.06 c 1091s| 5510k| 3245k| 0 | 0.0 |2000M| 107 | - | 152 |3558 | 0 | 0 | 0 |5923k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1180.82/1180.82 c 1095s| 5520k| 3249k| 0 | 0.0 |2004M| 107 | - | 152 |4003 | 0 | 0 | 0 |5938k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1184.53/1184.56 c 1098s| 5530k| 3253k| 0 | 0.0 |2007M| 107 | - | 152 |3598 | 0 | 0 | 0 |5951k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1188.03/1188.05 c 1102s| 5540k| 3258k| 0 | 0.0 |2011M| 107 | - | 152 |3580 | 0 | 0 | 0 |5965k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1191.73/1191.72 c 1105s| 5550k| 3262k| 0 | 0.0 |2015M| 107 | - | 152 |3849 | 0 | 0 | 0 |5979k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1195.43/1195.40 c 1109s| 5560k| 3266k| 0 | 0.0 |2019M| 107 | - | 152 |3419 | 0 | 0 | 0 |5993k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1199.73/1199.79 c 1113s| 5570k| 3269k| 0 | 0.0 |2022M| 107 | - | 152 |3617 | 0 | 0 | 0 |6008k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1204.22/1204.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.22/1204.21 c 1118s| 5580k| 3273k| 0 | 0.0 |2026M| 107 | - | 152 |3504 | 0 | 0 | 0 |6023k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1208.23/1208.27 c 1122s| 5590k| 3277k| 0 | 0.0 |2030M| 107 | - | 152 |3356 | 0 | 0 | 0 |6038k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1212.53/1212.54 c 1126s| 5600k| 3280k| 0 | 0.0 |2034M| 107 | - | 152 |3310 | 0 | 0 | 0 |6052k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1216.43/1216.49 c 1130s| 5610k| 3283k| 0 | 0.0 |2038M| 107 | - | 152 |3102 | 0 | 0 | 0 |6066k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1220.42/1220.44 c 1134s| 5620k| 3287k| 0 | 0.0 |2042M| 107 | - | 152 |3340 | 0 | 0 | 0 |6081k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1224.72/1224.72 c 1138s| 5630k| 3291k| 0 | 0.0 |2045M| 107 | - | 152 |3283 | 0 | 0 | 0 |6095k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1228.53/1228.59 c 1142s| 5640k| 3294k| 0 | 0.0 |2049M| 107 | - | 152 |3254 | 0 | 0 | 0 |6109k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1232.43/1232.47 c 1145s| 5650k| 3298k| 0 | 0.0 |2053M| 107 | - | 152 |3372 | 0 | 0 | 0 |6124k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1236.44/1236.42 c 1149s| 5660k| 3302k| 0 | 0.0 |2057M| 107 | - | 152 |3245 | 0 | 0 | 0 |6138k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1240.33/1240.33 c 1153s| 5670k| 3305k| 0 | 0.0 |2061M| 107 | - | 152 |3409 | 0 | 0 | 0 |6153k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1244.22/1244.23 c 1157s| 5680k| 3309k| 0 | 0.0 |2065M| 107 | - | 152 |3169 | 0 | 0 | 0 |6166k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1248.23/1248.21 c 1161s| 5690k| 3313k| 0 | 0.0 |2069M| 107 | - | 152 |3523 | 0 | 0 | 0 |6181k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1252.33/1252.37 c 1165s| 5700k| 3317k| 0 | 0.0 |2073M| 107 | - | 152 |3175 | 0 | 0 | 0 |6195k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1256.33/1256.35 c 1169s| 5710k| 3321k| 0 | 0.0 |2077M| 107 | - | 152 |3148 | 0 | 0 | 0 |6209k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1259.92/1259.94 c 1172s| 5720k| 3325k| 0 | 0.0 |2081M| 107 | - | 152 |3272 | 0 | 0 | 0 |6223k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1263.62/1263.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.62/1263.69 c 1176s| 5730k| 3328k| 0 | 0.0 |2084M| 107 | - | 152 |3235 | 0 | 0 | 0 |6238k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1267.73/1267.79 c 1180s| 5740k| 3332k| 0 | 0.0 |2088M| 107 | - | 152 |3400 | 0 | 0 | 0 |6252k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1271.93/1271.95 c 1184s| 5750k| 3336k| 0 | 0.0 |2092M| 107 | - | 152 |3333 | 0 | 0 | 0 |6265k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1275.83/1275.84 c 1188s| 5760k| 3340k| 0 | 0.0 |2096M| 107 | - | 152 |3305 | 0 | 0 | 0 |6280k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1280.03/1280.00 c 1192s| 5770k| 3344k| 0 | 0.0 |2100M| 107 | - | 152 |3348 | 0 | 0 | 0 |6294k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1283.93/1283.94 c 1196s| 5780k| 3348k| 0 | 0.0 |2104M| 107 | - | 152 |3267 | 0 | 0 | 0 |6308k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1287.63/1287.63 c 1200s| 5790k| 3352k| 0 | 0.0 |2107M| 107 | - | 152 |3442 | 0 | 0 | 0 |6323k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1291.63/1291.64 c 1204s| 5800k| 3356k| 0 | 0.0 |2111M| 107 | - | 152 |3477 | 0 | 0 | 0 |6337k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1295.23/1295.23 c 1207s| 5810k| 3361k| 0 | 0.0 |2115M| 107 | - | 152 |3562 | 0 | 0 | 0 |6351k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1299.63/1299.68 c 1211s| 5820k| 3364k| 0 | 0.0 |2119M| 107 | - | 152 |3652 | 0 | 0 | 0 |6366k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1303.63/1303.61 c 1215s| 5830k| 3368k| 0 | 0.0 |2123M| 107 | - | 152 |3638 | 0 | 0 | 0 |6380k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1307.43/1307.43 c 1219s| 5840k| 3373k| 0 | 0.0 |2127M| 107 | - | 152 |3915 | 0 | 0 | 0 |6395k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1312.03/1312.00 c 1223s| 5850k| 3376k| 0 | 0.0 |2130M| 107 | - | 152 |3541 | 0 | 0 | 0 |6410k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1316.63/1316.65 c 1228s| 5860k| 3379k| 0 | 0.0 |2134M| 107 | - | 152 |3300 | 0 | 0 | 0 |6426k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1320.83/1320.89 c 1232s| 5870k| 3382k| 0 | 0.0 |2138M| 107 | - | 152 |3524 | 0 | 0 | 0 |6441k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1325.54/1325.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.54/1325.57 c 1237s| 5880k| 3384k| 0 | 0.0 |2141M| 107 | - | 152 |3309 | 0 | 0 | 0 |6457k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1329.93/1329.93 c 1241s| 5890k| 3388k| 0 | 0.0 |2145M| 107 | - | 152 |3240 | 0 | 0 | 0 |6472k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1334.43/1334.45 c 1246s| 5900k| 3391k| 0 | 0.0 |2149M| 107 | - | 152 |3339 | 0 | 0 | 0 |6487k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1339.03/1339.08 c 1250s| 5910k| 3394k| 0 | 0.0 |2153M| 107 | - | 152 |3442 | 0 | 0 | 0 |6503k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1343.43/1343.41 c 1254s| 5920k| 3397k| 0 | 0.0 |2156M| 107 | - | 152 |3179 | 0 | 0 | 0 |6517k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1347.63/1347.65 c 1259s| 5930k| 3400k| 0 | 0.0 |2160M| 107 | - | 152 |3668 | 0 | 0 | 0 |6533k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1351.63/1351.69 c 1262s| 5940k| 3404k| 0 | 0.0 |2164M| 107 | - | 152 |3149 | 0 | 0 | 0 |6547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1355.83/1355.84 c 1267s| 5950k| 3407k| 0 | 0.0 |2168M| 107 | - | 152 |3441 | 0 | 0 | 0 |6562k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1360.13/1360.10 c 1271s| 5960k| 3411k| 0 | 0.0 |2172M| 107 | - | 152 |3268 | 0 | 0 | 0 |6577k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1364.33/1364.36 c 1275s| 5970k| 3414k| 0 | 0.0 |2176M| 107 | - | 152 |3104 | 0 | 0 | 0 |6591k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1368.74/1368.76 c 1279s| 5980k| 3417k| 0 | 0.0 |2180M| 107 | - | 152 |3605 | 0 | 0 | 0 |6606k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1372.94/1372.95 c 1283s| 5990k| 3421k| 0 | 0.0 |2183M| 107 | - | 152 |3281 | 0 | 0 | 0 |6621k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1377.03/1377.10 c 1287s| 6000k| 3424k| 0 | 0.0 |2187M| 107 | - | 152 |3281 | 0 | 0 | 0 |6636k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1381.23/1381.27 c 1292s| 6010k| 3428k| 0 | 0.0 |2191M| 107 | - | 152 |3305 | 0 | 0 | 0 |6651k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1385.53/1385.51 c 1296s| 6020k| 3432k| 0 | 0.0 |2195M| 107 | - | 152 |3325 | 0 | 0 | 0 |6666k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1389.63/1389.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.63/1389.64 c 1300s| 6030k| 3435k| 0 | 0.0 |2199M| 107 | - | 152 |3473 | 0 | 0 | 0 |6681k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1394.03/1394.00 c 1304s| 6040k| 3439k| 0 | 0.0 |2203M| 107 | - | 152 |3358 | 0 | 0 | 0 |6696k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1398.03/1398.02 c 1308s| 6050k| 3443k| 0 | 0.0 |2207M| 107 | - | 152 |3642 | 0 | 0 | 0 |6711k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1402.44/1402.44 c 1312s| 6060k| 3447k| 0 | 0.0 |2210M| 107 | - | 152 |3515 | 0 | 0 | 0 |6726k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1406.53/1406.55 c 1316s| 6070k| 3450k| 0 | 0.0 |2214M| 107 | - | 152 |3358 | 0 | 0 | 0 |6740k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1410.73/1410.72 c 1320s| 6080k| 3454k| 0 | 0.0 |2218M| 107 | - | 152 |3505 | 0 | 0 | 0 |6755k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1414.54/1414.52 c 1324s| 6090k| 3458k| 0 | 0.0 |2222M| 107 | - | 152 |3817 | 0 | 0 | 0 |6770k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1419.04/1419.08 c 1329s| 6100k| 3461k| 0 | 0.0 |2226M| 107 | - | 152 |3773 | 0 | 0 | 0 |6786k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1423.14/1423.13 c 1333s| 6110k| 3465k| 0 | 0.0 |2230M| 107 | - | 152 |3897 | 0 | 0 | 0 |6801k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1427.63/1427.66 c 1337s| 6120k| 3469k| 0 | 0.0 |2234M| 107 | - | 152 |3585 | 0 | 0 | 0 |6816k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1432.44/1432.46 c 1342s| 6130k| 3471k| 0 | 0.0 |2237M| 107 | - | 152 |3605 | 0 | 0 | 0 |6833k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1437.34/1437.40 c 1347s| 6140k| 3474k| 0 | 0.0 |2241M| 107 | - | 152 |3371 | 0 | 0 | 0 |6850k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1442.04/1442.10 c 1351s| 6150k| 3476k| 0 | 0.0 |2244M| 107 | - | 152 |3420 | 0 | 0 | 0 |6866k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1446.54/1446.54 c 1356s| 6160k| 3479k| 0 | 0.0 |2248M| 107 | - | 152 |3399 | 0 | 0 | 0 |6881k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1451.13/1451.13 c 1360s| 6170k| 3482k| 0 | 0.0 |2251M| 107 | - | 152 |3444 | 0 | 0 | 0 |6897k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1455.73/1455.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1455.73/1455.78 c 1365s| 6180k| 3484k| 0 | 0.0 |2255M| 107 | - | 152 |3231 | 0 | 0 | 0 |6913k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1460.34/1460.39 c 1369s| 6190k| 3487k| 0 | 0.0 |2259M| 107 | - | 152 |3274 | 0 | 0 | 0 |6929k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1465.03/1465.07 c 1374s| 6200k| 3490k| 0 | 0.0 |2263M| 107 | - | 152 |3244 | 0 | 0 | 0 |6944k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1469.53/1469.51 c 1378s| 6210k| 3493k| 0 | 0.0 |2266M| 107 | - | 152 |3366 | 0 | 0 | 0 |6959k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1474.33/1474.31 c 1383s| 6220k| 3496k| 0 | 0.0 |2270M| 107 | - | 152 |3276 | 0 | 0 | 0 |6975k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1479.13/1479.16 c 1388s| 6230k| 3499k| 0 | 0.0 |2274M| 107 | - | 152 |3181 | 0 | 0 | 0 |6990k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1484.04/1484.00 c 1392s| 6240k| 3502k| 0 | 0.0 |2278M| 107 | - | 152 |3222 | 0 | 0 | 0 |7006k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1488.64/1488.62 c 1397s| 6250k| 3505k| 0 | 0.0 |2282M| 107 | - | 152 |3383 | 0 | 0 | 0 |7022k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1493.03/1493.07 c 1401s| 6260k| 3509k| 0 | 0.0 |2286M| 107 | - | 152 |3354 | 0 | 0 | 0 |7037k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1497.63/1497.65 c 1406s| 6270k| 3512k| 0 | 0.0 |2290M| 107 | - | 152 |3223 | 0 | 0 | 0 |7052k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1502.23/1502.24 c 1410s| 6280k| 3515k| 0 | 0.0 |2293M| 107 | - | 152 |3359 | 0 | 0 | 0 |7067k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1506.84/1506.87 c 1415s| 6290k| 3518k| 0 | 0.0 |2297M| 107 | - | 152 |3419 | 0 | 0 | 0 |7083k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1511.24/1511.28 c 1419s| 6300k| 3522k| 0 | 0.0 |2301M| 107 | - | 152 |3206 | 0 | 0 | 0 |7098k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1515.33/1515.36 c 1423s| 6310k| 3525k| 0 | 0.0 |2305M| 107 | - | 152 |3377 | 0 | 0 | 0 |7113k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1519.94/1519.92 c 1428s| 6320k| 3528k| 0 | 0.0 |2309M| 107 | - | 152 |3601 | 0 | 0 | 0 |7129k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1524.23/1524.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.23/1524.29 c 1432s| 6330k| 3532k| 0 | 0.0 |2312M| 107 | - | 152 |3454 | 0 | 0 | 0 |7145k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1528.63/1528.60 c 1436s| 6340k| 3535k| 0 | 0.0 |2316M| 107 | - | 152 |3599 | 0 | 0 | 0 |7160k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1532.53/1532.55 c 1440s| 6350k| 3539k| 0 | 0.0 |2320M| 107 | - | 152 |3581 | 0 | 0 | 0 |7175k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1536.75/1536.79 c 1444s| 6360k| 3542k| 0 | 0.0 |2324M| 107 | - | 152 |3954 | 0 | 0 | 0 |7191k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1541.34/1541.31 c 1449s| 6370k| 3545k| 0 | 0.0 |2328M| 107 | - | 152 |3842 | 0 | 0 | 0 |7206k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1546.04/1546.06 c 1453s| 6380k| 3549k| 0 | 0.0 |2332M| 107 | - | 152 |3949 | 0 | 0 | 0 |7222k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1551.13/1551.12 c 1458s| 6390k| 3551k| 0 | 0.0 |2335M| 107 | - | 152 |3605 | 0 | 0 | 0 |7240k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1556.23/1556.24 c 1464s| 6400k| 3553k| 0 | 0.0 |2338M| 107 | - | 152 |3583 | 0 | 0 | 0 |7257k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1561.43/1561.41 c 1469s| 6410k| 3555k| 0 | 0.0 |2341M| 107 | - | 152 |3481 | 0 | 0 | 0 |7273k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1566.24/1566.28 c 1473s| 6420k| 3557k| 0 | 0.0 |2345M| 107 | - | 152 |3559 | 0 | 0 | 0 |7290k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1571.24/1571.25 c 1478s| 6430k| 3559k| 0 | 0.0 |2348M| 107 | - | 152 |3473 | 0 | 0 | 0 |7307k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1576.14/1576.11 c 1483s| 6440k| 3562k| 0 | 0.0 |2352M| 107 | - | 152 |3306 | 0 | 0 | 0 |7323k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1580.94/1580.97 c 1488s| 6450k| 3564k| 0 | 0.0 |2355M| 107 | - | 152 |3394 | 0 | 0 | 0 |7339k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1585.74/1585.73 c 1492s| 6460k| 3567k| 0 | 0.0 |2359M| 107 | - | 152 |3367 | 0 | 0 | 0 |7356k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1590.24/1590.26 c 1497s| 6470k| 3569k| 0 | 0.0 |2363M| 107 | - | 152 |3496 | 0 | 0 | 0 |7372k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1595.33/1595.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.33/1595.30 c 1502s| 6480k| 3572k| 0 | 0.0 |2367M| 107 | - | 152 |3291 | 0 | 0 | 0 |7388k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1600.14/1600.19 c 1507s| 6490k| 3575k| 0 | 0.0 |2370M| 107 | - | 152 |3237 | 0 | 0 | 0 |7404k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1605.44/1605.47 c 1512s| 6500k| 3577k| 0 | 0.0 |2374M| 107 | - | 152 |3262 | 0 | 0 | 0 |7420k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1610.14/1610.17 c 1517s| 6510k| 3580k| 0 | 0.0 |2378M| 107 | - | 152 |3473 | 0 | 0 | 0 |7436k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1614.84/1614.87 c 1521s| 6520k| 3583k| 0 | 0.0 |2382M| 107 | - | 152 |3295 | 0 | 0 | 0 |7451k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1619.74/1619.77 c 1526s| 6530k| 3586k| 0 | 0.0 |2386M| 107 | - | 152 |3423 | 0 | 0 | 0 |7468k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1624.44/1624.45 c 1531s| 6540k| 3589k| 0 | 0.0 |2389M| 107 | - | 152 |3325 | 0 | 0 | 0 |7483k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1628.94/1628.91 c 1535s| 6550k| 3592k| 0 | 0.0 |2393M| 107 | - | 152 |3401 | 0 | 0 | 0 |7499k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1633.64/1633.69 c 1540s| 6560k| 3595k| 0 | 0.0 |2397M| 107 | - | 152 |3536 | 0 | 0 | 0 |7515k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1637.95/1637.97 c 1544s| 6570k| 3598k| 0 | 0.0 |2401M| 107 | - | 152 |3395 | 0 | 0 | 0 |7531k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1642.64/1642.61 c 1548s| 6580k| 3601k| 0 | 0.0 |2405M| 107 | - | 152 |3719 | 0 | 0 | 0 |7547k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1647.04/1647.03 c 1553s| 6590k| 3604k| 0 | 0.0 |2409M| 107 | - | 152 |3425 | 0 | 0 | 0 |7563k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1651.34/1651.32 c 1557s| 6600k| 3607k| 0 | 0.0 |2413M| 107 | - | 152 |3835 | 0 | 0 | 0 |7579k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1655.84/1655.87 c 1561s| 6610k| 3611k| 0 | 0.0 |2417M| 107 | - | 152 |4084 | 0 | 0 | 0 |7596k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1660.54/1660.50 c 1566s| 6620k| 3614k| 0 | 0.0 |2420M| 107 | - | 152 |4016 | 0 | 0 | 0 |7613k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1665.54/1665.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.54/1665.59 c 1571s| 6630k| 3616k| 0 | 0.0 |2424M| 107 | - | 152 |3800 | 0 | 0 | 0 |7629k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1670.84/1670.88 c 1576s| 6640k| 3618k| 0 | 0.0 |2426M| 107 | - | 152 |3315 | 0 | 0 | 0 |7647k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1676.45/1676.41 c 1582s| 6650k| 3619k| 0 | 0.0 |2429M| 107 | - | 152 |3312 | 0 | 0 | 0 |7665k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1681.85/1681.81 c 1587s| 6660k| 3620k| 0 | 0.0 |2432M| 107 | - | 152 |3362 | 0 | 0 | 0 |7682k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1687.24/1687.30 c 1592s| 6670k| 3622k| 0 | 0.0 |2435M| 107 | - | 152 |3259 | 0 | 0 | 0 |7699k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1692.64/1692.67 c 1598s| 6680k| 3624k| 0 | 0.0 |2439M| 107 | - | 152 |3320 | 0 | 0 | 0 |7716k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1697.74/1697.76 c 1603s| 6690k| 3626k| 0 | 0.0 |2443M| 107 | - | 152 |3586 | 0 | 0 | 0 |7733k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1703.04/1703.01 c 1608s| 6700k| 3628k| 0 | 0.0 |2446M| 107 | - | 152 |3233 | 0 | 0 | 0 |7750k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1708.04/1708.07 c 1613s| 6710k| 3630k| 0 | 0.0 |2450M| 107 | - | 152 |3474 | 0 | 0 | 0 |7766k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1713.14/1713.13 c 1618s| 6720k| 3633k| 0 | 0.0 |2454M| 107 | - | 152 |3498 | 0 | 0 | 0 |7783k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1717.95/1717.93 c 1623s| 6730k| 3635k| 0 | 0.0 |2457M| 107 | - | 152 |3405 | 0 | 0 | 0 |7799k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1722.55/1722.51 c 1627s| 6740k| 3638k| 0 | 0.0 |2461M| 107 | - | 152 |3365 | 0 | 0 | 0 |7816k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1727.55/1727.52 c 1632s| 6750k| 3641k| 0 | 0.0 |2465M| 107 | - | 152 |3272 | 0 | 0 | 0 |7831k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1732.34/1732.35 c 1637s| 6760k| 3643k| 0 | 0.0 |2469M| 107 | - | 152 |3227 | 0 | 0 | 0 |7847k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1736.75/1736.79 c 1641s| 6770k| 3646k| 0 | 0.0 |2473M| 107 | - | 152 |3565 | 0 | 0 | 0 |7863k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1741.45/1741.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.45/1741.40 c 1646s| 6780k| 3649k| 0 | 0.0 |2476M| 107 | - | 152 |3331 | 0 | 0 | 0 |7880k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1746.15/1746.16 c 1650s| 6790k| 3651k| 0 | 0.0 |2480M| 107 | - | 152 |3320 | 0 | 0 | 0 |7896k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1750.64/1750.63 c 1655s| 6800k| 3654k| 0 | 0.0 |2484M| 107 | - | 152 |3304 | 0 | 0 | 0 |7912k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1755.15/1755.10 c 1659s| 6810k| 3657k| 0 | 0.0 |2488M| 107 | - | 152 |3543 | 0 | 0 | 0 |7928k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1759.84/1759.87 c 1664s| 6820k| 3660k| 0 | 0.0 |2492M| 107 | - | 152 |3404 | 0 | 0 | 0 |7945k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1764.45/1764.41 c 1668s| 6830k| 3663k| 0 | 0.0 |2496M| 107 | - | 152 |3970 | 0 | 0 | 0 |7961k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1769.64/1769.68 c 1674s| 6840k| 3666k| 0 | 0.0 |2500M| 107 | - | 152 |4236 | 0 | 0 | 0 |7979k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1774.55/1774.54 c 1678s| 6850k| 3669k| 0 | 0.0 |2504M| 107 | - | 152 |3800 | 0 | 0 | 0 |7995k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1779.65/1779.65 c 1683s| 6860k| 3671k| 0 | 0.0 |2507M| 107 | - | 152 |4173 | 0 | 0 | 0 |8012k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1784.85/1784.82 c 1688s| 6870k| 3673k| 0 | 0.0 |2511M| 107 | - | 152 |3430 | 0 | 0 | 0 |8029k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1790.65/1790.70 c 1694s| 6880k| 3673k| 0 | 0.0 |2513M| 107 | - | 152 |3508 | 0 | 0 | 0 |8049k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1796.25/1796.24 c 1700s| 6890k| 3674k| 0 | 0.0 |2515M| 107 | - | 152 |3323 | 0 | 0 | 0 |8067k| 0 | 0.000000e+00 | 1.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1703.34
1800.05/1800.00 c Solving Nodes : 6896581
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (16 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87
1800.05/1800.00 v -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61
1800.05/1800.00 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
1800.05/1800.00 v -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
1800.05/1800.00 v -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1703.34
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2694054-1277921742.wbo
1800.05/1800.00 c Variables : 152 (131 binary, 0 integer, 0 implicit integer, 21 continuous)
1800.05/1800.00 c Constraints : 43 initial, 43 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2694054-1277921742.wbo
1800.05/1800.00 c Variables : 152 (131 binary, 0 integer, 0 implicit integer, 21 continuous)
1800.05/1800.00 c Constraints : 42 initial, 5100 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 21 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 21 0 3898 0 3142 0 204 0 0 0
1800.05/1800.00 c linear : 21 0 14288333 0 5792490 1202907 25185777 0 0 0
1800.05/1800.00 c logicor : 0+ 0 8675671 0 0 771414 16313956 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 5792502 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c linear : 153.83 0.00 152.77 0.00 1.06
1800.05/1800.00 c logicor : 424.76 0.00 424.76 0.00 0.00
1800.05/1800.00 c countsols : 0.57 0.00 0.00 0.00 0.57
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 1.64 2 0 0
1800.05/1800.00 c rootredcost : 1.48 0 0 0
1800.05/1800.00 c pseudoobj : 7.29 14288148 4 172
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 103.34 1974318 1974318 12780674 39.1 3987651 10.1 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 7099552 17.3 - - -
1800.05/1800.00 c applied locally : - - - 980260 37.1 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 20.34 5792490 0 0 0 0 11584980
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.01 - 12
1800.05/1800.00 c oneopt : 0.94 0 0
1800.05/1800.00 c trivial : 0.00 2 3
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.60 0 0
1800.05/1800.00 c trysol : 0.59 1 1
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 6896581
1800.05/1800.00 c nodes (total) : 6896581
1800.05/1800.00 c nodes left : 3675469
1800.05/1800.00 c max depth : 107
1800.05/1800.00 c max depth (total): 107
1800.05/1800.00 c backtracks : 1022971 (14.8%)
1800.05/1800.00 c delayed cutoffs : 1009811
1800.05/1800.00 c repropagations : 2329771 (15228738 domain reductions, 870246 cutoffs)
1800.05/1800.00 c avg switch length: 11.02
1800.05/1800.00 c switching time : 919.67
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 16 (13 improvements)
1800.05/1800.00 c First Solution : +8.26000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.05/1800.00 c Primal Bound : +1.00000000000000e+00 (in run 1, after 293313 nodes, 24.01 seconds, depth 74, found by <relaxation>)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694054-1277921742/watcher-2694054-1277921742 -o /tmp/evaluation-result-2694054-1277921742/solver-2694054-1277921742 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694054-1277921742.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14468
/proc/meminfo: memFree=27944376/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=8624 CPUtime=0
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 2022 0 0 0 0 0 0 0 22 0 1 0 133469822 8830976 1591 4089446400 4194304 7136930 140735858127328 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 2190 1602 286 719 0 1469 0
[startup+0.0837729 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14468
/proc/meminfo: memFree=27944376/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=12772 CPUtime=0.07
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 3176 0 0 0 4 3 0 0 18 0 1 0 133469822 13078528 2488 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 3193 2488 390 719 0 2472 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12772
[startup+0.10076 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14468
/proc/meminfo: memFree=27944376/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=13188 CPUtime=0.09
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 3276 0 0 0 5 4 0 0 18 0 1 0 133469822 13504512 2588 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 3297 2588 390 719 0 2576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13188
[startup+0.300733 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14468
/proc/meminfo: memFree=27944376/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=16196 CPUtime=0.29
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 4040 0 0 0 19 10 0 0 18 0 1 0 133469822 16584704 3352 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 4049 3352 390 719 0 3328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16196
[startup+0.700661 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 14468
/proc/meminfo: memFree=27944376/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=18268 CPUtime=0.69
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 4553 0 0 0 50 19 0 0 18 0 1 0 133469822 18706432 3865 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 4567 3865 390 719 0 3846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18268
[startup+1.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14469
/proc/meminfo: memFree=27926016/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=23756 CPUtime=1.49
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 5935 0 0 0 105 44 0 0 19 0 1 0 133469822 24326144 5247 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 5939 5247 390 719 0 5218 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23756
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14469
/proc/meminfo: memFree=27917324/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=33968 CPUtime=3.09
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 8483 0 0 0 227 82 0 0 25 0 1 0 133469822 34783232 7795 4089446400 4194304 7136930 140735858127328 18446744073709551615 6166794 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 8492 7795 390 719 0 7771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33968
[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14469
/proc/meminfo: memFree=27890824/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=54984 CPUtime=6.29
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 13378 0 0 0 453 176 0 0 25 0 1 0 133469822 56303616 12690 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 13746 12690 390 719 0 13025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54984
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14469
/proc/meminfo: memFree=27845580/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=85336 CPUtime=12.69
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 21195 0 0 0 942 327 0 0 25 0 1 0 133469822 87384064 20507 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 21334 20507 390 719 0 20613 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85336
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14470
/proc/meminfo: memFree=27773212/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=127780 CPUtime=25.49
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 30969 0 0 0 2027 522 0 0 25 0 1 0 133469822 130846720 30281 4089446400 4194304 7136930 140735858127328 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 31945 30281 390 719 0 31224 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127780
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14470
/proc/meminfo: memFree=27606596/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=228072 CPUtime=51.09
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 56946 0 0 0 4041 1068 0 0 25 0 1 0 133469822 233545728 56258 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 57018 56258 390 719 0 56297 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 228072
[startup+102.306 s]
/proc/loadavg: 2.18 2.04 2.01 3/183 14472
/proc/meminfo: memFree=27338080/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=416320 CPUtime=102.3
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 103376 0 0 0 8280 1950 0 0 25 0 1 0 133469822 426311680 102688 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 104080 102688 390 719 0 103359 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 416320
[startup+162.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/183 14501
/proc/meminfo: memFree=30968588/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=563728 CPUtime=162.3
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 136897 0 0 0 13547 2683 0 0 25 0 1 0 133469822 577257472 136209 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 140932 136209 390 719 0 140211 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 563728
[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 14503
/proc/meminfo: memFree=30800456/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=659448 CPUtime=222.3
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 161321 0 0 0 18974 3256 0 0 25 0 1 0 133469822 675274752 160633 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 164862 160633 390 719 0 164141 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 659448
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 14504
/proc/meminfo: memFree=30654220/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=732924 CPUtime=282.3
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 179957 0 0 0 24461 3769 0 0 25 0 1 0 133469822 750514176 179269 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 183231 179269 390 719 0 182510 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 732924
[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/183 14506
/proc/meminfo: memFree=30500292/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=847004 CPUtime=342.3
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 209245 0 0 0 29769 4461 0 0 25 0 1 0 133469822 867332096 208557 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 211751 208557 390 719 0 211030 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 847004
[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 14508
/proc/meminfo: memFree=30318572/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=990464 CPUtime=402.31
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 246178 0 0 0 35034 5197 0 0 25 0 1 0 133469822 1014235136 245490 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 247616 245490 390 719 0 246895 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 990464
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14509
/proc/meminfo: memFree=30150508/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=1113916 CPUtime=462.3
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 277833 0 0 0 40390 5840 0 0 25 0 1 0 133469822 1140649984 277145 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 278479 277145 390 719 0 277758 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1113916
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 14511
/proc/meminfo: memFree=30008096/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=1254720 CPUtime=522.31
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 305745 0 0 0 45793 6438 0 0 25 0 1 0 133469822 1284833280 305057 4089446400 4194304 7136930 140735858127328 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 313680 305057 390 719 0 312959 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1254720
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14512
/proc/meminfo: memFree=29862216/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=1361168 CPUtime=582.31
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 332888 0 0 0 51241 6990 0 0 25 0 1 0 133469822 1393836032 332200 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14468/statm: 340292 332200 390 719 0 339571 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1361168
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14587
/proc/meminfo: memFree=30100140/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=1458112 CPUtime=642.32
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 357846 0 0 0 56769 7463 0 0 25 0 1 0 133469822 1493106688 357158 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14468/statm: 364528 357158 390 719 0 363807 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1458112
[startup+702.301 s]
################
# More data... #
################
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 473179 0 0 0 91966 8266 0 0 25 0 1 0 133469822 1955995648 472491 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 477538 472491 390 719 0 476817 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1910152
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14601
/proc/meminfo: memFree=28605544/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=1974120 CPUtime=1062.33
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 489577 0 0 0 97842 8391 0 0 25 0 1 0 133469822 2021498880 488889 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 493530 488889 390 719 0 492809 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1974120
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14603
/proc/meminfo: memFree=28429796/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2036388 CPUtime=1122.32
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 505042 0 0 0 103723 8509 0 0 25 0 1 0 133469822 2085261312 504354 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 509097 504354 390 719 0 508376 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2036388
[startup+1182.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 14604
/proc/meminfo: memFree=28263216/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2100640 CPUtime=1182.33
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 521466 0 0 0 109616 8617 0 0 25 0 1 0 133469822 2151055360 520778 4089446400 4194304 7136930 140735858127328 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 525160 520778 390 719 0 524439 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2100640
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14606
/proc/meminfo: memFree=28079412/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2148592 CPUtime=1242.33
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 533779 0 0 0 115509 8724 0 0 25 0 1 0 133469822 2200158208 533091 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 537148 533091 390 719 0 536427 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2148592
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14608
/proc/meminfo: memFree=27878484/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2219164 CPUtime=1302.34
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 551755 0 0 0 121400 8834 0 0 25 0 1 0 133469822 2272423936 551067 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 554791 551067 390 719 0 554070 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2219164
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14609
/proc/meminfo: memFree=27710180/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2263800 CPUtime=1362.33
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 563187 0 0 0 127292 8941 0 0 25 0 1 0 133469822 2318131200 562499 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 565950 562499 390 719 0 565229 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2263800
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 14611
/proc/meminfo: memFree=27510620/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2324184 CPUtime=1422.34
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 578020 0 0 0 133191 9043 0 0 25 0 1 0 133469822 2379964416 577332 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 581046 577332 390 719 0 580325 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2324184
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 14612
/proc/meminfo: memFree=27353224/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2368040 CPUtime=1482.33
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 589221 0 0 0 139083 9150 0 0 25 0 1 0 133469822 2424872960 588533 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 592010 588533 390 719 0 591289 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2368040
[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14614
/proc/meminfo: memFree=27170032/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2421144 CPUtime=1542.34
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 602769 0 0 0 144978 9256 0 0 25 0 1 0 133469822 2479251456 602081 4089446400 4194304 7136930 140735858127328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 605286 602081 390 719 0 604565 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2421144
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 14616
/proc/meminfo: memFree=27010880/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2461700 CPUtime=1602.34
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 613112 0 0 0 150877 9357 0 0 25 0 1 0 133469822 2520780800 612424 4089446400 4194304 7136930 140735858127328 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 615425 612424 390 719 0 614704 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2461700
[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 14617
/proc/meminfo: memFree=26864896/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2510572 CPUtime=1662.33
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 625577 0 0 0 156780 9453 0 0 25 0 1 0 133469822 2570825728 624889 4089446400 4194304 7136930 140735858127328 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 627643 624889 390 719 0 626922 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2510572
[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 14619
/proc/meminfo: memFree=26712812/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2548860 CPUtime=1722.34
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 635323 0 0 0 162691 9543 0 0 25 0 1 0 133469822 2610032640 634635 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 637215 634635 390 719 0 636494 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2548860
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 14620
/proc/meminfo: memFree=26544384/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2597340 CPUtime=1782.34
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 646993 0 0 0 168594 9640 0 0 25 0 1 0 133469822 2659676160 646305 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 649335 646305 390 719 0 648614 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2597340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 14621
/proc/meminfo: memFree=26496872/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2609728 CPUtime=1800.05
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 650121 0 0 0 170334 9671 0 0 25 0 1 0 133469822 2672361472 649433 4089446400 4194304 7136930 140735858127328 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14468/statm: 652432 649433 390 719 0 651711 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2609728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14468
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.09 2.06 2.01 3/184 14622
/proc/meminfo: memFree=26495748/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2609728 CPUtime=1801.44
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 650127 0 0 0 170473 9671 0 0 19 0 1 0 133469822 2672361472 649439 4089446400 4194304 7136930 140735858127328 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14468/statm: 652432 649439 396 719 0 651711 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2609728
[startup+1801.81 s]
/proc/loadavg: 2.09 2.06 2.01 3/184 14622
/proc/meminfo: memFree=26493268/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2609728 CPUtime=1801.85
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 650127 0 0 0 170514 9671 0 0 20 0 1 0 133469822 2672361472 649439 4089446400 4194304 7136930 140735858127328 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14468/statm: 652432 649439 396 719 0 651711 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2609728
[startup+1802 s]
/proc/loadavg: 2.09 2.06 2.01 3/184 14622
/proc/meminfo: memFree=26493268/32951124 swapFree=67111528/67111528
[pid=14468] ppid=14466 vsize=2609728 CPUtime=1802.04
/proc/14468/stat : 14468 (pbscip.linux.x8) R 14466 14468 12993 0 -1 4202496 650127 0 0 0 170533 9671 0 0 21 0 1 0 133469822 2672361472 649439 4089446400 4194304 7136930 140735858127328 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14468/statm: 652432 649439 396 719 0 651711 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2609728
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.15
CPU user time (s): 1705.34
CPU system time (s): 96.8013
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2609728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.34
system time used= 96.8013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 954
runsolver used 2.92955 second user time and 6.94994 second system time
The end
Begin job on node133 at 2010-06-30 20:15:42
IDJOB=2694054
IDBENCH=79175
IDSOLVER=1206
FILE ID=node133/2694054-1277921742
PBS_JOBID= 11197266
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694054-1277921742/watcher-2694054-1277921742 -o /tmp/evaluation-result-2694054-1277921742/solver-2694054-1277921742 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694054-1277921742.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 765d2479315862ebcb627a16e181d11d
RANDOM SEED=910437435
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.64
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 7296.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27944904 kB
Buffers: 201956 kB
Cached: 982124 kB
SwapCached: 0 kB
Active: 4198564 kB
Inactive: 655736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27944904 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3616 kB
Writeback: 0 kB
AnonPages: 3670448 kB
Mapped: 14756 kB
Slab: 80360 kB
PageTables: 11680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3814124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node133 at 2010-06-30 20:45:44