0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666869-1276598798.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01 c problem read
0.00/0.01 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.02 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.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 38 | - | 321k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.15 c 0.1s| 1 | 0 | 129 | - | 369k| 0 | 13 | 60 | 12 | 60 | 15 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.16 c 0.1s| 1 | 0 | 143 | - | 402k| 0 | 14 | 60 | 12 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.17 c 0.1s| 1 | 0 | 146 | - | 423k| 0 | 17 | 60 | 12 | 60 | 22 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.19 c 0.2s| 1 | 0 | 160 | - | 444k| 0 | 16 | 60 | 12 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 169 | - | 462k| 0 | 19 | 60 | 12 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 181 | - | 468k| 0 | 19 | 60 | 12 | 60 | 30 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 2 | 181 | - | 469k| 0 | 19 | 60 | 12 | 60 | 30 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
5.09/5.13 c 4.7s| 10000 | 4339 | 29955 | 3.0 |4342k| 52 | 7 | 60 |3143 | 60 | 19 | 23 |3844 | 634 | 0.000000e+00 | -- | Inf
10.19/10.25 c 9.4s| 20000 | 7878 | 60725 | 3.0 |6585k| 53 | 7 | 60 |2054 | 60 | 19 | 23 |8256 | 845 | 0.000000e+00 | -- | Inf
14.99/15.01 c 13.7s| 30000 | 11369 | 91002 | 3.0 |9042k| 54 | - | 60 |2266 | 60 | 19 | 23 | 12k|1006 | 0.000000e+00 | -- | Inf
19.80/19.81 c 18.1s| 40000 | 15033 |121118 | 3.0 | 11M| 54 | - | 60 |2144 | 60 | 19 | 23 | 17k|1139 | 0.000000e+00 | -- | Inf
24.49/24.53 c 22.4s| 50000 | 18579 |150382 | 3.0 | 13M| 54 | 7 | 60 |2650 | 60 | 19 | 23 | 21k|1241 | 0.000000e+00 | -- | Inf
29.28/29.39 c 26.9s| 60000 | 22014 |179852 | 3.0 | 16M| 54 | 7 | 60 |2759 | 60 | 19 | 23 | 25k|1335 | 0.000000e+00 | -- | Inf
34.19/34.21 c 31.3s| 70000 | 25489 |208534 | 3.0 | 18M| 54 | 7 | 60 |2596 | 60 | 19 | 23 | 30k|1426 | 0.000000e+00 | -- | Inf
38.98/39.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.98/39.04 c 35.7s| 80000 | 28707 |237419 | 3.0 | 20M| 54 | 7 | 60 |2990 | 60 | 19 | 23 | 34k|1494 | 0.000000e+00 | -- | Inf
43.98/44.07 c 40.4s| 90000 | 31832 |266233 | 3.0 | 23M| 54 | 7 | 60 |2925 | 60 | 19 | 23 | 39k|1548 | 0.000000e+00 | -- | Inf
48.88/48.92 c 44.8s|100000 | 35154 |294425 | 2.9 | 25M| 54 | 7 | 60 |3312 | 60 | 19 | 23 | 43k|1596 | 0.000000e+00 | -- | Inf
53.88/53.90 c 49.4s|110000 | 38550 |322682 | 2.9 | 27M| 54 | 7 | 60 |2780 | 60 | 19 | 23 | 48k|1655 | 0.000000e+00 | -- | Inf
58.68/58.75 c 53.8s|120000 | 41846 |350751 | 2.9 | 30M| 54 | 7 | 60 |3330 | 60 | 19 | 23 | 52k|1719 | 0.000000e+00 | -- | Inf
63.47/63.52 c 58.2s|130000 | 45350 |379005 | 2.9 | 32M| 54 | 7 | 60 |3976 | 60 | 19 | 23 | 57k|1753 | 0.000000e+00 | -- | Inf
68.68/68.71 c 63.0s|140000 | 48491 |406714 | 2.9 | 34M| 54 | - | 60 |3292 | 60 | 19 | 23 | 61k|1783 | 0.000000e+00 | -- | Inf
73.78/73.81 c 67.6s|150000 | 51594 |434769 | 2.9 | 37M| 54 | 7 | 60 |2763 | 60 | 19 | 23 | 66k|1821 | 0.000000e+00 | -- | Inf
78.67/78.79 c 72.2s|160000 | 54708 |462411 | 2.9 | 39M| 54 | - | 60 |3171 | 60 | 19 | 23 | 71k|1856 | 0.000000e+00 | -- | Inf
83.57/83.62 c 76.6s|170000 | 58216 |490924 | 2.9 | 41M| 54 | 7 | 60 |3508 | 60 | 19 | 23 | 75k|1885 | 0.000000e+00 | -- | Inf
88.76/88.86 c 81.4s|180000 | 61182 |518609 | 2.9 | 44M| 54 | 7 | 60 |3344 | 60 | 19 | 23 | 80k|1911 | 0.000000e+00 | -- | Inf
93.97/94.10 c 86.2s|190000 | 64208 |547023 | 2.9 | 46M| 54 | 7 | 60 |3574 | 60 | 19 | 23 | 85k|1941 | 0.000000e+00 | -- | Inf
99.08/99.19 c 91.0s|200000 | 67329 |574648 | 2.9 | 48M| 54 | 7 | 60 |3613 | 60 | 19 | 23 | 89k|1966 | 0.000000e+00 | -- | Inf
104.37/104.40 c 95.7s|210000 | 70449 |602968 | 2.9 | 51M| 54 | - | 60 |3704 | 60 | 19 | 23 | 94k|2005 | 0.000000e+00 | -- | Inf
109.36/109.45 c 100s|220000 | 73809 |631131 | 2.9 | 53M| 54 | - | 60 |3397 | 60 | 19 | 23 | 98k|2030 | 0.000000e+00 | -- | Inf
114.56/114.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.56/114.62 c 105s|230000 | 77010 |658629 | 2.9 | 55M| 54 | 7 | 60 |3336 | 60 | 19 | 23 | 103k|2052 | 0.000000e+00 | -- | Inf
119.66/119.71 c 110s|240000 | 79998 |686604 | 2.9 | 58M| 54 | 7 | 60 |3866 | 60 | 19 | 23 | 107k|2071 | 0.000000e+00 | -- | Inf
124.86/124.91 c 115s|250000 | 83263 |714089 | 2.9 | 60M| 54 | 7 | 60 |3591 | 60 | 19 | 23 | 112k|2089 | 0.000000e+00 | -- | Inf
130.16/130.27 c 120s|260000 | 86225 |741872 | 2.9 | 62M| 54 | - | 60 |3158 | 60 | 19 | 23 | 117k|2120 | 0.000000e+00 | -- | Inf
135.45/135.52 c 124s|270000 | 89154 |770301 | 2.9 | 64M| 54 | 7 | 60 |3483 | 60 | 19 | 23 | 121k|2144 | 0.000000e+00 | -- | Inf
140.76/140.87 c 129s|280000 | 92226 |798030 | 2.8 | 66M| 54 | 7 | 60 |3412 | 60 | 19 | 23 | 126k|2163 | 0.000000e+00 | -- | Inf
146.15/146.24 c 134s|290000 | 95111 |825659 | 2.8 | 69M| 54 | - | 60 |3572 | 60 | 19 | 23 | 131k|2183 | 0.000000e+00 | -- | Inf
151.55/151.64 c 139s|300000 | 98199 |854212 | 2.8 | 71M| 54 | 7 | 60 |3530 | 60 | 19 | 23 | 136k|2205 | 0.000000e+00 | -- | Inf
156.76/156.86 c 144s|310000 |101400 |881945 | 2.8 | 73M| 54 | 7 | 60 |3737 | 60 | 19 | 23 | 140k|2229 | 0.000000e+00 | -- | Inf
162.05/162.18 c 149s|320000 |104383 |910141 | 2.8 | 76M| 54 | 7 | 60 |4153 | 60 | 19 | 23 | 145k|2240 | 0.000000e+00 | -- | Inf
167.44/167.55 c 154s|330000 |107429 |937560 | 2.8 | 78M| 54 | - | 60 |3830 | 60 | 19 | 23 | 149k|2259 | 0.000000e+00 | -- | Inf
172.75/172.86 c 159s|340000 |110477 |966025 | 2.8 | 80M| 54 | 7 | 60 |3628 | 60 | 19 | 23 | 154k|2278 | 0.000000e+00 | -- | Inf
177.85/177.91 c 164s|350000 |113900 |993741 | 2.8 | 82M| 54 | 7 | 60 |4431 | 60 | 19 | 23 | 158k|2296 | 0.000000e+00 | -- | Inf
183.34/183.43 c 169s|360000 |116868 | 1021k| 2.8 | 85M| 54 | 7 | 60 |3945 | 60 | 19 | 23 | 163k|2313 | 0.000000e+00 | -- | Inf
188.64/188.77 c 174s|370000 |119850 | 1049k| 2.8 | 87M| 54 | 7 | 60 |4114 | 60 | 19 | 23 | 168k|2333 | 0.000000e+00 | -- | Inf
194.24/194.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.24/194.35 c 179s|380000 |122750 | 1077k| 2.8 | 89M| 54 | 7 | 60 |3956 | 60 | 19 | 23 | 173k|2350 | 0.000000e+00 | -- | Inf
199.64/199.78 c 184s|390000 |125703 | 1105k| 2.8 | 91M| 54 | 7 | 60 |3673 | 60 | 19 | 23 | 177k|2366 | 0.000000e+00 | -- | Inf
205.04/205.10 c 189s|400000 |128723 | 1133k| 2.8 | 94M| 54 | 7 | 60 |4094 | 60 | 19 | 23 | 182k|2377 | 0.000000e+00 | -- | Inf
210.43/210.54 c 194s|410000 |131836 | 1161k| 2.8 | 96M| 54 | - | 60 |3968 | 60 | 19 | 23 | 187k|2383 | 0.000000e+00 | -- | Inf
215.54/215.65 c 199s|420000 |135225 | 1188k| 2.8 | 98M| 54 | 7 | 60 |4558 | 60 | 19 | 23 | 191k|2395 | 0.000000e+00 | -- | Inf
221.04/221.18 c 204s|430000 |138233 | 1216k| 2.8 | 101M| 54 | - | 60 |4541 | 60 | 19 | 23 | 196k|2412 | 0.000000e+00 | -- | Inf
226.64/226.71 c 209s|440000 |141298 | 1244k| 2.8 | 103M| 54 | 7 | 60 |4231 | 60 | 19 | 23 | 200k|2423 | 0.000000e+00 | -- | Inf
232.14/232.29 c 214s|450000 |144185 | 1273k| 2.8 | 105M| 54 | 7 | 60 |4181 | 60 | 19 | 23 | 205k|2438 | 0.000000e+00 | -- | Inf
237.64/237.75 c 219s|460000 |147254 | 1300k| 2.8 | 107M| 54 | 7 | 60 |4350 | 60 | 19 | 23 | 210k|2449 | 0.000000e+00 | -- | Inf
243.23/243.36 c 224s|470000 |150227 | 1328k| 2.8 | 110M| 54 | 7 | 60 |4290 | 60 | 19 | 23 | 214k|2455 | 0.000000e+00 | -- | Inf
248.92/249.01 c 229s|480000 |153019 | 1356k| 2.8 | 112M| 54 | - | 60 |3890 | 60 | 19 | 23 | 219k|2471 | 0.000000e+00 | -- | Inf
253.73/253.86 c 234s|490000 |156808 | 1384k| 2.8 | 114M| 54 | 7 | 60 |5293 | 60 | 19 | 23 | 223k|2490 | 0.000000e+00 | -- | Inf
259.23/259.30 c 239s|500000 |160114 | 1409k| 2.8 | 117M| 54 | - | 60 |5474 | 60 | 19 | 23 | 228k|2502 | 0.000000e+00 | -- | Inf
265.03/265.16 c 244s|510000 |163242 | 1437k| 2.8 | 119M| 54 | 7 | 60 |4360 | 60 | 19 | 23 | 233k|2519 | 0.000000e+00 | -- | Inf
270.72/270.80 c 250s|520000 |166230 | 1465k| 2.8 | 121M| 54 | 7 | 60 |4543 | 60 | 19 | 23 | 237k|2535 | 0.000000e+00 | -- | Inf
276.32/276.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.32/276.44 c 255s|530000 |169177 | 1493k| 2.8 | 123M| 54 | 7 | 60 |4532 | 60 | 19 | 23 | 242k|2546 | 0.000000e+00 | -- | Inf
282.02/282.16 c 260s|540000 |172191 | 1520k| 2.8 | 126M| 54 | - | 60 |4038 | 60 | 19 | 23 | 247k|2558 | 0.000000e+00 | -- | Inf
287.32/287.48 c 265s|550000 |175390 | 1547k| 2.8 | 128M| 54 | 7 | 60 |5003 | 60 | 19 | 23 | 251k|2573 | 0.000000e+00 | -- | Inf
292.81/292.94 c 270s|560000 |178515 | 1576k| 2.8 | 130M| 54 | 7 | 60 |5108 | 60 | 19 | 23 | 256k|2595 | 0.000000e+00 | -- | Inf
298.21/298.32 c 275s|570000 |181676 | 1603k| 2.8 | 133M| 54 | - | 60 |6037 | 60 | 19 | 23 | 261k|2601 | 0.000000e+00 | -- | Inf
304.21/304.34 c 281s|580000 |184693 | 1631k| 2.8 | 135M| 54 | 7 | 60 |4802 | 60 | 19 | 23 | 265k|2609 | 0.000000e+00 | -- | Inf
309.91/310.01 c 286s|590000 |187600 | 1659k| 2.8 | 137M| 54 | 7 | 60 |5006 | 60 | 19 | 23 | 270k|2617 | 0.000000e+00 | -- | Inf
315.51/315.64 c 291s|600000 |190820 | 1686k| 2.8 | 140M| 54 | 7 | 60 |4858 | 60 | 19 | 23 | 274k|2620 | 0.000000e+00 | -- | Inf
321.21/321.32 c 297s|610000 |193790 | 1713k| 2.8 | 142M| 54 | - | 60 |4909 | 60 | 19 | 23 | 279k|2627 | 0.000000e+00 | -- | Inf
326.81/326.92 c 302s|620000 |196869 | 1741k| 2.8 | 144M| 54 | - | 60 |5199 | 60 | 19 | 23 | 284k|2639 | 0.000000e+00 | -- | Inf
332.21/332.38 c 307s|630000 |200119 | 1768k| 2.8 | 147M| 54 | 7 | 60 |5514 | 60 | 19 | 23 | 288k|2648 | 0.000000e+00 | -- | Inf
338.20/338.36 c 312s|640000 |203148 | 1796k| 2.8 | 149M| 54 | - | 60 |4928 | 60 | 19 | 23 | 293k|2658 | 0.000000e+00 | -- | Inf
343.90/344.07 c 318s|650000 |206296 | 1823k| 2.8 | 151M| 54 | 7 | 60 |4506 | 60 | 19 | 23 | 297k|2666 | 0.000000e+00 | -- | Inf
349.70/349.82 c 323s|660000 |209337 | 1851k| 2.8 | 153M| 54 | - | 60 |4390 | 60 | 19 | 23 | 302k|2671 | 0.000000e+00 | -- | Inf
355.20/355.31 c 328s|670000 |212384 | 1878k| 2.8 | 156M| 54 | 7 | 60 |4696 | 60 | 19 | 23 | 307k|2671 | 0.000000e+00 | -- | Inf
360.60/360.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.60/360.73 c 333s|680000 |215371 | 1906k| 2.8 | 158M| 54 | - | 60 |5213 | 60 | 19 | 23 | 311k|2671 | 0.000000e+00 | -- | Inf
366.20/366.40 c 338s|690000 |218443 | 1933k| 2.8 | 160M| 54 | - | 60 |5385 | 0 | 0 | 23 | 316k|2671 | 0.000000e+00 | -- | Inf
372.19/372.37 c 344s|700000 |221264 | 1960k| 2.8 | 162M| 54 | 7 | 60 |4915 | 60 | 19 | 23 | 321k|2671 | 0.000000e+00 | -- | Inf
377.79/377.92 c 349s|710000 |224306 | 1989k| 2.8 | 165M| 54 | 7 | 60 |5461 | 60 | 19 | 23 | 325k|2671 | 0.000000e+00 | -- | Inf
383.80/383.96 c 355s|720000 |227282 | 2017k| 2.8 | 167M| 54 | - | 60 |4736 | 60 | 19 | 23 | 330k|2671 | 0.000000e+00 | -- | Inf
389.69/389.84 c 360s|730000 |230238 | 2045k| 2.8 | 169M| 54 | 7 | 60 |5110 | 60 | 19 | 23 | 335k|2681 | 0.000000e+00 | -- | Inf
395.39/395.57 c 365s|740000 |233240 | 2073k| 2.8 | 171M| 54 | 7 | 60 |4827 | 60 | 19 | 23 | 339k|2687 | 0.000000e+00 | -- | Inf
401.08/401.22 c 371s|750000 |236248 | 2102k| 2.8 | 173M| 54 | 7 | 60 |4500 | 60 | 19 | 23 | 344k|2694 | 0.000000e+00 | -- | Inf
406.28/406.47 c 375s|760000 |239412 | 2129k| 2.8 | 176M| 54 | 7 | 60 |5759 | 60 | 19 | 23 | 349k|2697 | 0.000000e+00 | -- | Inf
412.09/412.29 c 381s|770000 |242630 | 2157k| 2.8 | 178M| 54 | 7 | 60 |4732 | 60 | 19 | 23 | 353k|2697 | 0.000000e+00 | -- | Inf
417.89/418.08 c 386s|780000 |245530 | 2186k| 2.8 | 180M| 54 | 7 | 60 |4777 | 60 | 19 | 23 | 358k|2697 | 0.000000e+00 | -- | Inf
423.58/423.75 c 392s|790000 |248672 | 2213k| 2.8 | 183M| 54 | 7 | 60 |5491 | 60 | 19 | 23 | 363k|2697 | 0.000000e+00 | -- | Inf
429.18/429.34 c 397s|800000 |251742 | 2241k| 2.8 | 185M| 54 | 7 | 60 |5839 | 60 | 19 | 23 | 367k|2697 | 0.000000e+00 | -- | Inf
435.48/435.63 c 403s|810000 |254430 | 2269k| 2.8 | 187M| 54 | 7 | 60 |4499 | 60 | 19 | 23 | 372k|2697 | 0.000000e+00 | -- | Inf
441.08/441.25 c 408s|820000 |257255 | 2296k| 2.8 | 189M| 54 | - | 60 |5150 | 60 | 19 | 23 | 377k|2697 | 0.000000e+00 | -- | Inf
447.18/447.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.18/447.33 c 414s|830000 |260164 | 2324k| 2.8 | 191M| 54 | 7 | 60 |4565 | 60 | 19 | 23 | 382k|2697 | 0.000000e+00 | -- | Inf
452.97/453.10 c 419s|840000 |263095 | 2351k| 2.8 | 194M| 54 | 7 | 60 |4887 | 60 | 19 | 23 | 386k|2697 | 0.000000e+00 | -- | Inf
458.47/458.61 c 424s|850000 |266218 | 2379k| 2.8 | 196M| 54 | 7 | 60 |4957 | 60 | 19 | 23 | 391k|2697 | 0.000000e+00 | -- | Inf
464.07/464.28 c 429s|860000 |269280 | 2406k| 2.8 | 198M| 54 | 7 | 60 |5354 | 60 | 19 | 23 | 395k|2697 | 0.000000e+00 | -- | Inf
470.07/470.28 c 435s|870000 |272123 | 2434k| 2.8 | 201M| 54 | - | 60 |5040 | 60 | 19 | 23 | 400k|2697 | 0.000000e+00 | -- | Inf
475.87/476.03 c 440s|880000 |275100 | 2462k| 2.8 | 203M| 54 | 7 | 60 |5111 | 60 | 19 | 23 | 405k|2697 | 0.000000e+00 | -- | Inf
481.57/481.77 c 446s|890000 |278141 | 2489k| 2.8 | 205M| 54 | 7 | 60 |5159 | 60 | 19 | 23 | 409k|2697 | 0.000000e+00 | -- | Inf
486.86/487.09 c 450s|900000 |281302 | 2517k| 2.8 | 208M| 54 | - | 60 |6477 | 60 | 19 | 23 | 414k|2697 | 0.000000e+00 | -- | Inf
491.96/492.12 c 455s|910000 |284961 | 2544k| 2.8 | 210M| 54 | 7 | 60 |8374 | 60 | 19 | 23 | 418k|2697 | 0.000000e+00 | -- | Inf
498.06/498.23 c 461s|920000 |288128 | 2572k| 2.8 | 213M| 54 | 7 | 60 |6960 | 60 | 19 | 23 | 422k|2697 | 0.000000e+00 | -- | Inf
504.06/504.23 c 466s|930000 |291202 | 2600k| 2.8 | 215M| 54 | - | 60 |6755 | 60 | 19 | 23 | 427k|2697 | 0.000000e+00 | -- | Inf
510.76/510.99 c 473s|940000 |294019 | 2627k| 2.8 | 217M| 54 | - | 60 |4951 | 60 | 19 | 23 | 432k|2705 | 0.000000e+00 | -- | Inf
516.76/516.99 c 478s|950000 |296719 | 2655k| 2.8 | 219M| 54 | - | 60 |4692 | 60 | 19 | 23 | 437k|2705 | 0.000000e+00 | -- | Inf
522.96/523.14 c 484s|960000 |299506 | 2683k| 2.8 | 221M| 54 | - | 60 |4835 | 60 | 19 | 23 | 441k|2705 | 0.000000e+00 | -- | Inf
527.75/527.99 c 488s|970000 |303256 | 2709k| 2.8 | 224M| 54 | 7 | 60 |7209 | 60 | 19 | 23 | 446k|2705 | 0.000000e+00 | -- | Inf
534.05/534.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.05/534.22 c 494s|980000 |306336 | 2736k| 2.8 | 226M| 54 | - | 60 |5486 | 60 | 19 | 23 | 450k|2705 | 0.000000e+00 | -- | Inf
539.96/540.12 c 500s|990000 |309292 | 2764k| 2.8 | 228M| 54 | 7 | 60 |4584 | 60 | 19 | 23 | 455k|2705 | 0.000000e+00 | -- | Inf
545.65/545.84 c 505s| 1000k|312323 | 2791k| 2.8 | 230M| 54 | 7 | 60 |4958 | 60 | 19 | 23 | 459k|2705 | 0.000000e+00 | -- | Inf
550.85/551.08 c 510s| 1010k|315672 | 2819k| 2.8 | 233M| 54 | - | 60 |5733 | 60 | 19 | 23 | 464k|2705 | 0.000000e+00 | -- | Inf
557.05/557.29 c 516s| 1020k|318601 | 2847k| 2.8 | 235M| 54 | - | 60 |4492 | 60 | 19 | 23 | 469k|2712 | 0.000000e+00 | -- | Inf
562.34/562.56 c 521s| 1030k|321742 | 2874k| 2.8 | 237M| 54 | - | 60 |5895 | 60 | 19 | 23 | 473k|2718 | 0.000000e+00 | -- | Inf
567.94/568.19 c 526s| 1040k|325150 | 2901k| 2.8 | 240M| 54 | - | 60 |6217 | 60 | 19 | 23 | 478k|2718 | 0.000000e+00 | -- | Inf
574.15/574.32 c 532s| 1050k|328238 | 2929k| 2.8 | 242M| 54 | - | 60 |5150 | 60 | 19 | 23 | 482k|2718 | 0.000000e+00 | -- | Inf
580.04/580.20 c 537s| 1060k|331143 | 2957k| 2.8 | 244M| 54 | 7 | 60 |5100 | 60 | 19 | 23 | 487k|2718 | 0.000000e+00 | -- | Inf
585.94/586.11 c 542s| 1070k|334020 | 2985k| 2.8 | 246M| 54 | 7 | 60 |5390 | 60 | 19 | 23 | 492k|2718 | 0.000000e+00 | -- | Inf
591.93/592.14 c 548s| 1080k|336856 | 3013k| 2.8 | 248M| 54 | - | 60 |5504 | 60 | 19 | 23 | 497k|2720 | 0.000000e+00 | -- | Inf
598.13/598.34 c 554s| 1090k|339690 | 3040k| 2.8 | 250M| 54 | 7 | 60 |5173 | 60 | 19 | 23 | 502k|2726 | 0.000000e+00 | -- | Inf
603.84/604.08 c 559s| 1100k|342741 | 3068k| 2.8 | 253M| 54 | - | 60 |5810 | 60 | 19 | 23 | 506k|2732 | 0.000000e+00 | -- | Inf
610.13/610.31 c 565s| 1110k|345725 | 3095k| 2.8 | 255M| 54 | - | 60 |5186 | 60 | 19 | 23 | 511k|2732 | 0.000000e+00 | -- | Inf
616.03/616.28 c 571s| 1120k|348604 | 3122k| 2.8 | 257M| 54 | - | 60 |5513 | 60 | 19 | 23 | 516k|2732 | 0.000000e+00 | -- | Inf
622.23/622.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.23/622.43 c 576s| 1130k|351408 | 3150k| 2.8 | 259M| 54 | 7 | 60 |5057 | 60 | 19 | 23 | 520k|2732 | 0.000000e+00 | -- | Inf
628.04/628.23 c 582s| 1140k|354424 | 3178k| 2.8 | 262M| 54 | - | 60 |5562 | 60 | 19 | 23 | 525k|2732 | 0.000000e+00 | -- | Inf
634.13/634.36 c 587s| 1150k|357182 | 3205k| 2.8 | 264M| 54 | 7 | 60 |5034 | 60 | 19 | 23 | 530k|2733 | 0.000000e+00 | -- | Inf
640.03/640.24 c 593s| 1160k|360049 | 3233k| 2.8 | 266M| 54 | - | 60 |5462 | 60 | 19 | 23 | 535k|2738 | 0.000000e+00 | -- | Inf
646.12/646.31 c 599s| 1170k|363089 | 3260k| 2.8 | 268M| 54 | - | 60 |5497 | 60 | 19 | 23 | 539k|2743 | 0.000000e+00 | -- | Inf
651.92/652.16 c 604s| 1180k|366145 | 3286k| 2.8 | 271M| 54 | - | 60 |5672 | 60 | 19 | 23 | 544k|2743 | 0.000000e+00 | -- | Inf
657.91/658.15 c 610s| 1190k|369262 | 3314k| 2.8 | 273M| 54 | 7 | 60 |5419 | 60 | 19 | 23 | 549k|2743 | 0.000000e+00 | -- | Inf
663.71/663.92 c 615s| 1200k|372348 | 3341k| 2.8 | 275M| 54 | 7 | 60 |6216 | 60 | 19 | 23 | 553k|2743 | 0.000000e+00 | -- | Inf
668.91/669.19 c 620s| 1210k|376046 | 3368k| 2.8 | 278M| 54 | 7 | 60 |7834 | 60 | 19 | 23 | 557k|2743 | 0.000000e+00 | -- | Inf
675.41/675.62 c 626s| 1220k|379054 | 3395k| 2.8 | 280M| 54 | - | 60 |6365 | 60 | 19 | 23 | 562k|2743 | 0.000000e+00 | -- | Inf
681.61/681.89 c 632s| 1230k|382046 | 3422k| 2.8 | 282M| 54 | 7 | 60 |5676 | 60 | 19 | 23 | 566k|2743 | 0.000000e+00 | -- | Inf
688.11/688.37 c 638s| 1240k|384880 | 3450k| 2.8 | 284M| 54 | 7 | 60 |5604 | 60 | 19 | 23 | 571k|2743 | 0.000000e+00 | -- | Inf
694.01/694.29 c 643s| 1250k|387982 | 3477k| 2.8 | 287M| 54 | 7 | 60 |5445 | 60 | 19 | 23 | 576k|2743 | 0.000000e+00 | -- | Inf
700.30/700.56 c 649s| 1260k|390614 | 3505k| 2.8 | 289M| 54 | 7 | 60 |5337 | 60 | 19 | 23 | 581k|2743 | 0.000000e+00 | -- | Inf
706.40/706.67 c 655s| 1270k|393599 | 3532k| 2.8 | 291M| 54 | 7 | 60 |5088 | 60 | 19 | 23 | 585k|2743 | 0.000000e+00 | -- | Inf
712.71/712.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.71/712.91 c 661s| 1280k|396386 | 3560k| 2.8 | 293M| 54 | 7 | 60 |4974 | 60 | 19 | 23 | 590k|2743 | 0.000000e+00 | -- | Inf
718.21/718.49 c 666s| 1290k|399653 | 3589k| 2.8 | 296M| 54 | 7 | 60 |6040 | 60 | 19 | 23 | 595k|2743 | 0.000000e+00 | -- | Inf
724.30/724.51 c 672s| 1300k|402620 | 3616k| 2.8 | 298M| 54 | - | 60 |6492 | 0 | 0 | 23 | 599k|2743 | 0.000000e+00 | -- | Inf
730.80/731.10 c 678s| 1310k|405343 | 3644k| 2.8 | 300M| 54 | 7 | 60 |5315 | 60 | 19 | 23 | 604k|2743 | 0.000000e+00 | -- | Inf
736.29/736.58 c 683s| 1320k|408524 | 3672k| 2.8 | 302M| 54 | - | 60 |6714 | 60 | 19 | 23 | 609k|2743 | 0.000000e+00 | -- | Inf
742.89/743.11 c 689s| 1330k|411291 | 3699k| 2.8 | 304M| 54 | 7 | 60 |5693 | 60 | 19 | 23 | 614k|2743 | 0.000000e+00 | -- | Inf
748.59/748.83 c 694s| 1340k|414401 | 3726k| 2.8 | 307M| 54 | 7 | 60 |5629 | 60 | 19 | 23 | 618k|2743 | 0.000000e+00 | -- | Inf
754.59/754.81 c 700s| 1350k|417391 | 3753k| 2.8 | 309M| 54 | 7 | 60 |5603 | 60 | 19 | 23 | 623k|2743 | 0.000000e+00 | -- | Inf
760.49/760.77 c 705s| 1360k|420447 | 3781k| 2.8 | 311M| 54 | - | 60 |5279 | 60 | 19 | 23 | 627k|2743 | 0.000000e+00 | -- | Inf
766.89/767.10 c 711s| 1370k|423189 | 3808k| 2.8 | 313M| 54 | 7 | 60 |4959 | 60 | 19 | 23 | 632k|2743 | 0.000000e+00 | -- | Inf
772.79/773.10 c 717s| 1380k|425972 | 3836k| 2.8 | 315M| 54 | 7 | 60 |5145 | 60 | 19 | 23 | 637k|2743 | 0.000000e+00 | -- | Inf
778.79/779.00 c 722s| 1390k|428825 | 3863k| 2.8 | 318M| 54 | 7 | 60 |5517 | 60 | 19 | 23 | 642k|2743 | 0.000000e+00 | -- | Inf
784.48/784.77 c 728s| 1400k|431901 | 3890k| 2.8 | 320M| 54 | - | 60 |5072 | 60 | 19 | 23 | 646k|2743 | 0.000000e+00 | -- | Inf
790.28/790.53 c 733s| 1410k|434908 | 3917k| 2.8 | 322M| 54 | 7 | 60 |5743 | 60 | 19 | 23 | 651k|2743 | 0.000000e+00 | -- | Inf
796.49/796.72 c 739s| 1420k|437704 | 3945k| 2.8 | 324M| 54 | 7 | 60 |5740 | 60 | 19 | 23 | 656k|2743 | 0.000000e+00 | -- | Inf
802.88/803.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.88/803.12 c 745s| 1430k|440470 | 3973k| 2.8 | 327M| 54 | - | 60 |5560 | 60 | 19 | 23 | 660k|2743 | 0.000000e+00 | -- | Inf
809.18/809.44 c 751s| 1440k|443240 | 4000k| 2.8 | 329M| 54 | 7 | 60 |5301 | 60 | 19 | 23 | 665k|2743 | 0.000000e+00 | -- | Inf
814.48/814.75 c 756s| 1450k|446633 | 4027k| 2.8 | 331M| 54 | 7 | 60 |6395 | 60 | 19 | 23 | 670k|2743 | 0.000000e+00 | -- | Inf
820.58/820.89 c 761s| 1460k|449683 | 4055k| 2.8 | 333M| 54 | - | 60 |5814 | 60 | 19 | 23 | 674k|2743 | 0.000000e+00 | -- | Inf
826.98/827.26 c 767s| 1470k|452429 | 4082k| 2.8 | 335M| 54 | 7 | 60 |5461 | 60 | 19 | 23 | 679k|2743 | 0.000000e+00 | -- | Inf
833.17/833.45 c 773s| 1480k|455446 | 4110k| 2.8 | 338M| 54 | 7 | 60 |5317 | 60 | 19 | 23 | 684k|2743 | 0.000000e+00 | -- | Inf
839.46/839.71 c 779s| 1490k|458275 | 4138k| 2.8 | 340M| 54 | 7 | 60 |4878 | 60 | 19 | 23 | 689k|2743 | 0.000000e+00 | -- | Inf
845.36/845.67 c 785s| 1500k|461138 | 4165k| 2.8 | 342M| 54 | 7 | 60 |5244 | 60 | 19 | 23 | 693k|2743 | 0.000000e+00 | -- | Inf
851.27/851.54 c 790s| 1510k|464052 | 4193k| 2.8 | 344M| 54 | - | 60 |5734 | 60 | 19 | 23 | 698k|2743 | 0.000000e+00 | -- | Inf
857.47/857.75 c 796s| 1520k|467092 | 4221k| 2.8 | 346M| 54 | 7 | 60 |4931 | 60 | 19 | 23 | 703k|2743 | 0.000000e+00 | -- | Inf
862.87/863.14 c 801s| 1530k|470238 | 4249k| 2.8 | 349M| 54 | 7 | 60 |6074 | 60 | 19 | 23 | 707k|2743 | 0.000000e+00 | -- | Inf
868.86/869.18 c 807s| 1540k|473216 | 4276k| 2.8 | 351M| 54 | - | 60 |6396 | 60 | 19 | 23 | 712k|2743 | 0.000000e+00 | -- | Inf
874.54/874.89 c 812s| 1550k|476510 | 4303k| 2.8 | 354M| 54 | 7 | 60 |7015 | 60 | 19 | 23 | 716k|2743 | 0.000000e+00 | -- | Inf
881.34/881.62 c 818s| 1560k|479431 | 4330k| 2.8 | 356M| 54 | 7 | 60 |5614 | 60 | 19 | 23 | 721k|2743 | 0.000000e+00 | -- | Inf
887.45/887.72 c 824s| 1570k|482312 | 4358k| 2.8 | 358M| 54 | 7 | 60 |5843 | 60 | 19 | 23 | 726k|2743 | 0.000000e+00 | -- | Inf
893.64/893.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.64/893.93 c 830s| 1580k|485160 | 4385k| 2.8 | 360M| 54 | - | 60 |5548 | 60 | 19 | 23 | 731k|2743 | 0.000000e+00 | -- | Inf
899.55/899.87 c 835s| 1590k|488114 | 4413k| 2.8 | 362M| 54 | - | 60 |5889 | 60 | 19 | 23 | 735k|2743 | 0.000000e+00 | -- | Inf
905.73/906.08 c 841s| 1600k|490847 | 4440k| 2.8 | 365M| 54 | - | 60 |6041 | 60 | 19 | 23 | 740k|2743 | 0.000000e+00 | -- | Inf
912.44/912.73 c 847s| 1610k|493650 | 4468k| 2.8 | 367M| 54 | 7 | 60 |5589 | 60 | 19 | 23 | 745k|2743 | 0.000000e+00 | -- | Inf
918.73/919.02 c 853s| 1620k|496388 | 4496k| 2.8 | 369M| 54 | 7 | 60 |5397 | 60 | 19 | 23 | 750k|2743 | 0.000000e+00 | -- | Inf
924.84/925.17 c 859s| 1630k|499274 | 4523k| 2.8 | 371M| 54 | 7 | 60 |5290 | 60 | 19 | 23 | 754k|2743 | 0.000000e+00 | -- | Inf
930.63/930.96 c 864s| 1640k|502341 | 4551k| 2.8 | 374M| 54 | 7 | 60 |6436 | 60 | 19 | 23 | 759k|2743 | 0.000000e+00 | -- | Inf
937.33/937.63 c 871s| 1650k|505104 | 4578k| 2.8 | 375M| 54 | 7 | 60 |5290 | 60 | 19 | 23 | 764k|2743 | 0.000000e+00 | -- | Inf
943.33/943.60 c 876s| 1660k|508159 | 4605k| 2.8 | 378M| 54 | 7 | 60 |5285 | 60 | 19 | 23 | 768k|2743 | 0.000000e+00 | -- | Inf
949.13/949.45 c 882s| 1670k|511171 | 4632k| 2.8 | 380M| 54 | 7 | 60 |5776 | 60 | 19 | 23 | 773k|2743 | 0.000000e+00 | -- | Inf
955.32/955.68 c 887s| 1680k|514163 | 4659k| 2.8 | 382M| 54 | 7 | 60 |5353 | 60 | 19 | 23 | 778k|2743 | 0.000000e+00 | -- | Inf
961.23/961.58 c 893s| 1690k|517239 | 4687k| 2.8 | 385M| 54 | 7 | 60 |6187 | 60 | 19 | 23 | 782k|2743 | 0.000000e+00 | -- | Inf
967.83/968.18 c 899s| 1700k|520044 | 4714k| 2.8 | 387M| 54 | 7 | 60 |5696 | 60 | 19 | 23 | 787k|2743 | 0.000000e+00 | -- | Inf
973.82/974.16 c 905s| 1710k|523109 | 4741k| 2.8 | 389M| 54 | 7 | 60 |5437 | 60 | 19 | 23 | 792k|2743 | 0.000000e+00 | -- | Inf
979.92/980.20 c 910s| 1720k|525860 | 4768k| 2.8 | 391M| 54 | 7 | 60 |5076 | 60 | 19 | 23 | 796k|2743 | 0.000000e+00 | -- | Inf
986.02/986.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.02/986.36 c 916s| 1730k|528686 | 4795k| 2.8 | 393M| 54 | 7 | 60 |5127 | 60 | 19 | 23 | 801k|2743 | 0.000000e+00 | -- | Inf
992.02/992.31 c 922s| 1740k|531638 | 4823k| 2.8 | 396M| 54 | 7 | 60 |5303 | 60 | 19 | 23 | 806k|2743 | 0.000000e+00 | -- | Inf
997.91/998.21 c 927s| 1750k|534629 | 4850k| 2.8 | 398M| 54 | 7 | 60 |6054 | 60 | 19 | 23 | 810k|2743 | 0.000000e+00 | -- | Inf
1003.91/1004.27 c 933s| 1760k|537558 | 4877k| 2.8 | 400M| 54 | 7 | 60 |6442 | 60 | 19 | 23 | 815k|2743 | 0.000000e+00 | -- | Inf
1009.81/1010.11 c 938s| 1770k|540861 | 4904k| 2.8 | 403M| 54 | - | 60 |7160 | 60 | 19 | 23 | 819k|2743 | 0.000000e+00 | -- | Inf
1016.22/1016.58 c 944s| 1780k|543835 | 4932k| 2.8 | 405M| 54 | 7 | 60 |6924 | 60 | 19 | 23 | 824k|2743 | 0.000000e+00 | -- | Inf
1022.50/1022.83 c 950s| 1790k|546678 | 4959k| 2.8 | 407M| 54 | 7 | 60 |7141 | 60 | 19 | 23 | 829k|2743 | 0.000000e+00 | -- | Inf
1029.20/1029.56 c 957s| 1800k|549454 | 4987k| 2.8 | 409M| 54 | 7 | 60 |6240 | 60 | 19 | 23 | 834k|2743 | 0.000000e+00 | -- | Inf
1035.51/1035.87 c 962s| 1810k|552327 | 5014k| 2.8 | 411M| 54 | 7 | 60 |5881 | 60 | 19 | 23 | 838k|2743 | 0.000000e+00 | -- | Inf
1041.50/1041.81 c 968s| 1820k|555136 | 5041k| 2.8 | 414M| 54 | - | 60 |6239 | 60 | 19 | 23 | 843k|2743 | 0.000000e+00 | -- | Inf
1047.60/1047.92 c 974s| 1830k|557985 | 5069k| 2.8 | 416M| 54 | - | 60 |6360 | 60 | 19 | 23 | 848k|2743 | 0.000000e+00 | -- | Inf
1054.30/1054.66 c 980s| 1840k|560752 | 5096k| 2.8 | 418M| 54 | 7 | 60 |5470 | 60 | 19 | 23 | 852k|2743 | 0.000000e+00 | -- | Inf
1060.29/1060.62 c 986s| 1850k|563689 | 5123k| 2.8 | 420M| 54 | 7 | 60 |5899 | 60 | 19 | 23 | 857k|2743 | 0.000000e+00 | -- | Inf
1066.70/1067.06 c 992s| 1860k|566482 | 5150k| 2.8 | 422M| 54 | 7 | 60 |5365 | 60 | 19 | 23 | 862k|2743 | 0.000000e+00 | -- | Inf
1072.99/1073.37 c 997s| 1870k|569196 | 5177k| 2.8 | 425M| 54 | 7 | 60 |5619 | 60 | 19 | 23 | 867k|2743 | 0.000000e+00 | -- | Inf
1079.39/1079.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.39/1079.75 c 1003s| 1880k|571963 | 5205k| 2.8 | 427M| 54 | 7 | 60 |5636 | 60 | 19 | 23 | 871k|2743 | 0.000000e+00 | -- | Inf
1085.59/1085.96 c 1009s| 1890k|574736 | 5233k| 2.8 | 429M| 54 | - | 60 |5581 | 60 | 19 | 23 | 876k|2743 | 0.000000e+00 | -- | Inf
1091.39/1091.71 c 1015s| 1900k|577874 | 5260k| 2.8 | 431M| 54 | 7 | 60 |6494 | 60 | 19 | 23 | 881k|2743 | 0.000000e+00 | -- | Inf
1096.88/1097.21 c 1020s| 1910k|581410 | 5288k| 2.8 | 434M| 54 | 7 | 60 |7528 | 60 | 19 | 23 | 885k|2743 | 0.000000e+00 | -- | Inf
1102.99/1103.37 c 1026s| 1920k|584341 | 5314k| 2.8 | 437M| 54 | 7 | 60 |8794 | 60 | 19 | 23 | 890k|2743 | 0.000000e+00 | -- | Inf
1109.69/1110.06 c 1032s| 1930k|587503 | 5342k| 2.8 | 439M| 54 | 7 | 60 |8007 | 60 | 19 | 23 | 894k|2743 | 0.000000e+00 | -- | Inf
1116.48/1116.88 c 1038s| 1940k|590284 | 5370k| 2.8 | 441M| 54 | 7 | 60 |6467 | 60 | 19 | 23 | 899k|2743 | 0.000000e+00 | -- | Inf
1122.89/1123.27 c 1044s| 1950k|593180 | 5398k| 2.8 | 443M| 54 | 7 | 60 |6071 | 60 | 19 | 23 | 904k|2743 | 0.000000e+00 | -- | Inf
1129.48/1129.88 c 1050s| 1960k|595854 | 5425k| 2.8 | 445M| 54 | 7 | 60 |5466 | 60 | 19 | 23 | 909k|2743 | 0.000000e+00 | -- | Inf
1135.78/1136.14 c 1056s| 1970k|598659 | 5452k| 2.8 | 447M| 54 | 7 | 60 |5424 | 60 | 19 | 23 | 913k|2743 | 0.000000e+00 | -- | Inf
1141.98/1142.37 c 1062s| 1980k|601456 | 5480k| 2.8 | 449M| 54 | - | 60 |5951 | 60 | 19 | 23 | 918k|2743 | 0.000000e+00 | -- | Inf
1148.87/1149.20 c 1068s| 1990k|604145 | 5507k| 2.8 | 451M| 54 | - | 60 |5216 | 60 | 19 | 23 | 923k|2743 | 0.000000e+00 | -- | Inf
1154.57/1154.92 c 1074s| 2000k|607162 | 5534k| 2.8 | 454M| 54 | - | 60 |6472 | 60 | 19 | 23 | 928k|2743 | 0.000000e+00 | -- | Inf
1160.57/1160.99 c 1080s| 2010k|610038 | 5561k| 2.8 | 456M| 54 | 7 | 60 |6497 | 60 | 19 | 23 | 932k|2743 | 0.000000e+00 | -- | Inf
1166.47/1166.84 c 1085s| 2020k|613115 | 5589k| 2.8 | 458M| 54 | 7 | 60 |6791 | 60 | 19 | 23 | 937k|2743 | 0.000000e+00 | -- | Inf
1172.47/1172.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.47/1172.83 c 1091s| 2030k|616126 | 5616k| 2.8 | 461M| 54 | - | 60 |6632 | 60 | 19 | 23 | 941k|2743 | 0.000000e+00 | -- | Inf
1178.76/1179.12 c 1096s| 2040k|619263 | 5644k| 2.8 | 463M| 54 | 7 | 60 |6277 | 60 | 19 | 23 | 946k|2743 | 0.000000e+00 | -- | Inf
1184.86/1185.29 c 1102s| 2050k|622005 | 5671k| 2.8 | 465M| 54 | 7 | 60 |6747 | 60 | 19 | 23 | 951k|2743 | 0.000000e+00 | -- | Inf
1191.26/1191.65 c 1108s| 2060k|624826 | 5697k| 2.8 | 467M| 54 | 7 | 60 |6285 | 60 | 19 | 23 | 956k|2743 | 0.000000e+00 | -- | Inf
1196.56/1196.91 c 1113s| 2070k|628529 | 5726k| 2.8 | 470M| 54 | 7 | 60 |7932 | 60 | 19 | 23 | 960k|2743 | 0.000000e+00 | -- | Inf
1203.16/1203.55 c 1119s| 2080k|631762 | 5754k| 2.8 | 472M| 54 | 7 | 60 |6380 | 60 | 19 | 23 | 964k|2743 | 0.000000e+00 | -- | Inf
1209.36/1209.78 c 1125s| 2090k|634599 | 5781k| 2.8 | 474M| 54 | - | 60 |6381 | 60 | 19 | 23 | 969k|2743 | 0.000000e+00 | -- | Inf
1216.15/1216.51 c 1131s| 2100k|637242 | 5808k| 2.8 | 476M| 54 | 7 | 60 |5562 | 60 | 19 | 23 | 974k|2743 | 0.000000e+00 | -- | Inf
1222.15/1222.53 c 1137s| 2110k|640239 | 5835k| 2.8 | 479M| 54 | 7 | 60 |5896 | 60 | 19 | 23 | 978k|2743 | 0.000000e+00 | -- | Inf
1227.85/1228.29 c 1142s| 2120k|643437 | 5862k| 2.8 | 481M| 54 | 7 | 60 |6265 | 60 | 19 | 23 | 983k|2743 | 0.000000e+00 | -- | Inf
1233.96/1234.39 c 1148s| 2130k|646351 | 5890k| 2.8 | 483M| 54 | 7 | 60 |6372 | 60 | 19 | 23 | 988k|2743 | 0.000000e+00 | -- | Inf
1239.95/1240.32 c 1154s| 2140k|649156 | 5917k| 2.8 | 485M| 54 | - | 60 |6441 | 60 | 19 | 23 | 992k|2743 | 0.000000e+00 | -- | Inf
1246.05/1246.48 c 1159s| 2150k|652030 | 5945k| 2.8 | 488M| 54 | 7 | 60 |6460 | 60 | 19 | 23 | 997k|2743 | 0.000000e+00 | -- | Inf
1252.45/1252.83 c 1165s| 2160k|654999 | 5972k| 2.8 | 490M| 54 | 7 | 60 |6357 | 60 | 19 | 23 |1002k|2743 | 0.000000e+00 | -- | Inf
1258.84/1259.22 c 1171s| 2170k|657863 | 5999k| 2.8 | 492M| 54 | - | 60 |6177 | 60 | 19 | 23 |1006k|2743 | 0.000000e+00 | -- | Inf
1265.44/1265.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.44/1265.84 c 1178s| 2180k|660741 | 6026k| 2.8 | 494M| 54 | - | 60 |5308 | 60 | 19 | 23 |1011k|2743 | 0.000000e+00 | -- | Inf
1271.04/1271.48 c 1183s| 2190k|664171 | 6052k| 2.8 | 497M| 54 | - | 60 |6678 | 60 | 19 | 23 |1015k|2743 | 0.000000e+00 | -- | Inf
1278.04/1278.43 c 1189s| 2200k|666978 | 6080k| 2.8 | 499M| 54 | 7 | 60 |5771 | 60 | 19 | 23 |1020k|2743 | 0.000000e+00 | -- | Inf
1284.03/1284.45 c 1195s| 2210k|669780 | 6107k| 2.8 | 501M| 54 | 7 | 60 |6460 | 60 | 19 | 23 |1025k|2743 | 0.000000e+00 | -- | Inf
1290.63/1291.02 c 1201s| 2220k|672585 | 6134k| 2.8 | 503M| 54 | 7 | 60 |5179 | 60 | 19 | 23 |1030k|2743 | 0.000000e+00 | -- | Inf
1296.34/1296.76 c 1206s| 2230k|675753 | 6161k| 2.8 | 505M| 54 | 7 | 60 |6164 | 60 | 19 | 23 |1034k|2743 | 0.000000e+00 | -- | Inf
1302.83/1303.25 c 1213s| 2240k|678588 | 6188k| 2.8 | 508M| 54 | 7 | 60 |6100 | 60 | 19 | 23 |1039k|2743 | 0.000000e+00 | -- | Inf
1308.83/1309.25 c 1218s| 2250k|681693 | 6216k| 2.8 | 510M| 54 | - | 60 |6047 | 60 | 19 | 23 |1044k|2743 | 0.000000e+00 | -- | Inf
1314.82/1315.28 c 1224s| 2260k|684715 | 6244k| 2.8 | 512M| 54 | 7 | 60 |6434 | 60 | 19 | 23 |1048k|2743 | 0.000000e+00 | -- | Inf
1320.33/1320.79 c 1229s| 2270k|688093 | 6270k| 2.8 | 515M| 54 | - | 60 |7067 | 60 | 19 | 23 |1053k|2743 | 0.000000e+00 | -- | Inf
1327.13/1327.51 c 1235s| 2280k|690924 | 6297k| 2.8 | 517M| 54 | - | 60 |5558 | 60 | 19 | 23 |1057k|2743 | 0.000000e+00 | -- | Inf
1333.22/1333.68 c 1241s| 2290k|693797 | 6324k| 2.8 | 519M| 54 | 7 | 60 |5527 | 60 | 19 | 23 |1062k|2743 | 0.000000e+00 | -- | Inf
1339.32/1339.74 c 1247s| 2300k|696750 | 6351k| 2.8 | 521M| 54 | 7 | 60 |5489 | 60 | 19 | 23 |1066k|2743 | 0.000000e+00 | -- | Inf
1345.32/1345.76 c 1252s| 2310k|699730 | 6378k| 2.8 | 523M| 54 | - | 60 |6192 | 60 | 19 | 23 |1071k|2743 | 0.000000e+00 | -- | Inf
1351.82/1352.26 c 1258s| 2320k|702530 | 6405k| 2.8 | 526M| 54 | 7 | 60 |5980 | 60 | 19 | 23 |1076k|2743 | 0.000000e+00 | -- | Inf
1358.42/1358.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.42/1358.80 c 1264s| 2330k|705345 | 6432k| 2.8 | 528M| 54 | - | 60 |5116 | 60 | 19 | 23 |1080k|2743 | 0.000000e+00 | -- | Inf
1364.72/1365.12 c 1270s| 2340k|708090 | 6459k| 2.8 | 530M| 54 | 7 | 60 |5187 | 60 | 19 | 23 |1085k|2743 | 0.000000e+00 | -- | Inf
1371.02/1371.44 c 1276s| 2350k|711047 | 6485k| 2.8 | 532M| 54 | 7 | 60 |5170 | 60 | 19 | 23 |1090k|2743 | 0.000000e+00 | -- | Inf
1376.82/1377.29 c 1282s| 2360k|713858 | 6513k| 2.8 | 534M| 54 | - | 60 |6308 | 60 | 19 | 23 |1095k|2743 | 0.000000e+00 | -- | Inf
1383.42/1383.86 c 1288s| 2370k|716681 | 6540k| 2.8 | 536M| 54 | - | 60 |5444 | 60 | 19 | 23 |1099k|2743 | 0.000000e+00 | -- | Inf
1389.61/1390.07 c 1294s| 2380k|719492 | 6568k| 2.8 | 539M| 54 | 7 | 60 |5585 | 60 | 19 | 23 |1104k|2743 | 0.000000e+00 | -- | Inf
1396.10/1396.52 c 1300s| 2390k|722211 | 6596k| 2.8 | 541M| 54 | - | 60 |6012 | 60 | 19 | 23 |1109k|2743 | 0.000000e+00 | -- | Inf
1402.91/1403.30 c 1306s| 2400k|724836 | 6624k| 2.8 | 543M| 54 | - | 60 |5532 | 60 | 19 | 23 |1114k|2743 | 0.000000e+00 | -- | Inf
1409.41/1409.83 c 1312s| 2410k|727561 | 6651k| 2.8 | 545M| 54 | 7 | 60 |4961 | 60 | 19 | 23 |1119k|2743 | 0.000000e+00 | -- | Inf
1415.41/1415.83 c 1318s| 2420k|730513 | 6679k| 2.8 | 547M| 54 | 7 | 60 |5908 | 60 | 19 | 23 |1123k|2743 | 0.000000e+00 | -- | Inf
1421.80/1422.28 c 1324s| 2430k|733386 | 6705k| 2.8 | 550M| 54 | 7 | 60 |5887 | 60 | 19 | 23 |1128k|2743 | 0.000000e+00 | -- | Inf
1428.30/1428.77 c 1330s| 2440k|736255 | 6731k| 2.8 | 552M| 54 | 7 | 60 |5709 | 60 | 19 | 23 |1133k|2743 | 0.000000e+00 | -- | Inf
1434.80/1435.29 c 1336s| 2450k|738975 | 6759k| 2.8 | 554M| 54 | 7 | 60 |5904 | 60 | 19 | 23 |1138k|2743 | 0.000000e+00 | -- | Inf
1440.79/1441.20 c 1342s| 2460k|742286 | 6785k| 2.8 | 557M| 54 | 7 | 60 |6470 | 60 | 19 | 23 |1142k|2743 | 0.000000e+00 | -- | Inf
1446.89/1447.39 c 1347s| 2470k|745414 | 6812k| 2.8 | 559M| 54 | 7 | 60 |6475 | 60 | 19 | 23 |1146k|2743 | 0.000000e+00 | -- | Inf
1453.80/1454.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.80/1454.25 c 1354s| 2480k|748118 | 6840k| 2.8 | 561M| 54 | 7 | 60 |5944 | 60 | 19 | 23 |1151k|2743 | 0.000000e+00 | -- | Inf
1460.09/1460.55 c 1360s| 2490k|751027 | 6867k| 2.8 | 563M| 54 | - | 60 |5776 | 60 | 19 | 23 |1156k|2743 | 0.000000e+00 | -- | Inf
1466.58/1467.00 c 1366s| 2500k|753991 | 6895k| 2.8 | 565M| 54 | 7 | 60 |6215 | 60 | 19 | 23 |1161k|2743 | 0.000000e+00 | -- | Inf
1472.88/1473.39 c 1372s| 2510k|756716 | 6922k| 2.8 | 567M| 54 | - | 60 |6317 | 60 | 19 | 23 |1165k|2743 | 0.000000e+00 | -- | Inf
1479.28/1479.77 c 1378s| 2520k|759627 | 6949k| 2.8 | 570M| 54 | 7 | 60 |6314 | 60 | 19 | 23 |1170k|2743 | 0.000000e+00 | -- | Inf
1485.79/1486.29 c 1384s| 2530k|762526 | 6976k| 2.8 | 572M| 54 | 7 | 60 |6054 | 60 | 19 | 23 |1175k|2743 | 0.000000e+00 | -- | Inf
1492.29/1492.77 c 1390s| 2540k|765227 | 7004k| 2.8 | 574M| 54 | 7 | 60 |6368 | 60 | 19 | 23 |1180k|2743 | 0.000000e+00 | -- | Inf
1498.99/1499.45 c 1396s| 2550k|768043 | 7030k| 2.8 | 576M| 54 | 7 | 60 |5471 | 60 | 19 | 23 |1184k|2743 | 0.000000e+00 | -- | Inf
1504.88/1505.34 c 1402s| 2560k|770997 | 7057k| 2.8 | 579M| 54 | - | 60 |6488 | 0 | 0 | 23 |1189k|2743 | 0.000000e+00 | -- | Inf
1510.88/1511.38 c 1407s| 2570k|774285 | 7085k| 2.8 | 581M| 54 | 7 | 60 |6095 | 60 | 19 | 23 |1193k|2743 | 0.000000e+00 | -- | Inf
1516.67/1517.14 c 1413s| 2580k|777600 | 7114k| 2.8 | 583M| 54 | - | 60 |6367 | 60 | 19 | 23 |1198k|2743 | 0.000000e+00 | -- | Inf
1522.57/1523.07 c 1418s| 2590k|780458 | 7141k| 2.8 | 586M| 54 | - | 60 |6983 | 60 | 19 | 23 |1203k|2743 | 0.000000e+00 | -- | Inf
1528.68/1529.14 c 1424s| 2600k|783328 | 7168k| 2.8 | 588M| 54 | 7 | 60 |6668 | 60 | 19 | 23 |1208k|2743 | 0.000000e+00 | -- | Inf
1534.97/1535.41 c 1430s| 2610k|785827 | 7196k| 2.8 | 590M| 54 | - | 60 |7239 | 60 | 19 | 23 |1213k|2743 | 0.000000e+00 | -- | Inf
1541.37/1541.82 c 1436s| 2620k|788425 | 7224k| 2.8 | 592M| 54 | 7 | 60 |7552 | 60 | 19 | 23 |1218k|2743 | 0.000000e+00 | -- | Inf
1548.57/1549.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.57/1549.03 c 1443s| 2630k|790980 | 7251k| 2.8 | 594M| 54 | - | 60 |6083 | 60 | 19 | 23 |1223k|2743 | 0.000000e+00 | -- | Inf
1554.76/1555.24 c 1448s| 2640k|794082 | 7278k| 2.8 | 596M| 54 | 7 | 60 |6334 | 60 | 19 | 23 |1227k|2743 | 0.000000e+00 | -- | Inf
1561.26/1561.73 c 1454s| 2650k|796850 | 7305k| 2.8 | 599M| 54 | 7 | 60 |5793 | 60 | 19 | 23 |1232k|2743 | 0.000000e+00 | -- | Inf
1567.76/1568.22 c 1460s| 2660k|799513 | 7331k| 2.8 | 601M| 54 | - | 60 |5651 | 60 | 19 | 23 |1237k|2743 | 0.000000e+00 | -- | Inf
1573.46/1573.92 c 1466s| 2670k|802849 | 7358k| 2.8 | 603M| 54 | 7 | 60 |6449 | 60 | 19 | 23 |1241k|2743 | 0.000000e+00 | -- | Inf
1580.36/1580.89 c 1472s| 2680k|805575 | 7385k| 2.8 | 605M| 54 | 7 | 60 |5239 | 60 | 19 | 23 |1246k|2743 | 0.000000e+00 | -- | Inf
1586.56/1587.04 c 1478s| 2690k|808365 | 7412k| 2.8 | 607M| 54 | 7 | 60 |5954 | 60 | 19 | 23 |1251k|2743 | 0.000000e+00 | -- | Inf
1593.06/1593.58 c 1484s| 2700k|811074 | 7439k| 2.8 | 610M| 54 | - | 60 |5715 | 60 | 19 | 23 |1256k|2743 | 0.000000e+00 | -- | Inf
1598.56/1599.03 c 1489s| 2710k|814536 | 7467k| 2.8 | 612M| 54 | 7 | 60 |6703 | 60 | 19 | 23 |1260k|2743 | 0.000000e+00 | -- | Inf
1604.95/1605.42 c 1495s| 2720k|817435 | 7494k| 2.8 | 614M| 54 | - | 60 |6690 | 60 | 19 | 23 |1265k|2743 | 0.000000e+00 | -- | Inf
1611.06/1611.57 c 1501s| 2730k|820477 | 7522k| 2.8 | 617M| 54 | - | 60 |7318 | 60 | 19 | 23 |1269k|2743 | 0.000000e+00 | -- | Inf
1617.65/1618.15 c 1507s| 2740k|823137 | 7549k| 2.8 | 619M| 54 | - | 60 |6824 | 60 | 19 | 23 |1274k|2743 | 0.000000e+00 | -- | Inf
1624.35/1624.88 c 1514s| 2750k|825965 | 7576k| 2.8 | 621M| 54 | 7 | 60 |6138 | 60 | 19 | 23 |1279k|2743 | 0.000000e+00 | -- | Inf
1630.65/1631.15 c 1519s| 2760k|828852 | 7605k| 2.8 | 623M| 54 | 7 | 60 |6655 | 60 | 19 | 23 |1284k|2743 | 0.000000e+00 | -- | Inf
1637.04/1637.57 c 1525s| 2770k|831789 | 7632k| 2.8 | 625M| 54 | 7 | 60 |6064 | 60 | 19 | 23 |1288k|2743 | 0.000000e+00 | -- | Inf
1643.44/1643.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.44/1643.93 c 1531s| 2780k|834572 | 7659k| 2.8 | 627M| 54 | 7 | 60 |6220 | 60 | 19 | 23 |1293k|2743 | 0.000000e+00 | -- | Inf
1649.64/1650.15 c 1537s| 2790k|837590 | 7687k| 2.8 | 630M| 54 | 7 | 60 |6500 | 60 | 19 | 23 |1298k|2743 | 0.000000e+00 | -- | Inf
1656.25/1656.72 c 1543s| 2800k|840370 | 7714k| 2.8 | 632M| 54 | 7 | 60 |5964 | 60 | 19 | 23 |1302k|2743 | 0.000000e+00 | -- | Inf
1662.84/1663.36 c 1550s| 2810k|843171 | 7741k| 2.8 | 634M| 54 | 7 | 60 |5796 | 60 | 19 | 23 |1307k|2743 | 0.000000e+00 | -- | Inf
1669.54/1670.00 c 1556s| 2820k|845995 | 7769k| 2.8 | 636M| 54 | 7 | 60 |5836 | 60 | 19 | 23 |1312k|2743 | 0.000000e+00 | -- | Inf
1676.04/1676.53 c 1562s| 2830k|848688 | 7796k| 2.8 | 638M| 54 | 7 | 60 |5764 | 60 | 19 | 23 |1317k|2743 | 0.000000e+00 | -- | Inf
1682.13/1682.67 c 1568s| 2840k|851550 | 7823k| 2.8 | 641M| 54 | 7 | 60 |6421 | 60 | 19 | 23 |1322k|2743 | 0.000000e+00 | -- | Inf
1688.33/1688.88 c 1574s| 2850k|854506 | 7851k| 2.8 | 643M| 54 | 7 | 60 |6416 | 60 | 19 | 23 |1326k|2743 | 0.000000e+00 | -- | Inf
1694.92/1695.44 c 1580s| 2860k|857313 | 7878k| 2.8 | 645M| 54 | - | 60 |5941 | 60 | 19 | 23 |1331k|2743 | 0.000000e+00 | -- | Inf
1701.52/1702.04 c 1586s| 2870k|859902 | 7905k| 2.8 | 647M| 54 | - | 60 |5501 | 0 | 0 | 23 |1336k|2743 | 0.000000e+00 | -- | Inf
1707.53/1708.02 c 1591s| 2880k|862629 | 7933k| 2.8 | 649M| 54 | - | 60 |5987 | 60 | 19 | 23 |1341k|2743 | 0.000000e+00 | -- | Inf
1713.82/1714.32 c 1597s| 2890k|865518 | 7960k| 2.8 | 652M| 54 | 7 | 60 |5409 | 60 | 19 | 23 |1346k|2743 | 0.000000e+00 | -- | Inf
1720.32/1720.84 c 1603s| 2900k|868255 | 7987k| 2.8 | 654M| 54 | 7 | 60 |5528 | 60 | 19 | 23 |1350k|2743 | 0.000000e+00 | -- | Inf
1726.42/1726.97 c 1609s| 2910k|870996 | 8015k| 2.8 | 656M| 54 | 7 | 60 |6711 | 60 | 19 | 23 |1355k|2743 | 0.000000e+00 | -- | Inf
1732.71/1733.22 c 1615s| 2920k|873980 | 8043k| 2.8 | 659M| 54 | 7 | 60 |6925 | 60 | 19 | 23 |1360k|2743 | 0.000000e+00 | -- | Inf
1738.41/1738.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1738.41/1738.95 c 1620s| 2930k|877222 | 8070k| 2.8 | 661M| 54 | 7 | 60 |8126 | 60 | 19 | 23 |1364k|2743 | 0.000000e+00 | -- | Inf
1745.32/1745.89 c 1627s| 2940k|880078 | 8096k| 2.8 | 663M| 54 | - | 60 |5699 | 60 | 19 | 23 |1369k|2743 | 0.000000e+00 | -- | Inf
1751.82/1752.36 c 1633s| 2950k|882733 | 8123k| 2.8 | 665M| 54 | 7 | 60 |5828 | 60 | 19 | 23 |1374k|2743 | 0.000000e+00 | -- | Inf
1757.42/1757.93 c 1638s| 2960k|885892 | 8151k| 2.8 | 668M| 54 | 7 | 60 |7916 | 60 | 19 | 23 |1378k|2743 | 0.000000e+00 | -- | Inf
1764.61/1765.12 c 1645s| 2970k|888540 | 8178k| 2.8 | 669M| 54 | 7 | 60 |5560 | 60 | 19 | 23 |1383k|2743 | 0.000000e+00 | -- | Inf
1770.90/1771.49 c 1651s| 2980k|891489 | 8205k| 2.8 | 672M| 54 | 7 | 60 |6464 | 60 | 19 | 23 |1388k|2743 | 0.000000e+00 | -- | Inf
1777.40/1777.94 c 1657s| 2990k|894268 | 8231k| 2.8 | 674M| 54 | 7 | 60 |5978 | 60 | 19 | 23 |1392k|2743 | 0.000000e+00 | -- | Inf
1783.50/1784.07 c 1663s| 3000k|897224 | 8258k| 2.8 | 676M| 54 | - | 60 |6304 | 60 | 19 | 23 |1397k|2743 | 0.000000e+00 | -- | Inf
1790.00/1790.54 c 1669s| 3010k|900132 | 8286k| 2.8 | 678M| 54 | 7 | 60 |6214 | 60 | 19 | 23 |1402k|2743 | 0.000000e+00 | -- | Inf
1796.60/1797.16 c 1675s| 3020k|902891 | 8313k| 2.8 | 680M| 54 | 7 | 60 |5586 | 60 | 19 | 23 |1406k|2743 | 0.000000e+00 | -- | Inf
1800.01/1800.51 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1678.05
1800.01/1800.51 c Solving Nodes : 3025332
1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 s UNKNOWN
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1678.05
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2666869-1276598798.opb
1800.01/1800.51 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 15 initial, 15 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2666869-1276598798.opb
1800.01/1800.51 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 7 initial, 8861 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.00 0 0 0 0 0 8 0 0
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 1971149 0 251 921 0 0 3940126
1800.01/1800.51 c linear : 7+ 7 6899889 0 0 60366 1625845 0 0 0
1800.01/1800.51 c logicor : 0+ 0 2891923 0 0 2211 981854 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 24.40 0.00 0.00 24.40 0.00
1800.01/1800.51 c linear : 334.03 0.00 334.03 0.00 0.00
1800.01/1800.51 c logicor : 323.11 0.00 323.11 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 3.39 2 0 0
1800.01/1800.51 c rootredcost : 2.92 0 0 0
1800.01/1800.51 c pseudoobj : 2.88 0 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 8.23 62577 57864 219760 42.7 9 32.2 -
1800.01/1800.51 c infeasible LP : 66.58 998506 998476 1878588 27.9 11588 32.6 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 1236186 23.3 - - -
1800.01/1800.51 c applied locally : - - - 173176 37.1 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 5 - - 13 - (maximal pool size: 77)
1800.01/1800.51 c redcost : 5.18 1971154 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 6 0 0 0 0
1800.01/1800.51 c strongcg : 0.01 6 0 0 35 0
1800.01/1800.51 c cmir : 0.04 6 0 0 23 0
1800.01/1800.51 c flowcover : 0.03 6 0 0 34 0
1800.01/1800.51 c clique : 0.00 1 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.09 1 0 0 0 5
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 21.70 1971149 251 921 0 0 3940126
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 2.78 0 0
1800.01/1800.51 c crossover : 1.78 0 0
1800.01/1800.51 c guideddiving : 0.16 0 0
1800.01/1800.51 c feaspump : 0.10 14 0
1800.01/1800.51 c objpscostdiving : 0.20 14 0
1800.01/1800.51 c rootsoldiving : 0.07 14 0
1800.01/1800.51 c coefdiving : 0.18 28 0
1800.01/1800.51 c pscostdiving : 0.18 28 0
1800.01/1800.51 c fracdiving : 0.19 28 0
1800.01/1800.51 c veclendiving : 0.14 28 0
1800.01/1800.51 c linesearchdiving : 0.21 28 0
1800.01/1800.51 c trivial : 0.01 2 0
1800.01/1800.51 c simplerounding : 0.97 0 0
1800.01/1800.51 c zirounding : 1.60 1000 0
1800.01/1800.51 c rounding : 2.49 19894 0
1800.01/1800.51 c shifting : 5.88 6283 0
1800.01/1800.51 c intshifting : 0.06 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.02 1 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.56 0 0
1800.01/1800.51 c trysol : 2.15 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 347.36 2897989 8325683 2.87 23968.46
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.04 1001 2330 2.33 58250.00
1800.01/1800.51 c strong branching : 0.70 2743 15723 5.73 22461.43
1800.01/1800.51 c (at root node) : - 9 398 44.22 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 3025332
1800.01/1800.51 c nodes (total) : 3025332
1800.01/1800.51 c nodes left : 904379
1800.01/1800.51 c max depth : 54
1800.01/1800.51 c max depth (total): 54
1800.01/1800.51 c backtracks : 266363 (8.8%)
1800.01/1800.51 c delayed cutoffs : 10416
1800.01/1800.51 c repropagations : 2743072 (984164 domain reductions, 5724 cutoffs)
1800.01/1800.51 c avg switch length: 5.30
1800.01/1800.51 c switching time : 294.64
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 181
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666869-1276598798/watcher-2666869-1276598798 -o /tmp/evaluation-result-2666869-1276598798/solver-2666869-1276598798 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666869-1276598798.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9128
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=7724 CPUtime=0
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 1039 0 0 0 0 0 0 0 21 0 1 0 1172596 7909376 958 1992294400 4194304 8223781 140734437842112 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9128/statm: 1931 966 348 984 0 944 0
[startup+0.104114 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9128
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=19868 CPUtime=0.1
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 4954 0 0 0 8 2 0 0 23 0 1 0 1172596 20344832 3727 1992294400 4194304 8223781 140734437842112 18446744073709551615 4981174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 4967 3727 568 984 0 3980 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19868
[startup+0.201125 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9128
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=13372 CPUtime=0.19
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 4984 0 0 0 17 2 0 0 23 0 1 0 1172596 13692928 2467 1992294400 4194304 8223781 140734437842112 18446744073709551615 6046702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 3343 2467 576 984 0 2356 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13372
[startup+0.301135 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9128
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=13432 CPUtime=0.29
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 7976 0 0 0 26 3 0 0 23 0 1 0 1172596 13754368 2520 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 3358 2520 586 984 0 2371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13432
[startup+0.701178 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9128
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=13432 CPUtime=0.69
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 7978 0 0 0 62 7 0 0 25 0 1 0 1172596 13754368 2522 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 3358 2522 588 984 0 2371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13432
[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9129
/proc/meminfo: memFree=1783716/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=14368 CPUtime=1.49
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 8184 0 0 0 136 13 0 0 25 0 1 0 1172596 14712832 2728 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 3592 2728 588 984 0 2605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14368
[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9129
/proc/meminfo: memFree=1781856/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=16340 CPUtime=3.09
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 8707 0 0 0 283 26 0 0 25 0 1 0 1172596 16732160 3251 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 4085 3251 588 984 0 3098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16340
[startup+6.30078 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9129
/proc/meminfo: memFree=1778136/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=19528 CPUtime=6.29
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 9490 0 0 0 577 52 0 0 25 0 1 0 1172596 19996672 4034 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 4882 4034 588 984 0 3895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19528
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9129
/proc/meminfo: memFree=1774664/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=23636 CPUtime=12.68
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 10501 0 0 0 1159 109 0 0 25 0 1 0 1172596 24203264 5045 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 5909 5045 588 984 0 4922 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23636
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9129
/proc/meminfo: memFree=1766604/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=30784 CPUtime=25.48
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 12344 0 0 0 2331 217 0 0 25 0 1 0 1172596 31522816 6888 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 7696 6888 588 984 0 6709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30784
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9131
/proc/meminfo: memFree=1752716/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=44364 CPUtime=51.08
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 15772 0 0 0 4682 426 0 0 25 0 1 0 1172596 45428736 10316 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 11091 10316 588 984 0 10104 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44364
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9131
/proc/meminfo: memFree=1724444/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=73896 CPUtime=102.27
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 22762 0 0 0 9380 847 0 0 25 0 1 0 1172596 75669504 17306 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 18474 17306 588 984 0 17487 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73896
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9133
/proc/meminfo: memFree=1698404/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=100660 CPUtime=162.25
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 29566 0 0 0 14927 1298 0 0 25 0 1 0 1172596 103075840 24110 1992294400 4194304 8223781 140734437842112 18446744073709551615 4651867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 25165 24110 588 984 0 24178 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 100660
[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9135
/proc/meminfo: memFree=1671124/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=126028 CPUtime=222.24
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 36036 0 0 0 20469 1755 0 0 25 0 1 0 1172596 129052672 30580 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 31507 30580 588 984 0 30520 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 126028
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9137
/proc/meminfo: memFree=1645332/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=151144 CPUtime=282.22
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 42440 0 0 0 26030 2192 0 0 25 0 1 0 1172596 154771456 36984 1992294400 4194304 8223781 140734437842112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 37786 36984 588 984 0 36799 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 151144
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9139
/proc/meminfo: memFree=1616812/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=183312 CPUtime=342.2
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 49536 0 0 0 31599 2621 0 0 25 0 1 0 1172596 187711488 44080 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 45828 44080 588 984 0 44841 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 183312
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9139
/proc/meminfo: memFree=1594120/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=206092 CPUtime=402.19
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 55380 0 0 0 37155 3064 0 0 25 0 1 0 1172596 211038208 49924 1992294400 4194304 8223781 140734437842112 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 51523 49924 588 984 0 50536 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 206092
[startup+462.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 9141
/proc/meminfo: memFree=1569072/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=229820 CPUtime=462.17
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 61408 0 0 0 42736 3481 0 0 25 0 1 0 1172596 235335680 55952 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 57455 55952 588 984 0 56468 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 229820
[startup+522.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 9143
/proc/meminfo: memFree=1549356/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=249348 CPUtime=522.16
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 66399 0 0 0 48318 3898 0 0 25 0 1 0 1172596 255332352 60943 1992294400 4194304 8223781 140734437842112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 62337 60943 588 984 0 61350 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 249348
[startup+582.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 9145
/proc/meminfo: memFree=1519844/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=277784 CPUtime=582.14
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 73640 0 0 0 53891 4323 0 0 25 0 1 0 1172596 284450816 68184 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 69446 68184 588 984 0 68459 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 277784
[startup+642.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 9147
/proc/meminfo: memFree=1496656/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=300728 CPUtime=642.12
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 79405 0 0 0 59478 4734 0 0 25 0 1 0 1172596 307945472 73949 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 75182 73949 588 984 0 74195 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 300728
[startup+702.301 s]
################
# More data... #
################
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 114040 0 0 0 93100 7101 0 0 25 0 1 0 1172596 455540736 108584 1992294400 4194304 8223781 140734437842112 18446744073709551615 4220974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 111216 108584 588 984 0 110229 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 444864
[startup+1062.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 9166
/proc/meminfo: memFree=1337192/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=464112 CPUtime=1062
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 118995 0 0 0 98710 7490 0 0 25 0 1 0 1172596 475250688 113539 1992294400 4194304 8223781 140734437842112 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 116028 113539 588 984 0 115041 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 464112
[startup+1122.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 9168
/proc/meminfo: memFree=1315740/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=485368 CPUtime=1121.98
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 124298 0 0 0 104334 7864 0 0 25 0 1 0 1172596 497016832 118842 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 121342 118842 588 984 0 120355 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 485368
[startup+1182.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 9170
/proc/meminfo: memFree=1296148/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=504996 CPUtime=1181.97
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 129380 0 0 0 109941 8256 0 0 25 0 1 0 1172596 517115904 123924 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 126249 123924 588 984 0 125262 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 504996
[startup+1242.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 9172
/proc/meminfo: memFree=1270232/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=529416 CPUtime=1241.95
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 135627 0 0 0 115554 8641 0 0 25 0 1 0 1172596 542121984 130171 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 132354 130171 588 984 0 131367 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 529416
[startup+1302.3 s]
/proc/loadavg: 1.07 1.07 1.00 2/107 9172
/proc/meminfo: memFree=1250268/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=548780 CPUtime=1301.93
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 140630 0 0 0 121167 9026 0 0 25 0 1 0 1172596 561950720 135174 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 137195 135174 588 984 0 136208 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 548780
[startup+1362.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 9174
/proc/meminfo: memFree=1226708/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=572208 CPUtime=1361.92
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 146423 0 0 0 126778 9414 0 0 25 0 1 0 1172596 585940992 140967 1992294400 4194304 8223781 140734437842112 18446744073709551615 4948356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 143052 140967 588 984 0 142065 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 572208
[startup+1422.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 9176
/proc/meminfo: memFree=1204140/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=594020 CPUtime=1421.9
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 152039 0 0 0 132397 9793 0 0 25 0 1 0 1172596 608276480 146583 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 148505 146583 588 984 0 147518 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 594020
[startup+1482.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 9178
/proc/meminfo: memFree=1181448/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=616040 CPUtime=1481.89
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 157663 0 0 0 138017 10172 0 0 25 0 1 0 1172596 630824960 152207 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 154010 152207 588 984 0 153023 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 616040
[startup+1542.31 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 9180
/proc/meminfo: memFree=1157888/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=638856 CPUtime=1541.87
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 163519 0 0 0 143623 10564 0 0 25 0 1 0 1172596 654188544 158063 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 159714 158063 588 984 0 158727 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 638856
[startup+1602.3 s]
/proc/loadavg: 1.12 1.08 1.00 2/107 9180
/proc/meminfo: memFree=1135816/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=660212 CPUtime=1601.85
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 169022 0 0 0 149237 10948 0 0 25 0 1 0 1172596 676057088 163566 1992294400 4194304 8223781 140734437842112 18446744073709551615 6123187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 165053 163566 588 984 0 164066 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 660212
[startup+1662.3 s]
/proc/loadavg: 1.11 1.08 1.00 2/107 9182
/proc/meminfo: memFree=1118332/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=677932 CPUtime=1661.84
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 173344 0 0 0 154864 11320 0 0 25 0 1 0 1172596 694202368 167888 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 169483 167888 588 984 0 168496 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 677932
[startup+1722.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 9184
/proc/meminfo: memFree=1094772/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=700828 CPUtime=1721.82
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 179227 0 0 0 160477 11705 0 0 25 0 1 0 1172596 717647872 173771 1992294400 4194304 8223781 140734437842112 18446744073709551615 4947069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 175207 173771 588 984 0 174220 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 700828
[startup+1782.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/107 9186
/proc/meminfo: memFree=1076420/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=718136 CPUtime=1781.81
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 183683 0 0 0 166092 12089 0 0 25 0 1 0 1172596 735371264 178227 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 179534 178227 588 984 0 178547 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 718136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.15 1.10 1.01 2/107 9186
/proc/meminfo: memFree=1070840/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=723552 CPUtime=1800.01
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 185098 0 0 0 167805 12196 0 0 25 0 1 0 1172596 740917248 179642 1992294400 4194304 8223781 140734437842112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9128/statm: 180888 179642 588 984 0 179901 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 723552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9128
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.15 1.10 1.01 2/108 9187
/proc/meminfo: memFree=1070832/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=723552 CPUtime=1801
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 185099 0 0 0 167904 12196 0 0 25 0 1 0 1172596 740917248 179643 1992294400 4194304 8223781 140734437842112 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9128/statm: 180888 179643 589 984 0 179901 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 723552
[startup+1802.3 s]
/proc/loadavg: 1.15 1.10 1.01 2/108 9187
/proc/meminfo: memFree=1070832/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=723552 CPUtime=1801.8
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 185099 0 0 0 167984 12196 0 0 25 0 1 0 1172596 740917248 179643 1992294400 4194304 8223781 140734437842112 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9128/statm: 180888 179643 589 984 0 179901 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 723552
[startup+1802.5 s]
/proc/loadavg: 1.15 1.10 1.01 2/108 9187
/proc/meminfo: memFree=1070832/2059040 swapFree=4192956/4192956
[pid=9128] ppid=9126 vsize=723552 CPUtime=1802
/proc/9128/stat : 9128 (pbscip.linux.x8) R 9126 9128 2335 0 -1 4202496 185099 0 0 0 168004 12196 0 0 25 0 1 0 1172596 740917248 179643 1992294400 4194304 8223781 140734437842112 18446744073709551615 6206661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9128/statm: 180888 179643 589 984 0 179901 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 723552
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.58
CPU time (s): 1802.09
CPU user time (s): 1680.05
CPU system time (s): 122.031
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 723552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.05
system time used= 122.031
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185099
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= 3
involuntary context switches= 3172
runsolver used 3.19851 second user time and 8.31174 second system time
The end