0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2666231-1276614391.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.01
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 | 45 | - | 371k| 0 | 12 | 60 | 9 | 60 | 15 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.16 c 0.1s| 1 | 0 | 55 | - | 413k| 0 | 13 | 60 | 9 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.17 c 0.1s| 1 | 0 | 63 | - | 446k| 0 | 15 | 60 | 9 | 60 | 22 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.19 c 0.1s| 1 | 0 | 75 | - | 478k| 0 | 16 | 60 | 9 | 60 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 80 | - | 503k| 0 | 16 | 60 | 9 | 60 | 28 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 95 | - | 516k| 0 | 19 | 60 | 9 | 60 | 31 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.2s| 1 | 2 | 95 | - | 517k| 0 | 19 | 60 | 9 | 60 | 31 | 24 | 0 | 9 | 0.000000e+00 | -- | Inf
6.50/6.53 c 5.6s| 10000 | 4574 | 29711 | 3.0 |3735k| 51 | 7 | 60 |1949 | 60 | 19 | 24 |2676 | 600 | 0.000000e+00 | -- | Inf
12.79/12.83 c 11.0s| 20000 | 8031 | 60607 | 3.0 |5854k| 53 | 7 | 60 |1308 | 60 | 19 | 24 |6027 | 789 | 0.000000e+00 | -- | Inf
18.98/19.08 c 16.4s| 30000 | 11167 | 99769 | 3.3 |7835k| 53 | 7 | 60 |1425 | 60 | 19 | 24 |9547 | 930 | 0.000000e+00 | -- | Inf
25.30/25.38 c 21.8s| 40000 | 14165 |139428 | 3.5 |9802k| 53 | 7 | 60 |1597 | 60 | 19 | 24 | 13k|1014 | 0.000000e+00 | -- | Inf
31.68/31.72 c 27.3s| 50000 | 17187 |179724 | 3.6 | 11M| 53 | 7 | 60 |2029 | 60 | 19 | 24 | 16k|1111 | 0.000000e+00 | -- | Inf
38.08/38.15 c 32.9s| 60000 | 20210 |219955 | 3.7 | 13M| 53 | 7 | 60 |1737 | 60 | 19 | 24 | 20k|1221 | 0.000000e+00 | -- | Inf
44.38/44.49 c 38.4s| 70000 | 23048 |259656 | 3.7 | 15M| 53 | 7 | 60 |1954 | 60 | 19 | 24 | 24k|1288 | 0.000000e+00 | -- | Inf
50.88/50.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.88/50.90 c 43.9s| 80000 | 25930 |300069 | 3.7 | 17M| 53 | - | 60 |2077 | 60 | 19 | 24 | 27k|1368 | 0.000000e+00 | -- | Inf
57.28/57.34 c 49.5s| 90000 | 28710 |339361 | 3.8 | 19M| 53 | - | 60 |1957 | 60 | 19 | 24 | 31k|1444 | 0.000000e+00 | -- | Inf
63.68/63.72 c 55.0s|100000 | 31504 |378479 | 3.8 | 21M| 53 | 7 | 60 |2014 | 60 | 19 | 24 | 35k|1500 | 0.000000e+00 | -- | Inf
70.08/70.11 c 60.5s|110000 | 34247 |416273 | 3.8 | 23M| 53 | 7 | 60 |2350 | 60 | 19 | 24 | 38k|1554 | 0.000000e+00 | -- | Inf
76.47/76.58 c 66.1s|120000 | 37043 |455758 | 3.8 | 24M| 53 | 7 | 60 |2044 | 60 | 19 | 24 | 42k|1593 | 0.000000e+00 | -- | Inf
82.97/83.05 c 71.7s|130000 | 39631 |493817 | 3.8 | 26M| 53 | - | 60 |2096 | 0 | 0 | 24 | 46k|1628 | 0.000000e+00 | -- | Inf
89.36/89.49 c 77.3s|140000 | 42232 |529221 | 3.8 | 28M| 53 | - | 60 |2085 | 60 | 19 | 24 | 49k|1660 | 0.000000e+00 | -- | Inf
95.87/95.92 c 82.9s|150000 | 44670 |560206 | 3.7 | 30M| 53 | 7 | 60 |2275 | 60 | 19 | 24 | 54k|1687 | 0.000000e+00 | -- | Inf
102.27/102.37 c 88.4s|160000 | 47138 |591461 | 3.7 | 32M| 53 | 7 | 60 |2396 | 60 | 19 | 24 | 58k|1727 | 0.000000e+00 | -- | Inf
108.66/108.75 c 94.0s|170000 | 49776 |622369 | 3.7 | 34M| 53 | - | 60 |2684 | 0 | 0 | 24 | 61k|1768 | 0.000000e+00 | -- | Inf
115.16/115.22 c 99.6s|180000 | 52468 |653944 | 3.6 | 36M| 53 | 7 | 60 |2608 | 60 | 19 | 24 | 65k|1801 | 0.000000e+00 | -- | Inf
121.76/121.80 c 105s|190000 | 54820 |685640 | 3.6 | 38M| 54 | - | 60 |2471 | 0 | 0 | 24 | 69k|1840 | 0.000000e+00 | -- | Inf
128.15/128.27 c 111s|200000 | 57264 |716168 | 3.6 | 39M| 54 | 7 | 60 |2586 | 60 | 19 | 24 | 73k|1865 | 0.000000e+00 | -- | Inf
134.76/134.86 c 117s|210000 | 59593 |747677 | 3.6 | 41M| 54 | 7 | 60 |2237 | 60 | 19 | 24 | 77k|1897 | 0.000000e+00 | -- | Inf
141.25/141.39 c 122s|220000 | 61984 |778539 | 3.5 | 43M| 54 | - | 60 |2489 | 60 | 19 | 24 | 81k|1923 | 0.000000e+00 | -- | Inf
147.95/148.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.95/148.08 c 128s|230000 | 64270 |814172 | 3.5 | 45M| 54 | 7 | 60 |2433 | 60 | 19 | 24 | 85k|1949 | 0.000000e+00 | -- | Inf
154.65/154.71 c 134s|240000 | 66803 |853264 | 3.6 | 46M| 54 | - | 60 |2854 | 60 | 19 | 24 | 89k|1980 | 0.000000e+00 | -- | Inf
161.25/161.31 c 140s|250000 | 69388 |891223 | 3.6 | 48M| 54 | 7 | 60 |2884 | 60 | 19 | 24 | 93k|1997 | 0.000000e+00 | -- | Inf
167.74/167.84 c 145s|260000 | 72188 |929556 | 3.6 | 50M| 54 | - | 60 |2597 | 60 | 19 | 24 | 96k|2000 | 0.000000e+00 | -- | Inf
174.34/174.49 c 151s|270000 | 74595 |966601 | 3.6 | 52M| 54 | 7 | 60 |2332 | 60 | 19 | 24 | 100k|2022 | 0.000000e+00 | -- | Inf
181.05/181.13 c 157s|280000 | 76947 | 1002k| 3.6 | 54M| 54 | - | 60 |2430 | 60 | 19 | 24 | 104k|2025 | 0.000000e+00 | -- | Inf
187.84/187.95 c 163s|290000 | 79144 | 1039k| 3.6 | 55M| 54 | 7 | 60 |2374 | 60 | 19 | 24 | 108k|2042 | 0.000000e+00 | -- | Inf
194.43/194.54 c 168s|300000 | 81870 | 1076k| 3.6 | 57M| 54 | 7 | 60 |2423 | 60 | 19 | 24 | 112k|2070 | 0.000000e+00 | -- | Inf
201.14/201.24 c 174s|310000 | 84203 | 1112k| 3.6 | 59M| 54 | - | 60 |2163 | 60 | 19 | 24 | 116k|2095 | 0.000000e+00 | -- | Inf
207.33/207.46 c 179s|320000 | 87266 | 1150k| 3.6 | 61M| 54 | 7 | 60 |3275 | 60 | 19 | 24 | 119k|2106 | 0.000000e+00 | -- | Inf
213.93/214.07 c 185s|330000 | 90102 | 1186k| 3.6 | 63M| 54 | 7 | 60 |2522 | 60 | 19 | 24 | 123k|2109 | 0.000000e+00 | -- | Inf
220.63/220.76 c 191s|340000 | 92562 | 1223k| 3.6 | 65M| 54 | - | 60 |2425 | 60 | 19 | 24 | 127k|2123 | 0.000000e+00 | -- | Inf
227.33/227.43 c 197s|350000 | 95029 | 1258k| 3.6 | 67M| 54 | 7 | 60 |2394 | 60 | 19 | 24 | 131k|2135 | 0.000000e+00 | -- | Inf
233.92/234.02 c 203s|360000 | 97530 | 1294k| 3.6 | 68M| 54 | 7 | 60 |2513 | 60 | 19 | 24 | 134k|2216 | 0.000000e+00 | -- | Inf
240.42/240.57 c 208s|370000 |100029 | 1328k| 3.6 | 70M| 54 | - | 60 |2540 | 60 | 19 | 24 | 138k|2217 | 0.000000e+00 | -- | Inf
247.02/247.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.02/247.16 c 214s|380000 |102487 | 1362k| 3.6 | 72M| 54 | 7 | 60 |2653 | 60 | 19 | 24 | 142k|2227 | 0.000000e+00 | -- | Inf
253.82/253.90 c 220s|390000 |104788 | 1397k| 3.6 | 74M| 54 | 7 | 60 |2782 | 60 | 19 | 24 | 146k|2227 | 0.000000e+00 | -- | Inf
260.42/260.56 c 226s|400000 |107292 | 1433k| 3.6 | 75M| 54 | - | 60 |2662 | 60 | 19 | 24 | 150k|2232 | 0.000000e+00 | -- | Inf
267.02/267.14 c 231s|410000 |109856 | 1470k| 3.6 | 77M| 54 | 7 | 60 |2753 | 60 | 19 | 24 | 153k|2235 | 0.000000e+00 | -- | Inf
273.72/273.88 c 237s|420000 |112165 | 1507k| 3.6 | 79M| 54 | 7 | 60 |2862 | 60 | 19 | 24 | 157k|2238 | 0.000000e+00 | -- | Inf
280.51/280.62 c 243s|430000 |114454 | 1546k| 3.6 | 81M| 54 | 7 | 60 |2707 | 60 | 19 | 24 | 161k|2245 | 0.000000e+00 | -- | Inf
287.10/287.27 c 249s|440000 |116979 | 1584k| 3.6 | 82M| 54 | 7 | 60 |2859 | 60 | 19 | 24 | 165k|2274 | 0.000000e+00 | -- | Inf
293.90/294.04 c 255s|450000 |119268 | 1622k| 3.6 | 84M| 54 | - | 60 |2501 | 60 | 19 | 24 | 169k|2274 | 0.000000e+00 | -- | Inf
300.60/300.71 c 261s|460000 |121802 | 1660k| 3.6 | 86M| 54 | - | 60 |2845 | 60 | 19 | 24 | 172k|2280 | 0.000000e+00 | -- | Inf
307.30/307.41 c 266s|470000 |124227 | 1699k| 3.6 | 88M| 54 | 7 | 60 |3149 | 60 | 19 | 24 | 176k|2280 | 0.000000e+00 | -- | Inf
314.10/314.27 c 272s|480000 |126742 | 1738k| 3.6 | 90M| 54 | 7 | 60 |3012 | 60 | 19 | 24 | 180k|2289 | 0.000000e+00 | -- | Inf
321.00/321.20 c 278s|490000 |129032 | 1776k| 3.6 | 91M| 54 | 7 | 60 |2876 | 60 | 19 | 24 | 184k|2299 | 0.000000e+00 | -- | Inf
327.69/327.83 c 284s|500000 |131682 | 1815k| 3.6 | 93M| 54 | 7 | 60 |3067 | 60 | 19 | 24 | 188k|2299 | 0.000000e+00 | -- | Inf
334.30/334.47 c 290s|510000 |134250 | 1852k| 3.6 | 95M| 54 | 7 | 60 |3482 | 60 | 19 | 24 | 191k|2299 | 0.000000e+00 | -- | Inf
341.29/341.46 c 296s|520000 |136626 | 1890k| 3.6 | 96M| 54 | - | 60 |2838 | 60 | 19 | 24 | 195k|2300 | 0.000000e+00 | -- | Inf
348.09/348.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.09/348.23 c 302s|530000 |139094 | 1930k| 3.6 | 98M| 54 | 7 | 60 |3121 | 60 | 19 | 24 | 199k|2309 | 0.000000e+00 | -- | Inf
354.88/355.07 c 308s|540000 |141409 | 1968k| 3.6 | 100M| 54 | - | 60 |2754 | 60 | 19 | 24 | 203k|2312 | 0.000000e+00 | -- | Inf
361.69/361.87 c 314s|550000 |143879 | 2008k| 3.7 | 102M| 54 | 7 | 60 |2864 | 60 | 19 | 24 | 206k|2312 | 0.000000e+00 | -- | Inf
368.29/368.46 c 319s|560000 |146693 | 2048k| 3.7 | 104M| 54 | 7 | 60 |3982 | 60 | 19 | 24 | 210k|2312 | 0.000000e+00 | -- | Inf
375.38/375.56 c 326s|570000 |148890 | 2087k| 3.7 | 105M| 54 | - | 60 |2646 | 0 | 0 | 24 | 214k|2315 | 0.000000e+00 | -- | Inf
382.17/382.34 c 332s|580000 |151236 | 2126k| 3.7 | 107M| 54 | 7 | 60 |2230 | 60 | 19 | 24 | 218k|2319 | 0.000000e+00 | -- | Inf
388.97/389.16 c 338s|590000 |153440 | 2165k| 3.7 | 109M| 54 | 7 | 60 |2725 | 60 | 19 | 24 | 221k|2319 | 0.000000e+00 | -- | Inf
395.78/395.92 c 343s|600000 |155934 | 2203k| 3.7 | 111M| 54 | 7 | 60 |2823 | 60 | 19 | 24 | 225k|2319 | 0.000000e+00 | -- | Inf
402.66/402.83 c 349s|610000 |158538 | 2242k| 3.7 | 112M| 54 | 7 | 60 |2864 | 60 | 19 | 24 | 229k|2319 | 0.000000e+00 | -- | Inf
409.67/409.81 c 356s|620000 |160696 | 2279k| 3.7 | 114M| 54 | 7 | 60 |2443 | 60 | 19 | 24 | 233k|2321 | 0.000000e+00 | -- | Inf
416.36/416.57 c 362s|630000 |163018 | 2317k| 3.7 | 116M| 54 | 7 | 60 |2852 | 60 | 19 | 24 | 237k|2330 | 0.000000e+00 | -- | Inf
423.16/423.33 c 367s|640000 |165414 | 2355k| 3.7 | 117M| 54 | 7 | 60 |2869 | 60 | 19 | 24 | 241k|2335 | 0.000000e+00 | -- | Inf
430.06/430.28 c 373s|650000 |167626 | 2393k| 3.7 | 119M| 54 | - | 60 |2110 | 60 | 19 | 24 | 245k|2388 | 0.000000e+00 | -- | Inf
436.76/436.96 c 379s|660000 |169816 | 2429k| 3.7 | 121M| 54 | 7 | 60 |2254 | 60 | 19 | 24 | 248k|2388 | 0.000000e+00 | -- | Inf
443.56/443.74 c 385s|670000 |171944 | 2467k| 3.7 | 122M| 54 | 7 | 60 |1993 | 60 | 19 | 24 | 252k|2395 | 0.000000e+00 | -- | Inf
450.15/450.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.15/450.38 c 391s|680000 |174153 | 2504k| 3.7 | 124M| 54 | - | 60 |2427 | 60 | 19 | 24 | 256k|2398 | 0.000000e+00 | -- | Inf
456.75/456.94 c 396s|690000 |176704 | 2542k| 3.7 | 126M| 54 | 7 | 60 |2921 | 60 | 19 | 24 | 260k|2398 | 0.000000e+00 | -- | Inf
463.55/463.76 c 402s|700000 |178986 | 2579k| 3.7 | 127M| 54 | 7 | 60 |2431 | 60 | 19 | 24 | 264k|2401 | 0.000000e+00 | -- | Inf
470.45/470.66 c 408s|710000 |181071 | 2616k| 3.7 | 129M| 54 | 7 | 60 |2361 | 60 | 19 | 24 | 268k|2403 | 0.000000e+00 | -- | Inf
477.15/477.36 c 414s|720000 |183575 | 2654k| 3.7 | 131M| 54 | 7 | 60 |2954 | 60 | 19 | 24 | 271k|2404 | 0.000000e+00 | -- | Inf
484.05/484.21 c 420s|730000 |185833 | 2691k| 3.7 | 132M| 54 | 7 | 60 |2617 | 60 | 19 | 24 | 275k|2418 | 0.000000e+00 | -- | Inf
490.65/490.83 c 426s|740000 |188386 | 2727k| 3.7 | 134M| 54 | 7 | 60 |3070 | 60 | 19 | 24 | 279k|2430 | 0.000000e+00 | -- | Inf
497.44/497.70 c 432s|750000 |190490 | 2763k| 3.7 | 136M| 54 | 7 | 60 |2402 | 60 | 19 | 24 | 283k|2437 | 0.000000e+00 | -- | Inf
504.25/504.44 c 438s|760000 |192704 | 2800k| 3.7 | 137M| 54 | 7 | 60 |2286 | 60 | 19 | 24 | 287k|2449 | 0.000000e+00 | -- | Inf
510.84/511.08 c 444s|770000 |194971 | 2838k| 3.7 | 139M| 54 | 7 | 60 |3411 | 60 | 19 | 24 | 291k|2469 | 0.000000e+00 | -- | Inf
517.84/518.03 c 450s|780000 |197217 | 2875k| 3.7 | 141M| 54 | 7 | 60 |2639 | 60 | 19 | 24 | 294k|2481 | 0.000000e+00 | -- | Inf
524.63/524.83 c 456s|790000 |199534 | 2913k| 3.7 | 143M| 54 | 7 | 60 |3213 | 60 | 19 | 24 | 298k|2499 | 0.000000e+00 | -- | Inf
531.34/531.54 c 461s|800000 |202265 | 2952k| 3.7 | 144M| 54 | 7 | 60 |3495 | 60 | 19 | 24 | 302k|2513 | 0.000000e+00 | -- | Inf
538.23/538.44 c 467s|810000 |204657 | 2989k| 3.7 | 146M| 54 | 7 | 60 |3149 | 60 | 19 | 24 | 305k|2525 | 0.000000e+00 | -- | Inf
545.23/545.41 c 474s|820000 |206865 | 3028k| 3.7 | 148M| 54 | 7 | 60 |3247 | 60 | 19 | 24 | 309k|2536 | 0.000000e+00 | -- | Inf
552.13/552.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.13/552.32 c 480s|830000 |209043 | 3066k| 3.7 | 150M| 54 | 7 | 60 |3393 | 60 | 19 | 24 | 313k|2552 | 0.000000e+00 | -- | Inf
559.12/559.39 c 486s|840000 |211172 | 3104k| 3.7 | 151M| 54 | 7 | 60 |2717 | 60 | 19 | 24 | 317k|2559 | 0.000000e+00 | -- | Inf
566.12/566.32 c 492s|850000 |213355 | 3142k| 3.7 | 153M| 54 | - | 60 |2994 | 60 | 19 | 24 | 321k|2617 | 0.000000e+00 | -- | Inf
572.93/573.11 c 498s|860000 |215638 | 3180k| 3.7 | 155M| 54 | - | 60 |3657 | 60 | 19 | 24 | 325k|2617 | 0.000000e+00 | -- | Inf
579.93/580.18 c 504s|870000 |218027 | 3220k| 3.7 | 156M| 54 | - | 60 |3066 | 60 | 19 | 24 | 329k|2618 | 0.000000e+00 | -- | Inf
587.02/587.24 c 510s|880000 |220249 | 3259k| 3.7 | 158M| 54 | 7 | 60 |2729 | 60 | 19 | 24 | 333k|2620 | 0.000000e+00 | -- | Inf
593.82/594.08 c 516s|890000 |222572 | 3300k| 3.7 | 160M| 54 | 7 | 60 |3234 | 60 | 19 | 24 | 336k|2629 | 0.000000e+00 | -- | Inf
600.82/601.07 c 522s|900000 |224741 | 3338k| 3.7 | 161M| 54 | - | 60 |2982 | 60 | 19 | 24 | 340k|2640 | 0.000000e+00 | -- | Inf
607.72/607.96 c 528s|910000 |226961 | 3378k| 3.7 | 163M| 54 | 7 | 60 |3279 | 60 | 19 | 24 | 344k|2647 | 0.000000e+00 | -- | Inf
614.72/614.92 c 534s|920000 |229149 | 3416k| 3.7 | 165M| 54 | 7 | 60 |3576 | 60 | 19 | 24 | 348k|2656 | 0.000000e+00 | -- | Inf
621.71/621.97 c 540s|930000 |231494 | 3456k| 3.7 | 166M| 54 | - | 60 |3422 | 60 | 19 | 24 | 352k|2659 | 0.000000e+00 | -- | Inf
628.70/628.96 c 547s|940000 |233980 | 3496k| 3.7 | 168M| 54 | 7 | 60 |3637 | 60 | 19 | 24 | 355k|2666 | 0.000000e+00 | -- | Inf
635.70/635.93 c 553s|950000 |236565 | 3537k| 3.7 | 170M| 54 | 7 | 60 |4168 | 60 | 19 | 24 | 359k|2677 | 0.000000e+00 | -- | Inf
643.00/643.26 c 559s|960000 |238575 | 3577k| 3.7 | 171M| 54 | 7 | 60 |2781 | 60 | 19 | 24 | 363k|2687 | 0.000000e+00 | -- | Inf
650.21/650.41 c 565s|970000 |240640 | 3617k| 3.7 | 173M| 54 | 7 | 60 |2706 | 60 | 19 | 24 | 367k|2694 | 0.000000e+00 | -- | Inf
657.20/657.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.20/657.44 c 571s|980000 |242661 | 3655k| 3.7 | 175M| 54 | - | 60 |2778 | 60 | 19 | 24 | 371k|2700 | 0.000000e+00 | -- | Inf
664.00/664.29 c 577s|990000 |244803 | 3691k| 3.7 | 176M| 54 | - | 60 |3189 | 60 | 19 | 24 | 375k|2712 | 0.000000e+00 | -- | Inf
670.89/671.12 c 583s| 1000k|246919 | 3726k| 3.7 | 178M| 54 | 7 | 60 |2863 | 60 | 19 | 24 | 378k|2723 | 0.000000e+00 | -- | Inf
677.50/677.73 c 589s| 1010k|249287 | 3760k| 3.7 | 180M| 54 | 7 | 60 |3773 | 60 | 19 | 24 | 382k|2730 | 0.000000e+00 | -- | Inf
684.39/684.66 c 595s| 1020k|251543 | 3795k| 3.7 | 181M| 54 | 7 | 60 |3347 | 60 | 19 | 24 | 386k|2737 | 0.000000e+00 | -- | Inf
691.29/691.51 c 601s| 1030k|253892 | 3832k| 3.7 | 183M| 54 | - | 60 |3447 | 60 | 19 | 24 | 390k|2742 | 0.000000e+00 | -- | Inf
698.19/698.42 c 607s| 1040k|256030 | 3868k| 3.7 | 185M| 54 | 7 | 60 |3364 | 60 | 19 | 24 | 394k|2745 | 0.000000e+00 | -- | Inf
704.90/705.13 c 613s| 1050k|258444 | 3903k| 3.7 | 186M| 54 | 7 | 60 |3763 | 60 | 19 | 24 | 397k|2745 | 0.000000e+00 | -- | Inf
712.09/712.30 c 619s| 1060k|260584 | 3938k| 3.7 | 188M| 54 | 7 | 60 |2777 | 60 | 19 | 24 | 401k|2757 | 0.000000e+00 | -- | Inf
718.78/719.01 c 625s| 1070k|262927 | 3973k| 3.7 | 190M| 54 | 7 | 60 |3001 | 60 | 19 | 24 | 405k|2764 | 0.000000e+00 | -- | Inf
725.58/725.81 c 631s| 1080k|265113 | 4009k| 3.7 | 191M| 54 | 7 | 60 |2871 | 60 | 19 | 24 | 409k|2764 | 0.000000e+00 | -- | Inf
732.48/732.78 c 637s| 1090k|267118 | 4044k| 3.7 | 193M| 54 | 7 | 60 |2910 | 60 | 19 | 24 | 413k|2771 | 0.000000e+00 | -- | Inf
739.38/739.66 c 643s| 1100k|269388 | 4080k| 3.7 | 195M| 54 | 7 | 60 |3207 | 60 | 19 | 24 | 416k|2776 | 0.000000e+00 | -- | Inf
746.38/746.67 c 649s| 1110k|271429 | 4116k| 3.7 | 196M| 54 | 7 | 60 |2938 | 60 | 19 | 24 | 420k|2778 | 0.000000e+00 | -- | Inf
752.98/753.25 c 655s| 1120k|273943 | 4151k| 3.7 | 198M| 54 | - | 60 |3704 | 0 | 0 | 24 | 424k|2779 | 0.000000e+00 | -- | Inf
760.08/760.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.08/760.32 c 661s| 1130k|276189 | 4189k| 3.7 | 200M| 54 | 7 | 60 |3013 | 60 | 19 | 24 | 428k|2789 | 0.000000e+00 | -- | Inf
766.77/767.07 c 667s| 1140k|278396 | 4224k| 3.7 | 202M| 54 | 7 | 60 |3618 | 60 | 19 | 24 | 432k|2789 | 0.000000e+00 | -- | Inf
773.67/773.95 c 673s| 1150k|280857 | 4261k| 3.7 | 203M| 54 | 7 | 60 |3558 | 60 | 19 | 24 | 435k|2789 | 0.000000e+00 | -- | Inf
780.57/780.84 c 679s| 1160k|283329 | 4298k| 3.7 | 205M| 54 | 7 | 60 |4741 | 60 | 19 | 24 | 439k|2794 | 0.000000e+00 | -- | Inf
787.87/788.11 c 686s| 1170k|285523 | 4336k| 3.7 | 207M| 54 | - | 60 |3881 | 60 | 19 | 24 | 443k|2807 | 0.000000e+00 | -- | Inf
794.97/795.30 c 692s| 1180k|287515 | 4372k| 3.7 | 208M| 54 | - | 60 |2687 | 60 | 19 | 24 | 447k|2823 | 0.000000e+00 | -- | Inf
801.86/802.10 c 698s| 1190k|289756 | 4409k| 3.7 | 210M| 54 | 7 | 60 |2917 | 60 | 19 | 24 | 450k|2823 | 0.000000e+00 | -- | Inf
808.56/808.86 c 704s| 1200k|292105 | 4445k| 3.7 | 212M| 54 | - | 60 |2891 | 60 | 19 | 24 | 454k|2825 | 0.000000e+00 | -- | Inf
815.35/815.63 c 710s| 1210k|294401 | 4482k| 3.7 | 213M| 54 | 7 | 60 |3182 | 60 | 19 | 24 | 458k|2831 | 0.000000e+00 | -- | Inf
822.36/822.63 c 716s| 1220k|296546 | 4518k| 3.7 | 215M| 54 | - | 60 |3053 | 60 | 19 | 24 | 462k|2831 | 0.000000e+00 | -- | Inf
829.35/829.66 c 722s| 1230k|298650 | 4556k| 3.7 | 217M| 54 | 7 | 60 |3209 | 60 | 19 | 24 | 465k|2840 | 0.000000e+00 | -- | Inf
836.45/836.77 c 728s| 1240k|300690 | 4594k| 3.7 | 218M| 54 | 7 | 60 |2980 | 60 | 19 | 24 | 469k|2849 | 0.000000e+00 | -- | Inf
843.36/843.67 c 734s| 1250k|302784 | 4631k| 3.7 | 220M| 54 | - | 60 |2777 | 60 | 19 | 24 | 473k|2853 | 0.000000e+00 | -- | Inf
850.35/850.61 c 740s| 1260k|304933 | 4670k| 3.7 | 221M| 54 | 7 | 60 |2715 | 60 | 19 | 24 | 477k|2855 | 0.000000e+00 | -- | Inf
856.95/857.26 c 746s| 1270k|307549 | 4708k| 3.7 | 223M| 54 | - | 60 |3402 | 60 | 19 | 24 | 480k|2858 | 0.000000e+00 | -- | Inf
863.44/863.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.44/863.71 c 752s| 1280k|310491 | 4741k| 3.7 | 225M| 54 | 7 | 60 |3989 | 60 | 19 | 24 | 484k|2858 | 0.000000e+00 | -- | Inf
870.44/870.74 c 758s| 1290k|312750 | 4779k| 3.7 | 227M| 54 | - | 60 |3597 | 60 | 19 | 24 | 488k|2859 | 0.000000e+00 | -- | Inf
877.14/877.45 c 764s| 1300k|315246 | 4812k| 3.7 | 229M| 54 | 7 | 60 |3673 | 60 | 19 | 24 | 491k|2860 | 0.000000e+00 | -- | Inf
884.24/884.55 c 770s| 1310k|317277 | 4850k| 3.7 | 230M| 54 | 7 | 60 |3008 | 60 | 19 | 24 | 495k|2862 | 0.000000e+00 | -- | Inf
891.04/891.38 c 776s| 1320k|319482 | 4888k| 3.7 | 232M| 54 | 7 | 60 |3349 | 60 | 19 | 24 | 499k|2865 | 0.000000e+00 | -- | Inf
897.74/898.06 c 782s| 1330k|321866 | 4923k| 3.7 | 234M| 54 | - | 60 |3983 | 60 | 19 | 24 | 503k|2874 | 0.000000e+00 | -- | Inf
904.74/905.02 c 788s| 1340k|324357 | 4960k| 3.7 | 235M| 54 | - | 60 |3352 | 60 | 19 | 24 | 506k|2876 | 0.000000e+00 | -- | Inf
911.83/912.19 c 794s| 1350k|326287 | 4998k| 3.7 | 237M| 54 | - | 60 |2623 | 60 | 19 | 24 | 510k|2884 | 0.000000e+00 | -- | Inf
918.83/919.14 c 800s| 1360k|328533 | 5037k| 3.7 | 239M| 54 | - | 60 |3232 | 60 | 19 | 24 | 514k|2887 | 0.000000e+00 | -- | Inf
925.93/926.24 c 806s| 1370k|330617 | 5074k| 3.7 | 240M| 54 | 7 | 60 |2735 | 60 | 19 | 24 | 518k|2890 | 0.000000e+00 | -- | Inf
932.93/933.20 c 813s| 1380k|332606 | 5113k| 3.7 | 242M| 54 | 7 | 60 |2833 | 60 | 19 | 24 | 521k|2907 | 0.000000e+00 | -- | Inf
939.83/940.15 c 819s| 1390k|334934 | 5153k| 3.7 | 244M| 54 | - | 60 |3185 | 0 | 0 | 24 | 525k|2907 | 0.000000e+00 | -- | Inf
947.02/947.31 c 825s| 1400k|336906 | 5192k| 3.7 | 245M| 54 | - | 60 |2707 | 60 | 19 | 24 | 529k|2909 | 0.000000e+00 | -- | Inf
953.92/954.24 c 831s| 1410k|338990 | 5230k| 3.7 | 247M| 54 | 7 | 60 |2635 | 60 | 19 | 24 | 533k|2910 | 0.000000e+00 | -- | Inf
960.72/961.01 c 837s| 1420k|341194 | 5268k| 3.7 | 248M| 54 | 7 | 60 |3138 | 60 | 19 | 24 | 536k|2931 | 0.000000e+00 | -- | Inf
967.22/967.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.22/967.53 c 842s| 1430k|343884 | 5306k| 3.7 | 250M| 54 | 7 | 60 |4054 | 60 | 19 | 24 | 540k|2931 | 0.000000e+00 | -- | Inf
974.42/974.72 c 849s| 1440k|345968 | 5344k| 3.7 | 252M| 54 | - | 60 |2821 | 60 | 19 | 24 | 544k|2935 | 0.000000e+00 | -- | Inf
981.22/981.55 c 855s| 1450k|348342 | 5382k| 3.7 | 254M| 54 | 7 | 60 |3013 | 60 | 19 | 24 | 547k|2935 | 0.000000e+00 | -- | Inf
988.21/988.51 c 861s| 1460k|350558 | 5419k| 3.7 | 255M| 54 | 7 | 60 |2464 | 60 | 19 | 24 | 551k|2945 | 0.000000e+00 | -- | Inf
995.01/995.33 c 867s| 1470k|352743 | 5455k| 3.7 | 257M| 54 | - | 60 |2725 | 60 | 19 | 24 | 555k|2988 | 0.000000e+00 | -- | Inf
1001.71/1002.08 c 873s| 1480k|355179 | 5492k| 3.7 | 259M| 54 | 7 | 60 |3331 | 60 | 19 | 24 | 559k|2988 | 0.000000e+00 | -- | Inf
1008.60/1008.94 c 879s| 1490k|357679 | 5529k| 3.7 | 261M| 54 | 7 | 60 |3988 | 60 | 19 | 24 | 563k|2988 | 0.000000e+00 | -- | Inf
1015.91/1016.22 c 885s| 1500k|359858 | 5565k| 3.7 | 262M| 54 | 7 | 60 |2972 | 60 | 19 | 24 | 566k|2988 | 0.000000e+00 | -- | Inf
1022.80/1023.16 c 891s| 1510k|361999 | 5601k| 3.7 | 263M| 54 | - | 60 |2781 | 60 | 19 | 24 | 570k|2992 | 0.000000e+00 | -- | Inf
1029.80/1030.19 c 897s| 1520k|364042 | 5640k| 3.7 | 265M| 54 | 7 | 60 |2536 | 60 | 19 | 24 | 574k|2995 | 0.000000e+00 | -- | Inf
1036.60/1036.96 c 903s| 1530k|366188 | 5676k| 3.7 | 267M| 54 | 7 | 60 |3436 | 60 | 19 | 24 | 578k|2995 | 0.000000e+00 | -- | Inf
1043.50/1043.85 c 909s| 1540k|368628 | 5712k| 3.7 | 269M| 54 | 7 | 60 |3542 | 60 | 19 | 24 | 581k|2995 | 0.000000e+00 | -- | Inf
1050.20/1050.52 c 915s| 1550k|371301 | 5748k| 3.7 | 271M| 54 | - | 60 |4436 | 60 | 19 | 24 | 585k|2995 | 0.000000e+00 | -- | Inf
1057.59/1057.94 c 921s| 1560k|373268 | 5785k| 3.7 | 272M| 54 | - | 60 |2634 | 60 | 19 | 24 | 588k|3001 | 0.000000e+00 | -- | Inf
1064.50/1064.88 c 928s| 1570k|375224 | 5822k| 3.7 | 273M| 54 | - | 60 |2941 | 60 | 19 | 24 | 592k|3023 | 0.000000e+00 | -- | Inf
1071.29/1071.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.29/1071.60 c 933s| 1580k|377919 | 5861k| 3.7 | 275M| 54 | 7 | 60 |3793 | 60 | 19 | 24 | 596k|3023 | 0.000000e+00 | -- | Inf
1078.09/1078.42 c 939s| 1590k|380554 | 5896k| 3.7 | 277M| 54 | 7 | 60 |4225 | 60 | 19 | 24 | 599k|3023 | 0.000000e+00 | -- | Inf
1085.29/1085.62 c 946s| 1600k|382776 | 5933k| 3.7 | 279M| 54 | 7 | 60 |2706 | 60 | 19 | 24 | 603k|3023 | 0.000000e+00 | -- | Inf
1092.28/1092.67 c 952s| 1610k|384696 | 5969k| 3.7 | 280M| 54 | 7 | 60 |2626 | 60 | 19 | 24 | 607k|3023 | 0.000000e+00 | -- | Inf
1099.28/1099.63 c 958s| 1620k|386814 | 6008k| 3.7 | 282M| 54 | - | 60 |2720 | 60 | 19 | 24 | 611k|3030 | 0.000000e+00 | -- | Inf
1106.18/1106.50 c 964s| 1630k|388974 | 6043k| 3.7 | 284M| 54 | 7 | 60 |3295 | 60 | 19 | 24 | 615k|3030 | 0.000000e+00 | -- | Inf
1113.08/1113.43 c 970s| 1640k|391100 | 6081k| 3.7 | 285M| 54 | - | 60 |2735 | 60 | 19 | 24 | 619k|3036 | 0.000000e+00 | -- | Inf
1120.07/1120.46 c 976s| 1650k|393254 | 6119k| 3.7 | 287M| 54 | 7 | 60 |3014 | 60 | 19 | 24 | 622k|3047 | 0.000000e+00 | -- | Inf
1127.08/1127.40 c 982s| 1660k|395448 | 6156k| 3.7 | 288M| 54 | 7 | 60 |3209 | 60 | 19 | 24 | 626k|3047 | 0.000000e+00 | -- | Inf
1134.07/1134.41 c 988s| 1670k|397412 | 6194k| 3.7 | 290M| 54 | - | 60 |3325 | 60 | 19 | 24 | 630k|3047 | 0.000000e+00 | -- | Inf
1140.86/1141.29 c 994s| 1680k|399756 | 6233k| 3.7 | 292M| 54 | 7 | 60 |4465 | 60 | 19 | 24 | 634k|3047 | 0.000000e+00 | -- | Inf
1148.16/1148.56 c 1001s| 1690k|402012 | 6273k| 3.7 | 294M| 54 | 7 | 60 |3736 | 60 | 19 | 24 | 637k|3048 | 0.000000e+00 | -- | Inf
1155.37/1155.78 c 1007s| 1700k|404193 | 6311k| 3.7 | 295M| 54 | 7 | 60 |3114 | 60 | 19 | 24 | 641k|3048 | 0.000000e+00 | -- | Inf
1162.16/1162.59 c 1013s| 1710k|406619 | 6348k| 3.7 | 297M| 54 | 7 | 60 |4074 | 60 | 19 | 24 | 645k|3050 | 0.000000e+00 | -- | Inf
1169.36/1169.78 c 1019s| 1720k|408735 | 6384k| 3.7 | 298M| 54 | - | 60 |3256 | 60 | 19 | 24 | 649k|3053 | 0.000000e+00 | -- | Inf
1176.57/1176.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.57/1176.94 c 1026s| 1730k|410826 | 6421k| 3.7 | 300M| 54 | - | 60 |3021 | 60 | 19 | 24 | 653k|3059 | 0.000000e+00 | -- | Inf
1183.66/1184.07 c 1032s| 1740k|412872 | 6459k| 3.7 | 302M| 54 | 7 | 60 |2923 | 60 | 19 | 24 | 656k|3059 | 0.000000e+00 | -- | Inf
1190.36/1190.77 c 1038s| 1750k|415261 | 6494k| 3.7 | 303M| 54 | - | 60 |3001 | 60 | 19 | 24 | 660k|3059 | 0.000000e+00 | -- | Inf
1197.25/1197.62 c 1044s| 1760k|417457 | 6530k| 3.7 | 305M| 54 | - | 60 |3437 | 60 | 19 | 24 | 664k|3059 | 0.000000e+00 | -- | Inf
1204.16/1204.51 c 1050s| 1770k|419762 | 6567k| 3.7 | 307M| 54 | 7 | 60 |3599 | 60 | 19 | 24 | 667k|3060 | 0.000000e+00 | -- | Inf
1211.05/1211.45 c 1056s| 1780k|421970 | 6603k| 3.7 | 308M| 54 | - | 60 |3395 | 60 | 19 | 24 | 671k|3060 | 0.000000e+00 | -- | Inf
1218.24/1218.61 c 1062s| 1790k|423925 | 6640k| 3.7 | 310M| 54 | - | 60 |2528 | 60 | 19 | 24 | 675k|3073 | 0.000000e+00 | -- | Inf
1225.05/1225.46 c 1068s| 1800k|426100 | 6676k| 3.7 | 311M| 54 | 7 | 60 |2873 | 60 | 19 | 24 | 679k|3073 | 0.000000e+00 | -- | Inf
1231.84/1232.26 c 1074s| 1810k|428178 | 6712k| 3.7 | 313M| 54 | 7 | 60 |3132 | 60 | 19 | 24 | 683k|3076 | 0.000000e+00 | -- | Inf
1238.83/1239.24 c 1080s| 1820k|430264 | 6747k| 3.7 | 315M| 54 | 7 | 60 |3068 | 60 | 19 | 24 | 686k|3076 | 0.000000e+00 | -- | Inf
1246.04/1246.41 c 1086s| 1830k|432139 | 6784k| 3.7 | 316M| 54 | 7 | 60 |2786 | 60 | 19 | 24 | 690k|3082 | 0.000000e+00 | -- | Inf
1252.93/1253.31 c 1092s| 1840k|434135 | 6822k| 3.7 | 318M| 54 | 7 | 60 |3338 | 60 | 19 | 24 | 694k|3082 | 0.000000e+00 | -- | Inf
1260.03/1260.47 c 1099s| 1850k|436274 | 6860k| 3.7 | 319M| 54 | 7 | 60 |3144 | 60 | 19 | 24 | 698k|3085 | 0.000000e+00 | -- | Inf
1267.13/1267.58 c 1105s| 1860k|438486 | 6899k| 3.7 | 321M| 54 | 7 | 60 |2550 | 60 | 19 | 24 | 701k|3088 | 0.000000e+00 | -- | Inf
1274.12/1274.55 c 1111s| 1870k|440495 | 6937k| 3.7 | 322M| 54 | - | 60 |2574 | 60 | 19 | 24 | 705k|3093 | 0.000000e+00 | -- | Inf
1280.92/1281.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1280.92/1281.30 c 1117s| 1880k|442813 | 6974k| 3.7 | 324M| 54 | 7 | 60 |3367 | 60 | 19 | 24 | 709k|3094 | 0.000000e+00 | -- | Inf
1287.92/1288.37 c 1123s| 1890k|444947 | 7011k| 3.7 | 326M| 54 | 7 | 60 |3822 | 60 | 19 | 24 | 712k|3095 | 0.000000e+00 | -- | Inf
1295.22/1295.62 c 1129s| 1900k|446840 | 7046k| 3.7 | 327M| 54 | - | 60 |3143 | 60 | 19 | 24 | 716k|3095 | 0.000000e+00 | -- | Inf
1302.12/1302.52 c 1136s| 1910k|449104 | 7083k| 3.7 | 329M| 54 | 7 | 60 |3120 | 60 | 19 | 24 | 720k|3095 | 0.000000e+00 | -- | Inf
1309.11/1309.50 c 1142s| 1920k|451093 | 7120k| 3.7 | 331M| 54 | 7 | 60 |2878 | 60 | 19 | 24 | 724k|3102 | 0.000000e+00 | -- | Inf
1315.91/1316.31 c 1148s| 1930k|453201 | 7158k| 3.7 | 332M| 54 | - | 60 |3304 | 60 | 19 | 24 | 728k|3112 | 0.000000e+00 | -- | Inf
1322.81/1323.24 c 1154s| 1940k|455427 | 7195k| 3.7 | 334M| 54 | 7 | 60 |3882 | 60 | 19 | 24 | 731k|3131 | 0.000000e+00 | -- | Inf
1329.91/1330.35 c 1160s| 1950k|457671 | 7233k| 3.7 | 336M| 54 | 7 | 60 |3813 | 60 | 19 | 24 | 735k|3134 | 0.000000e+00 | -- | Inf
1337.01/1337.45 c 1166s| 1960k|459824 | 7272k| 3.7 | 337M| 54 | 7 | 60 |3318 | 60 | 19 | 24 | 738k|3134 | 0.000000e+00 | -- | Inf
1344.10/1344.59 c 1172s| 1970k|461908 | 7308k| 3.7 | 339M| 54 | 7 | 60 |2973 | 60 | 19 | 24 | 742k|3142 | 0.000000e+00 | -- | Inf
1351.20/1351.61 c 1179s| 1980k|463894 | 7344k| 3.7 | 340M| 54 | 7 | 60 |2772 | 60 | 19 | 24 | 746k|3143 | 0.000000e+00 | -- | Inf
1358.10/1358.52 c 1185s| 1990k|466025 | 7381k| 3.7 | 342M| 54 | 7 | 60 |3377 | 60 | 19 | 24 | 750k|3143 | 0.000000e+00 | -- | Inf
1365.19/1365.67 c 1191s| 2000k|468141 | 7420k| 3.7 | 344M| 54 | 7 | 60 |3293 | 60 | 19 | 24 | 753k|3143 | 0.000000e+00 | -- | Inf
1372.40/1372.85 c 1197s| 2010k|469969 | 7458k| 3.7 | 345M| 54 | - | 60 |3758 | 60 | 19 | 24 | 757k|3147 | 0.000000e+00 | -- | Inf
1379.59/1380.02 c 1203s| 2020k|472200 | 7497k| 3.7 | 347M| 54 | 7 | 60 |3299 | 60 | 19 | 24 | 761k|3155 | 0.000000e+00 | -- | Inf
1386.60/1387.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.60/1387.07 c 1210s| 2030k|474342 | 7533k| 3.7 | 348M| 54 | 7 | 60 |3119 | 60 | 19 | 24 | 765k|3156 | 0.000000e+00 | -- | Inf
1393.69/1394.17 c 1216s| 2040k|476418 | 7571k| 3.7 | 350M| 54 | - | 60 |3299 | 60 | 19 | 24 | 769k|3163 | 0.000000e+00 | -- | Inf
1400.69/1401.13 c 1222s| 2050k|478720 | 7611k| 3.7 | 352M| 54 | 7 | 60 |3920 | 60 | 19 | 24 | 772k|3163 | 0.000000e+00 | -- | Inf
1407.88/1408.38 c 1228s| 2060k|480807 | 7648k| 3.7 | 353M| 54 | - | 60 |3517 | 60 | 19 | 24 | 776k|3167 | 0.000000e+00 | -- | Inf
1415.29/1415.80 c 1235s| 2070k|482616 | 7687k| 3.7 | 355M| 54 | - | 60 |2807 | 60 | 19 | 24 | 780k|3168 | 0.000000e+00 | -- | Inf
1421.98/1422.47 c 1241s| 2080k|484992 | 7724k| 3.7 | 357M| 54 | 7 | 60 |3918 | 60 | 19 | 24 | 783k|3168 | 0.000000e+00 | -- | Inf
1429.48/1429.93 c 1247s| 2090k|486814 | 7762k| 3.7 | 358M| 54 | 7 | 60 |2676 | 60 | 19 | 24 | 787k|3175 | 0.000000e+00 | -- | Inf
1436.37/1436.81 c 1253s| 2100k|488829 | 7800k| 3.7 | 360M| 54 | 7 | 60 |2824 | 60 | 19 | 24 | 791k|3177 | 0.000000e+00 | -- | Inf
1443.27/1443.75 c 1259s| 2110k|491088 | 7839k| 3.7 | 361M| 54 | 7 | 60 |2886 | 60 | 19 | 24 | 795k|3177 | 0.000000e+00 | -- | Inf
1450.37/1450.83 c 1265s| 2120k|493179 | 7880k| 3.7 | 363M| 54 | 7 | 60 |3207 | 60 | 19 | 24 | 798k|3177 | 0.000000e+00 | -- | Inf
1457.36/1457.85 c 1272s| 2130k|495528 | 7918k| 3.7 | 365M| 54 | - | 60 |3171 | 60 | 19 | 24 | 802k|3178 | 0.000000e+00 | -- | Inf
1464.36/1464.82 c 1278s| 2140k|497791 | 7956k| 3.7 | 366M| 54 | - | 60 |3328 | 60 | 19 | 24 | 805k|3193 | 0.000000e+00 | -- | Inf
1471.27/1471.73 c 1284s| 2150k|500106 | 7992k| 3.7 | 368M| 54 | - | 60 |3787 | 60 | 19 | 24 | 809k|3193 | 0.000000e+00 | -- | Inf
1478.35/1478.85 c 1290s| 2160k|502239 | 8030k| 3.7 | 370M| 54 | 7 | 60 |4003 | 60 | 19 | 24 | 813k|3193 | 0.000000e+00 | -- | Inf
1485.25/1485.72 c 1296s| 2170k|504946 | 8069k| 3.7 | 372M| 54 | 7 | 60 |4309 | 60 | 19 | 24 | 816k|3193 | 0.000000e+00 | -- | Inf
1492.05/1492.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.05/1492.56 c 1302s| 2180k|507478 | 8108k| 3.7 | 373M| 54 | - | 60 |4431 | 60 | 19 | 24 | 820k|3193 | 0.000000e+00 | -- | Inf
1498.95/1499.46 c 1308s| 2190k|509724 | 8145k| 3.7 | 375M| 54 | 7 | 60 |4435 | 60 | 19 | 24 | 823k|3193 | 0.000000e+00 | -- | Inf
1505.65/1506.18 c 1314s| 2200k|512287 | 8183k| 3.7 | 377M| 54 | 7 | 60 |4825 | 60 | 19 | 24 | 826k|3193 | 0.000000e+00 | -- | Inf
1513.05/1513.59 c 1320s| 2210k|514196 | 8218k| 3.7 | 378M| 54 | - | 60 |2992 | 0 | 0 | 24 | 830k|3205 | 0.000000e+00 | -- | Inf
1519.85/1520.33 c 1326s| 2220k|516821 | 8253k| 3.7 | 380M| 54 | 7 | 60 |3077 | 60 | 19 | 24 | 833k|3205 | 0.000000e+00 | -- | Inf
1526.94/1527.42 c 1332s| 2230k|518833 | 8288k| 3.7 | 381M| 54 | 7 | 60 |2987 | 60 | 19 | 24 | 837k|3206 | 0.000000e+00 | -- | Inf
1533.74/1534.24 c 1338s| 2240k|521089 | 8321k| 3.7 | 383M| 54 | 7 | 60 |3380 | 60 | 19 | 24 | 841k|3212 | 0.000000e+00 | -- | Inf
1540.94/1541.42 c 1345s| 2250k|523328 | 8359k| 3.7 | 385M| 54 | 7 | 60 |4300 | 60 | 19 | 24 | 845k|3212 | 0.000000e+00 | -- | Inf
1548.35/1548.85 c 1351s| 2260k|525208 | 8393k| 3.7 | 386M| 54 | - | 60 |2807 | 60 | 19 | 24 | 849k|3215 | 0.000000e+00 | -- | Inf
1555.53/1556.00 c 1358s| 2270k|527087 | 8428k| 3.7 | 388M| 54 | 7 | 60 |2812 | 60 | 19 | 24 | 853k|3226 | 0.000000e+00 | -- | Inf
1562.54/1563.05 c 1364s| 2280k|529139 | 8463k| 3.7 | 390M| 54 | - | 60 |2844 | 60 | 19 | 24 | 857k|3227 | 0.000000e+00 | -- | Inf
1569.33/1569.89 c 1370s| 2290k|531511 | 8498k| 3.7 | 392M| 54 | 7 | 60 |3585 | 60 | 19 | 24 | 861k|3227 | 0.000000e+00 | -- | Inf
1576.52/1577.05 c 1376s| 2300k|533649 | 8533k| 3.7 | 393M| 54 | 7 | 60 |2857 | 60 | 19 | 24 | 865k|3232 | 0.000000e+00 | -- | Inf
1583.63/1584.16 c 1382s| 2310k|535718 | 8571k| 3.7 | 395M| 54 | 7 | 60 |3193 | 60 | 19 | 24 | 869k|3241 | 0.000000e+00 | -- | Inf
1590.42/1590.92 c 1388s| 2320k|538516 | 8607k| 3.7 | 397M| 54 | 7 | 60 |3487 | 60 | 19 | 24 | 872k|3241 | 0.000000e+00 | -- | Inf
1597.12/1597.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.12/1597.67 c 1394s| 2330k|541028 | 8642k| 3.7 | 399M| 54 | - | 60 |3814 | 0 | 0 | 24 | 876k|3241 | 0.000000e+00 | -- | Inf
1604.12/1604.62 c 1400s| 2340k|543223 | 8675k| 3.7 | 400M| 54 | 7 | 60 |4022 | 60 | 19 | 24 | 880k|3241 | 0.000000e+00 | -- | Inf
1611.21/1611.76 c 1406s| 2350k|545274 | 8709k| 3.7 | 402M| 54 | 7 | 60 |3811 | 60 | 19 | 24 | 883k|3246 | 0.000000e+00 | -- | Inf
1618.32/1618.90 c 1413s| 2360k|547274 | 8744k| 3.7 | 403M| 54 | 7 | 60 |3755 | 60 | 19 | 24 | 887k|3255 | 0.000000e+00 | -- | Inf
1625.61/1626.16 c 1419s| 2370k|549430 | 8780k| 3.7 | 405M| 54 | - | 60 |2950 | 60 | 19 | 24 | 891k|3263 | 0.000000e+00 | -- | Inf
1632.51/1633.07 c 1425s| 2380k|551544 | 8815k| 3.7 | 407M| 54 | 7 | 60 |3764 | 60 | 19 | 24 | 895k|3267 | 0.000000e+00 | -- | Inf
1639.81/1640.34 c 1431s| 2390k|553476 | 8852k| 3.7 | 408M| 54 | 7 | 60 |3022 | 60 | 19 | 24 | 899k|3280 | 0.000000e+00 | -- | Inf
1646.71/1647.27 c 1437s| 2400k|555759 | 8889k| 3.7 | 410M| 54 | - | 60 |3245 | 60 | 19 | 24 | 902k|3285 | 0.000000e+00 | -- | Inf
1654.00/1654.52 c 1444s| 2410k|557562 | 8925k| 3.7 | 411M| 54 | - | 60 |2886 | 60 | 19 | 24 | 906k|3289 | 0.000000e+00 | -- | Inf
1660.90/1661.48 c 1450s| 2420k|559700 | 8963k| 3.7 | 413M| 54 | - | 60 |3643 | 60 | 19 | 24 | 910k|3290 | 0.000000e+00 | -- | Inf
1668.30/1668.82 c 1456s| 2430k|561680 | 9000k| 3.7 | 414M| 54 | 7 | 60 |3260 | 60 | 19 | 24 | 914k|3304 | 0.000000e+00 | -- | Inf
1675.50/1676.02 c 1463s| 2440k|563672 | 9038k| 3.7 | 416M| 54 | 7 | 60 |3296 | 60 | 19 | 24 | 917k|3307 | 0.000000e+00 | -- | Inf
1682.40/1683.00 c 1469s| 2450k|565788 | 9074k| 3.7 | 418M| 54 | 7 | 60 |3051 | 60 | 19 | 24 | 921k|3311 | 0.000000e+00 | -- | Inf
1689.39/1689.95 c 1475s| 2460k|567886 | 9109k| 3.7 | 419M| 54 | - | 60 |2941 | 60 | 19 | 24 | 925k|3311 | 0.000000e+00 | -- | Inf
1696.29/1696.83 c 1481s| 2470k|570195 | 9146k| 3.7 | 421M| 54 | 7 | 60 |3151 | 60 | 19 | 24 | 929k|3318 | 0.000000e+00 | -- | Inf
1703.40/1703.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.40/1703.94 c 1487s| 2480k|572291 | 9184k| 3.7 | 422M| 54 | - | 60 |3314 | 60 | 19 | 24 | 932k|3320 | 0.000000e+00 | -- | Inf
1710.59/1711.10 c 1493s| 2490k|574210 | 9222k| 3.7 | 424M| 54 | - | 60 |3527 | 0 | 0 | 24 | 936k|3326 | 0.000000e+00 | -- | Inf
1717.89/1718.41 c 1500s| 2500k|576169 | 9260k| 3.7 | 426M| 54 | 7 | 60 |3328 | 60 | 19 | 24 | 940k|3333 | 0.000000e+00 | -- | Inf
1724.98/1725.53 c 1506s| 2510k|578439 | 9299k| 3.7 | 427M| 54 | 7 | 60 |2952 | 60 | 19 | 24 | 944k|3338 | 0.000000e+00 | -- | Inf
1731.99/1732.57 c 1512s| 2520k|580468 | 9336k| 3.7 | 429M| 54 | 7 | 60 |3094 | 60 | 19 | 24 | 948k|3339 | 0.000000e+00 | -- | Inf
1739.18/1739.77 c 1519s| 2530k|582274 | 9372k| 3.7 | 430M| 54 | - | 60 |2723 | 60 | 19 | 24 | 952k|3345 | 0.000000e+00 | -- | Inf
1746.19/1746.78 c 1525s| 2540k|584314 | 9409k| 3.7 | 432M| 54 | 7 | 60 |3024 | 60 | 19 | 24 | 956k|3346 | 0.000000e+00 | -- | Inf
1752.97/1753.54 c 1531s| 2550k|586772 | 9445k| 3.7 | 434M| 54 | - | 60 |3250 | 60 | 19 | 24 | 959k|3358 | 0.000000e+00 | -- | Inf
1759.67/1760.20 c 1536s| 2560k|589493 | 9483k| 3.7 | 435M| 54 | - | 60 |3633 | 60 | 19 | 24 | 962k|3358 | 0.000000e+00 | -- | Inf
1766.37/1766.96 c 1542s| 2570k|591974 | 9521k| 3.7 | 437M| 54 | 7 | 60 |4028 | 60 | 19 | 24 | 966k|3358 | 0.000000e+00 | -- | Inf
1773.47/1774.05 c 1549s| 2580k|594085 | 9558k| 3.7 | 439M| 54 | 7 | 60 |3658 | 60 | 19 | 24 | 969k|3358 | 0.000000e+00 | -- | Inf
1780.77/1781.34 c 1555s| 2590k|596144 | 9596k| 3.7 | 440M| 54 | 7 | 60 |2884 | 60 | 19 | 24 | 973k|3364 | 0.000000e+00 | -- | Inf
1787.86/1788.44 c 1561s| 2600k|598108 | 9632k| 3.7 | 442M| 54 | 7 | 60 |3022 | 60 | 19 | 24 | 977k|3370 | 0.000000e+00 | -- | Inf
1794.86/1795.42 c 1567s| 2610k|600089 | 9669k| 3.7 | 444M| 54 | 7 | 60 |3612 | 60 | 19 | 24 | 981k|3371 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1571.71
1800.07/1800.61 c Solving Nodes : 2617151
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1571.71
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2666231-1276614391.opb
1800.07/1800.61 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 15 initial, 15 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2666231-1276614391.opb
1800.07/1800.61 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 7 initial, 5243 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.01 0 0 0 0 0 8 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1612706 0 205 942 0 0 3223242
1800.07/1800.61 c linear : 7+ 7 5909084 0 0 86544 2979728 0 0 0
1800.07/1800.61 c logicor : 0+ 0 2470180 0 0 5940 844736 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 21.49 0.00 0.00 21.49 0.00
1800.07/1800.61 c linear : 302.53 0.00 302.53 0.00 0.00
1800.07/1800.61 c logicor : 154.07 0.00 154.07 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 3.01 2 0 0
1800.07/1800.61 c rootredcost : 2.80 0 0 0
1800.07/1800.61 c pseudoobj : 2.58 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 13.54 92484 81220 279201 41.0 11 35.1 -
1800.07/1800.61 c infeasible LP : 52.86 917412 678765 1165787 27.0 2748 30.5 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 811757 23.0 - - -
1800.07/1800.61 c applied locally : - - - 172211 36.4 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 16 - (maximal pool size: 109)
1800.07/1800.61 c redcost : 4.26 1612711 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.01 6 0 0 59 0
1800.07/1800.61 c cmir : 0.03 6 0 0 27 0
1800.07/1800.61 c flowcover : 0.02 6 0 0 34 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.10 1 0 0 0 2
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 19.32 1612706 205 942 0 0 3223242
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 2.44 0 0
1800.07/1800.61 c crossover : 1.47 0 0
1800.07/1800.61 c guideddiving : 0.21 0 0
1800.07/1800.61 c intshifting : 0.14 0 0
1800.07/1800.61 c coefdiving : 0.28 18 0
1800.07/1800.61 c pscostdiving : 0.12 18 0
1800.07/1800.61 c fracdiving : 0.13 18 0
1800.07/1800.61 c veclendiving : 0.15 18 0
1800.07/1800.61 c linesearchdiving : 0.15 18 0
1800.07/1800.61 c objpscostdiving : 0.12 10 0
1800.07/1800.61 c rootsoldiving : 0.21 10 0
1800.07/1800.61 c feaspump : 0.13 10 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 0.86 0 0
1800.07/1800.61 c zirounding : 1.38 1000 0
1800.07/1800.61 c rounding : 2.10 17928 0
1800.07/1800.61 c shifting : 4.76 5680 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.05 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.19 0 0
1800.07/1800.61 c trysol : 1.77 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 637.49 2466154 9694688 3.93 15207.59
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.12 625 1398 2.24 11650.00
1800.07/1800.61 c strong branching : 1.53 3372 25616 7.60 16742.48
1800.07/1800.61 c (at root node) : - 9 350 38.89 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 2617151
1800.07/1800.61 c nodes (total) : 2617151
1800.07/1800.61 c nodes left : 601488
1800.07/1800.61 c max depth : 54
1800.07/1800.61 c max depth (total): 54
1800.07/1800.61 c backtracks : 272099 (10.4%)
1800.07/1800.61 c delayed cutoffs : 4604
1800.07/1800.61 c repropagations : 2147813 (849240 domain reductions, 4352 cutoffs)
1800.07/1800.61 c avg switch length: 5.11
1800.07/1800.61 c switching time : 179.35
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666231-1276614391/watcher-2666231-1276614391 -o /tmp/evaluation-result-2666231-1276614391/solver-2666231-1276614391 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666231-1276614391.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: 0.92 0.98 0.99 4/106 10647
/proc/meminfo: memFree=1751104/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=9288 CPUtime=0
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 2729927 9510912 971 1992294400 4194304 9819077 140734518862064 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10647/statm: 2322 981 371 1374 0 943 0
[startup+0.073571 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 10647
/proc/meminfo: memFree=1751104/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=21856 CPUtime=0.07
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 5049 0 0 0 5 2 0 0 20 0 1 0 2729927 22380544 3836 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 5464 3836 676 1374 0 4085 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21856
[startup+0.101573 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 10647
/proc/meminfo: memFree=1751104/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=21856 CPUtime=0.1
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 5051 0 0 0 8 2 0 0 20 0 1 0 2729927 22380544 3838 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 5464 3838 676 1374 0 4085 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21856
[startup+0.301593 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 10647
/proc/meminfo: memFree=1751104/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=21440 CPUtime=0.29
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 9050 0 0 0 25 4 0 0 20 0 1 0 2729927 21954560 3573 1992294400 4194304 9819077 140734518862064 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 5360 3316 715 1374 0 3981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21440
[startup+0.701632 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 10647
/proc/meminfo: memFree=1751104/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=15732 CPUtime=0.69
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 16738 0 0 0 57 12 0 0 21 0 1 0 2729927 16109568 2653 1992294400 4194304 9819077 140734518862064 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 3933 2653 723 1374 0 2554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15732
[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10648
/proc/meminfo: memFree=1742540/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=16036 CPUtime=1.49
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 24514 0 0 0 125 24 0 0 23 0 1 0 2729927 16420864 2703 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 4009 2703 724 1374 0 2630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16036
[startup+3.10087 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10648
/proc/meminfo: memFree=1742292/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=17516 CPUtime=3.09
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 40594 0 0 0 262 47 0 0 25 0 1 0 2729927 17936384 3073 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 4379 3073 724 1374 0 3000 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17516
[startup+6.30118 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10648
/proc/meminfo: memFree=1739192/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=19976 CPUtime=6.29
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 72383 0 0 0 539 90 0 0 25 0 1 0 2729927 20455424 3685 1992294400 4194304 9819077 140734518862064 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 4994 3685 724 1374 0 3615 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19976
[startup+12.7008 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10650
/proc/meminfo: memFree=1736216/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=21560 CPUtime=12.68
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 133352 0 0 0 1091 177 0 0 25 0 1 0 2729927 22077440 4285 1992294400 4194304 9819077 140734518862064 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 5550 4288 724 1374 0 4171 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21560
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10650
/proc/meminfo: memFree=1731628/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=27352 CPUtime=25.49
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 259087 0 0 0 2196 353 0 0 25 0 1 0 2729927 28008448 5556 1992294400 4194304 9819077 140734518862064 18446744073709551615 7816419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 6838 5556 724 1374 0 5459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27352
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10650
/proc/meminfo: memFree=1722204/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=36160 CPUtime=51.08
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 505930 0 0 0 4410 698 0 0 25 0 1 0 2729927 37027840 7811 1992294400 4194304 9819077 140734518862064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 9040 7811 724 1374 0 7661 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36160
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 10652
/proc/meminfo: memFree=1705216/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=52436 CPUtime=102.27
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 987717 0 0 0 8837 1390 0 0 25 0 1 0 2729927 53694464 11955 1992294400 4194304 9819077 140734518862064 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 13149 11956 724 1374 0 11770 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52436
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10654
/proc/meminfo: memFree=1688724/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=71732 CPUtime=162.24
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 1536427 0 0 0 14038 2186 0 0 25 0 1 0 2729927 73453568 16315 1992294400 4194304 9819077 140734518862064 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 17933 16315 724 1374 0 16554 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 71732
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10654
/proc/meminfo: memFree=1667148/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=91876 CPUtime=222.22
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 2082687 0 0 0 19233 2989 0 0 25 0 1 0 2729927 94081024 21443 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 22969 21443 724 1374 0 21590 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 91876
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10656
/proc/meminfo: memFree=1651648/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=106304 CPUtime=282.21
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 2623033 0 0 0 24455 3766 0 0 25 0 1 0 2729927 108855296 25344 1992294400 4194304 9819077 140734518862064 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 26776 25348 724 1374 0 25397 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 106304
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10658
/proc/meminfo: memFree=1636024/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=122368 CPUtime=342.19
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 3157218 0 0 0 29676 4543 0 0 25 0 1 0 2729927 125304832 29189 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 30592 29189 724 1374 0 29213 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 122368
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10660
/proc/meminfo: memFree=1620276/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=138188 CPUtime=402.17
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 3688144 0 0 0 34900 5317 0 0 25 0 1 0 2729927 141504512 33260 1992294400 4194304 9819077 140734518862064 18446744073709551615 6361872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 34547 33260 724 1374 0 33168 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 138188
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10662
/proc/meminfo: memFree=1603164/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=154076 CPUtime=462.15
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 4223227 0 0 0 40115 6100 0 0 25 0 1 0 2729927 157773824 37307 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 38519 37307 724 1374 0 37140 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 154076
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10662
/proc/meminfo: memFree=1589772/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=172712 CPUtime=522.14
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 4757305 0 0 0 45344 6870 0 0 25 0 1 0 2729927 176857088 40984 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 43178 40984 724 1374 0 41799 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 172712
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10664
/proc/meminfo: memFree=1570800/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=189640 CPUtime=582.12
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 5287801 0 0 0 50579 7633 0 0 25 0 1 0 2729927 194191360 45328 1992294400 4194304 9819077 140734518862064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 47410 45328 724 1374 0 46031 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 189640
[startup+642.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 10666
/proc/meminfo: memFree=1555796/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=204312 CPUtime=642.11
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 5813455 0 0 0 55828 8383 0 0 25 0 1 0 2729927 209215488 49032 1992294400 4194304 9819077 140734518862064 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 51078 49032 724 1374 0 49699 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 204312
[startup+702.301 s]
################
# More data... #
################
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 8987315 0 0 0 87279 12922 0 0 25 0 1 0 2729927 300584960 71785 1992294400 4194304 9819077 140734518862064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 73385 71785 724 1374 0 72006 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 293540
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10678
/proc/meminfo: memFree=1451016/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=306636 CPUtime=1061.99
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 9512151 0 0 0 92531 13668 0 0 25 0 1 0 2729927 313995264 75136 1992294400 4194304 9819077 140734518862064 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 76659 75136 724 1374 0 75280 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 306636
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10678
/proc/meminfo: memFree=1439360/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=318316 CPUtime=1121.98
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 10039467 0 0 0 97772 14426 0 0 25 0 1 0 2729927 325955584 78062 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 79579 78062 724 1374 0 78200 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 318316
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10680
/proc/meminfo: memFree=1421132/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=335468 CPUtime=1181.96
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 10559695 0 0 0 103026 15170 0 0 25 0 1 0 2729927 343519232 82448 1992294400 4194304 9819077 140734518862064 18446744073709551615 7815859 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 83867 82448 724 1374 0 82488 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 335468
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10682
/proc/meminfo: memFree=1404888/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=351784 CPUtime=1241.94
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 11087112 0 0 0 108278 15916 0 0 25 0 1 0 2729927 360226816 86631 1992294400 4194304 9819077 140734518862064 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 87946 86631 724 1374 0 86567 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 351784
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10684
/proc/meminfo: memFree=1392240/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=363288 CPUtime=1301.92
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 11609912 0 0 0 113533 16659 0 0 25 0 1 0 2729927 372006912 89583 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 90822 89583 724 1374 0 89443 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 363288
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10686
/proc/meminfo: memFree=1377856/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=385988 CPUtime=1361.9
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 12139726 0 0 0 118786 17404 0 0 25 0 1 0 2729927 395251712 93194 1992294400 4194304 9819077 140734518862064 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 96497 93194 724 1374 0 95118 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 385988
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10686
/proc/meminfo: memFree=1363100/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=400116 CPUtime=1421.89
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 12661871 0 0 0 124046 18143 0 0 25 0 1 0 2729927 409718784 96835 1992294400 4194304 9819077 140734518862064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 99869 96832 724 1374 0 98490 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 400116
[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10688
/proc/meminfo: memFree=1348096/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=414916 CPUtime=1481.85
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 13181269 0 0 0 129302 18883 0 0 25 0 1 0 2729927 424873984 100589 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 103729 100589 724 1374 0 102350 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 414916
[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10690
/proc/meminfo: memFree=1332596/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=429740 CPUtime=1541.84
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 13708417 0 0 0 134549 19635 0 0 25 0 1 0 2729927 440053760 104401 1992294400 4194304 9819077 140734518862064 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 107395 104399 724 1374 0 106016 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 429740
[startup+1602.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 10695
/proc/meminfo: memFree=1318832/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=443252 CPUtime=1601.82
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 14224372 0 0 0 139806 20376 0 0 25 0 1 0 2729927 453890048 107873 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 110813 107873 724 1374 0 109434 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 443252
[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 10697
/proc/meminfo: memFree=1305068/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=456660 CPUtime=1661.81
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 14741083 0 0 0 145065 21116 0 0 25 0 1 0 2729927 467619840 111179 1992294400 4194304 9819077 140734518862064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 114165 111179 724 1374 0 112786 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 456660
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10697
/proc/meminfo: memFree=1289568/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=471552 CPUtime=1721.79
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 15258636 0 0 0 150325 21854 0 0 25 0 1 0 2729927 482869248 115045 1992294400 4194304 9819077 140734518862064 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 117928 115046 724 1374 0 116549 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 471552
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10699
/proc/meminfo: memFree=1275928/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=485236 CPUtime=1781.77
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 15778584 0 0 0 155577 22600 0 0 25 0 1 0 2729927 496881664 118527 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 121309 118527 724 1374 0 119930 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 485236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10699
/proc/meminfo: memFree=1271092/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=489436 CPUtime=1800.07
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 15938214 0 0 0 157172 22835 0 0 25 0 1 0 2729927 501182464 119585 1992294400 4194304 9819077 140734518862064 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10647/statm: 122359 119585 724 1374 0 120980 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 489436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10647
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10699
/proc/meminfo: memFree=1271092/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=489436 CPUtime=1800.85
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 15938225 0 0 0 157250 22835 0 0 25 0 1 0 2729927 501182464 119586 1992294400 4194304 9819077 140734518862064 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10647/statm: 122359 119586 725 1374 0 120980 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 489436
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10700
/proc/meminfo: memFree=1271084/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=489436 CPUtime=1801.65
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 15938225 0 0 0 157330 22835 0 0 25 0 1 0 2729927 501182464 119586 1992294400 4194304 9819077 140734518862064 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10647/statm: 122359 119586 725 1374 0 120980 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 489436
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10700
/proc/meminfo: memFree=1271084/2059040 swapFree=4192956/4192956
[pid=10647] ppid=10645 vsize=489436 CPUtime=1802.05
/proc/10647/stat : 10647 (pbscip.linux.x8) R 10645 10647 10026 0 -1 4202496 15938225 0 0 0 157370 22835 0 0 25 0 1 0 2729927 501182464 119586 1992294400 4194304 9819077 140734518862064 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10647/statm: 122359 119586 725 1374 0 120980 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 489436
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.13
CPU user time (s): 1573.73
CPU system time (s): 228.402
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 489436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1573.73
system time used= 228.402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15938225
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= 2
involuntary context switches= 4405
runsolver used 3.07853 second user time and 8.43872 second system time
The end