0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3734701-1338700532.opb>
0.00/0.00 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.01 c 7 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 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 0.0s| 1 | 0 | 38 | - | 322k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 129 | - | 370k| 0 | 13 | 60 | 12 | 60 | 15 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 143 | - | 403k| 0 | 14 | 60 | 12 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 146 | - | 424k| 0 | 17 | 60 | 12 | 60 | 22 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.07/0.08 c 0.1s| 1 | 0 | 160 | - | 444k| 0 | 16 | 60 | 12 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.07/0.09 c 0.1s| 1 | 0 | 169 | - | 463k| 0 | 19 | 60 | 12 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.07/0.09 c 0.1s| 1 | 0 | 181 | - | 469k| 0 | 19 | 60 | 12 | 60 | 30 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 181 | - | 470k| 0 | 19 | 60 | 12 | 60 | 30 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
2.30/2.31 c 2.3s| 10000 | 4339 | 29955 | 3.0 |4343k| 52 | 7 | 60 |3143 | 60 | 19 | 23 |3844 | 634 | 0.000000e+00 | -- | Inf
4.50/4.55 c 4.5s| 20000 | 7878 | 60725 | 3.0 |6586k| 53 | 7 | 60 |2054 | 60 | 19 | 23 |8256 | 845 | 0.000000e+00 | -- | Inf
6.59/6.67 c 6.7s| 30000 | 11369 | 91002 | 3.0 |9043k| 54 | - | 60 |2266 | 60 | 19 | 23 | 12k|1006 | 0.000000e+00 | -- | Inf
8.69/8.80 c 8.8s| 40000 | 15033 |121118 | 3.0 | 11M| 54 | - | 60 |2144 | 60 | 19 | 23 | 17k|1139 | 0.000000e+00 | -- | Inf
10.78/10.89 c 10.9s| 50000 | 18579 |150382 | 3.0 | 13M| 54 | 7 | 60 |2650 | 60 | 19 | 23 | 21k|1241 | 0.000000e+00 | -- | Inf
12.98/13.02 c 13.0s| 60000 | 22014 |179852 | 3.0 | 16M| 54 | 7 | 60 |2759 | 60 | 19 | 23 | 25k|1335 | 0.000000e+00 | -- | Inf
15.08/15.13 c 15.1s| 70000 | 25489 |208534 | 3.0 | 18M| 54 | 7 | 60 |2596 | 60 | 19 | 23 | 30k|1426 | 0.000000e+00 | -- | Inf
17.18/17.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.18/17.23 c 17.2s| 80000 | 28707 |237419 | 3.0 | 20M| 54 | 7 | 60 |2990 | 60 | 19 | 23 | 34k|1494 | 0.000000e+00 | -- | Inf
19.28/19.39 c 19.4s| 90000 | 31832 |266233 | 3.0 | 23M| 54 | 7 | 60 |2925 | 60 | 19 | 23 | 39k|1548 | 0.000000e+00 | -- | Inf
21.49/21.50 c 21.5s|100000 | 35154 |294425 | 2.9 | 25M| 54 | 7 | 60 |3312 | 60 | 19 | 23 | 43k|1596 | 0.000000e+00 | -- | Inf
23.58/23.64 c 23.6s|110000 | 38550 |322682 | 2.9 | 27M| 54 | 7 | 60 |2780 | 60 | 19 | 23 | 48k|1655 | 0.000000e+00 | -- | Inf
25.68/25.73 c 25.7s|120000 | 41846 |350751 | 2.9 | 30M| 54 | 7 | 60 |3330 | 60 | 19 | 23 | 52k|1719 | 0.000000e+00 | -- | Inf
27.77/27.80 c 27.8s|130000 | 45350 |379005 | 2.9 | 32M| 54 | 7 | 60 |3976 | 60 | 19 | 23 | 57k|1753 | 0.000000e+00 | -- | Inf
29.88/29.98 c 30.0s|140000 | 48491 |406714 | 2.9 | 34M| 54 | - | 60 |3292 | 60 | 19 | 23 | 61k|1783 | 0.000000e+00 | -- | Inf
32.08/32.15 c 32.1s|150000 | 51594 |434769 | 2.9 | 37M| 54 | 7 | 60 |2763 | 60 | 19 | 23 | 66k|1821 | 0.000000e+00 | -- | Inf
34.18/34.27 c 34.3s|160000 | 54708 |462411 | 2.9 | 39M| 54 | - | 60 |3171 | 60 | 19 | 23 | 71k|1856 | 0.000000e+00 | -- | Inf
36.28/36.34 c 36.3s|170000 | 58216 |490924 | 2.9 | 41M| 54 | 7 | 60 |3508 | 60 | 19 | 23 | 75k|1885 | 0.000000e+00 | -- | Inf
38.48/38.53 c 38.5s|180000 | 61182 |518609 | 2.9 | 44M| 54 | 7 | 60 |3344 | 60 | 19 | 23 | 80k|1911 | 0.000000e+00 | -- | Inf
40.68/40.71 c 40.7s|190000 | 64208 |547023 | 2.9 | 46M| 54 | 7 | 60 |3574 | 60 | 19 | 23 | 85k|1941 | 0.000000e+00 | -- | Inf
42.78/42.84 c 42.8s|200000 | 67329 |574648 | 2.9 | 48M| 54 | 7 | 60 |3613 | 60 | 19 | 23 | 89k|1966 | 0.000000e+00 | -- | Inf
44.96/45.00 c 45.0s|210000 | 70449 |602968 | 2.9 | 51M| 54 | - | 60 |3704 | 60 | 19 | 23 | 94k|2005 | 0.000000e+00 | -- | Inf
47.06/47.11 c 47.1s|220000 | 73809 |631131 | 2.9 | 53M| 54 | - | 60 |3397 | 60 | 19 | 23 | 98k|2030 | 0.000000e+00 | -- | Inf
49.17/49.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.17/49.26 c 49.3s|230000 | 77010 |658629 | 2.9 | 55M| 54 | 7 | 60 |3336 | 60 | 19 | 23 | 103k|2052 | 0.000000e+00 | -- | Inf
51.36/51.40 c 51.4s|240000 | 79998 |686604 | 2.9 | 58M| 54 | 7 | 60 |3866 | 60 | 19 | 23 | 107k|2071 | 0.000000e+00 | -- | Inf
53.46/53.55 c 53.5s|250000 | 83263 |714089 | 2.9 | 60M| 54 | 7 | 60 |3591 | 60 | 19 | 23 | 112k|2089 | 0.000000e+00 | -- | Inf
55.66/55.72 c 55.7s|260000 | 86225 |741872 | 2.9 | 62M| 54 | - | 60 |3158 | 60 | 19 | 23 | 117k|2120 | 0.000000e+00 | -- | Inf
57.76/57.89 c 57.9s|270000 | 89154 |770301 | 2.9 | 64M| 54 | 7 | 60 |3483 | 60 | 19 | 23 | 121k|2144 | 0.000000e+00 | -- | Inf
59.96/60.06 c 60.1s|280000 | 92226 |798030 | 2.8 | 66M| 54 | 7 | 60 |3412 | 60 | 19 | 23 | 126k|2163 | 0.000000e+00 | -- | Inf
62.15/62.24 c 62.2s|290000 | 95111 |825659 | 2.8 | 69M| 54 | - | 60 |3572 | 60 | 19 | 23 | 131k|2183 | 0.000000e+00 | -- | Inf
64.36/64.43 c 64.4s|300000 | 98199 |854212 | 2.8 | 71M| 54 | 7 | 60 |3530 | 60 | 19 | 23 | 136k|2205 | 0.000000e+00 | -- | Inf
66.45/66.57 c 66.6s|310000 |101400 |881945 | 2.8 | 73M| 54 | 7 | 60 |3737 | 60 | 19 | 23 | 140k|2229 | 0.000000e+00 | -- | Inf
68.66/68.73 c 68.7s|320000 |104383 |910141 | 2.8 | 76M| 54 | 7 | 60 |4153 | 60 | 19 | 23 | 145k|2240 | 0.000000e+00 | -- | Inf
70.86/70.92 c 70.9s|330000 |107429 |937560 | 2.8 | 78M| 54 | - | 60 |3830 | 60 | 19 | 23 | 149k|2259 | 0.000000e+00 | -- | Inf
72.96/73.09 c 73.1s|340000 |110477 |966025 | 2.8 | 80M| 54 | 7 | 60 |3628 | 60 | 19 | 23 | 154k|2278 | 0.000000e+00 | -- | Inf
75.05/75.17 c 75.2s|350000 |113900 |993741 | 2.8 | 82M| 54 | 7 | 60 |4431 | 60 | 19 | 23 | 158k|2296 | 0.000000e+00 | -- | Inf
77.25/77.39 c 77.4s|360000 |116868 | 1021k| 2.8 | 85M| 54 | 7 | 60 |3945 | 60 | 19 | 23 | 163k|2313 | 0.000000e+00 | -- | Inf
79.45/79.58 c 79.6s|370000 |119850 | 1049k| 2.8 | 87M| 54 | 7 | 60 |4114 | 60 | 19 | 23 | 168k|2333 | 0.000000e+00 | -- | Inf
81.75/81.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.75/81.82 c 81.8s|380000 |122750 | 1077k| 2.8 | 89M| 54 | 7 | 60 |3956 | 60 | 19 | 23 | 173k|2350 | 0.000000e+00 | -- | Inf
83.95/84.03 c 84.0s|390000 |125703 | 1105k| 2.8 | 91M| 54 | 7 | 60 |3673 | 60 | 19 | 23 | 177k|2366 | 0.000000e+00 | -- | Inf
86.15/86.21 c 86.2s|400000 |128723 | 1133k| 2.8 | 94M| 54 | 7 | 60 |4094 | 60 | 19 | 23 | 182k|2377 | 0.000000e+00 | -- | Inf
88.35/88.42 c 88.4s|410000 |131836 | 1161k| 2.8 | 96M| 54 | - | 60 |3968 | 60 | 19 | 23 | 187k|2383 | 0.000000e+00 | -- | Inf
90.44/90.54 c 90.5s|420000 |135225 | 1188k| 2.8 | 98M| 54 | 7 | 60 |4558 | 60 | 19 | 23 | 191k|2395 | 0.000000e+00 | -- | Inf
92.64/92.77 c 92.8s|430000 |138233 | 1216k| 2.8 | 101M| 54 | - | 60 |4541 | 60 | 19 | 23 | 196k|2412 | 0.000000e+00 | -- | Inf
94.85/95.00 c 95.0s|440000 |141298 | 1244k| 2.8 | 103M| 54 | 7 | 60 |4231 | 60 | 19 | 23 | 200k|2423 | 0.000000e+00 | -- | Inf
97.15/97.24 c 97.2s|450000 |144185 | 1273k| 2.8 | 105M| 54 | 7 | 60 |4181 | 60 | 19 | 23 | 205k|2438 | 0.000000e+00 | -- | Inf
99.35/99.45 c 99.4s|460000 |147254 | 1300k| 2.8 | 107M| 54 | 7 | 60 |4350 | 60 | 19 | 23 | 210k|2449 | 0.000000e+00 | -- | Inf
101.55/101.69 c 102s|470000 |150227 | 1328k| 2.8 | 110M| 54 | 7 | 60 |4290 | 60 | 19 | 23 | 214k|2455 | 0.000000e+00 | -- | Inf
103.85/103.96 c 104s|480000 |153019 | 1356k| 2.8 | 112M| 54 | - | 60 |3890 | 60 | 19 | 23 | 219k|2471 | 0.000000e+00 | -- | Inf
105.94/106.01 c 106s|490000 |156808 | 1384k| 2.8 | 114M| 54 | 7 | 60 |5293 | 60 | 19 | 23 | 223k|2490 | 0.000000e+00 | -- | Inf
108.14/108.24 c 108s|500000 |160114 | 1409k| 2.8 | 117M| 54 | - | 60 |5474 | 60 | 19 | 23 | 228k|2502 | 0.000000e+00 | -- | Inf
110.45/110.53 c 111s|510000 |163242 | 1437k| 2.8 | 119M| 54 | 7 | 60 |4360 | 60 | 19 | 23 | 233k|2519 | 0.000000e+00 | -- | Inf
112.65/112.79 c 113s|520000 |166230 | 1465k| 2.8 | 121M| 54 | 7 | 60 |4543 | 60 | 19 | 23 | 237k|2535 | 0.000000e+00 | -- | Inf
114.94/115.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.94/115.04 c 115s|530000 |169177 | 1493k| 2.8 | 123M| 54 | 7 | 60 |4532 | 60 | 19 | 23 | 242k|2546 | 0.000000e+00 | -- | Inf
117.25/117.31 c 117s|540000 |172191 | 1520k| 2.8 | 126M| 54 | - | 60 |4038 | 60 | 19 | 23 | 247k|2558 | 0.000000e+00 | -- | Inf
119.35/119.48 c 119s|550000 |175390 | 1547k| 2.8 | 128M| 54 | 7 | 60 |5003 | 60 | 19 | 23 | 251k|2573 | 0.000000e+00 | -- | Inf
121.55/121.69 c 122s|560000 |178515 | 1576k| 2.8 | 130M| 54 | 7 | 60 |5108 | 60 | 19 | 23 | 256k|2595 | 0.000000e+00 | -- | Inf
123.75/123.88 c 124s|570000 |181676 | 1603k| 2.8 | 133M| 54 | - | 60 |6037 | 60 | 19 | 23 | 261k|2601 | 0.000000e+00 | -- | Inf
126.15/126.21 c 126s|580000 |184693 | 1631k| 2.8 | 135M| 54 | 7 | 60 |4802 | 60 | 19 | 23 | 265k|2609 | 0.000000e+00 | -- | Inf
128.34/128.49 c 128s|590000 |187600 | 1659k| 2.8 | 137M| 54 | 7 | 60 |5006 | 60 | 19 | 23 | 270k|2617 | 0.000000e+00 | -- | Inf
130.64/130.73 c 131s|600000 |190820 | 1686k| 2.8 | 140M| 54 | 7 | 60 |4858 | 60 | 19 | 23 | 274k|2620 | 0.000000e+00 | -- | Inf
132.84/132.99 c 133s|610000 |193790 | 1713k| 2.8 | 142M| 54 | - | 60 |4909 | 60 | 19 | 23 | 279k|2627 | 0.000000e+00 | -- | Inf
135.14/135.23 c 135s|620000 |196869 | 1741k| 2.8 | 144M| 54 | - | 60 |5199 | 60 | 19 | 23 | 284k|2639 | 0.000000e+00 | -- | Inf
137.35/137.44 c 137s|630000 |200119 | 1768k| 2.8 | 147M| 54 | 7 | 60 |5514 | 60 | 19 | 23 | 288k|2648 | 0.000000e+00 | -- | Inf
139.65/139.76 c 140s|640000 |203148 | 1796k| 2.8 | 149M| 54 | - | 60 |4928 | 60 | 19 | 23 | 293k|2658 | 0.000000e+00 | -- | Inf
141.95/142.03 c 142s|650000 |206296 | 1823k| 2.8 | 151M| 54 | 7 | 60 |4506 | 60 | 19 | 23 | 297k|2666 | 0.000000e+00 | -- | Inf
144.24/144.31 c 144s|660000 |209337 | 1851k| 2.8 | 153M| 54 | - | 60 |4390 | 60 | 19 | 23 | 302k|2671 | 0.000000e+00 | -- | Inf
146.43/146.53 c 147s|670000 |212384 | 1878k| 2.8 | 156M| 54 | 7 | 60 |4696 | 60 | 19 | 23 | 307k|2671 | 0.000000e+00 | -- | Inf
148.64/148.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.64/148.73 c 149s|680000 |215371 | 1906k| 2.8 | 158M| 54 | - | 60 |5213 | 60 | 19 | 23 | 311k|2671 | 0.000000e+00 | -- | Inf
150.84/150.99 c 151s|690000 |218443 | 1933k| 2.8 | 160M| 54 | - | 60 |5385 | 0 | 0 | 23 | 316k|2671 | 0.000000e+00 | -- | Inf
153.23/153.32 c 153s|700000 |221264 | 1960k| 2.8 | 162M| 54 | 7 | 60 |4915 | 60 | 19 | 23 | 321k|2671 | 0.000000e+00 | -- | Inf
155.43/155.54 c 156s|710000 |224306 | 1989k| 2.8 | 165M| 54 | 7 | 60 |5461 | 60 | 19 | 23 | 325k|2671 | 0.000000e+00 | -- | Inf
157.73/157.86 c 158s|720000 |227282 | 2017k| 2.8 | 167M| 54 | - | 60 |4736 | 60 | 19 | 23 | 330k|2671 | 0.000000e+00 | -- | Inf
160.03/160.17 c 160s|730000 |230238 | 2045k| 2.8 | 169M| 54 | 7 | 60 |5110 | 60 | 19 | 23 | 335k|2681 | 0.000000e+00 | -- | Inf
162.33/162.44 c 162s|740000 |233240 | 2073k| 2.8 | 171M| 54 | 7 | 60 |4827 | 60 | 19 | 23 | 339k|2687 | 0.000000e+00 | -- | Inf
164.62/164.70 c 165s|750000 |236248 | 2102k| 2.8 | 173M| 54 | 7 | 60 |4500 | 60 | 19 | 23 | 344k|2694 | 0.000000e+00 | -- | Inf
166.73/166.86 c 167s|760000 |239412 | 2129k| 2.8 | 176M| 54 | 7 | 60 |5759 | 60 | 19 | 23 | 349k|2697 | 0.000000e+00 | -- | Inf
169.03/169.14 c 169s|770000 |242630 | 2157k| 2.8 | 178M| 54 | 7 | 60 |4732 | 60 | 19 | 23 | 353k|2697 | 0.000000e+00 | -- | Inf
171.33/171.44 c 171s|780000 |245530 | 2186k| 2.8 | 180M| 54 | 7 | 60 |4777 | 60 | 19 | 23 | 358k|2697 | 0.000000e+00 | -- | Inf
173.63/173.70 c 174s|790000 |248672 | 2213k| 2.8 | 183M| 54 | 7 | 60 |5491 | 60 | 19 | 23 | 363k|2697 | 0.000000e+00 | -- | Inf
175.83/175.94 c 176s|800000 |251742 | 2241k| 2.8 | 185M| 54 | 7 | 60 |5839 | 60 | 19 | 23 | 367k|2697 | 0.000000e+00 | -- | Inf
178.23/178.35 c 178s|810000 |254430 | 2269k| 2.8 | 187M| 54 | 7 | 60 |4499 | 60 | 19 | 23 | 372k|2697 | 0.000000e+00 | -- | Inf
180.53/180.60 c 181s|820000 |257255 | 2296k| 2.8 | 189M| 54 | - | 60 |5150 | 60 | 19 | 23 | 377k|2697 | 0.000000e+00 | -- | Inf
182.83/182.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.83/182.95 c 183s|830000 |260164 | 2324k| 2.8 | 191M| 54 | 7 | 60 |4565 | 60 | 19 | 23 | 382k|2697 | 0.000000e+00 | -- | Inf
185.12/185.23 c 185s|840000 |263095 | 2351k| 2.8 | 194M| 54 | 7 | 60 |4887 | 60 | 19 | 23 | 386k|2697 | 0.000000e+00 | -- | Inf
187.32/187.44 c 187s|850000 |266218 | 2379k| 2.8 | 196M| 54 | 7 | 60 |4957 | 60 | 19 | 23 | 391k|2697 | 0.000000e+00 | -- | Inf
189.52/189.69 c 190s|860000 |269280 | 2406k| 2.8 | 198M| 54 | 7 | 60 |5354 | 60 | 19 | 23 | 395k|2697 | 0.000000e+00 | -- | Inf
191.91/192.02 c 192s|870000 |272123 | 2434k| 2.8 | 201M| 54 | - | 60 |5040 | 60 | 19 | 23 | 400k|2697 | 0.000000e+00 | -- | Inf
194.12/194.30 c 194s|880000 |275100 | 2462k| 2.8 | 203M| 54 | 7 | 60 |5111 | 60 | 19 | 23 | 405k|2697 | 0.000000e+00 | -- | Inf
196.41/196.56 c 197s|890000 |278141 | 2489k| 2.8 | 205M| 54 | 7 | 60 |5159 | 60 | 19 | 23 | 409k|2697 | 0.000000e+00 | -- | Inf
198.61/198.72 c 199s|900000 |281302 | 2517k| 2.8 | 208M| 54 | - | 60 |6477 | 60 | 19 | 23 | 414k|2697 | 0.000000e+00 | -- | Inf
200.62/200.79 c 201s|910000 |284961 | 2544k| 2.8 | 210M| 54 | 7 | 60 |8374 | 60 | 19 | 23 | 418k|2697 | 0.000000e+00 | -- | Inf
203.01/203.13 c 203s|920000 |288128 | 2572k| 2.8 | 213M| 54 | 7 | 60 |6960 | 60 | 19 | 23 | 422k|2697 | 0.000000e+00 | -- | Inf
205.31/205.45 c 205s|930000 |291202 | 2600k| 2.8 | 215M| 54 | - | 60 |6755 | 60 | 19 | 23 | 427k|2697 | 0.000000e+00 | -- | Inf
207.81/207.94 c 208s|940000 |294019 | 2627k| 2.8 | 217M| 54 | - | 60 |4951 | 60 | 19 | 23 | 432k|2705 | 0.000000e+00 | -- | Inf
210.11/210.27 c 210s|950000 |296719 | 2655k| 2.8 | 219M| 54 | - | 60 |4692 | 60 | 19 | 23 | 437k|2705 | 0.000000e+00 | -- | Inf
212.50/212.64 c 213s|960000 |299506 | 2683k| 2.8 | 221M| 54 | - | 60 |4835 | 60 | 19 | 23 | 441k|2705 | 0.000000e+00 | -- | Inf
214.51/214.67 c 215s|970000 |303256 | 2709k| 2.8 | 224M| 54 | 7 | 60 |7209 | 60 | 19 | 23 | 446k|2705 | 0.000000e+00 | -- | Inf
216.91/217.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.91/217.04 c 217s|980000 |306336 | 2736k| 2.8 | 226M| 54 | - | 60 |5486 | 60 | 19 | 23 | 450k|2705 | 0.000000e+00 | -- | Inf
219.21/219.34 c 219s|990000 |309292 | 2764k| 2.8 | 228M| 54 | 7 | 60 |4584 | 60 | 19 | 23 | 455k|2705 | 0.000000e+00 | -- | Inf
221.41/221.60 c 222s| 1000k|312323 | 2791k| 2.8 | 230M| 54 | 7 | 60 |4958 | 60 | 19 | 23 | 459k|2705 | 0.000000e+00 | -- | Inf
223.60/223.73 c 224s| 1010k|315672 | 2819k| 2.8 | 233M| 54 | - | 60 |5733 | 60 | 19 | 23 | 464k|2705 | 0.000000e+00 | -- | Inf
225.90/226.09 c 226s| 1020k|318601 | 2847k| 2.8 | 235M| 54 | - | 60 |4492 | 60 | 19 | 23 | 469k|2712 | 0.000000e+00 | -- | Inf
228.10/228.24 c 228s| 1030k|321742 | 2874k| 2.8 | 237M| 54 | - | 60 |5895 | 60 | 19 | 23 | 473k|2718 | 0.000000e+00 | -- | Inf
230.30/230.46 c 230s| 1040k|325150 | 2901k| 2.8 | 240M| 54 | - | 60 |6217 | 60 | 19 | 23 | 478k|2718 | 0.000000e+00 | -- | Inf
232.70/232.81 c 233s| 1050k|328238 | 2929k| 2.8 | 242M| 54 | - | 60 |5150 | 60 | 19 | 23 | 482k|2718 | 0.000000e+00 | -- | Inf
235.00/235.11 c 235s| 1060k|331143 | 2957k| 2.8 | 244M| 54 | 7 | 60 |5100 | 60 | 19 | 23 | 487k|2718 | 0.000000e+00 | -- | Inf
237.29/237.41 c 237s| 1070k|334020 | 2985k| 2.8 | 246M| 54 | 7 | 60 |5390 | 60 | 19 | 23 | 492k|2718 | 0.000000e+00 | -- | Inf
239.59/239.74 c 240s| 1080k|336856 | 3013k| 2.8 | 248M| 54 | - | 60 |5504 | 60 | 19 | 23 | 497k|2720 | 0.000000e+00 | -- | Inf
242.00/242.12 c 242s| 1090k|339690 | 3040k| 2.8 | 250M| 54 | 7 | 60 |5173 | 60 | 19 | 23 | 502k|2726 | 0.000000e+00 | -- | Inf
244.20/244.37 c 244s| 1100k|342741 | 3068k| 2.8 | 253M| 54 | - | 60 |5810 | 60 | 19 | 23 | 506k|2732 | 0.000000e+00 | -- | Inf
246.59/246.74 c 247s| 1110k|345725 | 3095k| 2.8 | 255M| 54 | - | 60 |5186 | 60 | 19 | 23 | 511k|2732 | 0.000000e+00 | -- | Inf
248.88/249.05 c 249s| 1120k|348604 | 3122k| 2.8 | 257M| 54 | - | 60 |5513 | 60 | 19 | 23 | 516k|2732 | 0.000000e+00 | -- | Inf
251.29/251.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.29/251.41 c 251s| 1130k|351408 | 3150k| 2.8 | 259M| 54 | 7 | 60 |5057 | 60 | 19 | 23 | 520k|2732 | 0.000000e+00 | -- | Inf
253.48/253.68 c 254s| 1140k|354424 | 3178k| 2.8 | 262M| 54 | - | 60 |5562 | 60 | 19 | 23 | 525k|2732 | 0.000000e+00 | -- | Inf
255.87/256.01 c 256s| 1150k|357182 | 3205k| 2.8 | 264M| 54 | 7 | 60 |5034 | 60 | 19 | 23 | 530k|2733 | 0.000000e+00 | -- | Inf
258.08/258.29 c 258s| 1160k|360049 | 3233k| 2.8 | 266M| 54 | - | 60 |5462 | 60 | 19 | 23 | 535k|2738 | 0.000000e+00 | -- | Inf
260.47/260.60 c 261s| 1170k|363089 | 3260k| 2.8 | 268M| 54 | - | 60 |5497 | 60 | 19 | 23 | 539k|2743 | 0.000000e+00 | -- | Inf
262.67/262.87 c 263s| 1180k|366145 | 3286k| 2.8 | 271M| 54 | - | 60 |5672 | 60 | 19 | 23 | 544k|2743 | 0.000000e+00 | -- | Inf
264.98/265.16 c 265s| 1190k|369262 | 3314k| 2.8 | 273M| 54 | 7 | 60 |5419 | 60 | 19 | 23 | 549k|2743 | 0.000000e+00 | -- | Inf
267.18/267.40 c 267s| 1200k|372348 | 3341k| 2.8 | 275M| 54 | 7 | 60 |6216 | 60 | 19 | 23 | 553k|2743 | 0.000000e+00 | -- | Inf
269.38/269.51 c 270s| 1210k|376046 | 3368k| 2.8 | 278M| 54 | 7 | 60 |7834 | 60 | 19 | 23 | 557k|2743 | 0.000000e+00 | -- | Inf
271.68/271.89 c 272s| 1220k|379054 | 3395k| 2.8 | 280M| 54 | - | 60 |6365 | 60 | 19 | 23 | 562k|2743 | 0.000000e+00 | -- | Inf
274.07/274.23 c 274s| 1230k|382046 | 3422k| 2.8 | 282M| 54 | 7 | 60 |5676 | 60 | 19 | 23 | 566k|2743 | 0.000000e+00 | -- | Inf
276.47/276.64 c 277s| 1240k|384880 | 3450k| 2.8 | 284M| 54 | 7 | 60 |5604 | 60 | 19 | 23 | 571k|2743 | 0.000000e+00 | -- | Inf
278.77/278.93 c 279s| 1250k|387982 | 3477k| 2.8 | 287M| 54 | 7 | 60 |5445 | 60 | 19 | 23 | 576k|2743 | 0.000000e+00 | -- | Inf
281.17/281.32 c 281s| 1260k|390614 | 3505k| 2.8 | 289M| 54 | 7 | 60 |5337 | 60 | 19 | 23 | 581k|2743 | 0.000000e+00 | -- | Inf
283.47/283.65 c 284s| 1270k|393599 | 3532k| 2.8 | 291M| 54 | 7 | 60 |5088 | 60 | 19 | 23 | 585k|2743 | 0.000000e+00 | -- | Inf
285.88/286.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.88/286.03 c 286s| 1280k|396386 | 3560k| 2.8 | 293M| 54 | 7 | 60 |4974 | 60 | 19 | 23 | 590k|2743 | 0.000000e+00 | -- | Inf
288.07/288.25 c 288s| 1290k|399653 | 3589k| 2.8 | 296M| 54 | 7 | 60 |6040 | 60 | 19 | 23 | 595k|2743 | 0.000000e+00 | -- | Inf
290.38/290.58 c 291s| 1300k|402620 | 3616k| 2.8 | 298M| 54 | - | 60 |6492 | 0 | 0 | 23 | 599k|2743 | 0.000000e+00 | -- | Inf
292.87/293.04 c 293s| 1310k|405343 | 3644k| 2.8 | 300M| 54 | 7 | 60 |5315 | 60 | 19 | 23 | 604k|2743 | 0.000000e+00 | -- | Inf
295.06/295.25 c 295s| 1320k|408524 | 3672k| 2.8 | 302M| 54 | - | 60 |6714 | 60 | 19 | 23 | 609k|2743 | 0.000000e+00 | -- | Inf
297.56/297.70 c 298s| 1330k|411291 | 3699k| 2.8 | 304M| 54 | 7 | 60 |5693 | 60 | 19 | 23 | 614k|2743 | 0.000000e+00 | -- | Inf
299.76/299.95 c 300s| 1340k|414401 | 3726k| 2.8 | 307M| 54 | 7 | 60 |5629 | 60 | 19 | 23 | 618k|2743 | 0.000000e+00 | -- | Inf
302.07/302.27 c 302s| 1350k|417391 | 3753k| 2.8 | 309M| 54 | 7 | 60 |5603 | 60 | 19 | 23 | 623k|2743 | 0.000000e+00 | -- | Inf
304.37/304.59 c 305s| 1360k|420447 | 3781k| 2.8 | 311M| 54 | - | 60 |5279 | 60 | 19 | 23 | 627k|2743 | 0.000000e+00 | -- | Inf
306.87/307.01 c 307s| 1370k|423189 | 3808k| 2.8 | 313M| 54 | 7 | 60 |4959 | 60 | 19 | 23 | 632k|2743 | 0.000000e+00 | -- | Inf
309.16/309.36 c 309s| 1380k|425972 | 3836k| 2.8 | 315M| 54 | 7 | 60 |5145 | 60 | 19 | 23 | 637k|2743 | 0.000000e+00 | -- | Inf
311.46/311.68 c 312s| 1390k|428825 | 3863k| 2.8 | 318M| 54 | 7 | 60 |5517 | 60 | 19 | 23 | 642k|2743 | 0.000000e+00 | -- | Inf
313.76/313.96 c 314s| 1400k|431901 | 3890k| 2.8 | 320M| 54 | - | 60 |5072 | 60 | 19 | 23 | 646k|2743 | 0.000000e+00 | -- | Inf
316.06/316.24 c 316s| 1410k|434908 | 3917k| 2.8 | 322M| 54 | 7 | 60 |5743 | 60 | 19 | 23 | 651k|2743 | 0.000000e+00 | -- | Inf
318.46/318.63 c 319s| 1420k|437704 | 3945k| 2.8 | 324M| 54 | 7 | 60 |5740 | 60 | 19 | 23 | 656k|2743 | 0.000000e+00 | -- | Inf
320.86/321.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.86/321.06 c 321s| 1430k|440470 | 3973k| 2.8 | 327M| 54 | - | 60 |5560 | 60 | 19 | 23 | 660k|2743 | 0.000000e+00 | -- | Inf
323.27/323.48 c 323s| 1440k|443240 | 4000k| 2.8 | 329M| 54 | 7 | 60 |5301 | 60 | 19 | 23 | 665k|2743 | 0.000000e+00 | -- | Inf
325.47/325.63 c 326s| 1450k|446633 | 4027k| 2.8 | 331M| 54 | 7 | 60 |6395 | 60 | 19 | 23 | 670k|2743 | 0.000000e+00 | -- | Inf
327.86/328.01 c 328s| 1460k|449683 | 4055k| 2.8 | 333M| 54 | - | 60 |5814 | 60 | 19 | 23 | 674k|2743 | 0.000000e+00 | -- | Inf
330.26/330.44 c 330s| 1470k|452429 | 4082k| 2.8 | 335M| 54 | 7 | 60 |5461 | 60 | 19 | 23 | 679k|2743 | 0.000000e+00 | -- | Inf
332.66/332.83 c 333s| 1480k|455446 | 4110k| 2.8 | 338M| 54 | 7 | 60 |5317 | 60 | 19 | 23 | 684k|2743 | 0.000000e+00 | -- | Inf
335.06/335.24 c 335s| 1490k|458275 | 4138k| 2.8 | 340M| 54 | 7 | 60 |4878 | 60 | 19 | 23 | 689k|2743 | 0.000000e+00 | -- | Inf
337.36/337.57 c 338s| 1500k|461138 | 4165k| 2.8 | 342M| 54 | 7 | 60 |5244 | 60 | 19 | 23 | 693k|2743 | 0.000000e+00 | -- | Inf
339.66/339.89 c 340s| 1510k|464052 | 4193k| 2.8 | 344M| 54 | - | 60 |5734 | 60 | 19 | 23 | 698k|2743 | 0.000000e+00 | -- | Inf
342.07/342.27 c 342s| 1520k|467092 | 4221k| 2.8 | 346M| 54 | 7 | 60 |4931 | 60 | 19 | 23 | 703k|2743 | 0.000000e+00 | -- | Inf
344.27/344.46 c 344s| 1530k|470238 | 4249k| 2.8 | 349M| 54 | 7 | 60 |6074 | 60 | 19 | 23 | 707k|2743 | 0.000000e+00 | -- | Inf
346.66/346.82 c 347s| 1540k|473216 | 4276k| 2.8 | 351M| 54 | - | 60 |6396 | 60 | 19 | 23 | 712k|2743 | 0.000000e+00 | -- | Inf
348.86/349.07 c 349s| 1550k|476510 | 4303k| 2.8 | 354M| 54 | 7 | 60 |7015 | 60 | 19 | 23 | 716k|2743 | 0.000000e+00 | -- | Inf
351.36/351.59 c 352s| 1560k|479431 | 4330k| 2.8 | 356M| 54 | 7 | 60 |5614 | 60 | 19 | 23 | 721k|2743 | 0.000000e+00 | -- | Inf
353.76/353.96 c 354s| 1570k|482312 | 4358k| 2.8 | 358M| 54 | 7 | 60 |5843 | 60 | 19 | 23 | 726k|2743 | 0.000000e+00 | -- | Inf
356.16/356.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.16/356.37 c 356s| 1580k|485160 | 4385k| 2.8 | 360M| 54 | - | 60 |5548 | 60 | 19 | 23 | 731k|2743 | 0.000000e+00 | -- | Inf
358.46/358.70 c 359s| 1590k|488114 | 4413k| 2.8 | 362M| 54 | - | 60 |5889 | 60 | 19 | 23 | 735k|2743 | 0.000000e+00 | -- | Inf
360.95/361.11 c 361s| 1600k|490847 | 4440k| 2.8 | 365M| 54 | - | 60 |6041 | 60 | 19 | 23 | 740k|2743 | 0.000000e+00 | -- | Inf
363.46/363.60 c 364s| 1610k|493650 | 4468k| 2.8 | 367M| 54 | 7 | 60 |5589 | 60 | 19 | 23 | 745k|2743 | 0.000000e+00 | -- | Inf
365.85/366.03 c 366s| 1620k|496388 | 4496k| 2.8 | 369M| 54 | 7 | 60 |5397 | 60 | 19 | 23 | 750k|2743 | 0.000000e+00 | -- | Inf
368.26/368.41 c 368s| 1630k|499274 | 4523k| 2.8 | 371M| 54 | 7 | 60 |5290 | 60 | 19 | 23 | 754k|2743 | 0.000000e+00 | -- | Inf
370.56/370.70 c 371s| 1640k|502341 | 4551k| 2.8 | 374M| 54 | 7 | 60 |6436 | 60 | 19 | 23 | 759k|2743 | 0.000000e+00 | -- | Inf
373.06/373.21 c 373s| 1650k|505104 | 4578k| 2.8 | 375M| 54 | 7 | 60 |5290 | 60 | 19 | 23 | 764k|2743 | 0.000000e+00 | -- | Inf
375.35/375.55 c 376s| 1660k|508159 | 4605k| 2.8 | 378M| 54 | 7 | 60 |5285 | 60 | 19 | 23 | 768k|2743 | 0.000000e+00 | -- | Inf
377.65/377.86 c 378s| 1670k|511171 | 4632k| 2.8 | 380M| 54 | 7 | 60 |5776 | 60 | 19 | 23 | 773k|2743 | 0.000000e+00 | -- | Inf
380.05/380.27 c 380s| 1680k|514163 | 4659k| 2.8 | 382M| 54 | 7 | 60 |5353 | 60 | 19 | 23 | 778k|2743 | 0.000000e+00 | -- | Inf
382.45/382.61 c 383s| 1690k|517239 | 4687k| 2.8 | 385M| 54 | 7 | 60 |6187 | 60 | 19 | 23 | 782k|2743 | 0.000000e+00 | -- | Inf
384.96/385.11 c 385s| 1700k|520044 | 4714k| 2.8 | 387M| 54 | 7 | 60 |5696 | 60 | 19 | 23 | 787k|2743 | 0.000000e+00 | -- | Inf
387.26/387.45 c 387s| 1710k|523109 | 4741k| 2.8 | 389M| 54 | 7 | 60 |5437 | 60 | 19 | 23 | 792k|2743 | 0.000000e+00 | -- | Inf
389.65/389.83 c 390s| 1720k|525860 | 4768k| 2.8 | 391M| 54 | 7 | 60 |5076 | 60 | 19 | 23 | 796k|2743 | 0.000000e+00 | -- | Inf
392.05/392.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.05/392.22 c 392s| 1730k|528686 | 4795k| 2.8 | 393M| 54 | 7 | 60 |5127 | 60 | 19 | 23 | 801k|2743 | 0.000000e+00 | -- | Inf
394.35/394.57 c 395s| 1740k|531638 | 4823k| 2.8 | 396M| 54 | 7 | 60 |5303 | 60 | 19 | 23 | 806k|2743 | 0.000000e+00 | -- | Inf
396.75/396.90 c 397s| 1750k|534629 | 4850k| 2.8 | 398M| 54 | 7 | 60 |6054 | 60 | 19 | 23 | 810k|2743 | 0.000000e+00 | -- | Inf
399.05/399.28 c 399s| 1760k|537558 | 4877k| 2.8 | 400M| 54 | 7 | 60 |6442 | 60 | 19 | 23 | 815k|2743 | 0.000000e+00 | -- | Inf
401.36/401.57 c 402s| 1770k|540861 | 4904k| 2.8 | 403M| 54 | - | 60 |7160 | 60 | 19 | 23 | 819k|2743 | 0.000000e+00 | -- | Inf
403.85/404.04 c 404s| 1780k|543835 | 4932k| 2.8 | 405M| 54 | 7 | 60 |6924 | 60 | 19 | 23 | 824k|2743 | 0.000000e+00 | -- | Inf
406.25/406.45 c 406s| 1790k|546678 | 4959k| 2.8 | 407M| 54 | 7 | 60 |7141 | 60 | 19 | 23 | 829k|2743 | 0.000000e+00 | -- | Inf
408.75/408.98 c 409s| 1800k|549454 | 4987k| 2.8 | 409M| 54 | 7 | 60 |6240 | 60 | 19 | 23 | 834k|2743 | 0.000000e+00 | -- | Inf
411.26/411.41 c 411s| 1810k|552327 | 5014k| 2.8 | 411M| 54 | 7 | 60 |5881 | 60 | 19 | 23 | 838k|2743 | 0.000000e+00 | -- | Inf
413.55/413.75 c 414s| 1820k|555136 | 5041k| 2.8 | 414M| 54 | - | 60 |6239 | 60 | 19 | 23 | 843k|2743 | 0.000000e+00 | -- | Inf
415.95/416.14 c 416s| 1830k|557985 | 5069k| 2.8 | 416M| 54 | - | 60 |6360 | 60 | 19 | 23 | 848k|2743 | 0.000000e+00 | -- | Inf
418.45/418.68 c 419s| 1840k|560752 | 5096k| 2.8 | 418M| 54 | 7 | 60 |5470 | 60 | 19 | 23 | 852k|2743 | 0.000000e+00 | -- | Inf
420.85/421.04 c 421s| 1850k|563689 | 5123k| 2.8 | 420M| 54 | 7 | 60 |5899 | 60 | 19 | 23 | 857k|2743 | 0.000000e+00 | -- | Inf
423.35/423.51 c 424s| 1860k|566482 | 5150k| 2.8 | 422M| 54 | 7 | 60 |5365 | 60 | 19 | 23 | 862k|2743 | 0.000000e+00 | -- | Inf
425.75/425.95 c 426s| 1870k|569196 | 5177k| 2.8 | 425M| 54 | 7 | 60 |5619 | 60 | 19 | 23 | 867k|2743 | 0.000000e+00 | -- | Inf
428.24/428.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.24/428.41 c 428s| 1880k|571963 | 5205k| 2.8 | 427M| 54 | 7 | 60 |5636 | 60 | 19 | 23 | 871k|2743 | 0.000000e+00 | -- | Inf
430.65/430.83 c 431s| 1890k|574736 | 5233k| 2.8 | 429M| 54 | - | 60 |5581 | 60 | 19 | 23 | 876k|2743 | 0.000000e+00 | -- | Inf
432.94/433.12 c 433s| 1900k|577874 | 5260k| 2.8 | 431M| 54 | 7 | 60 |6494 | 60 | 19 | 23 | 881k|2743 | 0.000000e+00 | -- | Inf
435.14/435.34 c 435s| 1910k|581410 | 5288k| 2.8 | 434M| 54 | 7 | 60 |7528 | 60 | 19 | 23 | 885k|2743 | 0.000000e+00 | -- | Inf
437.55/437.74 c 438s| 1920k|584341 | 5314k| 2.8 | 437M| 54 | 7 | 60 |8794 | 60 | 19 | 23 | 890k|2743 | 0.000000e+00 | -- | Inf
440.04/440.26 c 440s| 1930k|587503 | 5342k| 2.8 | 439M| 54 | 7 | 60 |8007 | 60 | 19 | 23 | 894k|2743 | 0.000000e+00 | -- | Inf
442.65/442.83 c 443s| 1940k|590284 | 5370k| 2.8 | 441M| 54 | 7 | 60 |6467 | 60 | 19 | 23 | 899k|2743 | 0.000000e+00 | -- | Inf
445.04/445.28 c 445s| 1950k|593180 | 5398k| 2.8 | 443M| 54 | 7 | 60 |6071 | 60 | 19 | 23 | 904k|2743 | 0.000000e+00 | -- | Inf
447.65/447.80 c 448s| 1960k|595854 | 5425k| 2.8 | 445M| 54 | 7 | 60 |5466 | 60 | 19 | 23 | 909k|2743 | 0.000000e+00 | -- | Inf
450.04/450.23 c 450s| 1970k|598659 | 5452k| 2.8 | 447M| 54 | 7 | 60 |5424 | 60 | 19 | 23 | 913k|2743 | 0.000000e+00 | -- | Inf
452.44/452.66 c 453s| 1980k|601456 | 5480k| 2.8 | 449M| 54 | - | 60 |5951 | 60 | 19 | 23 | 918k|2743 | 0.000000e+00 | -- | Inf
455.04/455.23 c 455s| 1990k|604145 | 5507k| 2.8 | 451M| 54 | - | 60 |5216 | 60 | 19 | 23 | 923k|2743 | 0.000000e+00 | -- | Inf
457.34/457.53 c 458s| 2000k|607162 | 5534k| 2.8 | 454M| 54 | - | 60 |6472 | 60 | 19 | 23 | 928k|2743 | 0.000000e+00 | -- | Inf
459.74/459.93 c 460s| 2010k|610038 | 5561k| 2.8 | 456M| 54 | 7 | 60 |6497 | 60 | 19 | 23 | 932k|2743 | 0.000000e+00 | -- | Inf
462.04/462.25 c 462s| 2020k|613115 | 5589k| 2.8 | 458M| 54 | 7 | 60 |6791 | 60 | 19 | 23 | 937k|2743 | 0.000000e+00 | -- | Inf
464.44/464.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.44/464.62 c 465s| 2030k|616126 | 5616k| 2.8 | 461M| 54 | - | 60 |6632 | 60 | 19 | 23 | 941k|2743 | 0.000000e+00 | -- | Inf
466.84/467.04 c 467s| 2040k|619263 | 5644k| 2.8 | 463M| 54 | 7 | 60 |6277 | 60 | 19 | 23 | 946k|2743 | 0.000000e+00 | -- | Inf
469.24/469.45 c 469s| 2050k|622005 | 5671k| 2.8 | 465M| 54 | 7 | 60 |6747 | 60 | 19 | 23 | 951k|2743 | 0.000000e+00 | -- | Inf
471.74/471.90 c 472s| 2060k|624826 | 5697k| 2.8 | 467M| 54 | 7 | 60 |6285 | 60 | 19 | 23 | 956k|2743 | 0.000000e+00 | -- | Inf
473.83/474.06 c 474s| 2070k|628529 | 5726k| 2.8 | 470M| 54 | 7 | 60 |7932 | 60 | 19 | 23 | 960k|2743 | 0.000000e+00 | -- | Inf
476.34/476.59 c 477s| 2080k|631762 | 5754k| 2.8 | 472M| 54 | 7 | 60 |6380 | 60 | 19 | 23 | 964k|2743 | 0.000000e+00 | -- | Inf
478.83/479.01 c 479s| 2090k|634599 | 5781k| 2.8 | 474M| 54 | - | 60 |6381 | 60 | 19 | 23 | 969k|2743 | 0.000000e+00 | -- | Inf
481.34/481.58 c 482s| 2100k|637242 | 5808k| 2.8 | 476M| 54 | 7 | 60 |5562 | 60 | 19 | 23 | 974k|2743 | 0.000000e+00 | -- | Inf
483.74/483.95 c 484s| 2110k|640239 | 5835k| 2.8 | 479M| 54 | 7 | 60 |5896 | 60 | 19 | 23 | 978k|2743 | 0.000000e+00 | -- | Inf
486.04/486.25 c 486s| 2120k|643437 | 5862k| 2.8 | 481M| 54 | 7 | 60 |6265 | 60 | 19 | 23 | 983k|2743 | 0.000000e+00 | -- | Inf
488.43/488.66 c 489s| 2130k|646351 | 5890k| 2.8 | 483M| 54 | 7 | 60 |6372 | 60 | 19 | 23 | 988k|2743 | 0.000000e+00 | -- | Inf
490.83/491.01 c 491s| 2140k|649156 | 5917k| 2.8 | 485M| 54 | - | 60 |6441 | 60 | 19 | 23 | 992k|2743 | 0.000000e+00 | -- | Inf
493.23/493.41 c 493s| 2150k|652030 | 5945k| 2.8 | 488M| 54 | 7 | 60 |6460 | 60 | 19 | 23 | 997k|2743 | 0.000000e+00 | -- | Inf
495.64/495.87 c 496s| 2160k|654999 | 5972k| 2.8 | 490M| 54 | 7 | 60 |6357 | 60 | 19 | 23 |1002k|2743 | 0.000000e+00 | -- | Inf
498.14/498.33 c 498s| 2170k|657863 | 5999k| 2.8 | 492M| 54 | - | 60 |6177 | 60 | 19 | 23 |1006k|2743 | 0.000000e+00 | -- | Inf
500.63/500.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.63/500.83 c 501s| 2180k|660741 | 6026k| 2.8 | 494M| 54 | - | 60 |5308 | 60 | 19 | 23 |1011k|2743 | 0.000000e+00 | -- | Inf
502.83/503.09 c 503s| 2190k|664171 | 6052k| 2.8 | 497M| 54 | - | 60 |6678 | 60 | 19 | 23 |1015k|2743 | 0.000000e+00 | -- | Inf
505.43/505.69 c 506s| 2200k|666978 | 6080k| 2.8 | 499M| 54 | 7 | 60 |5771 | 60 | 19 | 23 |1020k|2743 | 0.000000e+00 | -- | Inf
507.83/508.06 c 508s| 2210k|669780 | 6107k| 2.8 | 501M| 54 | 7 | 60 |6460 | 60 | 19 | 23 |1025k|2743 | 0.000000e+00 | -- | Inf
510.34/510.56 c 511s| 2220k|672585 | 6134k| 2.8 | 503M| 54 | 7 | 60 |5179 | 60 | 19 | 23 |1030k|2743 | 0.000000e+00 | -- | Inf
512.62/512.87 c 513s| 2230k|675753 | 6161k| 2.8 | 505M| 54 | 7 | 60 |6164 | 60 | 19 | 23 |1034k|2743 | 0.000000e+00 | -- | Inf
515.13/515.36 c 515s| 2240k|678588 | 6188k| 2.8 | 508M| 54 | 7 | 60 |6100 | 60 | 19 | 23 |1039k|2743 | 0.000000e+00 | -- | Inf
517.52/517.72 c 518s| 2250k|681693 | 6216k| 2.8 | 510M| 54 | - | 60 |6047 | 60 | 19 | 23 |1044k|2743 | 0.000000e+00 | -- | Inf
519.83/520.09 c 520s| 2260k|684715 | 6244k| 2.8 | 512M| 54 | 7 | 60 |6434 | 60 | 19 | 23 |1048k|2743 | 0.000000e+00 | -- | Inf
522.12/522.32 c 522s| 2270k|688093 | 6270k| 2.8 | 515M| 54 | - | 60 |7067 | 60 | 19 | 23 |1053k|2743 | 0.000000e+00 | -- | Inf
524.62/524.88 c 525s| 2280k|690924 | 6297k| 2.8 | 517M| 54 | - | 60 |5558 | 60 | 19 | 23 |1057k|2743 | 0.000000e+00 | -- | Inf
527.02/527.29 c 527s| 2290k|693797 | 6324k| 2.8 | 519M| 54 | 7 | 60 |5527 | 60 | 19 | 23 |1062k|2743 | 0.000000e+00 | -- | Inf
529.43/529.68 c 530s| 2300k|696750 | 6351k| 2.8 | 521M| 54 | 7 | 60 |5489 | 60 | 19 | 23 |1066k|2743 | 0.000000e+00 | -- | Inf
531.82/532.05 c 532s| 2310k|699730 | 6378k| 2.8 | 523M| 54 | - | 60 |6192 | 60 | 19 | 23 |1071k|2743 | 0.000000e+00 | -- | Inf
534.32/534.54 c 535s| 2320k|702530 | 6405k| 2.8 | 526M| 54 | 7 | 60 |5980 | 60 | 19 | 23 |1076k|2743 | 0.000000e+00 | -- | Inf
536.82/537.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.82/537.04 c 537s| 2330k|705345 | 6432k| 2.8 | 528M| 54 | - | 60 |5116 | 60 | 19 | 23 |1080k|2743 | 0.000000e+00 | -- | Inf
539.32/539.50 c 539s| 2340k|708090 | 6459k| 2.8 | 530M| 54 | 7 | 60 |5187 | 60 | 19 | 23 |1085k|2743 | 0.000000e+00 | -- | Inf
541.72/541.95 c 542s| 2350k|711047 | 6485k| 2.8 | 532M| 54 | 7 | 60 |5170 | 60 | 19 | 23 |1090k|2743 | 0.000000e+00 | -- | Inf
544.01/544.29 c 544s| 2360k|713858 | 6513k| 2.8 | 534M| 54 | - | 60 |6308 | 60 | 19 | 23 |1095k|2743 | 0.000000e+00 | -- | Inf
546.62/546.81 c 547s| 2370k|716681 | 6540k| 2.8 | 536M| 54 | - | 60 |5444 | 60 | 19 | 23 |1099k|2743 | 0.000000e+00 | -- | Inf
549.02/549.23 c 549s| 2380k|719492 | 6568k| 2.8 | 539M| 54 | 7 | 60 |5585 | 60 | 19 | 23 |1104k|2743 | 0.000000e+00 | -- | Inf
551.51/551.73 c 552s| 2390k|722211 | 6596k| 2.8 | 541M| 54 | - | 60 |6012 | 60 | 19 | 23 |1109k|2743 | 0.000000e+00 | -- | Inf
554.01/554.29 c 554s| 2400k|724836 | 6624k| 2.8 | 543M| 54 | - | 60 |5532 | 60 | 19 | 23 |1114k|2743 | 0.000000e+00 | -- | Inf
556.61/556.80 c 557s| 2410k|727561 | 6651k| 2.8 | 545M| 54 | 7 | 60 |4961 | 60 | 19 | 23 |1119k|2743 | 0.000000e+00 | -- | Inf
558.91/559.16 c 559s| 2420k|730513 | 6679k| 2.8 | 547M| 54 | 7 | 60 |5908 | 60 | 19 | 23 |1123k|2743 | 0.000000e+00 | -- | Inf
561.41/561.64 c 562s| 2430k|733386 | 6705k| 2.8 | 550M| 54 | 7 | 60 |5887 | 60 | 19 | 23 |1128k|2743 | 0.000000e+00 | -- | Inf
563.91/564.14 c 564s| 2440k|736255 | 6731k| 2.8 | 552M| 54 | 7 | 60 |5709 | 60 | 19 | 23 |1133k|2743 | 0.000000e+00 | -- | Inf
566.42/566.64 c 567s| 2450k|738975 | 6759k| 2.8 | 554M| 54 | 7 | 60 |5904 | 60 | 19 | 23 |1138k|2743 | 0.000000e+00 | -- | Inf
568.71/568.96 c 569s| 2460k|742286 | 6785k| 2.8 | 557M| 54 | 7 | 60 |6470 | 60 | 19 | 23 |1142k|2743 | 0.000000e+00 | -- | Inf
571.10/571.37 c 571s| 2470k|745414 | 6812k| 2.8 | 559M| 54 | 7 | 60 |6475 | 60 | 19 | 23 |1146k|2743 | 0.000000e+00 | -- | Inf
573.71/573.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.71/573.96 c 574s| 2480k|748118 | 6840k| 2.8 | 561M| 54 | 7 | 60 |5944 | 60 | 19 | 23 |1151k|2743 | 0.000000e+00 | -- | Inf
576.21/576.41 c 576s| 2490k|751027 | 6867k| 2.8 | 563M| 54 | - | 60 |5776 | 60 | 19 | 23 |1156k|2743 | 0.000000e+00 | -- | Inf
578.60/578.88 c 579s| 2500k|753991 | 6895k| 2.8 | 565M| 54 | 7 | 60 |6215 | 60 | 19 | 23 |1161k|2743 | 0.000000e+00 | -- | Inf
581.11/581.34 c 581s| 2510k|756716 | 6922k| 2.8 | 567M| 54 | - | 60 |6317 | 60 | 19 | 23 |1165k|2743 | 0.000000e+00 | -- | Inf
583.60/583.81 c 584s| 2520k|759627 | 6949k| 2.8 | 570M| 54 | 7 | 60 |6314 | 60 | 19 | 23 |1170k|2743 | 0.000000e+00 | -- | Inf
586.00/586.29 c 586s| 2530k|762526 | 6976k| 2.8 | 572M| 54 | 7 | 60 |6054 | 60 | 19 | 23 |1175k|2743 | 0.000000e+00 | -- | Inf
588.51/588.80 c 589s| 2540k|765227 | 7004k| 2.8 | 574M| 54 | 7 | 60 |6368 | 60 | 19 | 23 |1180k|2743 | 0.000000e+00 | -- | Inf
591.10/591.33 c 591s| 2550k|768043 | 7030k| 2.8 | 576M| 54 | 7 | 60 |5471 | 60 | 19 | 23 |1184k|2743 | 0.000000e+00 | -- | Inf
593.40/593.68 c 594s| 2560k|770997 | 7057k| 2.8 | 579M| 54 | - | 60 |6488 | 0 | 0 | 23 |1189k|2743 | 0.000000e+00 | -- | Inf
595.80/596.05 c 596s| 2570k|774285 | 7085k| 2.8 | 581M| 54 | 7 | 60 |6095 | 60 | 19 | 23 |1193k|2743 | 0.000000e+00 | -- | Inf
598.10/598.36 c 598s| 2580k|777600 | 7114k| 2.8 | 583M| 54 | - | 60 |6367 | 60 | 19 | 23 |1198k|2743 | 0.000000e+00 | -- | Inf
600.51/600.73 c 601s| 2590k|780458 | 7141k| 2.8 | 586M| 54 | - | 60 |6983 | 60 | 19 | 23 |1203k|2743 | 0.000000e+00 | -- | Inf
602.90/603.13 c 603s| 2600k|783328 | 7168k| 2.8 | 588M| 54 | 7 | 60 |6668 | 60 | 19 | 23 |1208k|2743 | 0.000000e+00 | -- | Inf
605.40/605.60 c 606s| 2610k|785827 | 7196k| 2.8 | 590M| 54 | - | 60 |7239 | 60 | 19 | 23 |1213k|2743 | 0.000000e+00 | -- | Inf
607.90/608.10 c 608s| 2620k|788425 | 7224k| 2.8 | 592M| 54 | 7 | 60 |7552 | 60 | 19 | 23 |1218k|2743 | 0.000000e+00 | -- | Inf
610.50/610.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.50/610.78 c 611s| 2630k|790980 | 7251k| 2.8 | 594M| 54 | - | 60 |6083 | 60 | 19 | 23 |1223k|2743 | 0.000000e+00 | -- | Inf
612.90/613.19 c 613s| 2640k|794082 | 7278k| 2.8 | 596M| 54 | 7 | 60 |6334 | 60 | 19 | 23 |1227k|2743 | 0.000000e+00 | -- | Inf
615.40/615.69 c 616s| 2650k|796850 | 7305k| 2.8 | 599M| 54 | 7 | 60 |5793 | 60 | 19 | 23 |1232k|2743 | 0.000000e+00 | -- | Inf
617.90/618.20 c 618s| 2660k|799513 | 7331k| 2.8 | 601M| 54 | - | 60 |5651 | 60 | 19 | 23 |1237k|2743 | 0.000000e+00 | -- | Inf
620.20/620.47 c 620s| 2670k|802849 | 7358k| 2.8 | 603M| 54 | 7 | 60 |6449 | 60 | 19 | 23 |1241k|2743 | 0.000000e+00 | -- | Inf
622.80/623.09 c 623s| 2680k|805575 | 7385k| 2.8 | 605M| 54 | 7 | 60 |5239 | 60 | 19 | 23 |1246k|2743 | 0.000000e+00 | -- | Inf
625.29/625.51 c 626s| 2690k|808365 | 7412k| 2.8 | 607M| 54 | 7 | 60 |5954 | 60 | 19 | 23 |1251k|2743 | 0.000000e+00 | -- | Inf
627.80/628.03 c 628s| 2700k|811074 | 7439k| 2.8 | 610M| 54 | - | 60 |5715 | 60 | 19 | 23 |1256k|2743 | 0.000000e+00 | -- | Inf
629.99/630.26 c 630s| 2710k|814536 | 7467k| 2.8 | 612M| 54 | 7 | 60 |6703 | 60 | 19 | 23 |1260k|2743 | 0.000000e+00 | -- | Inf
632.50/632.74 c 633s| 2720k|817435 | 7494k| 2.8 | 614M| 54 | - | 60 |6690 | 60 | 19 | 23 |1265k|2743 | 0.000000e+00 | -- | Inf
634.90/635.15 c 635s| 2730k|820477 | 7522k| 2.8 | 617M| 54 | - | 60 |7318 | 60 | 19 | 23 |1269k|2743 | 0.000000e+00 | -- | Inf
637.39/637.68 c 638s| 2740k|823137 | 7549k| 2.8 | 619M| 54 | - | 60 |6824 | 60 | 19 | 23 |1274k|2743 | 0.000000e+00 | -- | Inf
639.99/640.23 c 640s| 2750k|825965 | 7576k| 2.8 | 621M| 54 | 7 | 60 |6138 | 60 | 19 | 23 |1279k|2743 | 0.000000e+00 | -- | Inf
642.50/642.70 c 643s| 2760k|828852 | 7605k| 2.8 | 623M| 54 | 7 | 60 |6655 | 60 | 19 | 23 |1284k|2743 | 0.000000e+00 | -- | Inf
644.89/645.18 c 645s| 2770k|831789 | 7632k| 2.8 | 625M| 54 | 7 | 60 |6064 | 60 | 19 | 23 |1288k|2743 | 0.000000e+00 | -- | Inf
647.39/647.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.39/647.65 c 648s| 2780k|834572 | 7659k| 2.8 | 627M| 54 | 7 | 60 |6220 | 60 | 19 | 23 |1293k|2743 | 0.000000e+00 | -- | Inf
649.79/650.07 c 650s| 2790k|837590 | 7687k| 2.8 | 630M| 54 | 7 | 60 |6500 | 60 | 19 | 23 |1298k|2743 | 0.000000e+00 | -- | Inf
652.39/652.61 c 653s| 2800k|840370 | 7714k| 2.8 | 632M| 54 | 7 | 60 |5964 | 60 | 19 | 23 |1302k|2743 | 0.000000e+00 | -- | Inf
654.89/655.15 c 655s| 2810k|843171 | 7741k| 2.8 | 634M| 54 | 7 | 60 |5796 | 60 | 19 | 23 |1307k|2743 | 0.000000e+00 | -- | Inf
657.38/657.69 c 658s| 2820k|845995 | 7769k| 2.8 | 636M| 54 | 7 | 60 |5836 | 60 | 19 | 23 |1312k|2743 | 0.000000e+00 | -- | Inf
659.99/660.20 c 660s| 2830k|848688 | 7796k| 2.8 | 638M| 54 | 7 | 60 |5764 | 60 | 19 | 23 |1317k|2743 | 0.000000e+00 | -- | Inf
662.39/662.62 c 663s| 2840k|851550 | 7823k| 2.8 | 641M| 54 | 7 | 60 |6421 | 60 | 19 | 23 |1322k|2743 | 0.000000e+00 | -- | Inf
664.78/665.05 c 665s| 2850k|854506 | 7851k| 2.8 | 643M| 54 | 7 | 60 |6416 | 60 | 19 | 23 |1326k|2743 | 0.000000e+00 | -- | Inf
667.28/667.55 c 668s| 2860k|857313 | 7878k| 2.8 | 645M| 54 | - | 60 |5941 | 60 | 19 | 23 |1331k|2743 | 0.000000e+00 | -- | Inf
669.79/670.08 c 670s| 2870k|859902 | 7905k| 2.8 | 647M| 54 | - | 60 |5501 | 0 | 0 | 23 |1336k|2743 | 0.000000e+00 | -- | Inf
672.18/672.46 c 672s| 2880k|862629 | 7933k| 2.8 | 649M| 54 | - | 60 |5987 | 60 | 19 | 23 |1341k|2743 | 0.000000e+00 | -- | Inf
674.68/674.90 c 675s| 2890k|865518 | 7960k| 2.8 | 652M| 54 | 7 | 60 |5409 | 60 | 19 | 23 |1346k|2743 | 0.000000e+00 | -- | Inf
677.18/677.41 c 677s| 2900k|868255 | 7987k| 2.8 | 654M| 54 | 7 | 60 |5528 | 60 | 19 | 23 |1350k|2743 | 0.000000e+00 | -- | Inf
679.58/679.82 c 680s| 2910k|870996 | 8015k| 2.8 | 656M| 54 | 7 | 60 |6711 | 60 | 19 | 23 |1355k|2743 | 0.000000e+00 | -- | Inf
681.97/682.25 c 682s| 2920k|873980 | 8043k| 2.8 | 659M| 54 | 7 | 60 |6925 | 60 | 19 | 23 |1360k|2743 | 0.000000e+00 | -- | Inf
684.27/684.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.27/684.54 c 685s| 2930k|877222 | 8070k| 2.8 | 661M| 54 | 7 | 60 |8126 | 60 | 19 | 23 |1364k|2743 | 0.000000e+00 | -- | Inf
686.87/687.15 c 687s| 2940k|880078 | 8096k| 2.8 | 663M| 54 | - | 60 |5699 | 60 | 19 | 23 |1369k|2743 | 0.000000e+00 | -- | Inf
689.37/689.64 c 690s| 2950k|882733 | 8123k| 2.8 | 665M| 54 | 7 | 60 |5828 | 60 | 19 | 23 |1374k|2743 | 0.000000e+00 | -- | Inf
691.68/691.91 c 692s| 2960k|885892 | 8151k| 2.8 | 668M| 54 | 7 | 60 |7916 | 60 | 19 | 23 |1378k|2743 | 0.000000e+00 | -- | Inf
694.26/694.57 c 695s| 2970k|888540 | 8178k| 2.8 | 669M| 54 | 7 | 60 |5560 | 60 | 19 | 23 |1383k|2743 | 0.000000e+00 | -- | Inf
696.76/697.03 c 697s| 2980k|891489 | 8205k| 2.8 | 672M| 54 | 7 | 60 |6464 | 60 | 19 | 23 |1388k|2743 | 0.000000e+00 | -- | Inf
699.16/699.50 c 699s| 2990k|894268 | 8231k| 2.8 | 674M| 54 | 7 | 60 |5978 | 60 | 19 | 23 |1392k|2743 | 0.000000e+00 | -- | Inf
701.56/701.88 c 702s| 3000k|897224 | 8258k| 2.8 | 676M| 54 | - | 60 |6304 | 60 | 19 | 23 |1397k|2743 | 0.000000e+00 | -- | Inf
704.06/704.35 c 704s| 3010k|900132 | 8286k| 2.8 | 678M| 54 | 7 | 60 |6214 | 60 | 19 | 23 |1402k|2743 | 0.000000e+00 | -- | Inf
706.55/706.84 c 707s| 3020k|902891 | 8313k| 2.8 | 680M| 54 | 7 | 60 |5586 | 60 | 19 | 23 |1406k|2743 | 0.000000e+00 | -- | Inf
709.05/709.34 c 709s| 3030k|905600 | 8340k| 2.8 | 683M| 54 | 7 | 60 |5563 | 60 | 19 | 23 |1411k|2743 | 0.000000e+00 | -- | Inf
711.56/711.88 c 712s| 3040k|908216 | 8367k| 2.8 | 685M| 54 | - | 60 |5667 | 60 | 19 | 23 |1416k|2743 | 0.000000e+00 | -- | Inf
714.05/714.39 c 714s| 3050k|911057 | 8394k| 2.8 | 687M| 54 | 7 | 60 |5132 | 60 | 19 | 23 |1421k|2743 | 0.000000e+00 | -- | Inf
716.25/716.53 c 717s| 3060k|914612 | 8421k| 2.8 | 690M| 54 | - | 60 |6690 | 60 | 19 | 23 |1425k|2743 | 0.000000e+00 | -- | Inf
718.55/718.83 c 719s| 3070k|917809 | 8448k| 2.8 | 692M| 54 | 7 | 60 |7433 | 60 | 19 | 23 |1429k|2743 | 0.000000e+00 | -- | Inf
720.75/721.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.75/721.09 c 721s| 3080k|921114 | 8475k| 2.8 | 695M| 54 | 7 | 60 |7982 | 60 | 19 | 23 |1434k|2743 | 0.000000e+00 | -- | Inf
723.15/723.45 c 723s| 3090k|924335 | 8501k| 2.8 | 697M| 54 | 7 | 60 |8123 | 60 | 19 | 23 |1438k|2743 | 0.000000e+00 | -- | Inf
725.76/726.03 c 726s| 3100k|927262 | 8527k| 2.8 | 699M| 54 | 7 | 60 |6991 | 60 | 19 | 23 |1443k|2743 | 0.000000e+00 | -- | Inf
728.34/728.62 c 729s| 3110k|929997 | 8554k| 2.8 | 701M| 54 | 7 | 60 |5596 | 60 | 19 | 23 |1447k|2743 | 0.000000e+00 | -- | Inf
730.85/731.10 c 731s| 3120k|932704 | 8581k| 2.8 | 703M| 54 | 7 | 60 |5690 | 60 | 19 | 23 |1452k|2743 | 0.000000e+00 | -- | Inf
733.35/733.64 c 734s| 3130k|935383 | 8608k| 2.8 | 705M| 54 | 7 | 60 |5721 | 60 | 19 | 23 |1457k|2743 | 0.000000e+00 | -- | Inf
735.75/736.00 c 736s| 3140k|938633 | 8635k| 2.8 | 708M| 54 | - | 60 |6505 | 60 | 19 | 23 |1461k|2743 | 0.000000e+00 | -- | Inf
738.24/738.53 c 739s| 3150k|941516 | 8663k| 2.8 | 710M| 54 | 7 | 60 |5719 | 60 | 19 | 23 |1466k|2743 | 0.000000e+00 | -- | Inf
740.74/741.00 c 741s| 3160k|944247 | 8690k| 2.7 | 712M| 54 | 7 | 60 |5845 | 60 | 19 | 23 |1471k|2743 | 0.000000e+00 | -- | Inf
743.05/743.37 c 743s| 3170k|947213 | 8717k| 2.7 | 714M| 54 | 7 | 60 |6697 | 60 | 19 | 23 |1475k|2743 | 0.000000e+00 | -- | Inf
745.65/745.96 c 746s| 3180k|949896 | 8745k| 2.7 | 716M| 54 | 7 | 60 |5952 | 60 | 19 | 23 |1480k|2743 | 0.000000e+00 | -- | Inf
748.24/748.50 c 748s| 3190k|952729 | 8771k| 2.7 | 718M| 54 | - | 60 |5339 | 60 | 19 | 23 |1485k|2743 | 0.000000e+00 | -- | Inf
750.54/750.87 c 751s| 3200k|955743 | 8799k| 2.7 | 721M| 54 | 7 | 60 |6228 | 60 | 19 | 23 |1490k|2743 | 0.000000e+00 | -- | Inf
753.05/753.37 c 753s| 3210k|958486 | 8827k| 2.7 | 723M| 54 | 7 | 60 |6322 | 60 | 19 | 23 |1494k|2743 | 0.000000e+00 | -- | Inf
755.55/755.81 c 756s| 3220k|961559 | 8853k| 2.7 | 725M| 54 | - | 60 |6288 | 60 | 19 | 23 |1499k|2743 | 0.000000e+00 | -- | Inf
757.94/758.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.94/758.20 c 758s| 3230k|964831 | 8880k| 2.7 | 727M| 54 | 7 | 60 |5895 | 60 | 19 | 23 |1503k|2743 | 0.000000e+00 | -- | Inf
760.35/760.67 c 761s| 3240k|967500 | 8907k| 2.7 | 729M| 54 | - | 60 |6035 | 60 | 19 | 23 |1508k|2743 | 0.000000e+00 | -- | Inf
763.04/763.33 c 763s| 3250k|969988 | 8933k| 2.7 | 731M| 54 | 7 | 60 |5364 | 60 | 19 | 23 |1513k|2743 | 0.000000e+00 | -- | Inf
765.45/765.79 c 766s| 3260k|972776 | 8960k| 2.7 | 734M| 54 | 7 | 60 |5943 | 60 | 19 | 23 |1518k|2743 | 0.000000e+00 | -- | Inf
767.94/768.28 c 768s| 3270k|975736 | 8987k| 2.7 | 736M| 54 | 7 | 60 |6411 | 60 | 19 | 23 |1522k|2743 | 0.000000e+00 | -- | Inf
770.14/770.49 c 770s| 3280k|979296 | 9014k| 2.7 | 739M| 54 | 7 | 60 |7734 | 60 | 19 | 23 |1527k|2743 | 0.000000e+00 | -- | Inf
772.64/772.96 c 773s| 3290k|982332 | 9042k| 2.7 | 741M| 54 | - | 60 |7415 | 60 | 19 | 23 |1531k|2743 | 0.000000e+00 | -- | Inf
775.24/775.56 c 776s| 3300k|985292 | 9069k| 2.7 | 743M| 54 | 7 | 60 |6214 | 60 | 19 | 23 |1536k|2743 | 0.000000e+00 | -- | Inf
777.74/778.05 c 778s| 3310k|988263 | 9095k| 2.7 | 745M| 54 | 7 | 60 |6692 | 60 | 19 | 23 |1540k|2743 | 0.000000e+00 | -- | Inf
780.34/780.67 c 781s| 3320k|990922 | 9123k| 2.7 | 747M| 54 | - | 60 |6134 | 60 | 19 | 23 |1545k|2743 | 0.000000e+00 | -- | Inf
782.64/782.99 c 783s| 3330k|994063 | 9150k| 2.7 | 750M| 54 | - | 60 |7496 | 60 | 19 | 23 |1550k|2743 | 0.000000e+00 | -- | Inf
785.04/785.39 c 785s| 3340k|997389 | 9177k| 2.7 | 752M| 54 | - | 60 |8034 | 60 | 19 | 23 |1554k|2743 | 0.000000e+00 | -- | Inf
787.74/788.06 c 788s| 3350k| 1000k| 9205k| 2.7 | 754M| 54 | - | 60 |6133 | 60 | 19 | 23 |1559k|2743 | 0.000000e+00 | -- | Inf
790.33/790.65 c 791s| 3360k| 1002k| 9232k| 2.7 | 756M| 54 | 7 | 60 |5740 | 60 | 19 | 23 |1564k|2743 | 0.000000e+00 | -- | Inf
792.63/792.95 c 793s| 3370k| 1005k| 9259k| 2.7 | 759M| 54 | - | 60 |7323 | 60 | 19 | 23 |1568k|2743 | 0.000000e+00 | -- | Inf
795.23/795.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.23/795.52 c 796s| 3380k| 1008k| 9286k| 2.7 | 761M| 54 | 7 | 60 |6899 | 60 | 19 | 23 |1573k|2743 | 0.000000e+00 | -- | Inf
797.73/798.08 c 798s| 3390k| 1011k| 9312k| 2.7 | 763M| 54 | - | 60 |6145 | 60 | 19 | 23 |1578k|2743 | 0.000000e+00 | -- | Inf
800.14/800.48 c 800s| 3400k| 1014k| 9339k| 2.7 | 765M| 54 | 7 | 60 |6790 | 60 | 19 | 23 |1582k|2743 | 0.000000e+00 | -- | Inf
802.75/803.05 c 803s| 3410k| 1017k| 9366k| 2.7 | 767M| 54 | 7 | 60 |6130 | 60 | 19 | 23 |1587k|2743 | 0.000000e+00 | -- | Inf
805.33/805.61 c 806s| 3420k| 1020k| 9393k| 2.7 | 769M| 54 | 7 | 60 |5563 | 60 | 19 | 23 |1592k|2743 | 0.000000e+00 | -- | Inf
807.74/808.02 c 808s| 3430k| 1023k| 9419k| 2.7 | 772M| 54 | 7 | 60 |6479 | 60 | 19 | 23 |1596k|2743 | 0.000000e+00 | -- | Inf
810.13/810.40 c 810s| 3440k| 1026k| 9447k| 2.7 | 774M| 54 | 7 | 60 |7204 | 60 | 19 | 23 |1601k|2743 | 0.000000e+00 | -- | Inf
812.64/812.97 c 813s| 3450k| 1029k| 9474k| 2.7 | 776M| 54 | 7 | 60 |6784 | 60 | 19 | 23 |1606k|2743 | 0.000000e+00 | -- | Inf
815.23/815.57 c 816s| 3460k| 1031k| 9501k| 2.7 | 778M| 54 | - | 60 |6177 | 60 | 19 | 23 |1611k|2743 | 0.000000e+00 | -- | Inf
817.63/817.97 c 818s| 3470k| 1035k| 9528k| 2.7 | 781M| 54 | 7 | 60 |6914 | 60 | 19 | 23 |1615k|2743 | 0.000000e+00 | -- | Inf
820.03/820.38 c 820s| 3480k| 1038k| 9556k| 2.7 | 783M| 54 | 7 | 60 |7111 | 60 | 19 | 23 |1620k|2743 | 0.000000e+00 | -- | Inf
822.54/822.89 c 823s| 3490k| 1041k| 9582k| 2.7 | 785M| 54 | 7 | 60 |6633 | 60 | 19 | 23 |1624k|2743 | 0.000000e+00 | -- | Inf
825.03/825.30 c 825s| 3500k| 1044k| 9610k| 2.7 | 787M| 54 | 7 | 60 |7117 | 60 | 19 | 23 |1629k|2743 | 0.000000e+00 | -- | Inf
827.53/827.86 c 828s| 3510k| 1047k| 9638k| 2.7 | 789M| 54 | 7 | 60 |6765 | 60 | 19 | 23 |1634k|2743 | 0.000000e+00 | -- | Inf
829.73/830.04 c 830s| 3520k| 1050k| 9665k| 2.7 | 792M| 54 | 7 | 60 |9320 | 60 | 19 | 23 |1638k|2743 | 0.000000e+00 | -- | Inf
832.23/832.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.23/832.53 c 833s| 3530k| 1054k| 9691k| 2.7 | 795M| 54 | 7 | 60 | 10k| 60 | 19 | 23 |1642k|2743 | 0.000000e+00 | -- | Inf
835.13/835.45 c 835s| 3540k| 1056k| 9719k| 2.7 | 796M| 54 | - | 60 |7289 | 60 | 19 | 23 |1647k|2743 | 0.000000e+00 | -- | Inf
837.63/837.97 c 838s| 3550k| 1060k| 9745k| 2.7 | 799M| 54 | - | 60 |7266 | 60 | 19 | 23 |1651k|2743 | 0.000000e+00 | -- | Inf
840.23/840.53 c 841s| 3560k| 1063k| 9772k| 2.7 | 801M| 54 | 7 | 60 |6333 | 60 | 19 | 23 |1656k|2743 | 0.000000e+00 | -- | Inf
842.73/843.00 c 843s| 3570k| 1065k| 9799k| 2.7 | 803M| 54 | 7 | 60 |6728 | 60 | 19 | 23 |1661k|2743 | 0.000000e+00 | -- | Inf
845.33/845.69 c 846s| 3580k| 1068k| 9826k| 2.7 | 805M| 54 | - | 60 |5851 | 60 | 19 | 23 |1665k|2743 | 0.000000e+00 | -- | Inf
847.84/848.14 c 848s| 3590k| 1071k| 9853k| 2.7 | 807M| 54 | - | 60 |6201 | 60 | 19 | 23 |1670k|2743 | 0.000000e+00 | -- | Inf
850.33/850.63 c 851s| 3600k| 1074k| 9880k| 2.7 | 810M| 54 | - | 60 |5854 | 60 | 19 | 23 |1675k|2743 | 0.000000e+00 | -- | Inf
852.83/853.13 c 853s| 3610k| 1077k| 9907k| 2.7 | 812M| 54 | 7 | 60 |6072 | 60 | 19 | 23 |1679k|2743 | 0.000000e+00 | -- | Inf
855.33/855.61 c 856s| 3620k| 1080k| 9935k| 2.7 | 814M| 54 | - | 60 |6390 | 60 | 19 | 23 |1684k|2743 | 0.000000e+00 | -- | Inf
857.93/858.23 c 858s| 3630k| 1082k| 9962k| 2.7 | 816M| 54 | - | 60 |5619 | 0 | 0 | 23 |1689k|2743 | 0.000000e+00 | -- | Inf
860.53/860.80 c 861s| 3640k| 1085k| 9989k| 2.7 | 818M| 54 | - | 60 |5975 | 60 | 19 | 23 |1694k|2743 | 0.000000e+00 | -- | Inf
862.92/863.27 c 863s| 3650k| 1088k| 10017k| 2.7 | 821M| 54 | - | 60 |6375 | 60 | 19 | 23 |1698k|2743 | 0.000000e+00 | -- | Inf
865.54/865.81 c 866s| 3660k| 1091k| 10044k| 2.7 | 823M| 54 | 7 | 60 |6937 | 60 | 19 | 23 |1703k|2743 | 0.000000e+00 | -- | Inf
867.82/868.19 c 868s| 3670k| 1094k| 10071k| 2.7 | 826M| 54 | 7 | 60 |7895 | 60 | 19 | 23 |1708k|2743 | 0.000000e+00 | -- | Inf
870.42/870.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.42/870.78 c 871s| 3680k| 1097k| 10098k| 2.7 | 828M| 54 | 7 | 60 |8168 | 60 | 19 | 23 |1712k|2743 | 0.000000e+00 | -- | Inf
872.93/873.21 c 873s| 3690k| 1100k| 10125k| 2.7 | 830M| 54 | - | 60 |8767 | 60 | 19 | 23 |1717k|2743 | 0.000000e+00 | -- | Inf
875.73/876.04 c 876s| 3700k| 1103k| 10152k| 2.7 | 832M| 54 | 7 | 60 |7059 | 60 | 19 | 23 |1722k|2743 | 0.000000e+00 | -- | Inf
878.32/878.65 c 879s| 3710k| 1106k| 10178k| 2.7 | 834M| 54 | - | 60 |7076 | 60 | 19 | 23 |1726k|2743 | 0.000000e+00 | -- | Inf
880.83/881.19 c 881s| 3720k| 1109k| 10205k| 2.7 | 836M| 54 | 7 | 60 |6721 | 60 | 19 | 23 |1731k|2743 | 0.000000e+00 | -- | Inf
883.53/883.83 c 884s| 3730k| 1111k| 10232k| 2.7 | 838M| 54 | - | 60 |6080 | 60 | 19 | 23 |1736k|2743 | 0.000000e+00 | -- | Inf
886.03/886.37 c 886s| 3740k| 1114k| 10258k| 2.7 | 841M| 54 | 7 | 60 |6368 | 60 | 19 | 23 |1740k|2743 | 0.000000e+00 | -- | Inf
888.72/889.00 c 889s| 3750k| 1117k| 10285k| 2.7 | 843M| 54 | 7 | 60 |5535 | 60 | 19 | 23 |1745k|2743 | 0.000000e+00 | -- | Inf
891.13/891.44 c 891s| 3760k| 1120k| 10312k| 2.7 | 845M| 54 | - | 60 |6587 | 60 | 19 | 23 |1750k|2743 | 0.000000e+00 | -- | Inf
893.73/894.01 c 894s| 3770k| 1123k| 10339k| 2.7 | 847M| 54 | 7 | 60 |6098 | 60 | 19 | 23 |1754k|2743 | 0.000000e+00 | -- | Inf
896.23/896.54 c 897s| 3780k| 1126k| 10365k| 2.7 | 849M| 54 | - | 60 |6020 | 60 | 19 | 23 |1759k|2743 | 0.000000e+00 | -- | Inf
898.82/899.12 c 899s| 3790k| 1128k| 10392k| 2.7 | 851M| 54 | - | 60 |5808 | 0 | 0 | 23 |1764k|2743 | 0.000000e+00 | -- | Inf
901.43/901.71 c 902s| 3800k| 1131k| 10418k| 2.7 | 854M| 54 | 7 | 60 |5562 | 60 | 19 | 23 |1768k|2743 | 0.000000e+00 | -- | Inf
903.72/904.09 c 904s| 3810k| 1134k| 10445k| 2.7 | 856M| 54 | 7 | 60 |6272 | 60 | 19 | 23 |1773k|2743 | 0.000000e+00 | -- | Inf
906.23/906.59 c 907s| 3820k| 1138k| 10472k| 2.7 | 858M| 54 | - | 60 |5741 | 60 | 19 | 23 |1777k|2743 | 0.000000e+00 | -- | Inf
908.92/909.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.92/909.24 c 909s| 3830k| 1140k| 10499k| 2.7 | 860M| 54 | 7 | 60 |5796 | 60 | 19 | 23 |1782k|2743 | 0.000000e+00 | -- | Inf
911.42/911.75 c 912s| 3840k| 1143k| 10525k| 2.7 | 863M| 54 | - | 60 |6199 | 60 | 19 | 23 |1787k|2743 | 0.000000e+00 | -- | Inf
913.93/914.21 c 914s| 3850k| 1146k| 10552k| 2.7 | 865M| 54 | 7 | 60 |6857 | 60 | 19 | 23 |1791k|2743 | 0.000000e+00 | -- | Inf
916.52/916.85 c 917s| 3860k| 1149k| 10579k| 2.7 | 867M| 54 | 7 | 60 |6180 | 60 | 19 | 23 |1796k|2743 | 0.000000e+00 | -- | Inf
919.02/919.39 c 919s| 3870k| 1152k| 10606k| 2.7 | 869M| 54 | 7 | 60 |5881 | 60 | 19 | 23 |1801k|2743 | 0.000000e+00 | -- | Inf
921.62/921.91 c 922s| 3880k| 1154k| 10633k| 2.7 | 871M| 54 | 7 | 60 |5822 | 60 | 19 | 23 |1806k|2743 | 0.000000e+00 | -- | Inf
924.12/924.41 c 924s| 3890k| 1157k| 10660k| 2.7 | 874M| 54 | - | 60 |6057 | 60 | 19 | 23 |1810k|2743 | 0.000000e+00 | -- | Inf
926.62/926.94 c 927s| 3900k| 1160k| 10687k| 2.7 | 876M| 54 | 7 | 60 |5809 | 60 | 19 | 23 |1815k|2743 | 0.000000e+00 | -- | Inf
929.02/929.31 c 929s| 3910k| 1163k| 10714k| 2.7 | 878M| 54 | 7 | 60 |7424 | 60 | 19 | 23 |1820k|2743 | 0.000000e+00 | -- | Inf
931.62/931.98 c 932s| 3920k| 1166k| 10742k| 2.7 | 880M| 54 | 7 | 60 |6156 | 60 | 19 | 23 |1824k|2743 | 0.000000e+00 | -- | Inf
934.12/934.47 c 934s| 3930k| 1169k| 10769k| 2.7 | 883M| 54 | 7 | 60 |6920 | 60 | 19 | 23 |1829k|2743 | 0.000000e+00 | -- | Inf
936.82/937.12 c 937s| 3940k| 1172k| 10795k| 2.7 | 885M| 54 | 7 | 60 |6741 | 60 | 19 | 23 |1834k|2743 | 0.000000e+00 | -- | Inf
939.32/939.65 c 940s| 3950k| 1174k| 10823k| 2.7 | 887M| 54 | - | 60 |7208 | 60 | 19 | 23 |1838k|2743 | 0.000000e+00 | -- | Inf
941.71/942.08 c 942s| 3960k| 1178k| 10849k| 2.7 | 889M| 54 | 7 | 60 |7212 | 60 | 19 | 23 |1843k|2743 | 0.000000e+00 | -- | Inf
944.41/944.72 c 945s| 3970k| 1180k| 10876k| 2.7 | 891M| 54 | 7 | 60 |6409 | 60 | 19 | 23 |1848k|2743 | 0.000000e+00 | -- | Inf
946.82/947.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.82/947.17 c 947s| 3980k| 1184k| 10903k| 2.7 | 894M| 54 | 7 | 60 |6814 | 60 | 19 | 23 |1852k|2743 | 0.000000e+00 | -- | Inf
949.32/949.64 c 950s| 3990k| 1187k| 10930k| 2.7 | 896M| 54 | 7 | 60 |6716 | 60 | 19 | 23 |1857k|2743 | 0.000000e+00 | -- | Inf
951.92/952.26 c 952s| 4000k| 1189k| 10957k| 2.7 | 898M| 54 | 7 | 60 |6114 | 60 | 19 | 23 |1861k|2743 | 0.000000e+00 | -- | Inf
954.31/954.67 c 955s| 4010k| 1192k| 10984k| 2.7 | 900M| 54 | - | 60 |6540 | 60 | 19 | 23 |1866k|2743 | 0.000000e+00 | -- | Inf
956.92/957.20 c 957s| 4020k| 1195k| 11011k| 2.7 | 902M| 54 | - | 60 |6437 | 60 | 19 | 23 |1871k|2743 | 0.000000e+00 | -- | Inf
959.41/959.78 c 960s| 4030k| 1198k| 11038k| 2.7 | 904M| 54 | - | 60 |6296 | 60 | 19 | 23 |1875k|2743 | 0.000000e+00 | -- | Inf
961.91/962.25 c 962s| 4040k| 1201k| 11065k| 2.7 | 907M| 54 | 7 | 60 |6785 | 60 | 19 | 23 |1880k|2743 | 0.000000e+00 | -- | Inf
964.52/964.88 c 965s| 4050k| 1204k| 11091k| 2.7 | 909M| 54 | - | 60 |5981 | 60 | 19 | 23 |1885k|2743 | 0.000000e+00 | -- | Inf
967.11/967.44 c 967s| 4060k| 1207k| 11118k| 2.7 | 911M| 54 | 7 | 60 |6042 | 60 | 19 | 23 |1890k|2743 | 0.000000e+00 | -- | Inf
969.52/969.80 c 970s| 4070k| 1210k| 11145k| 2.7 | 914M| 54 | 7 | 60 |7474 | 60 | 19 | 23 |1894k|2743 | 0.000000e+00 | -- | Inf
972.12/972.43 c 972s| 4080k| 1213k| 11171k| 2.7 | 916M| 54 | - | 60 |6467 | 60 | 19 | 23 |1899k|2743 | 0.000000e+00 | -- | Inf
974.71/975.09 c 975s| 4090k| 1215k| 11198k| 2.7 | 918M| 54 | 7 | 60 |5959 | 60 | 19 | 23 |1904k|2743 | 0.000000e+00 | -- | Inf
977.20/977.59 c 978s| 4100k| 1218k| 11226k| 2.7 | 920M| 54 | 7 | 60 |6853 | 60 | 19 | 23 |1908k|2743 | 0.000000e+00 | -- | Inf
979.81/980.12 c 980s| 4110k| 1221k| 11254k| 2.7 | 922M| 54 | 7 | 60 |7390 | 60 | 19 | 23 |1913k|2743 | 0.000000e+00 | -- | Inf
982.41/982.79 c 983s| 4120k| 1224k| 11281k| 2.7 | 924M| 54 | 7 | 60 |6189 | 60 | 19 | 23 |1918k|2743 | 0.000000e+00 | -- | Inf
985.01/985.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.01/985.35 c 985s| 4130k| 1227k| 11308k| 2.7 | 927M| 54 | 7 | 60 |6554 | 60 | 19 | 23 |1922k|2743 | 0.000000e+00 | -- | Inf
987.71/988.03 c 988s| 4140k| 1230k| 11335k| 2.7 | 929M| 54 | 7 | 60 |6002 | 60 | 19 | 23 |1927k|2743 | 0.000000e+00 | -- | Inf
990.31/990.60 c 991s| 4150k| 1232k| 11361k| 2.7 | 931M| 54 | 7 | 60 |6466 | 60 | 19 | 23 |1932k|2743 | 0.000000e+00 | -- | Inf
992.71/993.01 c 993s| 4160k| 1235k| 11388k| 2.7 | 934M| 54 | 7 | 60 |7651 | 60 | 19 | 23 |1937k|2743 | 0.000000e+00 | -- | Inf
995.31/995.66 c 996s| 4170k| 1238k| 11415k| 2.7 | 936M| 54 | 7 | 60 |6852 | 60 | 19 | 23 |1941k|2743 | 0.000000e+00 | -- | Inf
997.90/998.20 c 998s| 4180k| 1241k| 11442k| 2.7 | 938M| 54 | - | 60 |6880 | 60 | 19 | 23 |1946k|2743 | 0.000000e+00 | -- | Inf
1000.51/1000.86 c 1001s| 4190k| 1244k| 11469k| 2.7 | 940M| 54 | 7 | 60 |6512 | 60 | 19 | 23 |1951k|2743 | 0.000000e+00 | -- | Inf
1002.91/1003.30 c 1003s| 4200k| 1247k| 11497k| 2.7 | 942M| 54 | - | 60 |7508 | 60 | 19 | 23 |1955k|2743 | 0.000000e+00 | -- | Inf
1005.31/1005.61 c 1006s| 4210k| 1251k| 11525k| 2.7 | 945M| 54 | 7 | 60 |8023 | 60 | 19 | 23 |1960k|2743 | 0.000000e+00 | -- | Inf
1007.70/1008.00 c 1008s| 4220k| 1254k| 11551k| 2.7 | 947M| 54 | 7 | 60 |9001 | 60 | 19 | 23 |1964k|2743 | 0.000000e+00 | -- | Inf
1010.20/1010.56 c 1011s| 4230k| 1257k| 11579k| 2.7 | 949M| 54 | - | 60 |7679 | 60 | 19 | 23 |1968k|2743 | 0.000000e+00 | -- | Inf
1012.61/1012.92 c 1013s| 4240k| 1261k| 11605k| 2.7 | 952M| 54 | 7 | 60 |9318 | 60 | 19 | 23 |1973k|2743 | 0.000000e+00 | -- | Inf
1015.11/1015.43 c 1015s| 4250k| 1264k| 11632k| 2.7 | 954M| 54 | - | 60 |9534 | 60 | 19 | 23 |1977k|2743 | 0.000000e+00 | -- | Inf
1017.70/1018.05 c 1018s| 4260k| 1266k| 11659k| 2.7 | 956M| 54 | 7 | 60 |8760 | 60 | 19 | 23 |1982k|2743 | 0.000000e+00 | -- | Inf
1020.20/1020.58 c 1021s| 4270k| 1270k| 11686k| 2.7 | 958M| 54 | 7 | 60 |9036 | 60 | 19 | 23 |1986k|2743 | 0.000000e+00 | -- | Inf
1022.91/1023.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.91/1023.28 c 1023s| 4280k| 1272k| 11713k| 2.7 | 960M| 54 | 7 | 60 |8569 | 60 | 19 | 23 |1991k|2743 | 0.000000e+00 | -- | Inf
1025.51/1025.83 c 1026s| 4290k| 1275k| 11740k| 2.7 | 963M| 54 | 7 | 60 |9781 | 60 | 19 | 23 |1996k|2743 | 0.000000e+00 | -- | Inf
1028.10/1028.41 c 1028s| 4300k| 1278k| 11768k| 2.7 | 965M| 54 | 7 | 60 | 10k| 60 | 19 | 23 |2000k|2743 | 0.000000e+00 | -- | Inf
1030.70/1031.06 c 1031s| 4310k| 1281k| 11795k| 2.7 | 968M| 54 | 7 | 60 | 10k| 60 | 19 | 23 |2005k|2743 | 0.000000e+00 | -- | Inf
1033.50/1033.86 c 1034s| 4320k| 1284k| 11821k| 2.7 | 970M| 54 | - | 60 |9949 | 60 | 19 | 23 |2010k|2743 | 0.000000e+00 | -- | Inf
1036.20/1036.55 c 1037s| 4330k| 1287k| 11847k| 2.7 | 972M| 54 | 7 | 60 |9905 | 60 | 19 | 23 |2014k|2743 | 0.000000e+00 | -- | Inf
1038.80/1039.15 c 1039s| 4340k| 1290k| 11875k| 2.7 | 974M| 54 | 7 | 60 | 10k| 60 | 19 | 23 |2019k|2743 | 0.000000e+00 | -- | Inf
1041.60/1041.94 c 1042s| 4350k| 1293k| 11902k| 2.7 | 977M| 54 | 7 | 60 | 11k| 60 | 19 | 23 |2024k|2743 | 0.000000e+00 | -- | Inf
1044.10/1044.48 c 1044s| 4360k| 1296k| 11928k| 2.7 | 979M| 54 | 7 | 60 | 11k| 60 | 19 | 23 |2028k|2743 | 0.000000e+00 | -- | Inf
1047.01/1047.38 c 1047s| 4370k| 1299k| 11954k| 2.7 | 980M| 54 | 7 | 60 |8783 | 60 | 19 | 23 |2033k|2743 | 0.000000e+00 | -- | Inf
1049.80/1050.10 c 1050s| 4380k| 1302k| 11980k| 2.7 | 982M| 54 | - | 60 |6325 | 60 | 19 | 23 |2037k|2743 | 0.000000e+00 | -- | Inf
1052.50/1052.85 c 1053s| 4390k| 1304k| 12007k| 2.7 | 984M| 54 | 7 | 60 |5659 | 60 | 19 | 23 |2042k|2743 | 0.000000e+00 | -- | Inf
1055.20/1055.54 c 1056s| 4400k| 1307k| 12034k| 2.7 | 986M| 54 | 7 | 60 |5577 | 60 | 19 | 23 |2047k|2743 | 0.000000e+00 | -- | Inf
1057.70/1058.02 c 1058s| 4410k| 1310k| 12061k| 2.7 | 989M| 54 | - | 60 |6541 | 60 | 19 | 23 |2052k|2743 | 0.000000e+00 | -- | Inf
1060.10/1060.46 c 1060s| 4420k| 1313k| 12087k| 2.7 | 991M| 54 | 7 | 60 |7365 | 60 | 19 | 23 |2056k|2743 | 0.000000e+00 | -- | Inf
1062.69/1063.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.69/1063.04 c 1063s| 4430k| 1316k| 12114k| 2.7 | 993M| 54 | - | 60 |6068 | 60 | 19 | 23 |2060k|2743 | 0.000000e+00 | -- | Inf
1065.40/1065.72 c 1066s| 4440k| 1319k| 12140k| 2.7 | 995M| 54 | 7 | 60 |5553 | 60 | 19 | 23 |2065k|2743 | 0.000000e+00 | -- | Inf
1067.80/1068.17 c 1068s| 4450k| 1322k| 12169k| 2.7 | 998M| 54 | 7 | 60 |6711 | 60 | 19 | 23 |2070k|2743 | 0.000000e+00 | -- | Inf
1070.49/1070.80 c 1071s| 4460k| 1324k| 12195k| 2.7 |1000M| 54 | - | 60 |6617 | 60 | 19 | 23 |2075k|2743 | 0.000000e+00 | -- | Inf
1073.19/1073.53 c 1074s| 4470k| 1327k| 12223k| 2.7 |1002M| 54 | 7 | 60 |5674 | 60 | 19 | 23 |2080k|2743 | 0.000000e+00 | -- | Inf
1075.79/1076.15 c 1076s| 4480k| 1330k| 12249k| 2.7 |1004M| 54 | - | 60 |5745 | 60 | 19 | 23 |2085k|2743 | 0.000000e+00 | -- | Inf
1078.29/1078.64 c 1079s| 4490k| 1332k| 12276k| 2.7 |1006M| 54 | 7 | 60 |6477 | 60 | 19 | 23 |2089k|2743 | 0.000000e+00 | -- | Inf
1080.90/1081.25 c 1081s| 4500k| 1335k| 12302k| 2.7 |1009M| 54 | - | 60 |5989 | 60 | 19 | 23 |2094k|2743 | 0.000000e+00 | -- | Inf
1083.50/1083.80 c 1084s| 4510k| 1338k| 12329k| 2.7 |1011M| 54 | - | 60 |6417 | 60 | 19 | 23 |2099k|2743 | 0.000000e+00 | -- | Inf
1085.90/1086.25 c 1086s| 4520k| 1341k| 12356k| 2.7 |1013M| 54 | 7 | 60 |7638 | 60 | 19 | 23 |2103k|2743 | 0.000000e+00 | -- | Inf
1088.29/1088.67 c 1089s| 4530k| 1345k| 12383k| 2.7 |1016M| 54 | - | 60 |8048 | 60 | 19 | 23 |2107k|2743 | 0.000000e+00 | -- | Inf
1090.90/1091.27 c 1091s| 4540k| 1348k| 12410k| 2.7 |1018M| 54 | 7 | 60 |8298 | 60 | 19 | 23 |2112k|2743 | 0.000000e+00 | -- | Inf
1093.69/1094.07 c 1094s| 4550k| 1351k| 12437k| 2.7 |1020M| 54 | 7 | 60 |5879 | 60 | 19 | 23 |2117k|2743 | 0.000000e+00 | -- | Inf
1096.40/1096.79 c 1097s| 4560k| 1353k| 12464k| 2.7 |1022M| 54 | 7 | 60 |5231 | 60 | 19 | 23 |2121k|2743 | 0.000000e+00 | -- | Inf
1098.89/1099.28 c 1099s| 4570k| 1356k| 12491k| 2.7 |1024M| 54 | - | 60 |6599 | 60 | 19 | 23 |2126k|2743 | 0.000000e+00 | -- | Inf
1101.49/1101.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.49/1101.82 c 1102s| 4580k| 1359k| 12518k| 2.7 |1026M| 54 | 7 | 60 |7074 | 60 | 19 | 23 |2131k|2743 | 0.000000e+00 | -- | Inf
1104.20/1104.51 c 1105s| 4590k| 1361k| 12544k| 2.7 |1028M| 54 | 7 | 60 |5778 | 60 | 19 | 23 |2136k|2743 | 0.000000e+00 | -- | Inf
1106.69/1107.00 c 1107s| 4600k| 1364k| 12571k| 2.7 |1031M| 54 | 7 | 60 |6545 | 60 | 19 | 23 |2140k|2743 | 0.000000e+00 | -- | Inf
1109.09/1109.49 c 1109s| 4610k| 1367k| 12598k| 2.7 |1033M| 54 | 7 | 60 |7717 | 60 | 19 | 23 |2145k|2743 | 0.000000e+00 | -- | Inf
1111.90/1112.23 c 1112s| 4620k| 1370k| 12626k| 2.7 |1035M| 54 | 7 | 60 |6821 | 60 | 19 | 23 |2150k|2743 | 0.000000e+00 | -- | Inf
1114.49/1114.87 c 1115s| 4630k| 1373k| 12653k| 2.7 |1037M| 54 | - | 60 |6060 | 60 | 19 | 23 |2155k|2743 | 0.000000e+00 | -- | Inf
1117.09/1117.46 c 1117s| 4640k| 1375k| 12680k| 2.7 |1039M| 54 | 7 | 60 |5988 | 60 | 19 | 23 |2159k|2743 | 0.000000e+00 | -- | Inf
1119.69/1120.01 c 1120s| 4650k| 1378k| 12707k| 2.7 |1042M| 54 | 7 | 60 |6713 | 60 | 19 | 23 |2164k|2743 | 0.000000e+00 | -- | Inf
1122.39/1122.71 c 1123s| 4660k| 1381k| 12734k| 2.7 |1044M| 54 | - | 60 |6366 | 60 | 19 | 23 |2169k|2743 | 0.000000e+00 | -- | Inf
1125.10/1125.49 c 1125s| 4670k| 1384k| 12761k| 2.7 |1046M| 54 | - | 60 |5630 | 60 | 19 | 23 |2174k|2743 | 0.000000e+00 | -- | Inf
1127.78/1128.15 c 1128s| 4680k| 1386k| 12788k| 2.7 |1048M| 54 | 7 | 60 |5319 | 60 | 19 | 23 |2179k|2743 | 0.000000e+00 | -- | Inf
1130.09/1130.44 c 1130s| 4690k| 1390k| 12814k| 2.7 |1051M| 54 | 7 | 60 |6616 | 60 | 19 | 23 |2183k|2743 | 0.000000e+00 | -- | Inf
1132.49/1132.84 c 1133s| 4700k| 1393k| 12840k| 2.7 |1053M| 54 | 7 | 60 |8082 | 60 | 19 | 23 |2187k|2743 | 0.000000e+00 | -- | Inf
1134.99/1135.37 c 1135s| 4710k| 1396k| 12867k| 2.7 |1055M| 54 | - | 60 |8343 | 60 | 19 | 23 |2192k|2743 | 0.000000e+00 | -- | Inf
1137.69/1138.02 c 1138s| 4720k| 1398k| 12893k| 2.7 |1058M| 54 | - | 60 |8534 | 60 | 19 | 23 |2196k|2743 | 0.000000e+00 | -- | Inf
1140.28/1140.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.28/1140.68 c 1141s| 4730k| 1401k| 12920k| 2.7 |1060M| 54 | - | 60 |8240 | 60 | 19 | 23 |2201k|2743 | 0.000000e+00 | -- | Inf
1142.99/1143.30 c 1143s| 4740k| 1404k| 12947k| 2.7 |1062M| 54 | 7 | 60 |7681 | 60 | 19 | 23 |2206k|2743 | 0.000000e+00 | -- | Inf
1145.68/1146.08 c 1146s| 4750k| 1407k| 12974k| 2.7 |1064M| 54 | 7 | 60 |6397 | 60 | 19 | 23 |2210k|2743 | 0.000000e+00 | -- | Inf
1148.29/1148.60 c 1149s| 4760k| 1410k| 13001k| 2.7 |1066M| 54 | 7 | 60 |6310 | 60 | 19 | 23 |2215k|2743 | 0.000000e+00 | -- | Inf
1150.68/1151.06 c 1151s| 4770k| 1413k| 13027k| 2.7 |1068M| 54 | - | 60 |7040 | 60 | 19 | 23 |2219k|2743 | 0.000000e+00 | -- | Inf
1153.29/1153.65 c 1154s| 4780k| 1416k| 13054k| 2.7 |1071M| 54 | 7 | 60 |6907 | 60 | 19 | 23 |2224k|2743 | 0.000000e+00 | -- | Inf
1155.98/1156.30 c 1156s| 4790k| 1419k| 13081k| 2.7 |1073M| 54 | - | 60 |6680 | 60 | 19 | 23 |2229k|2743 | 0.000000e+00 | -- | Inf
1158.58/1158.90 c 1159s| 4800k| 1422k| 13108k| 2.7 |1075M| 54 | 7 | 60 |6763 | 60 | 19 | 23 |2233k|2743 | 0.000000e+00 | -- | Inf
1161.29/1161.63 c 1162s| 4810k| 1424k| 13135k| 2.7 |1077M| 54 | - | 60 |5786 | 60 | 19 | 23 |2238k|2743 | 0.000000e+00 | -- | Inf
1163.78/1164.18 c 1164s| 4820k| 1427k| 13162k| 2.7 |1079M| 54 | 7 | 60 |6603 | 60 | 19 | 23 |2243k|2743 | 0.000000e+00 | -- | Inf
1166.49/1166.89 c 1167s| 4830k| 1430k| 13189k| 2.7 |1081M| 54 | 7 | 60 |6292 | 60 | 19 | 23 |2248k|2743 | 0.000000e+00 | -- | Inf
1169.09/1169.47 c 1169s| 4840k| 1433k| 13216k| 2.7 |1083M| 54 | 7 | 60 |5656 | 60 | 19 | 23 |2252k|2743 | 0.000000e+00 | -- | Inf
1171.78/1172.18 c 1172s| 4850k| 1436k| 13242k| 2.7 |1085M| 54 | 7 | 60 |5229 | 60 | 19 | 23 |2257k|2743 | 0.000000e+00 | -- | Inf
1174.28/1174.66 c 1175s| 4860k| 1439k| 13270k| 2.7 |1088M| 54 | 7 | 60 |6071 | 60 | 19 | 23 |2262k|2743 | 0.000000e+00 | -- | Inf
1176.87/1177.26 c 1177s| 4870k| 1441k| 13297k| 2.7 |1090M| 54 | 7 | 60 |5682 | 60 | 19 | 23 |2267k|2743 | 0.000000e+00 | -- | Inf
1179.47/1179.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.47/1179.82 c 1180s| 4880k| 1444k| 13324k| 2.7 |1092M| 54 | 7 | 60 |6347 | 60 | 19 | 23 |2271k|2743 | 0.000000e+00 | -- | Inf
1182.18/1182.50 c 1183s| 4890k| 1447k| 13351k| 2.7 |1094M| 54 | 7 | 60 |5330 | 60 | 19 | 23 |2276k|2743 | 0.000000e+00 | -- | Inf
1184.67/1185.00 c 1185s| 4900k| 1450k| 13378k| 2.7 |1097M| 54 | 7 | 60 |5970 | 60 | 19 | 23 |2281k|2743 | 0.000000e+00 | -- | Inf
1187.18/1187.59 c 1188s| 4910k| 1452k| 13404k| 2.7 |1099M| 54 | - | 60 |5979 | 60 | 19 | 23 |2286k|2743 | 0.000000e+00 | -- | Inf
1189.88/1190.27 c 1190s| 4920k| 1455k| 13431k| 2.7 |1101M| 54 | 7 | 60 |5214 | 60 | 19 | 23 |2290k|2743 | 0.000000e+00 | -- | Inf
1192.48/1192.86 c 1193s| 4930k| 1458k| 13458k| 2.7 |1103M| 54 | - | 60 |5295 | 60 | 19 | 23 |2295k|2743 | 0.000000e+00 | -- | Inf
1195.07/1195.44 c 1195s| 4940k| 1460k| 13485k| 2.7 |1105M| 54 | 7 | 60 |5764 | 60 | 19 | 23 |2300k|2743 | 0.000000e+00 | -- | Inf
1197.58/1197.97 c 1198s| 4950k| 1463k| 13511k| 2.7 |1108M| 54 | 7 | 60 |6666 | 60 | 19 | 23 |2305k|2743 | 0.000000e+00 | -- | Inf
1200.28/1200.60 c 1201s| 4960k| 1466k| 13537k| 2.7 |1110M| 54 | 7 | 60 |6711 | 60 | 19 | 23 |2309k|2743 | 0.000000e+00 | -- | Inf
1202.88/1203.27 c 1203s| 4970k| 1469k| 13563k| 2.7 |1112M| 54 | 7 | 60 |5977 | 60 | 19 | 23 |2314k|2743 | 0.000000e+00 | -- | Inf
1205.47/1205.80 c 1206s| 4980k| 1472k| 13590k| 2.7 |1114M| 54 | - | 60 |6442 | 60 | 19 | 23 |2319k|2743 | 0.000000e+00 | -- | Inf
1207.97/1208.39 c 1208s| 4990k| 1475k| 13616k| 2.7 |1116M| 54 | 7 | 60 |6656 | 60 | 19 | 23 |2324k|2743 | 0.000000e+00 | -- | Inf
1210.47/1210.84 c 1211s| 5000k| 1478k| 13643k| 2.7 |1119M| 54 | - | 60 |7223 | 60 | 19 | 23 |2328k|2743 | 0.000000e+00 | -- | Inf
1213.07/1213.43 c 1213s| 5010k| 1481k| 13669k| 2.7 |1121M| 54 | 7 | 60 |6574 | 60 | 19 | 23 |2332k|2743 | 0.000000e+00 | -- | Inf
1215.67/1216.09 c 1216s| 5020k| 1484k| 13696k| 2.7 |1123M| 54 | 7 | 60 |5694 | 60 | 19 | 23 |2337k|2743 | 0.000000e+00 | -- | Inf
1218.27/1218.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.27/1218.61 c 1219s| 5030k| 1487k| 13723k| 2.7 |1125M| 54 | 7 | 60 |6450 | 60 | 19 | 23 |2342k|2743 | 0.000000e+00 | -- | Inf
1220.68/1221.02 c 1221s| 5040k| 1490k| 13751k| 2.7 |1128M| 54 | 7 | 60 |7701 | 60 | 19 | 23 |2346k|2743 | 0.000000e+00 | -- | Inf
1223.37/1223.71 c 1224s| 5050k| 1493k| 13778k| 2.7 |1130M| 54 | 7 | 60 |6938 | 60 | 19 | 23 |2351k|2743 | 0.000000e+00 | -- | Inf
1225.87/1226.25 c 1226s| 5060k| 1496k| 13806k| 2.7 |1132M| 54 | 7 | 60 |7035 | 60 | 19 | 23 |2356k|2743 | 0.000000e+00 | -- | Inf
1228.57/1228.99 c 1229s| 5070k| 1499k| 13833k| 2.7 |1134M| 54 | 7 | 60 |5961 | 60 | 19 | 23 |2361k|2743 | 0.000000e+00 | -- | Inf
1231.26/1231.65 c 1232s| 5080k| 1501k| 13860k| 2.7 |1136M| 54 | 7 | 60 |5397 | 60 | 19 | 23 |2365k|2743 | 0.000000e+00 | -- | Inf
1233.76/1234.14 c 1234s| 5090k| 1504k| 13886k| 2.7 |1138M| 54 | 7 | 60 |6367 | 60 | 19 | 23 |2370k|2743 | 0.000000e+00 | -- | Inf
1236.36/1236.78 c 1237s| 5100k| 1507k| 13913k| 2.7 |1141M| 54 | - | 60 |6572 | 60 | 19 | 23 |2375k|2743 | 0.000000e+00 | -- | Inf
1239.07/1239.46 c 1239s| 5110k| 1510k| 13939k| 2.7 |1143M| 54 | - | 60 |6491 | 60 | 19 | 23 |2379k|2743 | 0.000000e+00 | -- | Inf
1241.57/1241.97 c 1242s| 5120k| 1513k| 13967k| 2.7 |1145M| 54 | 7 | 60 |7098 | 60 | 19 | 23 |2384k|2743 | 0.000000e+00 | -- | Inf
1244.27/1244.62 c 1245s| 5130k| 1516k| 13995k| 2.7 |1147M| 54 | - | 60 |7117 | 60 | 19 | 23 |2388k|2743 | 0.000000e+00 | -- | Inf
1246.97/1247.36 c 1247s| 5140k| 1518k| 14021k| 2.7 |1149M| 54 | - | 60 |6082 | 60 | 19 | 23 |2393k|2743 | 0.000000e+00 | -- | Inf
1249.57/1249.96 c 1250s| 5150k| 1521k| 14047k| 2.7 |1151M| 54 | 7 | 60 |6352 | 60 | 19 | 23 |2398k|2743 | 0.000000e+00 | -- | Inf
1252.26/1252.69 c 1253s| 5160k| 1524k| 14074k| 2.7 |1154M| 54 | 7 | 60 |6379 | 60 | 19 | 23 |2403k|2743 | 0.000000e+00 | -- | Inf
1254.87/1255.22 c 1255s| 5170k| 1527k| 14100k| 2.7 |1156M| 54 | 7 | 60 |6515 | 60 | 19 | 23 |2407k|2743 | 0.000000e+00 | -- | Inf
1257.46/1257.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.46/1257.80 c 1258s| 5180k| 1530k| 14127k| 2.7 |1158M| 54 | - | 60 |7110 | 60 | 19 | 23 |2412k|2743 | 0.000000e+00 | -- | Inf
1259.76/1260.13 c 1260s| 5190k| 1533k| 14155k| 2.7 |1161M| 54 | 7 | 60 |8764 | 60 | 19 | 23 |2416k|2743 | 0.000000e+00 | -- | Inf
1262.26/1262.61 c 1263s| 5200k| 1536k| 14182k| 2.7 |1163M| 54 | - | 60 |9056 | 0 | 0 | 23 |2421k|2743 | 0.000000e+00 | -- | Inf
1264.86/1265.25 c 1265s| 5210k| 1539k| 14209k| 2.7 |1165M| 54 | - | 60 |8630 | 60 | 19 | 23 |2425k|2743 | 0.000000e+00 | -- | Inf
1267.76/1268.12 c 1268s| 5220k| 1542k| 14235k| 2.7 |1167M| 54 | 7 | 60 |6629 | 60 | 19 | 23 |2430k|2743 | 0.000000e+00 | -- | Inf
1270.36/1270.75 c 1271s| 5230k| 1545k| 14263k| 2.7 |1169M| 54 | - | 60 |6259 | 60 | 19 | 23 |2435k|2743 | 0.000000e+00 | -- | Inf
1272.96/1273.37 c 1273s| 5240k| 1548k| 14290k| 2.7 |1171M| 54 | 7 | 60 |5779 | 60 | 19 | 23 |2439k|2743 | 0.000000e+00 | -- | Inf
1275.56/1275.99 c 1276s| 5250k| 1550k| 14317k| 2.7 |1173M| 54 | - | 60 |5857 | 60 | 19 | 23 |2444k|2743 | 0.000000e+00 | -- | Inf
1278.26/1278.63 c 1279s| 5260k| 1553k| 14343k| 2.7 |1176M| 54 | 7 | 60 |6198 | 60 | 19 | 23 |2449k|2743 | 0.000000e+00 | -- | Inf
1280.86/1281.25 c 1281s| 5270k| 1556k| 14370k| 2.7 |1178M| 54 | - | 60 |6502 | 60 | 19 | 23 |2454k|2743 | 0.000000e+00 | -- | Inf
1283.36/1283.79 c 1284s| 5280k| 1559k| 14398k| 2.7 |1180M| 54 | - | 60 |7460 | 60 | 19 | 23 |2458k|2743 | 0.000000e+00 | -- | Inf
1286.06/1286.45 c 1286s| 5290k| 1562k| 14424k| 2.7 |1182M| 54 | 7 | 60 |6353 | 60 | 19 | 23 |2463k|2743 | 0.000000e+00 | -- | Inf
1288.66/1289.09 c 1289s| 5300k| 1565k| 14452k| 2.7 |1185M| 54 | 7 | 60 |6221 | 60 | 19 | 23 |2468k|2743 | 0.000000e+00 | -- | Inf
1291.36/1291.70 c 1292s| 5310k| 1568k| 14479k| 2.7 |1187M| 54 | - | 60 |6311 | 60 | 19 | 23 |2472k|2743 | 0.000000e+00 | -- | Inf
1293.96/1294.30 c 1294s| 5320k| 1570k| 14507k| 2.7 |1189M| 54 | 7 | 60 |6766 | 60 | 19 | 23 |2477k|2743 | 0.000000e+00 | -- | Inf
1296.46/1296.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.46/1296.90 c 1297s| 5330k| 1573k| 14534k| 2.7 |1191M| 54 | - | 60 |6365 | 60 | 19 | 23 |2482k|2743 | 0.000000e+00 | -- | Inf
1299.05/1299.46 c 1299s| 5340k| 1576k| 14561k| 2.7 |1193M| 54 | 7 | 60 |6397 | 60 | 19 | 23 |2486k|2743 | 0.000000e+00 | -- | Inf
1301.75/1302.13 c 1302s| 5350k| 1579k| 14587k| 2.7 |1196M| 54 | - | 60 |6440 | 60 | 19 | 23 |2491k|2743 | 0.000000e+00 | -- | Inf
1304.55/1304.94 c 1305s| 5360k| 1582k| 14614k| 2.7 |1198M| 54 | 7 | 60 |5435 | 60 | 19 | 23 |2496k|2743 | 0.000000e+00 | -- | Inf
1307.15/1307.53 c 1308s| 5370k| 1585k| 14641k| 2.7 |1200M| 54 | 7 | 60 |5586 | 60 | 19 | 23 |2500k|2743 | 0.000000e+00 | -- | Inf
1309.85/1310.27 c 1310s| 5380k| 1587k| 14668k| 2.7 |1202M| 54 | 7 | 60 |5686 | 60 | 19 | 23 |2505k|2743 | 0.000000e+00 | -- | Inf
1312.25/1312.66 c 1313s| 5390k| 1590k| 14695k| 2.7 |1204M| 54 | - | 60 |6480 | 60 | 19 | 23 |2510k|2743 | 0.000000e+00 | -- | Inf
1314.94/1315.38 c 1315s| 5400k| 1593k| 14722k| 2.7 |1207M| 54 | 7 | 60 |6248 | 60 | 19 | 23 |2514k|2743 | 0.000000e+00 | -- | Inf
1317.75/1318.10 c 1318s| 5410k| 1596k| 14749k| 2.7 |1209M| 54 | 7 | 60 |5800 | 60 | 19 | 23 |2519k|2743 | 0.000000e+00 | -- | Inf
1320.25/1320.65 c 1321s| 5420k| 1599k| 14775k| 2.7 |1211M| 54 | - | 60 |6348 | 60 | 19 | 23 |2524k|2743 | 0.000000e+00 | -- | Inf
1322.74/1323.13 c 1323s| 5430k| 1602k| 14802k| 2.7 |1213M| 54 | - | 60 |7605 | 60 | 19 | 23 |2528k|2743 | 0.000000e+00 | -- | Inf
1325.35/1325.79 c 1326s| 5440k| 1604k| 14829k| 2.7 |1216M| 54 | - | 60 |7333 | 60 | 19 | 23 |2533k|2743 | 0.000000e+00 | -- | Inf
1328.14/1328.59 c 1329s| 5450k| 1607k| 14856k| 2.7 |1217M| 54 | 7 | 60 |6220 | 60 | 19 | 23 |2538k|2743 | 0.000000e+00 | -- | Inf
1330.76/1331.13 c 1331s| 5460k| 1610k| 14883k| 2.7 |1220M| 54 | 7 | 60 |6839 | 60 | 19 | 23 |2543k|2743 | 0.000000e+00 | -- | Inf
1333.44/1333.82 c 1334s| 5470k| 1613k| 14910k| 2.7 |1222M| 54 | - | 60 |7196 | 60 | 19 | 23 |2547k|2743 | 0.000000e+00 | -- | Inf
1336.25/1336.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.25/1336.62 c 1337s| 5480k| 1615k| 14937k| 2.7 |1224M| 54 | 7 | 60 |6235 | 60 | 19 | 23 |2552k|2743 | 0.000000e+00 | -- | Inf
1338.74/1339.13 c 1339s| 5490k| 1618k| 14965k| 2.7 |1226M| 54 | - | 60 |6991 | 60 | 19 | 23 |2557k|2743 | 0.000000e+00 | -- | Inf
1341.34/1341.75 c 1342s| 5500k| 1621k| 14992k| 2.7 |1229M| 54 | 7 | 60 |7551 | 60 | 19 | 23 |2562k|2743 | 0.000000e+00 | -- | Inf
1343.95/1344.37 c 1344s| 5510k| 1624k| 15018k| 2.7 |1231M| 54 | - | 60 |7554 | 60 | 19 | 23 |2567k|2743 | 0.000000e+00 | -- | Inf
1346.74/1347.13 c 1347s| 5520k| 1626k| 15045k| 2.7 |1233M| 54 | 7 | 60 |6841 | 60 | 19 | 23 |2571k|2743 | 0.000000e+00 | -- | Inf
1349.24/1349.68 c 1350s| 5530k| 1629k| 15073k| 2.7 |1235M| 54 | - | 60 |7243 | 60 | 19 | 23 |2576k|2743 | 0.000000e+00 | -- | Inf
1351.94/1352.34 c 1352s| 5540k| 1632k| 15100k| 2.7 |1237M| 54 | 7 | 60 |7574 | 60 | 19 | 23 |2581k|2743 | 0.000000e+00 | -- | Inf
1354.64/1355.05 c 1355s| 5550k| 1635k| 15128k| 2.7 |1239M| 54 | 7 | 60 |6710 | 60 | 19 | 23 |2586k|2743 | 0.000000e+00 | -- | Inf
1357.44/1357.82 c 1358s| 5560k| 1637k| 15154k| 2.7 |1241M| 54 | 7 | 60 |5924 | 60 | 19 | 23 |2590k|2743 | 0.000000e+00 | -- | Inf
1360.03/1360.48 c 1360s| 5570k| 1640k| 15181k| 2.7 |1244M| 54 | 7 | 60 |6128 | 60 | 19 | 23 |2595k|2743 | 0.000000e+00 | -- | Inf
1362.44/1362.81 c 1363s| 5580k| 1644k| 15208k| 2.7 |1246M| 54 | - | 60 |8114 | 60 | 19 | 23 |2599k|2743 | 0.000000e+00 | -- | Inf
1364.94/1365.36 c 1365s| 5590k| 1647k| 15235k| 2.7 |1249M| 54 | - | 60 |8536 | 60 | 19 | 23 |2604k|2743 | 0.000000e+00 | -- | Inf
1367.84/1368.20 c 1368s| 5600k| 1649k| 15262k| 2.7 |1251M| 54 | 7 | 60 |7192 | 60 | 19 | 23 |2609k|2743 | 0.000000e+00 | -- | Inf
1370.53/1370.90 c 1371s| 5610k| 1652k| 15289k| 2.7 |1252M| 54 | 7 | 60 |6214 | 60 | 19 | 23 |2613k|2743 | 0.000000e+00 | -- | Inf
1373.14/1373.58 c 1374s| 5620k| 1655k| 15316k| 2.7 |1255M| 54 | 7 | 60 |5821 | 60 | 19 | 23 |2618k|2743 | 0.000000e+00 | -- | Inf
1375.74/1376.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.74/1376.14 c 1376s| 5630k| 1658k| 15343k| 2.7 |1257M| 54 | 7 | 60 |5692 | 60 | 19 | 23 |2623k|2743 | 0.000000e+00 | -- | Inf
1378.24/1378.65 c 1379s| 5640k| 1661k| 15370k| 2.7 |1259M| 54 | 7 | 60 |6134 | 60 | 19 | 23 |2628k|2743 | 0.000000e+00 | -- | Inf
1380.64/1381.01 c 1381s| 5650k| 1664k| 15398k| 2.7 |1262M| 54 | - | 60 |7244 | 60 | 19 | 23 |2632k|2743 | 0.000000e+00 | -- | Inf
1383.14/1383.52 c 1384s| 5660k| 1667k| 15425k| 2.7 |1264M| 54 | - | 60 |7111 | 0 | 0 | 23 |2637k|2743 | 0.000000e+00 | -- | Inf
1385.64/1386.00 c 1386s| 5670k| 1670k| 15451k| 2.7 |1266M| 54 | - | 60 |7669 | 60 | 19 | 23 |2641k|2743 | 0.000000e+00 | -- | Inf
1388.03/1388.46 c 1388s| 5680k| 1673k| 15477k| 2.7 |1268M| 54 | - | 60 |8201 | 60 | 19 | 23 |2645k|2743 | 0.000000e+00 | -- | Inf
1390.83/1391.28 c 1391s| 5690k| 1676k| 15505k| 2.7 |1270M| 54 | 7 | 60 |6089 | 60 | 19 | 23 |2650k|2743 | 0.000000e+00 | -- | Inf
1393.54/1393.94 c 1394s| 5700k| 1679k| 15531k| 2.7 |1272M| 54 | - | 60 |5759 | 0 | 0 | 23 |2655k|2743 | 0.000000e+00 | -- | Inf
1395.94/1396.38 c 1396s| 5710k| 1682k| 15559k| 2.7 |1275M| 54 | - | 60 |6816 | 60 | 19 | 23 |2660k|2743 | 0.000000e+00 | -- | Inf
1398.64/1399.05 c 1399s| 5720k| 1684k| 15585k| 2.7 |1277M| 54 | - | 60 |6491 | 60 | 19 | 23 |2664k|2743 | 0.000000e+00 | -- | Inf
1401.33/1401.79 c 1402s| 5730k| 1687k| 15611k| 2.7 |1279M| 54 | 7 | 60 |6140 | 60 | 19 | 23 |2669k|2743 | 0.000000e+00 | -- | Inf
1403.83/1404.21 c 1404s| 5740k| 1690k| 15638k| 2.7 |1282M| 54 | 7 | 60 |7700 | 60 | 19 | 23 |2673k|2743 | 0.000000e+00 | -- | Inf
1406.33/1406.71 c 1407s| 5750k| 1693k| 15666k| 2.7 |1284M| 54 | 7 | 60 |8748 | 60 | 19 | 23 |2678k|2743 | 0.000000e+00 | -- | Inf
1409.23/1409.61 c 1410s| 5760k| 1696k| 15693k| 2.7 |1286M| 54 | - | 60 |7145 | 60 | 19 | 23 |2683k|2743 | 0.000000e+00 | -- | Inf
1411.73/1412.12 c 1412s| 5770k| 1699k| 15719k| 2.7 |1288M| 54 | 7 | 60 |7906 | 60 | 19 | 23 |2687k|2743 | 0.000000e+00 | -- | Inf
1414.43/1414.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.43/1414.88 c 1415s| 5780k| 1702k| 15745k| 2.7 |1290M| 54 | - | 60 |6557 | 0 | 0 | 23 |2692k|2743 | 0.000000e+00 | -- | Inf
1417.03/1417.40 c 1417s| 5790k| 1705k| 15772k| 2.7 |1293M| 54 | - | 60 |7225 | 60 | 19 | 23 |2696k|2743 | 0.000000e+00 | -- | Inf
1419.63/1420.07 c 1420s| 5800k| 1708k| 15799k| 2.7 |1295M| 54 | 7 | 60 |7155 | 60 | 19 | 23 |2701k|2743 | 0.000000e+00 | -- | Inf
1422.33/1422.75 c 1423s| 5810k| 1711k| 15826k| 2.7 |1297M| 54 | 7 | 60 |7157 | 60 | 19 | 23 |2706k|2743 | 0.000000e+00 | -- | Inf
1424.83/1425.28 c 1425s| 5820k| 1714k| 15855k| 2.7 |1299M| 54 | 7 | 60 |8384 | 60 | 19 | 23 |2710k|2743 | 0.000000e+00 | -- | Inf
1427.83/1428.26 c 1428s| 5830k| 1717k| 15882k| 2.7 |1301M| 54 | 7 | 60 |5766 | 60 | 19 | 23 |2715k|2743 | 0.000000e+00 | -- | Inf
1430.43/1430.85 c 1431s| 5840k| 1720k| 15908k| 2.7 |1303M| 54 | 7 | 60 |6560 | 60 | 19 | 23 |2720k|2743 | 0.000000e+00 | -- | Inf
1433.22/1433.64 c 1434s| 5850k| 1722k| 15936k| 2.7 |1305M| 54 | - | 60 |5600 | 60 | 19 | 23 |2725k|2743 | 0.000000e+00 | -- | Inf
1435.93/1436.33 c 1436s| 5860k| 1725k| 15962k| 2.7 |1307M| 54 | 7 | 60 |5491 | 60 | 19 | 23 |2730k|2743 | 0.000000e+00 | -- | Inf
1438.43/1438.89 c 1439s| 5870k| 1728k| 15989k| 2.7 |1310M| 54 | 7 | 60 |6036 | 60 | 19 | 23 |2734k|2743 | 0.000000e+00 | -- | Inf
1440.82/1441.26 c 1441s| 5880k| 1731k| 16017k| 2.7 |1312M| 54 | - | 60 |7626 | 60 | 19 | 23 |2739k|2743 | 0.000000e+00 | -- | Inf
1443.32/1443.74 c 1444s| 5890k| 1734k| 16044k| 2.7 |1315M| 54 | - | 60 |8605 | 60 | 19 | 23 |2743k|2743 | 0.000000e+00 | -- | Inf
1446.13/1446.52 c 1447s| 5900k| 1737k| 16070k| 2.7 |1317M| 54 | 7 | 60 |7137 | 60 | 19 | 23 |2748k|2743 | 0.000000e+00 | -- | Inf
1448.62/1449.00 c 1449s| 5910k| 1740k| 16097k| 2.7 |1319M| 54 | 7 | 60 |8515 | 60 | 19 | 23 |2753k|2743 | 0.000000e+00 | -- | Inf
1451.32/1451.79 c 1452s| 5920k| 1742k| 16124k| 2.7 |1321M| 54 | - | 60 |8063 | 60 | 19 | 23 |2757k|2743 | 0.000000e+00 | -- | Inf
1454.12/1454.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.12/1454.50 c 1454s| 5930k| 1745k| 16151k| 2.7 |1323M| 54 | 7 | 60 |6647 | 60 | 19 | 23 |2762k|2743 | 0.000000e+00 | -- | Inf
1456.72/1457.16 c 1457s| 5940k| 1748k| 16177k| 2.7 |1325M| 54 | 7 | 60 |6282 | 60 | 19 | 23 |2767k|2743 | 0.000000e+00 | -- | Inf
1459.33/1459.80 c 1460s| 5950k| 1751k| 16204k| 2.7 |1327M| 54 | - | 60 |6156 | 60 | 19 | 23 |2771k|2743 | 0.000000e+00 | -- | Inf
1462.02/1462.44 c 1462s| 5960k| 1754k| 16231k| 2.7 |1330M| 54 | - | 60 |6684 | 60 | 19 | 23 |2776k|2743 | 0.000000e+00 | -- | Inf
1464.41/1464.89 c 1465s| 5970k| 1757k| 16259k| 2.7 |1332M| 54 | 7 | 60 |8276 | 60 | 19 | 23 |2781k|2743 | 0.000000e+00 | -- | Inf
1467.22/1467.66 c 1468s| 5980k| 1760k| 16286k| 2.7 |1334M| 54 | - | 60 |7615 | 0 | 0 | 23 |2785k|2743 | 0.000000e+00 | -- | Inf
1470.12/1470.54 c 1471s| 5990k| 1763k| 16313k| 2.7 |1336M| 54 | 7 | 60 |5965 | 60 | 19 | 23 |2790k|2743 | 0.000000e+00 | -- | Inf
1472.62/1473.06 c 1473s| 6000k| 1765k| 16340k| 2.7 |1339M| 54 | 7 | 60 |6812 | 60 | 19 | 23 |2795k|2743 | 0.000000e+00 | -- | Inf
1475.42/1475.89 c 1476s| 6010k| 1768k| 16368k| 2.7 |1341M| 54 | - | 60 |5973 | 60 | 19 | 23 |2799k|2743 | 0.000000e+00 | -- | Inf
1478.12/1478.54 c 1479s| 6020k| 1771k| 16395k| 2.7 |1343M| 54 | 7 | 60 |5855 | 60 | 19 | 23 |2804k|2743 | 0.000000e+00 | -- | Inf
1480.62/1481.06 c 1481s| 6030k| 1774k| 16421k| 2.7 |1345M| 54 | 7 | 60 |5918 | 60 | 19 | 23 |2809k|2743 | 0.000000e+00 | -- | Inf
1483.12/1483.60 c 1484s| 6040k| 1777k| 16447k| 2.7 |1347M| 54 | 7 | 60 |6847 | 60 | 19 | 23 |2813k|2743 | 0.000000e+00 | -- | Inf
1485.72/1486.20 c 1486s| 6050k| 1779k| 16474k| 2.7 |1350M| 54 | 7 | 60 |6433 | 60 | 19 | 23 |2818k|2743 | 0.000000e+00 | -- | Inf
1488.51/1488.95 c 1489s| 6060k| 1782k| 16501k| 2.7 |1352M| 54 | - | 60 |6001 | 60 | 19 | 23 |2823k|2743 | 0.000000e+00 | -- | Inf
1490.91/1491.32 c 1491s| 6070k| 1785k| 16528k| 2.7 |1354M| 54 | 7 | 60 |7127 | 60 | 19 | 23 |2827k|2743 | 0.000000e+00 | -- | Inf
1493.42/1493.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.42/1493.88 c 1494s| 6080k| 1788k| 16555k| 2.7 |1357M| 54 | - | 60 |7891 | 60 | 19 | 23 |2832k|2743 | 0.000000e+00 | -- | Inf
1496.01/1496.49 c 1496s| 6090k| 1791k| 16582k| 2.7 |1359M| 54 | - | 60 |7549 | 60 | 19 | 23 |2837k|2743 | 0.000000e+00 | -- | Inf
1498.81/1499.20 c 1499s| 6100k| 1794k| 16609k| 2.7 |1361M| 54 | - | 60 |7084 | 60 | 19 | 23 |2841k|2743 | 0.000000e+00 | -- | Inf
1501.51/1501.92 c 1502s| 6110k| 1797k| 16636k| 2.7 |1363M| 54 | 7 | 60 |7003 | 60 | 19 | 23 |2846k|2743 | 0.000000e+00 | -- | Inf
1504.20/1504.69 c 1505s| 6120k| 1799k| 16663k| 2.7 |1365M| 54 | - | 60 |6762 | 60 | 19 | 23 |2851k|2743 | 0.000000e+00 | -- | Inf
1506.81/1507.21 c 1507s| 6130k| 1802k| 16690k| 2.7 |1368M| 54 | - | 60 |8212 | 60 | 19 | 23 |2856k|2743 | 0.000000e+00 | -- | Inf
1509.60/1510.01 c 1510s| 6140k| 1805k| 16717k| 2.7 |1369M| 54 | 7 | 60 |6877 | 60 | 19 | 23 |2861k|2743 | 0.000000e+00 | -- | Inf
1512.21/1512.61 c 1513s| 6150k| 1808k| 16743k| 2.7 |1372M| 54 | 7 | 60 |6478 | 60 | 19 | 23 |2865k|2743 | 0.000000e+00 | -- | Inf
1514.91/1515.31 c 1515s| 6160k| 1810k| 16770k| 2.7 |1374M| 54 | 7 | 60 |6819 | 60 | 19 | 23 |2870k|2743 | 0.000000e+00 | -- | Inf
1517.41/1517.89 c 1518s| 6170k| 1813k| 16797k| 2.7 |1376M| 54 | 7 | 60 |7106 | 60 | 19 | 23 |2875k|2743 | 0.000000e+00 | -- | Inf
1520.10/1520.59 c 1521s| 6180k| 1816k| 16823k| 2.7 |1378M| 54 | 7 | 60 |6475 | 60 | 19 | 23 |2879k|2743 | 0.000000e+00 | -- | Inf
1522.90/1523.33 c 1523s| 6190k| 1819k| 16850k| 2.7 |1380M| 54 | - | 60 |6510 | 60 | 19 | 23 |2884k|2743 | 0.000000e+00 | -- | Inf
1525.50/1525.97 c 1526s| 6200k| 1822k| 16877k| 2.7 |1382M| 54 | 7 | 60 |6861 | 60 | 19 | 23 |2889k|2743 | 0.000000e+00 | -- | Inf
1528.21/1528.68 c 1529s| 6210k| 1824k| 16903k| 2.7 |1384M| 54 | 7 | 60 |6102 | 60 | 19 | 23 |2894k|2743 | 0.000000e+00 | -- | Inf
1531.10/1531.51 c 1532s| 6220k| 1827k| 16930k| 2.7 |1387M| 54 | 7 | 60 |5607 | 60 | 19 | 23 |2898k|2743 | 0.000000e+00 | -- | Inf
1533.80/1534.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.80/1534.20 c 1534s| 6230k| 1830k| 16957k| 2.7 |1389M| 54 | 7 | 60 |5071 | 60 | 19 | 23 |2903k|2743 | 0.000000e+00 | -- | Inf
1536.31/1536.72 c 1537s| 6240k| 1833k| 16985k| 2.7 |1391M| 54 | - | 60 |6306 | 60 | 19 | 23 |2908k|2743 | 0.000000e+00 | -- | Inf
1538.90/1539.37 c 1539s| 6250k| 1835k| 17012k| 2.7 |1393M| 54 | 7 | 60 |6917 | 60 | 19 | 23 |2913k|2743 | 0.000000e+00 | -- | Inf
1541.50/1541.99 c 1542s| 6260k| 1838k| 17038k| 2.7 |1395M| 54 | - | 60 |6565 | 60 | 19 | 23 |2917k|2743 | 0.000000e+00 | -- | Inf
1544.29/1544.74 c 1545s| 6270k| 1841k| 17065k| 2.7 |1398M| 54 | - | 60 |5960 | 60 | 19 | 23 |2922k|2743 | 0.000000e+00 | -- | Inf
1546.90/1547.31 c 1547s| 6280k| 1844k| 17092k| 2.7 |1400M| 54 | - | 60 |7013 | 60 | 19 | 23 |2927k|2743 | 0.000000e+00 | -- | Inf
1549.51/1549.94 c 1550s| 6290k| 1847k| 17119k| 2.7 |1402M| 54 | 7 | 60 |6689 | 60 | 19 | 23 |2931k|2743 | 0.000000e+00 | -- | Inf
1552.30/1552.71 c 1553s| 6300k| 1850k| 17145k| 2.7 |1404M| 54 | 7 | 60 |5646 | 60 | 19 | 23 |2936k|2743 | 0.000000e+00 | -- | Inf
1555.00/1555.49 c 1555s| 6310k| 1852k| 17172k| 2.7 |1406M| 54 | - | 60 |5978 | 0 | 0 | 23 |2941k|2743 | 0.000000e+00 | -- | Inf
1557.59/1558.09 c 1558s| 6320k| 1855k| 17198k| 2.7 |1408M| 54 | - | 60 |6016 | 60 | 19 | 23 |2945k|2743 | 0.000000e+00 | -- | Inf
1560.19/1560.68 c 1561s| 6330k| 1858k| 17225k| 2.7 |1411M| 54 | 7 | 60 |6924 | 60 | 19 | 23 |2950k|2743 | 0.000000e+00 | -- | Inf
1562.80/1563.26 c 1563s| 6340k| 1861k| 17252k| 2.7 |1413M| 54 | - | 60 |7229 | 60 | 19 | 23 |2954k|2743 | 0.000000e+00 | -- | Inf
1565.48/1565.90 c 1566s| 6350k| 1864k| 17279k| 2.7 |1415M| 54 | - | 60 |6996 | 60 | 19 | 23 |2959k|2743 | 0.000000e+00 | -- | Inf
1568.19/1568.67 c 1569s| 6360k| 1867k| 17306k| 2.7 |1418M| 54 | 7 | 60 |6775 | 60 | 19 | 23 |2964k|2743 | 0.000000e+00 | -- | Inf
1570.69/1571.11 c 1571s| 6370k| 1870k| 17333k| 2.7 |1420M| 54 | 7 | 60 |8628 | 60 | 19 | 23 |2968k|2743 | 0.000000e+00 | -- | Inf
1573.29/1573.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.29/1573.74 c 1574s| 6380k| 1873k| 17360k| 2.7 |1422M| 54 | 7 | 60 |8299 | 60 | 19 | 23 |2973k|2743 | 0.000000e+00 | -- | Inf
1575.88/1576.31 c 1576s| 6390k| 1876k| 17387k| 2.7 |1425M| 54 | 7 | 60 |8672 | 60 | 19 | 23 |2978k|2743 | 0.000000e+00 | -- | Inf
1578.68/1579.11 c 1579s| 6400k| 1878k| 17414k| 2.7 |1427M| 54 | - | 60 |7999 | 60 | 19 | 23 |2983k|2743 | 0.000000e+00 | -- | Inf
1581.49/1581.92 c 1582s| 6410k| 1881k| 17441k| 2.7 |1429M| 54 | 7 | 60 |6464 | 60 | 19 | 23 |2988k|2743 | 0.000000e+00 | -- | Inf
1583.87/1584.39 c 1584s| 6420k| 1884k| 17468k| 2.7 |1431M| 54 | 7 | 60 |7322 | 60 | 19 | 23 |2992k|2743 | 0.000000e+00 | -- | Inf
1586.47/1586.94 c 1587s| 6430k| 1887k| 17495k| 2.7 |1433M| 54 | 7 | 60 |7722 | 60 | 19 | 23 |2997k|2743 | 0.000000e+00 | -- | Inf
1588.97/1589.43 c 1589s| 6440k| 1891k| 17521k| 2.7 |1436M| 54 | 7 | 60 |8911 | 60 | 19 | 23 |3001k|2743 | 0.000000e+00 | -- | Inf
1591.87/1592.37 c 1592s| 6450k| 1894k| 17548k| 2.7 |1437M| 54 | 7 | 60 |6442 | 60 | 19 | 23 |3006k|2743 | 0.000000e+00 | -- | Inf
1594.58/1595.07 c 1595s| 6460k| 1896k| 17575k| 2.7 |1440M| 54 | 7 | 60 |5967 | 60 | 19 | 23 |3010k|2743 | 0.000000e+00 | -- | Inf
1597.27/1597.79 c 1598s| 6470k| 1899k| 17602k| 2.7 |1442M| 54 | - | 60 |5793 | 0 | 0 | 23 |3015k|2743 | 0.000000e+00 | -- | Inf
1599.87/1600.33 c 1600s| 6480k| 1902k| 17630k| 2.7 |1444M| 54 | 7 | 60 |6830 | 60 | 19 | 23 |3020k|2743 | 0.000000e+00 | -- | Inf
1602.37/1602.86 c 1603s| 6490k| 1905k| 17659k| 2.7 |1446M| 54 | 7 | 60 |7338 | 60 | 19 | 23 |3025k|2743 | 0.000000e+00 | -- | Inf
1604.86/1605.33 c 1605s| 6500k| 1908k| 17687k| 2.7 |1449M| 54 | 7 | 60 |8350 | 60 | 19 | 23 |3029k|2743 | 0.000000e+00 | -- | Inf
1607.36/1607.83 c 1608s| 6510k| 1911k| 17714k| 2.7 |1451M| 54 | 7 | 60 |9331 | 60 | 19 | 23 |3033k|2743 | 0.000000e+00 | -- | Inf
1609.86/1610.38 c 1610s| 6520k| 1914k| 17741k| 2.7 |1454M| 54 | 7 | 60 | 10k| 60 | 19 | 23 |3038k|2743 | 0.000000e+00 | -- | Inf
1613.06/1613.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.06/1613.51 c 1614s| 6530k| 1917k| 17768k| 2.7 |1455M| 54 | - | 60 |7757 | 60 | 19 | 23 |3043k|2743 | 0.000000e+00 | -- | Inf
1615.95/1616.40 c 1616s| 6540k| 1919k| 17795k| 2.7 |1457M| 54 | 7 | 60 |6637 | 60 | 19 | 23 |3048k|2743 | 0.000000e+00 | -- | Inf
1618.65/1619.19 c 1619s| 6550k| 1922k| 17822k| 2.7 |1459M| 54 | 7 | 60 |6006 | 60 | 19 | 23 |3052k|2743 | 0.000000e+00 | -- | Inf
1621.25/1621.78 c 1622s| 6560k| 1925k| 17849k| 2.7 |1461M| 54 | 7 | 60 |6195 | 60 | 19 | 23 |3057k|2743 | 0.000000e+00 | -- | Inf
1624.05/1624.52 c 1625s| 6570k| 1927k| 17876k| 2.7 |1464M| 54 | 7 | 60 |6190 | 60 | 19 | 23 |3062k|2743 | 0.000000e+00 | -- | Inf
1626.64/1627.10 c 1627s| 6580k| 1930k| 17903k| 2.7 |1466M| 54 | 7 | 60 |6777 | 60 | 19 | 23 |3067k|2743 | 0.000000e+00 | -- | Inf
1629.14/1629.60 c 1630s| 6590k| 1933k| 17931k| 2.7 |1468M| 54 | 7 | 60 |8092 | 60 | 19 | 23 |3071k|2743 | 0.000000e+00 | -- | Inf
1632.05/1632.58 c 1633s| 6600k| 1936k| 17957k| 2.7 |1470M| 54 | - | 60 |6202 | 60 | 19 | 23 |3076k|2743 | 0.000000e+00 | -- | Inf
1634.84/1635.32 c 1635s| 6610k| 1938k| 17984k| 2.7 |1472M| 54 | - | 60 |5918 | 60 | 19 | 23 |3081k|2743 | 0.000000e+00 | -- | Inf
1637.24/1637.76 c 1638s| 6620k| 1941k| 18011k| 2.7 |1475M| 54 | 7 | 60 |7457 | 60 | 19 | 23 |3086k|2743 | 0.000000e+00 | -- | Inf
1639.84/1640.38 c 1640s| 6630k| 1944k| 18039k| 2.7 |1477M| 54 | 7 | 60 |7150 | 60 | 19 | 23 |3090k|2743 | 0.000000e+00 | -- | Inf
1642.53/1643.00 c 1643s| 6640k| 1947k| 18065k| 2.7 |1479M| 54 | 7 | 60 |7045 | 60 | 19 | 23 |3095k|2743 | 0.000000e+00 | -- | Inf
1645.23/1645.71 c 1646s| 6650k| 1950k| 18092k| 2.7 |1481M| 54 | 7 | 60 |6618 | 60 | 19 | 23 |3100k|2743 | 0.000000e+00 | -- | Inf
1647.83/1648.36 c 1648s| 6660k| 1952k| 18119k| 2.7 |1483M| 54 | - | 60 |6242 | 60 | 19 | 23 |3104k|2743 | 0.000000e+00 | -- | Inf
1650.33/1650.89 c 1651s| 6670k| 1955k| 18146k| 2.7 |1485M| 54 | 7 | 60 |6494 | 60 | 19 | 23 |3109k|2743 | 0.000000e+00 | -- | Inf
1652.93/1653.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.93/1653.47 c 1653s| 6680k| 1958k| 18172k| 2.7 |1488M| 54 | 7 | 60 |6518 | 60 | 19 | 23 |3114k|2743 | 0.000000e+00 | -- | Inf
1655.52/1656.07 c 1656s| 6690k| 1961k| 18199k| 2.7 |1490M| 54 | 7 | 60 |6427 | 60 | 19 | 23 |3119k|2743 | 0.000000e+00 | -- | Inf
1658.02/1658.54 c 1659s| 6700k| 1964k| 18227k| 2.7 |1492M| 54 | 7 | 60 |6746 | 60 | 19 | 23 |3124k|2743 | 0.000000e+00 | -- | Inf
1660.73/1661.24 c 1661s| 6710k| 1966k| 18254k| 2.7 |1494M| 54 | 7 | 60 |5897 | 60 | 19 | 23 |3128k|2743 | 0.000000e+00 | -- | Inf
1663.13/1663.66 c 1664s| 6720k| 1969k| 18282k| 2.7 |1497M| 54 | - | 60 |7218 | 60 | 19 | 23 |3133k|2743 | 0.000000e+00 | -- | Inf
1665.62/1666.13 c 1666s| 6730k| 1972k| 18310k| 2.7 |1499M| 54 | 7 | 60 |8256 | 60 | 19 | 23 |3138k|2743 | 0.000000e+00 | -- | Inf
1668.22/1668.78 c 1669s| 6740k| 1974k| 18339k| 2.7 |1501M| 54 | 7 | 60 |8122 | 60 | 19 | 23 |3143k|2743 | 0.000000e+00 | -- | Inf
1671.12/1671.65 c 1672s| 6750k| 1977k| 18365k| 2.7 |1503M| 54 | - | 60 |7042 | 60 | 19 | 23 |3148k|2743 | 0.000000e+00 | -- | Inf
1673.52/1674.06 c 1674s| 6760k| 1980k| 18392k| 2.7 |1506M| 54 | - | 60 |8969 | 60 | 19 | 23 |3152k|2743 | 0.000000e+00 | -- | Inf
1676.12/1676.66 c 1677s| 6770k| 1983k| 18418k| 2.7 |1508M| 54 | 7 | 60 |9339 | 60 | 19 | 23 |3157k|2743 | 0.000000e+00 | -- | Inf
1679.01/1679.51 c 1680s| 6780k| 1986k| 18444k| 2.7 |1510M| 54 | 7 | 60 |7767 | 60 | 19 | 23 |3161k|2743 | 0.000000e+00 | -- | Inf
1681.71/1682.29 c 1682s| 6790k| 1988k| 18471k| 2.7 |1512M| 54 | 7 | 60 |6397 | 60 | 19 | 23 |3166k|2743 | 0.000000e+00 | -- | Inf
1684.52/1685.02 c 1685s| 6800k| 1991k| 18497k| 2.7 |1514M| 54 | 7 | 60 |6433 | 60 | 19 | 23 |3171k|2743 | 0.000000e+00 | -- | Inf
1687.12/1687.65 c 1688s| 6810k| 1994k| 18525k| 2.7 |1516M| 54 | - | 60 |6834 | 60 | 19 | 23 |3175k|2743 | 0.000000e+00 | -- | Inf
1689.91/1690.41 c 1690s| 6820k| 1996k| 18552k| 2.7 |1518M| 54 | 7 | 60 |6689 | 60 | 19 | 23 |3180k|2743 | 0.000000e+00 | -- | Inf
1692.52/1693.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.52/1693.01 c 1693s| 6830k| 1999k| 18579k| 2.7 |1521M| 54 | 7 | 60 |7583 | 60 | 19 | 23 |3185k|2743 | 0.000000e+00 | -- | Inf
1694.82/1695.39 c 1695s| 6840k| 2003k| 18607k| 2.7 |1523M| 54 | 7 | 60 |8984 | 60 | 19 | 23 |3189k|2743 | 0.000000e+00 | -- | Inf
1697.51/1698.03 c 1698s| 6850k| 2006k| 18634k| 2.7 |1526M| 54 | 7 | 60 |9565 | 60 | 19 | 23 |3194k|2743 | 0.000000e+00 | -- | Inf
1700.12/1700.64 c 1701s| 6860k| 2009k| 18662k| 2.7 |1528M| 54 | 7 | 60 | 10k| 60 | 19 | 23 |3198k|2743 | 0.000000e+00 | -- | Inf
1702.92/1703.47 c 1703s| 6870k| 2011k| 18688k| 2.7 |1530M| 54 | 7 | 60 |9307 | 60 | 19 | 23 |3203k|2743 | 0.000000e+00 | -- | Inf
1705.61/1706.19 c 1706s| 6880k| 2014k| 18715k| 2.7 |1532M| 54 | 7 | 60 |8572 | 60 | 19 | 23 |3208k|2743 | 0.000000e+00 | -- | Inf
1708.51/1709.08 c 1709s| 6890k| 2017k| 18743k| 2.7 |1534M| 54 | - | 60 |7379 | 60 | 19 | 23 |3213k|2743 | 0.000000e+00 | -- | Inf
1711.21/1711.76 c 1712s| 6900k| 2020k| 18770k| 2.7 |1536M| 54 | 7 | 60 |7217 | 60 | 19 | 23 |3217k|2743 | 0.000000e+00 | -- | Inf
1713.91/1714.45 c 1714s| 6910k| 2023k| 18797k| 2.7 |1538M| 54 | 7 | 60 |7492 | 60 | 19 | 23 |3222k|2743 | 0.000000e+00 | -- | Inf
1716.81/1717.39 c 1717s| 6920k| 2025k| 18823k| 2.7 |1540M| 54 | - | 60 |6182 | 60 | 19 | 23 |3227k|2743 | 0.000000e+00 | -- | Inf
1719.61/1720.12 c 1720s| 6930k| 2028k| 18850k| 2.7 |1542M| 54 | - | 60 |6560 | 60 | 19 | 23 |3232k|2743 | 0.000000e+00 | -- | Inf
1722.31/1722.84 c 1723s| 6940k| 2031k| 18877k| 2.7 |1545M| 54 | 7 | 60 |6443 | 60 | 19 | 23 |3236k|2743 | 0.000000e+00 | -- | Inf
1724.91/1725.43 c 1725s| 6950k| 2033k| 18903k| 2.7 |1547M| 54 | 7 | 60 |7013 | 60 | 19 | 23 |3241k|2743 | 0.000000e+00 | -- | Inf
1727.41/1727.92 c 1728s| 6960k| 2037k| 18931k| 2.7 |1549M| 54 | 7 | 60 |7481 | 60 | 19 | 23 |3245k|2743 | 0.000000e+00 | -- | Inf
1730.11/1730.62 c 1731s| 6970k| 2040k| 18958k| 2.7 |1551M| 54 | 7 | 60 |6710 | 60 | 19 | 23 |3250k|2743 | 0.000000e+00 | -- | Inf
1732.71/1733.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.71/1733.29 c 1733s| 6980k| 2043k| 18984k| 2.7 |1553M| 54 | 7 | 60 |6240 | 60 | 19 | 23 |3255k|2743 | 0.000000e+00 | -- | Inf
1735.32/1735.86 c 1736s| 6990k| 2046k| 19012k| 2.7 |1556M| 54 | - | 60 |7327 | 60 | 19 | 23 |3259k|2743 | 0.000000e+00 | -- | Inf
1737.71/1738.21 c 1738s| 7000k| 2050k| 19039k| 2.7 |1559M| 54 | 7 | 60 |8604 | 60 | 19 | 23 |3263k|2743 | 0.000000e+00 | -- | Inf
1740.21/1740.73 c 1741s| 7010k| 2053k| 19067k| 2.7 |1561M| 54 | 7 | 60 |9151 | 60 | 19 | 23 |3267k|2743 | 0.000000e+00 | -- | Inf
1742.91/1743.46 c 1743s| 7020k| 2056k| 19094k| 2.7 |1563M| 54 | 7 | 60 |9108 | 60 | 19 | 23 |3272k|2743 | 0.000000e+00 | -- | Inf
1745.91/1746.46 c 1746s| 7030k| 2059k| 19121k| 2.7 |1565M| 54 | 7 | 60 |7186 | 60 | 19 | 23 |3277k|2743 | 0.000000e+00 | -- | Inf
1748.61/1749.13 c 1749s| 7040k| 2061k| 19148k| 2.7 |1567M| 54 | - | 60 |8058 | 60 | 19 | 23 |3281k|2743 | 0.000000e+00 | -- | Inf
1751.51/1752.08 c 1752s| 7050k| 2064k| 19174k| 2.7 |1569M| 54 | 7 | 60 |6631 | 60 | 19 | 23 |3286k|2743 | 0.000000e+00 | -- | Inf
1754.21/1754.77 c 1755s| 7060k| 2067k| 19201k| 2.7 |1571M| 54 | - | 60 |6915 | 60 | 19 | 23 |3291k|2743 | 0.000000e+00 | -- | Inf
1757.11/1757.62 c 1758s| 7070k| 2070k| 19229k| 2.7 |1573M| 54 | 7 | 60 |6033 | 60 | 19 | 23 |3296k|2743 | 0.000000e+00 | -- | Inf
1759.70/1760.22 c 1760s| 7080k| 2072k| 19255k| 2.7 |1576M| 54 | 7 | 60 |6487 | 60 | 19 | 23 |3301k|2743 | 0.000000e+00 | -- | Inf
1762.41/1762.94 c 1763s| 7090k| 2075k| 19282k| 2.7 |1578M| 54 | - | 60 |6144 | 60 | 19 | 23 |3305k|2743 | 0.000000e+00 | -- | Inf
1765.01/1765.60 c 1766s| 7100k| 2078k| 19310k| 2.7 |1580M| 54 | - | 60 |6642 | 60 | 19 | 23 |3310k|2743 | 0.000000e+00 | -- | Inf
1767.80/1768.33 c 1768s| 7110k| 2080k| 19337k| 2.7 |1582M| 54 | - | 60 |7478 | 60 | 19 | 23 |3315k|2743 | 0.000000e+00 | -- | Inf
1770.41/1771.00 c 1771s| 7120k| 2083k| 19363k| 2.7 |1585M| 54 | - | 60 |7932 | 60 | 19 | 23 |3320k|2743 | 0.000000e+00 | -- | Inf
1773.30/1773.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.30/1773.86 c 1774s| 7130k| 2086k| 19390k| 2.7 |1586M| 54 | - | 60 |6076 | 60 | 19 | 23 |3324k|2743 | 0.000000e+00 | -- | Inf
1776.01/1776.60 c 1777s| 7140k| 2089k| 19417k| 2.7 |1589M| 54 | 7 | 60 |6523 | 60 | 19 | 23 |3329k|2743 | 0.000000e+00 | -- | Inf
1778.70/1779.22 c 1779s| 7150k| 2091k| 19444k| 2.7 |1591M| 54 | 7 | 60 |7392 | 60 | 19 | 23 |3334k|2743 | 0.000000e+00 | -- | Inf
1781.51/1782.07 c 1782s| 7160k| 2094k| 19471k| 2.7 |1593M| 54 | 7 | 60 |6460 | 60 | 19 | 23 |3339k|2743 | 0.000000e+00 | -- | Inf
1784.30/1784.82 c 1785s| 7170k| 2097k| 19497k| 2.7 |1595M| 54 | 7 | 60 |6064 | 60 | 19 | 23 |3343k|2743 | 0.000000e+00 | -- | Inf
1786.90/1787.49 c 1787s| 7180k| 2100k| 19524k| 2.7 |1597M| 54 | 7 | 60 |5953 | 60 | 19 | 23 |3348k|2743 | 0.000000e+00 | -- | Inf
1789.50/1790.00 c
1789.50/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.00 c Solving Time (sec) : 1790.00
1789.50/1790.00 c Solving Nodes : 7189357
1789.50/1790.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.50/1790.00 c Dual Bound : +0.00000000000000e+00
1789.50/1790.00 c Gap : infinite
1789.50/1790.00 s UNKNOWN
1789.50/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.00 c Solving Time : 1790.00
1789.50/1790.00 c Original Problem :
1789.50/1790.00 c Problem name : HOME/instance-3734701-1338700532.opb
1789.50/1790.00 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.00 c Constraints : 15 initial, 15 maximal
1789.50/1790.00 c Presolved Problem :
1789.50/1790.00 c Problem name : t_HOME/instance-3734701-1338700532.opb
1789.50/1790.00 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.00 c Constraints : 7 initial, 12393 maximal
1789.50/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.50/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.00 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.50/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.00 c probing : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.00 c linear : 0.00 0 0 0 0 0 8 0 0
1789.50/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.00 c root node : - 0 - - 0 - - - -
1789.50/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.50/1790.00 c integral : 0 0 0 4662090 0 251 921 0 0 9322008
1789.50/1790.00 c linear : 7+ 7 16270494 0 0 138677 3572780 0 0 0
1789.50/1790.00 c logicor : 0+ 0 6949864 0 0 5653 2378001 0 0 0
1789.50/1790.00 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.50/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.50/1790.00 c integral : 36.48 0.00 0.00 36.48 0.00
1789.50/1790.00 c linear : 302.88 0.00 302.88 0.00 0.00
1789.50/1790.00 c logicor : 225.57 0.00 225.57 0.00 0.00
1789.50/1790.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.50/1790.00 c Propagators : Time Calls Cutoffs DomReds
1789.50/1790.00 c vbounds : 12.07 2 0 0
1789.50/1790.00 c rootredcost : 11.48 0 0 0
1789.50/1790.00 c pseudoobj : 11.45 0 0 0
1789.50/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.50/1790.00 c propagation : 8.87 144330 132330 493575 43.1 23 35.0 -
1789.50/1790.00 c infeasible LP : 68.61 2400346 2400272 4504716 28.1 29170 32.9 0
1789.50/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.50/1790.00 c applied globally : - - - 2934236 23.4 - - -
1789.50/1790.00 c applied locally : - - - 418621 37.3 - - -
1789.50/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.50/1790.00 c cut pool : 0.00 5 - - 13 - (maximal pool size: 77)
1789.50/1790.00 c redcost : 8.32 4662095 0 0 0 0
1789.50/1790.00 c impliedbounds : 0.00 6 0 0 0 0
1789.50/1790.00 c intobj : 0.00 0 0 0 0 0
1789.50/1790.00 c cgmip : 0.00 0 0 0 0 0
1789.50/1790.00 c gomory : 0.00 6 0 0 0 0
1789.50/1790.00 c strongcg : 0.00 6 0 0 35 0
1789.50/1790.00 c cmir : 0.01 6 0 0 23 0
1789.50/1790.00 c flowcover : 0.01 6 0 0 34 0
1789.50/1790.00 c clique : 0.00 1 0 0 0 0
1789.50/1790.00 c zerohalf : 0.00 0 0 0 0 0
1789.50/1790.00 c mcf : 0.00 1 0 0 0 0
1789.50/1790.00 c rapidlearning : 0.04 1 0 0 0 5
1789.50/1790.00 c Pricers : Time Calls Vars
1789.50/1790.00 c problem variables: 0.00 0 0
1789.50/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.50/1790.00 c relpscost : 27.01 4662090 251 921 0 0 9322008
1789.50/1790.00 c pscost : 0.00 0 0 0 0 0 0
1789.50/1790.00 c inference : 0.00 0 0 0 0 0 0
1789.50/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1789.50/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1789.50/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.00 c random : 0.00 0 0 0 0 0 0
1789.50/1790.00 c Primal Heuristics : Time Calls Found
1789.50/1790.00 c LP solutions : 0.00 - 0
1789.50/1790.00 c pseudo solutions : 0.00 - 0
1789.50/1790.00 c oneopt : 10.75 0 0
1789.50/1790.00 c crossover : 5.83 0 0
1789.50/1790.00 c guideddiving : 0.51 0 0
1789.50/1790.00 c intshifting : 0.34 0 0
1789.50/1790.00 c rootsoldiving : 0.49 15 0
1789.50/1790.00 c coefdiving : 0.50 30 0
1789.50/1790.00 c pscostdiving : 0.50 30 0
1789.50/1790.00 c fracdiving : 0.49 30 0
1789.50/1790.00 c veclendiving : 0.50 30 0
1789.50/1790.00 c linesearchdiving : 0.50 30 0
1789.50/1790.00 c feaspump : 0.49 16 0
1789.50/1790.00 c objpscostdiving : 0.48 16 0
1789.50/1790.00 c trivial : 0.00 2 0
1789.50/1790.00 c simplerounding : 3.55 0 0
1789.50/1790.00 c zirounding : 5.46 1000 0
1789.50/1790.00 c rounding : 4.40 30636 0
1789.50/1790.00 c shifting : 3.52 9674 0
1789.50/1790.00 c twoopt : 0.00 0 0
1789.50/1790.00 c fixandinfer : 0.00 0 0
1789.50/1790.00 c intdiving : 0.00 0 0
1789.50/1790.00 c actconsdiving : 0.00 0 0
1789.50/1790.00 c octane : 0.00 0 0
1789.50/1790.00 c rens : 0.01 1 0
1789.50/1790.00 c rins : 0.00 0 0
1789.50/1790.00 c localbranching : 0.00 0 0
1789.50/1790.00 c mutation : 0.00 0 0
1789.50/1790.00 c dins : 0.00 0 0
1789.50/1790.00 c undercover : 0.00 0 0
1789.50/1790.00 c nlp : 5.23 0 0
1789.50/1790.00 c trysol : 8.67 0 0
1789.50/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1789.50/1790.00 c primal LP : 0.00 0 0 0.00 -
1789.50/1790.00 c dual LP : 379.43 6886186 19546971 2.84 51516.76
1789.50/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1789.50/1790.00 c barrier LP : 0.00 0 0 0.00 -
1789.50/1790.00 c diving/probing LP: 0.06 1063 2457 2.31 42025.14
1789.50/1790.00 c strong branching : 0.31 2743 15723 5.73 50060.18
1789.50/1790.00 c (at root node) : - 9 398 44.22 -
1789.50/1790.00 c conflict analysis: 0.00 0 0 0.00 -
1789.50/1790.00 c B&B Tree :
1789.50/1790.00 c number of runs : 1
1789.50/1790.00 c nodes : 7189357
1789.50/1790.00 c nodes (total) : 7189357
1789.50/1790.00 c nodes left : 2102840
1789.50/1790.00 c max depth : 54
1789.50/1790.00 c max depth (total): 54
1789.50/1790.00 c backtracks : 692179 (9.6%)
1789.50/1790.00 c delayed cutoffs : 29812
1789.50/1790.00 c repropagations : 6393720 (2384916 domain reductions, 16209 cutoffs)
1789.50/1790.00 c avg switch length: 5.33
1789.50/1790.00 c switching time : 297.32
1789.50/1790.00 c Solution :
1789.50/1790.00 c Solutions found : 0 (0 improvements)
1789.50/1790.00 c Primal Bound : -
1789.50/1790.00 c Dual Bound : +0.00000000000000e+00
1789.50/1790.00 c Gap : infinite
1789.50/1790.00 c Root Dual Bound : +0.00000000000000e+00
1789.50/1790.00 c Root Iterations : 181
1795.00/1795.50 c Time complete: 1795.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734701-1338700532/watcher-3734701-1338700532 -o /tmp/evaluation-result-3734701-1338700532/solver-3734701-1338700532 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734701-1338700532.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 24238
/proc/meminfo: memFree=27068564/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 1360 0 0 0 0 0 0 0 20 0 1 0 336181768 9158656 1306 33554432000 4194304 8395647 140735793845632 140736955117272 7382137 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24238/statm: 2236 1306 374 1026 0 1206 0
[startup+0.0824489 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 24238
/proc/meminfo: memFree=27068564/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=22088 CPUtime=0.07 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 4777 0 0 0 6 1 0 0 20 0 1 0 336181768 22618112 4370 33554432000 4194304 8395647 140735793845632 140735793840920 6123675 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24238/statm: 5522 4370 608 1026 0 4492 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22088
[startup+0.100259 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 24238
/proc/meminfo: memFree=27068564/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=22088 CPUtime=0.09 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 4863 0 0 0 8 1 0 0 20 0 1 0 336181768 22618112 4457 33554432000 4194304 8395647 140735793845632 140735793840920 4288508 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24238/statm: 5522 4469 610 1026 0 4492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22088
[startup+0.300208 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 24238
/proc/meminfo: memFree=27068564/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=23140 CPUtime=0.29 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 5318 0 0 0 27 2 0 0 20 0 1 0 336181768 23695360 4911 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24238/statm: 5785 4911 622 1026 0 4755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23140
[startup+0.700242 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 24238
/proc/meminfo: memFree=27068564/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=23140 CPUtime=0.68 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 5320 0 0 0 66 2 0 0 20 0 1 0 336181768 23695360 4913 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 5785 4913 622 1026 0 4755 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23140
[startup+1.50023 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 24239
/proc/meminfo: memFree=27050908/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=23140 CPUtime=1.48 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 5327 0 0 0 143 5 0 0 20 0 1 0 336181768 23695360 4920 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 5785 4920 622 1026 0 4755 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23140
[startup+3.10024 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 24239
/proc/meminfo: memFree=27050536/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=23140 CPUtime=3.08 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 5338 0 0 0 300 8 0 0 20 0 1 0 336181768 23695360 4931 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 5785 4931 622 1026 0 4755 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23140
[startup+6.30028 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24239
/proc/meminfo: memFree=27049428/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=25540 CPUtime=6.29 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 5958 0 0 0 614 15 0 0 20 0 1 0 336181768 26152960 5551 33554432000 4194304 8395647 140735793845632 140735793840936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 6385 5551 622 1026 0 5355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25540
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24239
/proc/meminfo: memFree=27040500/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=33532 CPUtime=12.69 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 7994 0 0 0 1241 28 0 0 20 0 1 0 336181768 34336768 7587 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 8383 7587 622 1026 0 7353 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33532
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24239
/proc/meminfo: memFree=27023624/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=49096 CPUtime=25.48 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 11979 0 0 0 2496 52 0 0 20 0 1 0 336181768 50274304 11714 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 12274 11714 622 1026 0 11244 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49096
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24240
/proc/meminfo: memFree=26991788/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=83004 CPUtime=51.06 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 20165 0 0 0 4996 110 0 0 20 0 1 0 336181768 84996096 19929 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 20751 19929 622 1026 0 19721 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 83004
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24240
/proc/meminfo: memFree=26936268/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=135932 CPUtime=102.25 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 33400 0 0 0 10009 216 0 0 20 0 1 0 336181768 139194368 33458 33554432000 4194304 8395647 140735793845632 140735793840488 4217164 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 33983 33458 622 1026 0 32953 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 135932
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24240
/proc/meminfo: memFree=26874116/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=201856 CPUtime=162.23 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 49051 0 0 0 15883 340 0 0 20 0 1 0 336181768 206700544 49100 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 50464 49100 622 1026 0 49434 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 201856
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24240
/proc/meminfo: memFree=26815244/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=259380 CPUtime=222.21 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 63713 0 0 0 21757 464 0 0 20 0 1 0 336181768 265605120 63760 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 64845 63760 622 1026 0 63815 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 259380
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 24243
/proc/meminfo: memFree=26749668/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=325048 CPUtime=282.17 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 80389 0 0 0 27627 590 0 0 20 0 1 0 336181768 332849152 80469 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 81262 80469 622 1026 0 80232 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 325048
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24244
/proc/meminfo: memFree=26692776/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=388008 CPUtime=342.16 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 94325 0 0 0 33502 714 0 0 20 0 1 0 336181768 397320192 94405 33554432000 4194304 8395647 140735793845632 140735793841240 4243913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 97002 94405 622 1026 0 95972 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 388008
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24244
/proc/meminfo: memFree=26635116/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=445324 CPUtime=402.15 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 108916 0 0 0 39378 837 0 0 20 0 1 0 336181768 456011776 108996 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 111331 108996 622 1026 0 110301 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 445324
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24244
/proc/meminfo: memFree=26579252/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=498132 CPUtime=462.14 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 122305 0 0 0 45258 956 0 0 20 0 1 0 336181768 510087168 122896 33554432000 4194304 8395647 140735793845632 140735793840488 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 124533 122896 622 1026 0 123503 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 498132
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24244
/proc/meminfo: memFree=26523560/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=552740 CPUtime=522.12 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 136231 0 0 0 51134 1078 0 0 20 0 1 0 336181768 566005760 136882 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 138185 136882 622 1026 0 137155 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 552740
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24244
/proc/meminfo: memFree=26464440/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=610400 CPUtime=582.11 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 150693 0 0 0 57008 1203 0 0 20 0 1 0 336181768 625049600 151331 33554432000 4194304 8395647 140735793845632 140735793841192 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 152600 151331 622 1026 0 151570 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 610400
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25986120/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1093920 CPUtime=1121.99 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 268709 0 0 0 109938 2261 0 0 20 0 1 0 336181768 1120174080 270821 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 273480 270821 622 1026 0 272450 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1093920
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 24250
/proc/meminfo: memFree=25936876/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1144444 CPUtime=1181.98 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 281041 0 0 0 115821 2377 0 0 20 0 1 0 336181768 1171910656 283152 33554432000 4194304 8395647 140735793845632 140735793840760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 286111 283152 622 1026 0 285081 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1144444
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24250
/proc/meminfo: memFree=25881668/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1196260 CPUtime=1241.97 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 294102 0 0 0 121699 2498 0 0 20 0 1 0 336181768 1224970240 296717 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 299065 296717 622 1026 0 298035 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1196260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24251
/proc/meminfo: memFree=25831724/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1245704 CPUtime=1301.96 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 306656 0 0 0 127576 2620 0 0 20 0 1 0 336181768 1275600896 309315 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 311426 309315 622 1026 0 310396 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1245704
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24251
/proc/meminfo: memFree=25781656/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1294272 CPUtime=1361.94 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 318930 0 0 0 133453 2741 0 0 20 0 1 0 336181768 1325334528 321635 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 323568 321635 622 1026 0 322538 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1294272
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24251
/proc/meminfo: memFree=25731464/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1342872 CPUtime=1421.93 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 331302 0 0 0 139331 2862 0 0 20 0 1 0 336181768 1375100928 334002 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 335718 334002 622 1026 0 334688 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1342872
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24254
/proc/meminfo: memFree=25679836/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1394904 CPUtime=1481.92 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 343949 0 0 0 145203 2989 0 0 20 0 1 0 336181768 1428381696 347154 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 348726 347154 622 1026 0 347696 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1394904
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24254
/proc/meminfo: memFree=25631016/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1441764 CPUtime=1541.91 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 355887 0 0 0 151084 3107 0 0 20 0 1 0 336181768 1476366336 359082 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 360441 359082 622 1026 0 359411 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1441764
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24293
/proc/meminfo: memFree=25557764/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1494048 CPUtime=1601.87 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 369235 0 0 0 156959 3228 0 0 20 0 1 0 336181768 1529905152 372523 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 373512 372523 622 1026 0 372482 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1494048
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25517864/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1540316 CPUtime=1661.82 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 381019 0 0 0 162841 3341 0 0 20 0 1 0 336181768 1577283584 384271 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 385079 384271 622 1026 0 384049 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1540316
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24293
/proc/meminfo: memFree=25466620/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1588292 CPUtime=1721.81 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 393327 0 0 0 168722 3459 0 0 20 0 1 0 336181768 1626411008 396576 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 397073 396576 622 1026 0 396043 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1588292
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25416648/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1671348 CPUtime=1781.8 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 405675 0 0 0 174614 3566 0 0 20 0 1 0 336181768 1711460352 408924 33554432000 4194304 8395647 140735793845632 140735793841240 18446744073699066235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 417837 408924 622 1026 0 416807 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1671348
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25413300/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1675124 CPUtime=1785.1 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 406635 0 0 0 174938 3572 0 0 20 0 1 0 336181768 1715326976 409884 33554432000 4194304 8395647 140735793845632 140735793841240 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 418781 409884 622 1026 0 417751 0
Current children cumulated CPU time (s) 1785.1
Current children cumulated vsize (KiB) 1675124
[startup+1792.01 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25410820/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1677044 CPUtime=1791.5 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 407144 0 0 0 175571 3579 0 0 20 0 1 0 336181768 1717293056 410393 33554432000 4194304 8395647 140735793845632 140735793841464 6345370 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 419261 410393 624 1026 0 418231 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 1677044
[startup+1793.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25410820/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1677044 CPUtime=1793.1 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 407144 0 0 0 175731 3579 0 0 20 0 1 0 336181768 1717293056 410393 33554432000 4194304 8395647 140735793845632 140735793841464 4723491 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 419261 410393 624 1026 0 418231 0
Current children cumulated CPU time (s) 1793.1
Current children cumulated vsize (KiB) 1677044
[startup+1794.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25410820/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1677044 CPUtime=1793.89 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 407144 0 0 0 175810 3579 0 0 20 0 1 0 336181768 1717293056 410393 33554432000 4194304 8395647 140735793845632 140735793841464 6345173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 419261 410393 624 1026 0 418231 0
Current children cumulated CPU time (s) 1793.89
Current children cumulated vsize (KiB) 1677044
[startup+1795.2 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25410820/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1677044 CPUtime=1794.7 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 407144 0 0 0 175891 3579 0 0 20 0 1 0 336181768 1717293056 410393 33554432000 4194304 8395647 140735793845632 140735793841464 6345196 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 419261 410393 624 1026 0 418231 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 1677044
[startup+1795.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25410820/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=1677044 CPUtime=1794.89 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 407144 0 0 0 175910 3579 0 0 20 0 1 0 336181768 1717293056 410393 33554432000 4194304 8395647 140735793845632 140735793841464 4723516 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 419261 410393 624 1026 0 418231 0
Current children cumulated CPU time (s) 1794.89
Current children cumulated vsize (KiB) 1677044
[startup+1795.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24293
/proc/meminfo: memFree=25410820/32873844 swapFree=7628/7628
[pid=24238] ppid=24236 vsize=819560 CPUtime=1795 cores=0,2,4,6
/proc/24238/stat : 24238 (pbscip.linux.x8) R 24236 24238 20882 0 -1 4202496 407144 0 0 0 175919 3581 0 0 20 0 1 0 336181768 839229440 203969 33554432000 4194304 8395647 140735793845632 140735793841464 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24238/statm: 204890 203969 624 1026 0 203860 0
Current children cumulated CPU time (s) 1795
Current children cumulated vsize (KiB) 819560
Child status: 0
Real time (s): 1795.5
CPU time (s): 1795.01
CPU user time (s): 1759.2
CPU system time (s): 35.8156
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1677044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.2
system time used= 35.8156
maximum resident set size= 1641572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407147
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= 308
involuntary context switches= 1947
runsolver used 3.57446 second user time and 9.93349 second system time
The end