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-2665451-1276618030.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 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.02 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, 9 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, 9 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 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 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 | 41 | - | 364k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 49 | - | 411k| 0 | 13 | 70 | 8 | 70 | 15 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.20 c 0.2s| 1 | 0 | 56 | - | 436k| 0 | 14 | 70 | 8 | 70 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 66 | - | 471k| 0 | 17 | 70 | 8 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 74 | - | 496k| 0 | 19 | 70 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 81 | - | 508k| 0 | 22 | 70 | 8 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 95 | - | 511k| 0 | 22 | 70 | 8 | 70 | 29 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.42 c 0.3s| 1 | 2 | 95 | - | 512k| 0 | 22 | 70 | 8 | 70 | 29 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf
7.09/7.14 c 6.2s| 10000 | 4749 | 33104 | 3.3 |3698k| 60 | 8 | 70 |1652 | 70 | 23 | 21 |2139 | 546 | 0.000000e+00 | -- | Inf
13.79/13.84 c 12.0s| 20000 | 8993 | 67417 | 3.4 |6102k| 63 | - | 70 | 943 | 70 | 23 | 21 |4589 | 733 | 0.000000e+00 | -- | Inf
20.29/20.38 c 17.7s| 30000 | 12896 |103152 | 3.4 |8569k| 63 | - | 70 |1282 | 70 | 23 | 21 |7455 | 853 | 0.000000e+00 | -- | Inf
27.08/27.18 c 23.7s| 40000 | 16280 |139040 | 3.5 | 10M| 63 | 8 | 70 |1584 | 70 | 23 | 21 | 10k| 947 | 0.000000e+00 | -- | Inf
33.98/34.01 c 29.6s| 50000 | 19578 |175181 | 3.5 | 13M| 63 | 8 | 70 |1378 | 70 | 23 | 21 | 13k|1054 | 0.000000e+00 | -- | Inf
40.68/40.73 c 35.6s| 60000 | 22912 |209909 | 3.5 | 15M| 63 | - | 70 |1305 | 70 | 23 | 21 | 17k|1122 | 0.000000e+00 | -- | Inf
47.47/47.50 c 41.5s| 70000 | 26281 |245996 | 3.5 | 17M| 63 | 8 | 70 |1542 | 70 | 23 | 21 | 20k|1209 | 0.000000e+00 | -- | Inf
54.26/54.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.26/54.33 c 47.4s| 80000 | 29349 |281840 | 3.5 | 19M| 63 | - | 70 |1663 | 70 | 23 | 21 | 23k|1263 | 0.000000e+00 | -- | Inf
61.07/61.15 c 53.5s| 90000 | 32470 |316892 | 3.5 | 21M| 63 | 8 | 70 |1666 | 70 | 23 | 21 | 27k|1312 | 0.000000e+00 | -- | Inf
67.76/67.81 c 59.3s|100000 | 35954 |353735 | 3.5 | 24M| 63 | 8 | 70 |2533 | 70 | 23 | 21 | 30k|1345 | 0.000000e+00 | -- | Inf
74.67/74.79 c 65.5s|110000 | 38998 |389359 | 3.5 | 26M| 63 | 8 | 70 |1791 | 70 | 23 | 21 | 33k|1400 | 0.000000e+00 | -- | Inf
81.76/81.84 c 71.7s|120000 | 41810 |424952 | 3.5 | 28M| 63 | 8 | 70 |2051 | 70 | 23 | 21 | 37k|1446 | 0.000000e+00 | -- | Inf
88.76/88.86 c 77.8s|130000 | 44739 |461113 | 3.5 | 30M| 63 | 8 | 70 |1784 | 70 | 23 | 21 | 40k|1506 | 0.000000e+00 | -- | Inf
95.75/95.80 c 83.9s|140000 | 47688 |497292 | 3.6 | 32M| 63 | 8 | 70 |1936 | 70 | 23 | 21 | 44k|1540 | 0.000000e+00 | -- | Inf
102.64/102.72 c 90.0s|150000 | 50782 |532636 | 3.6 | 34M| 63 | 8 | 70 |2164 | 70 | 23 | 21 | 47k|1580 | 0.000000e+00 | -- | Inf
109.64/109.74 c 96.1s|160000 | 53634 |568290 | 3.6 | 36M| 63 | 8 | 70 |2164 | 70 | 23 | 21 | 51k|1625 | 0.000000e+00 | -- | Inf
116.74/116.82 c 102s|170000 | 56482 |603625 | 3.6 | 38M| 63 | 8 | 70 |2287 | 70 | 23 | 21 | 54k|1669 | 0.000000e+00 | -- | Inf
123.74/123.87 c 109s|180000 | 59471 |639402 | 3.6 | 40M| 63 | 8 | 70 |2228 | 70 | 23 | 21 | 58k|1710 | 0.000000e+00 | -- | Inf
130.94/131.01 c 115s|190000 | 62181 |675111 | 3.6 | 42M| 63 | 8 | 70 |2070 | 70 | 23 | 21 | 61k|1736 | 0.000000e+00 | -- | Inf
137.94/138.02 c 121s|200000 | 64930 |710223 | 3.6 | 44M| 63 | 8 | 70 |1901 | 70 | 23 | 21 | 65k|1772 | 0.000000e+00 | -- | Inf
145.04/145.11 c 127s|210000 | 67783 |747056 | 3.6 | 47M| 63 | 8 | 70 |2238 | 70 | 23 | 21 | 68k|1795 | 0.000000e+00 | -- | Inf
152.13/152.27 c 134s|220000 | 70504 |783172 | 3.6 | 49M| 63 | - | 70 |2289 | 70 | 23 | 21 | 72k|1822 | 0.000000e+00 | -- | Inf
159.23/159.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.23/159.37 c 140s|230000 | 73377 |819404 | 3.6 | 51M| 63 | 8 | 70 |2507 | 70 | 23 | 21 | 76k|1850 | 0.000000e+00 | -- | Inf
166.42/166.51 c 146s|240000 | 76196 |855486 | 3.6 | 53M| 63 | 8 | 70 |2746 | 70 | 23 | 21 | 79k|1872 | 0.000000e+00 | -- | Inf
173.82/173.95 c 153s|250000 | 78607 |891508 | 3.6 | 55M| 63 | 8 | 70 |2361 | 70 | 23 | 21 | 83k|1909 | 0.000000e+00 | -- | Inf
181.02/181.12 c 159s|260000 | 81271 |928034 | 3.6 | 57M| 63 | - | 70 |2588 | 70 | 23 | 21 | 87k|1937 | 0.000000e+00 | -- | Inf
188.22/188.38 c 165s|270000 | 83981 |964969 | 3.6 | 59M| 63 | 8 | 70 |2268 | 70 | 23 | 21 | 90k|1967 | 0.000000e+00 | -- | Inf
195.32/195.47 c 172s|280000 | 86823 | 1002k| 3.6 | 61M| 63 | - | 70 |2911 | 70 | 23 | 21 | 93k|1984 | 0.000000e+00 | -- | Inf
202.62/202.77 c 178s|290000 | 89494 | 1037k| 3.6 | 63M| 63 | 8 | 70 |2688 | 70 | 23 | 21 | 97k|2015 | 0.000000e+00 | -- | Inf
209.92/210.08 c 184s|300000 | 92124 | 1072k| 3.6 | 65M| 63 | 8 | 70 |2926 | 70 | 23 | 21 | 101k|2032 | 0.000000e+00 | -- | Inf
217.11/217.29 c 191s|310000 | 95014 | 1107k| 3.6 | 67M| 63 | 8 | 70 |2603 | 70 | 23 | 21 | 104k|2044 | 0.000000e+00 | -- | Inf
224.31/224.49 c 197s|320000 | 97814 | 1145k| 3.6 | 69M| 63 | 8 | 70 |2588 | 70 | 23 | 21 | 108k|2072 | 0.000000e+00 | -- | Inf
231.70/231.80 c 203s|330000 |100388 | 1182k| 3.6 | 71M| 63 | 8 | 70 |2941 | 70 | 23 | 21 | 111k|2101 | 0.000000e+00 | -- | Inf
238.70/238.88 c 210s|340000 |103277 | 1219k| 3.6 | 73M| 63 | 8 | 70 |3766 | 70 | 23 | 21 | 115k|2117 | 0.000000e+00 | -- | Inf
246.21/246.31 c 216s|350000 |105982 | 1254k| 3.6 | 75M| 63 | 8 | 70 |3044 | 70 | 23 | 21 | 118k|2143 | 0.000000e+00 | -- | Inf
253.50/253.64 c 223s|360000 |108760 | 1289k| 3.6 | 77M| 63 | 8 | 70 |2690 | 70 | 23 | 21 | 122k|2160 | 0.000000e+00 | -- | Inf
260.79/260.99 c 229s|370000 |111314 | 1324k| 3.6 | 79M| 63 | 8 | 70 |2591 | 70 | 23 | 21 | 125k|2186 | 0.000000e+00 | -- | Inf
268.09/268.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.09/268.28 c 236s|380000 |113909 | 1359k| 3.6 | 81M| 63 | - | 70 |2572 | 70 | 23 | 21 | 129k|2208 | 0.000000e+00 | -- | Inf
275.29/275.44 c 242s|390000 |116748 | 1394k| 3.6 | 83M| 63 | 8 | 70 |2511 | 70 | 23 | 21 | 133k|2224 | 0.000000e+00 | -- | Inf
282.49/282.66 c 248s|400000 |119455 | 1430k| 3.6 | 85M| 63 | 8 | 70 |2696 | 70 | 23 | 21 | 136k|2245 | 0.000000e+00 | -- | Inf
289.68/289.89 c 255s|410000 |122249 | 1466k| 3.6 | 87M| 63 | 8 | 70 |3189 | 70 | 23 | 21 | 140k|2269 | 0.000000e+00 | -- | Inf
297.08/297.27 c 261s|420000 |124961 | 1502k| 3.6 | 89M| 63 | - | 70 |2955 | 70 | 23 | 21 | 143k|2287 | 0.000000e+00 | -- | Inf
304.49/304.64 c 268s|430000 |127531 | 1538k| 3.6 | 91M| 63 | 8 | 70 |2618 | 70 | 23 | 21 | 147k|2306 | 0.000000e+00 | -- | Inf
311.78/311.90 c 274s|440000 |130303 | 1575k| 3.6 | 93M| 63 | - | 70 |2960 | 70 | 23 | 21 | 151k|2328 | 0.000000e+00 | -- | Inf
319.08/319.21 c 281s|450000 |133070 | 1611k| 3.6 | 95M| 63 | 8 | 70 |2679 | 70 | 23 | 21 | 154k|2347 | 0.000000e+00 | -- | Inf
326.28/326.42 c 287s|460000 |135971 | 1647k| 3.6 | 97M| 63 | 8 | 70 |2950 | 70 | 23 | 21 | 158k|2364 | 0.000000e+00 | -- | Inf
333.67/333.90 c 294s|470000 |138406 | 1684k| 3.6 | 99M| 63 | 8 | 70 |3022 | 70 | 23 | 21 | 161k|2381 | 0.000000e+00 | -- | Inf
341.27/341.44 c 300s|480000 |140818 | 1721k| 3.6 | 101M| 63 | 8 | 70 |2863 | 70 | 23 | 21 | 165k|2407 | 0.000000e+00 | -- | Inf
348.47/348.65 c 307s|490000 |143801 | 1758k| 3.6 | 103M| 63 | 8 | 70 |3435 | 70 | 23 | 21 | 169k|2417 | 0.000000e+00 | -- | Inf
356.07/356.20 c 313s|500000 |146382 | 1794k| 3.6 | 105M| 63 | 8 | 70 |3415 | 70 | 23 | 21 | 172k|2426 | 0.000000e+00 | -- | Inf
363.76/363.93 c 320s|510000 |148717 | 1831k| 3.6 | 107M| 63 | 8 | 70 |3162 | 70 | 23 | 21 | 176k|2453 | 0.000000e+00 | -- | Inf
370.96/371.16 c 326s|520000 |151692 | 1867k| 3.6 | 109M| 63 | - | 70 |3624 | 70 | 23 | 21 | 180k|2472 | 0.000000e+00 | -- | Inf
378.05/378.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.05/378.25 c 333s|530000 |155162 | 1904k| 3.6 | 111M| 63 | - | 70 |4553 | 70 | 23 | 21 | 183k|2484 | 0.000000e+00 | -- | Inf
385.64/385.86 c 339s|540000 |158169 | 1941k| 3.6 | 113M| 63 | - | 70 |4111 | 70 | 23 | 21 | 186k|2497 | 0.000000e+00 | -- | Inf
393.05/393.25 c 346s|550000 |161006 | 1977k| 3.6 | 115M| 63 | - | 70 |3750 | 70 | 23 | 21 | 190k|2497 | 0.000000e+00 | -- | Inf
400.54/400.75 c 353s|560000 |163648 | 2013k| 3.6 | 117M| 63 | 8 | 70 |3657 | 70 | 23 | 21 | 193k|2507 | 0.000000e+00 | -- | Inf
408.14/408.35 c 359s|570000 |166231 | 2050k| 3.6 | 119M| 63 | 8 | 70 |3123 | 70 | 23 | 21 | 197k|2510 | 0.000000e+00 | -- | Inf
415.65/415.87 c 366s|580000 |168823 | 2085k| 3.6 | 121M| 63 | - | 70 |2729 | 70 | 23 | 21 | 200k|2520 | 0.000000e+00 | -- | Inf
423.14/423.31 c 373s|590000 |171342 | 2121k| 3.6 | 123M| 63 | 8 | 70 |3457 | 70 | 23 | 21 | 204k|2530 | 0.000000e+00 | -- | Inf
430.74/430.92 c 379s|600000 |173911 | 2156k| 3.6 | 125M| 63 | 8 | 70 |3477 | 70 | 23 | 21 | 208k|2543 | 0.000000e+00 | -- | Inf
438.13/438.31 c 386s|610000 |176755 | 2193k| 3.6 | 127M| 63 | - | 70 |3499 | 70 | 23 | 21 | 211k|2551 | 0.000000e+00 | -- | Inf
445.42/445.61 c 392s|620000 |179619 | 2228k| 3.6 | 129M| 63 | - | 70 |3848 | 0 | 0 | 21 | 215k|2558 | 0.000000e+00 | -- | Inf
453.03/453.25 c 399s|630000 |182284 | 2267k| 3.6 | 131M| 63 | 8 | 70 |3771 | 70 | 23 | 21 | 219k|2568 | 0.000000e+00 | -- | Inf
460.52/460.74 c 406s|640000 |184801 | 2303k| 3.6 | 133M| 63 | 8 | 70 |3529 | 70 | 23 | 21 | 222k|2580 | 0.000000e+00 | -- | Inf
468.12/468.33 c 412s|650000 |187262 | 2340k| 3.6 | 135M| 63 | 8 | 70 |3172 | 70 | 23 | 21 | 226k|2585 | 0.000000e+00 | -- | Inf
475.42/475.60 c 419s|660000 |190020 | 2377k| 3.6 | 137M| 63 | 8 | 70 |4127 | 70 | 23 | 21 | 229k|2603 | 0.000000e+00 | -- | Inf
482.81/483.09 c 425s|670000 |192800 | 2414k| 3.6 | 139M| 63 | 8 | 70 |3621 | 70 | 23 | 21 | 233k|2605 | 0.000000e+00 | -- | Inf
490.62/490.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.62/490.87 c 432s|680000 |195320 | 2451k| 3.6 | 141M| 63 | - | 70 |3478 | 70 | 23 | 21 | 237k|2633 | 0.000000e+00 | -- | Inf
498.31/498.56 c 439s|690000 |197793 | 2488k| 3.6 | 143M| 63 | 8 | 70 |3165 | 70 | 23 | 21 | 240k|2639 | 0.000000e+00 | -- | Inf
505.81/506.09 c 446s|700000 |200350 | 2525k| 3.6 | 145M| 63 | - | 70 |3542 | 70 | 23 | 21 | 244k|2655 | 0.000000e+00 | -- | Inf
512.71/512.91 c 452s|710000 |204062 | 2560k| 3.6 | 147M| 63 | - | 70 |4501 | 70 | 23 | 21 | 247k|2667 | 0.000000e+00 | -- | Inf
519.91/520.12 c 458s|720000 |207221 | 2595k| 3.6 | 150M| 63 | - | 70 |4883 | 70 | 23 | 21 | 250k|2667 | 0.000000e+00 | -- | Inf
527.80/528.07 c 465s|730000 |209839 | 2631k| 3.6 | 151M| 63 | - | 70 |3634 | 70 | 23 | 21 | 254k|2675 | 0.000000e+00 | -- | Inf
535.41/535.65 c 472s|740000 |212376 | 2667k| 3.6 | 153M| 63 | 8 | 70 |3336 | 70 | 23 | 21 | 257k|2688 | 0.000000e+00 | -- | Inf
542.80/543.09 c 479s|750000 |215100 | 2703k| 3.6 | 155M| 63 | 8 | 70 |3353 | 70 | 23 | 21 | 261k|2694 | 0.000000e+00 | -- | Inf
550.39/550.62 c 485s|760000 |217779 | 2740k| 3.6 | 157M| 63 | 8 | 70 |3469 | 70 | 23 | 21 | 264k|2699 | 0.000000e+00 | -- | Inf
557.79/558.06 c 492s|770000 |220336 | 2775k| 3.6 | 159M| 63 | 8 | 70 |3232 | 70 | 23 | 21 | 268k|2701 | 0.000000e+00 | -- | Inf
565.49/565.72 c 499s|780000 |222697 | 2812k| 3.6 | 161M| 63 | 8 | 70 |2811 | 70 | 23 | 21 | 271k|2709 | 0.000000e+00 | -- | Inf
572.79/573.06 c 505s|790000 |225371 | 2849k| 3.6 | 163M| 63 | 8 | 70 |3494 | 70 | 23 | 21 | 275k|2719 | 0.000000e+00 | -- | Inf
580.38/580.69 c 512s|800000 |227979 | 2885k| 3.6 | 165M| 63 | - | 70 |3458 | 70 | 23 | 21 | 279k|2728 | 0.000000e+00 | -- | Inf
588.19/588.42 c 519s|810000 |230338 | 2922k| 3.6 | 167M| 63 | - | 70 |3908 | 70 | 23 | 21 | 282k|2739 | 0.000000e+00 | -- | Inf
595.89/596.16 c 526s|820000 |232858 | 2958k| 3.6 | 169M| 63 | 8 | 70 |3649 | 70 | 23 | 21 | 286k|2747 | 0.000000e+00 | -- | Inf
603.69/603.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.69/603.99 c 533s|830000 |235126 | 2995k| 3.6 | 171M| 63 | - | 70 |3669 | 70 | 23 | 21 | 290k|2755 | 0.000000e+00 | -- | Inf
611.47/611.70 c 539s|840000 |237720 | 3032k| 3.6 | 173M| 63 | 8 | 70 |3387 | 70 | 23 | 21 | 293k|2755 | 0.000000e+00 | -- | Inf
618.87/619.19 c 546s|850000 |240433 | 3070k| 3.6 | 175M| 63 | 8 | 70 |3626 | 70 | 23 | 21 | 297k|2757 | 0.000000e+00 | -- | Inf
626.57/626.84 c 553s|860000 |242866 | 3108k| 3.6 | 177M| 63 | 8 | 70 |4022 | 70 | 23 | 21 | 300k|2757 | 0.000000e+00 | -- | Inf
634.27/634.57 c 560s|870000 |245425 | 3145k| 3.6 | 179M| 63 | 8 | 70 |4349 | 70 | 23 | 21 | 304k|2757 | 0.000000e+00 | -- | Inf
642.17/642.45 c 567s|880000 |247983 | 3182k| 3.6 | 181M| 63 | - | 70 |3498 | 70 | 23 | 21 | 308k|2760 | 0.000000e+00 | -- | Inf
649.56/649.85 c 573s|890000 |250772 | 3219k| 3.6 | 183M| 63 | - | 70 |3825 | 70 | 23 | 21 | 311k|2760 | 0.000000e+00 | -- | Inf
657.26/657.57 c 580s|900000 |253418 | 3255k| 3.6 | 185M| 63 | 8 | 70 |3398 | 70 | 23 | 21 | 315k|2761 | 0.000000e+00 | -- | Inf
665.17/665.44 c 587s|910000 |255794 | 3292k| 3.6 | 187M| 63 | - | 70 |3117 | 70 | 23 | 21 | 318k|2771 | 0.000000e+00 | -- | Inf
672.45/672.75 c 594s|920000 |258516 | 3330k| 3.6 | 189M| 63 | - | 70 |4406 | 70 | 23 | 21 | 322k|2776 | 0.000000e+00 | -- | Inf
680.15/680.46 c 600s|930000 |261125 | 3366k| 3.6 | 191M| 63 | - | 70 |4163 | 0 | 0 | 21 | 325k|2776 | 0.000000e+00 | -- | Inf
687.75/688.00 c 607s|940000 |263861 | 3403k| 3.6 | 193M| 63 | - | 70 |4385 | 0 | 0 | 21 | 329k|2776 | 0.000000e+00 | -- | Inf
695.53/695.83 c 614s|950000 |266277 | 3439k| 3.6 | 195M| 63 | 8 | 70 |3844 | 70 | 23 | 21 | 333k|2776 | 0.000000e+00 | -- | Inf
703.04/703.37 c 621s|960000 |269014 | 3474k| 3.6 | 197M| 63 | 8 | 70 |4027 | 70 | 23 | 21 | 336k|2784 | 0.000000e+00 | -- | Inf
710.63/710.90 c 627s|970000 |271811 | 3510k| 3.6 | 199M| 63 | - | 70 |4457 | 70 | 23 | 21 | 340k|2785 | 0.000000e+00 | -- | Inf
718.53/718.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.53/718.87 c 635s|980000 |274267 | 3547k| 3.6 | 201M| 63 | 8 | 70 |4149 | 70 | 23 | 21 | 343k|2793 | 0.000000e+00 | -- | Inf
726.12/726.49 c 641s|990000 |276912 | 3584k| 3.6 | 203M| 63 | 8 | 70 |4090 | 70 | 23 | 21 | 347k|2794 | 0.000000e+00 | -- | Inf
734.02/734.33 c 648s| 1000k|279380 | 3621k| 3.6 | 205M| 63 | 8 | 70 |3628 | 70 | 23 | 21 | 350k|2804 | 0.000000e+00 | -- | Inf
741.82/742.19 c 655s| 1010k|281785 | 3657k| 3.6 | 207M| 63 | 8 | 70 |3701 | 70 | 23 | 21 | 354k|2810 | 0.000000e+00 | -- | Inf
749.42/749.73 c 662s| 1020k|284547 | 3695k| 3.6 | 209M| 63 | 8 | 70 |3670 | 70 | 23 | 21 | 358k|2813 | 0.000000e+00 | -- | Inf
757.21/757.50 c 669s| 1030k|287057 | 3732k| 3.6 | 211M| 63 | 8 | 70 |3654 | 70 | 23 | 21 | 361k|2820 | 0.000000e+00 | -- | Inf
764.91/765.27 c 676s| 1040k|289474 | 3768k| 3.6 | 212M| 63 | - | 70 |3759 | 70 | 23 | 21 | 365k|2828 | 0.000000e+00 | -- | Inf
772.61/772.98 c 683s| 1050k|292046 | 3805k| 3.6 | 214M| 63 | 8 | 70 |3692 | 70 | 23 | 21 | 368k|2829 | 0.000000e+00 | -- | Inf
780.51/780.80 c 690s| 1060k|294434 | 3842k| 3.6 | 216M| 63 | 8 | 70 |3390 | 70 | 23 | 21 | 372k|2829 | 0.000000e+00 | -- | Inf
788.10/788.43 c 696s| 1070k|297014 | 3879k| 3.6 | 218M| 63 | - | 70 |3461 | 70 | 23 | 21 | 376k|2829 | 0.000000e+00 | -- | Inf
796.11/796.41 c 703s| 1080k|299241 | 3915k| 3.6 | 220M| 63 | 8 | 70 |3946 | 70 | 23 | 21 | 380k|2829 | 0.000000e+00 | -- | Inf
803.70/804.10 c 710s| 1090k|301772 | 3953k| 3.6 | 222M| 63 | - | 70 |4115 | 70 | 23 | 21 | 383k|2829 | 0.000000e+00 | -- | Inf
811.70/812.09 c 717s| 1100k|304029 | 3990k| 3.6 | 224M| 63 | - | 70 |3835 | 70 | 23 | 21 | 387k|2829 | 0.000000e+00 | -- | Inf
819.50/819.80 c 724s| 1110k|306610 | 4026k| 3.6 | 226M| 63 | 8 | 70 |4301 | 70 | 23 | 21 | 391k|2829 | 0.000000e+00 | -- | Inf
827.19/827.52 c 731s| 1120k|309104 | 4063k| 3.6 | 228M| 63 | 8 | 70 |4301 | 70 | 23 | 21 | 394k|2829 | 0.000000e+00 | -- | Inf
835.38/835.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.38/835.70 c 738s| 1130k|311429 | 4100k| 3.6 | 230M| 63 | 8 | 70 |3961 | 70 | 23 | 21 | 398k|2829 | 0.000000e+00 | -- | Inf
843.19/843.60 c 745s| 1140k|313753 | 4136k| 3.6 | 232M| 63 | - | 70 |3756 | 70 | 23 | 21 | 402k|2829 | 0.000000e+00 | -- | Inf
850.78/851.10 c 752s| 1150k|316424 | 4172k| 3.6 | 234M| 63 | 8 | 70 |3698 | 70 | 23 | 21 | 405k|2829 | 0.000000e+00 | -- | Inf
857.68/858.07 c 758s| 1160k|319636 | 4207k| 3.6 | 236M| 63 | 8 | 70 |4432 | 70 | 23 | 21 | 408k|2833 | 0.000000e+00 | -- | Inf
865.28/865.67 c 765s| 1170k|322333 | 4243k| 3.6 | 238M| 63 | 8 | 70 |4419 | 70 | 23 | 21 | 412k|2836 | 0.000000e+00 | -- | Inf
873.37/873.77 c 772s| 1180k|324736 | 4280k| 3.6 | 240M| 63 | 8 | 70 |3763 | 70 | 23 | 21 | 416k|2845 | 0.000000e+00 | -- | Inf
881.17/881.56 c 779s| 1190k|327325 | 4317k| 3.6 | 242M| 63 | 8 | 70 |3671 | 70 | 23 | 21 | 419k|2854 | 0.000000e+00 | -- | Inf
888.87/889.25 c 786s| 1200k|329854 | 4354k| 3.6 | 244M| 63 | - | 70 |3767 | 70 | 23 | 21 | 423k|2860 | 0.000000e+00 | -- | Inf
896.66/897.05 c 793s| 1210k|332246 | 4391k| 3.6 | 246M| 63 | - | 70 |3931 | 70 | 23 | 21 | 426k|2868 | 0.000000e+00 | -- | Inf
904.36/904.75 c 800s| 1220k|334843 | 4429k| 3.6 | 248M| 63 | - | 70 |4260 | 70 | 23 | 21 | 430k|2875 | 0.000000e+00 | -- | Inf
912.16/912.54 c 806s| 1230k|337337 | 4465k| 3.6 | 250M| 63 | - | 70 |4413 | 70 | 23 | 21 | 433k|2878 | 0.000000e+00 | -- | Inf
919.86/920.28 c 813s| 1240k|339879 | 4501k| 3.6 | 251M| 63 | 8 | 70 |4092 | 70 | 23 | 21 | 437k|2878 | 0.000000e+00 | -- | Inf
927.96/928.32 c 821s| 1250k|342168 | 4538k| 3.6 | 253M| 63 | - | 70 |3424 | 70 | 23 | 21 | 441k|2878 | 0.000000e+00 | -- | Inf
935.76/936.15 c 828s| 1260k|344545 | 4576k| 3.6 | 255M| 63 | - | 70 |3673 | 70 | 23 | 21 | 444k|2878 | 0.000000e+00 | -- | Inf
943.65/944.03 c 835s| 1270k|346796 | 4614k| 3.6 | 257M| 63 | - | 70 |4454 | 0 | 0 | 21 | 448k|2878 | 0.000000e+00 | -- | Inf
951.75/952.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.75/952.17 c 842s| 1280k|349178 | 4651k| 3.6 | 259M| 63 | - | 70 |3812 | 70 | 23 | 21 | 452k|2878 | 0.000000e+00 | -- | Inf
959.14/959.52 c 848s| 1290k|352083 | 4687k| 3.6 | 261M| 63 | 8 | 70 |4584 | 70 | 23 | 21 | 455k|2883 | 0.000000e+00 | -- | Inf
967.24/967.60 c 856s| 1300k|354478 | 4724k| 3.6 | 263M| 63 | - | 70 |3914 | 70 | 23 | 21 | 459k|2884 | 0.000000e+00 | -- | Inf
975.04/975.49 c 863s| 1310k|356880 | 4760k| 3.6 | 265M| 63 | 8 | 70 |3869 | 70 | 23 | 21 | 462k|2891 | 0.000000e+00 | -- | Inf
982.95/983.30 c 869s| 1320k|359289 | 4797k| 3.6 | 267M| 63 | 8 | 70 |3764 | 70 | 23 | 21 | 466k|2900 | 0.000000e+00 | -- | Inf
990.94/991.31 c 877s| 1330k|361582 | 4833k| 3.6 | 269M| 63 | - | 70 |3417 | 70 | 23 | 21 | 470k|2906 | 0.000000e+00 | -- | Inf
998.84/999.23 c 884s| 1340k|363978 | 4870k| 3.6 | 271M| 63 | 8 | 70 |3340 | 70 | 23 | 21 | 473k|2909 | 0.000000e+00 | -- | Inf
1006.53/1006.92 c 891s| 1350k|366341 | 4907k| 3.6 | 273M| 63 | 8 | 70 |3619 | 70 | 23 | 21 | 477k|2917 | 0.000000e+00 | -- | Inf
1014.03/1014.41 c 897s| 1360k|369073 | 4943k| 3.6 | 275M| 63 | - | 70 |4263 | 0 | 0 | 21 | 481k|2922 | 0.000000e+00 | -- | Inf
1022.13/1022.52 c 904s| 1370k|371310 | 4980k| 3.6 | 277M| 63 | 8 | 70 |4021 | 70 | 23 | 21 | 485k|2922 | 0.000000e+00 | -- | Inf
1030.02/1030.44 c 911s| 1380k|373697 | 5016k| 3.6 | 278M| 63 | 8 | 70 |4055 | 70 | 23 | 21 | 488k|2932 | 0.000000e+00 | -- | Inf
1037.72/1038.12 c 918s| 1390k|376155 | 5053k| 3.6 | 281M| 63 | 8 | 70 |4436 | 70 | 23 | 21 | 492k|2932 | 0.000000e+00 | -- | Inf
1045.62/1046.01 c 925s| 1400k|378592 | 5090k| 3.6 | 282M| 63 | 8 | 70 |4172 | 70 | 23 | 21 | 496k|2932 | 0.000000e+00 | -- | Inf
1053.61/1054.01 c 932s| 1410k|381064 | 5127k| 3.6 | 284M| 63 | 8 | 70 |3638 | 70 | 23 | 21 | 499k|2932 | 0.000000e+00 | -- | Inf
1060.81/1061.25 c 939s| 1420k|383995 | 5164k| 3.6 | 286M| 63 | 8 | 70 |4269 | 70 | 23 | 21 | 503k|2932 | 0.000000e+00 | -- | Inf
1068.90/1069.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.90/1069.31 c 946s| 1430k|386454 | 5201k| 3.6 | 288M| 63 | - | 70 |3725 | 70 | 23 | 21 | 506k|2932 | 0.000000e+00 | -- | Inf
1076.80/1077.23 c 953s| 1440k|388686 | 5237k| 3.6 | 290M| 63 | 8 | 70 |4055 | 70 | 23 | 21 | 510k|2935 | 0.000000e+00 | -- | Inf
1084.70/1085.12 c 960s| 1450k|391093 | 5274k| 3.6 | 292M| 63 | - | 70 |4079 | 70 | 23 | 21 | 514k|2935 | 0.000000e+00 | -- | Inf
1092.60/1093.06 c 967s| 1460k|393511 | 5311k| 3.6 | 294M| 63 | 8 | 70 |4016 | 70 | 23 | 21 | 518k|2935 | 0.000000e+00 | -- | Inf
1100.40/1100.84 c 974s| 1470k|395893 | 5347k| 3.6 | 296M| 63 | 8 | 70 |4196 | 70 | 23 | 21 | 521k|2935 | 0.000000e+00 | -- | Inf
1108.19/1108.65 c 981s| 1480k|398359 | 5384k| 3.6 | 298M| 63 | 8 | 70 |3902 | 70 | 23 | 21 | 525k|2937 | 0.000000e+00 | -- | Inf
1115.99/1116.47 c 988s| 1490k|400762 | 5420k| 3.6 | 300M| 63 | - | 70 |4121 | 0 | 0 | 21 | 529k|2938 | 0.000000e+00 | -- | Inf
1123.88/1124.35 c 995s| 1500k|403209 | 5457k| 3.6 | 302M| 63 | 8 | 70 |4219 | 70 | 23 | 21 | 532k|2938 | 0.000000e+00 | -- | Inf
1131.89/1132.39 c 1002s| 1510k|405419 | 5494k| 3.6 | 303M| 63 | 8 | 70 |4535 | 70 | 23 | 21 | 536k|2938 | 0.000000e+00 | -- | Inf
1139.98/1140.43 c 1009s| 1520k|407808 | 5531k| 3.6 | 305M| 63 | 8 | 70 |4469 | 70 | 23 | 21 | 540k|2938 | 0.000000e+00 | -- | Inf
1147.78/1148.27 c 1016s| 1530k|410250 | 5567k| 3.6 | 307M| 63 | 8 | 70 |4293 | 70 | 23 | 21 | 543k|2938 | 0.000000e+00 | -- | Inf
1155.58/1156.06 c 1023s| 1540k|412745 | 5604k| 3.6 | 309M| 63 | 8 | 70 |4383 | 70 | 23 | 21 | 547k|2938 | 0.000000e+00 | -- | Inf
1163.38/1163.89 c 1030s| 1550k|415322 | 5642k| 3.6 | 311M| 63 | 8 | 70 |4090 | 70 | 23 | 21 | 550k|2938 | 0.000000e+00 | -- | Inf
1171.08/1171.59 c 1037s| 1560k|417827 | 5679k| 3.6 | 313M| 63 | 8 | 70 |4436 | 70 | 23 | 21 | 554k|2938 | 0.000000e+00 | -- | Inf
1179.37/1179.82 c 1044s| 1570k|420035 | 5716k| 3.6 | 315M| 63 | 8 | 70 |3860 | 70 | 23 | 21 | 558k|2938 | 0.000000e+00 | -- | Inf
1187.27/1187.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.27/1187.79 c 1051s| 1580k|422228 | 5753k| 3.6 | 317M| 63 | 8 | 70 |3841 | 70 | 23 | 21 | 561k|2938 | 0.000000e+00 | -- | Inf
1194.86/1195.31 c 1058s| 1590k|424881 | 5789k| 3.6 | 319M| 63 | - | 70 |4542 | 70 | 23 | 21 | 565k|2940 | 0.000000e+00 | -- | Inf
1202.76/1203.29 c 1065s| 1600k|427132 | 5826k| 3.6 | 321M| 63 | 8 | 70 |4203 | 70 | 23 | 21 | 568k|2946 | 0.000000e+00 | -- | Inf
1210.06/1210.58 c 1072s| 1610k|429923 | 5863k| 3.6 | 323M| 63 | - | 70 |5104 | 70 | 23 | 21 | 572k|2954 | 0.000000e+00 | -- | Inf
1218.16/1218.67 c 1079s| 1620k|432428 | 5901k| 3.6 | 325M| 63 | 8 | 70 |4807 | 70 | 23 | 21 | 575k|2954 | 0.000000e+00 | -- | Inf
1226.26/1226.78 c 1086s| 1630k|434678 | 5938k| 3.6 | 326M| 63 | - | 70 |3971 | 70 | 23 | 21 | 579k|2954 | 0.000000e+00 | -- | Inf
1233.95/1234.49 c 1093s| 1640k|437084 | 5974k| 3.6 | 328M| 63 | 8 | 70 |4200 | 70 | 23 | 21 | 583k|2960 | 0.000000e+00 | -- | Inf
1241.84/1242.36 c 1100s| 1650k|439556 | 6011k| 3.6 | 330M| 63 | - | 70 |4435 | 70 | 23 | 21 | 586k|2963 | 0.000000e+00 | -- | Inf
1249.85/1250.34 c 1107s| 1660k|441975 | 6047k| 3.6 | 332M| 63 | 8 | 70 |4435 | 70 | 23 | 21 | 590k|2966 | 0.000000e+00 | -- | Inf
1257.54/1258.05 c 1114s| 1670k|444410 | 6085k| 3.6 | 334M| 63 | 8 | 70 |5452 | 70 | 23 | 21 | 593k|2969 | 0.000000e+00 | -- | Inf
1265.65/1266.14 c 1121s| 1680k|446777 | 6122k| 3.6 | 336M| 63 | - | 70 |4662 | 70 | 23 | 21 | 597k|2969 | 0.000000e+00 | -- | Inf
1273.64/1274.14 c 1128s| 1690k|449146 | 6158k| 3.6 | 338M| 63 | - | 70 |4637 | 70 | 23 | 21 | 601k|2971 | 0.000000e+00 | -- | Inf
1281.44/1281.92 c 1135s| 1700k|451767 | 6194k| 3.6 | 340M| 63 | 8 | 70 |4921 | 70 | 23 | 21 | 604k|2977 | 0.000000e+00 | -- | Inf
1289.63/1290.16 c 1142s| 1710k|454127 | 6231k| 3.6 | 342M| 63 | 8 | 70 |4258 | 70 | 23 | 21 | 608k|2986 | 0.000000e+00 | -- | Inf
1297.63/1298.16 c 1150s| 1720k|456363 | 6267k| 3.6 | 344M| 63 | 8 | 70 |4213 | 70 | 23 | 21 | 612k|2993 | 0.000000e+00 | -- | Inf
1305.73/1306.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.73/1306.20 c 1157s| 1730k|458495 | 6303k| 3.6 | 345M| 63 | 8 | 70 |4058 | 70 | 23 | 21 | 616k|2999 | 0.000000e+00 | -- | Inf
1313.42/1313.95 c 1164s| 1740k|461017 | 6340k| 3.6 | 347M| 63 | - | 70 |4341 | 70 | 23 | 21 | 619k|3008 | 0.000000e+00 | -- | Inf
1321.23/1321.79 c 1171s| 1750k|463414 | 6376k| 3.6 | 349M| 63 | - | 70 |4388 | 70 | 23 | 21 | 623k|3011 | 0.000000e+00 | -- | Inf
1329.52/1330.06 c 1178s| 1760k|465692 | 6413k| 3.6 | 351M| 63 | 8 | 70 |4164 | 70 | 23 | 21 | 627k|3017 | 0.000000e+00 | -- | Inf
1337.22/1337.74 c 1185s| 1770k|468333 | 6451k| 3.6 | 353M| 63 | 8 | 70 |5110 | 70 | 23 | 21 | 630k|3017 | 0.000000e+00 | -- | Inf
1345.31/1345.89 c 1192s| 1780k|470808 | 6489k| 3.6 | 355M| 63 | 8 | 70 |4228 | 70 | 23 | 21 | 634k|3018 | 0.000000e+00 | -- | Inf
1353.51/1354.02 c 1199s| 1790k|473007 | 6525k| 3.6 | 357M| 63 | - | 70 |3970 | 70 | 23 | 21 | 637k|3022 | 0.000000e+00 | -- | Inf
1361.60/1362.14 c 1207s| 1800k|475170 | 6562k| 3.6 | 359M| 63 | 8 | 70 |3782 | 70 | 23 | 21 | 641k|3037 | 0.000000e+00 | -- | Inf
1369.40/1369.90 c 1213s| 1810k|477633 | 6598k| 3.6 | 361M| 63 | 8 | 70 |4444 | 70 | 23 | 21 | 645k|3039 | 0.000000e+00 | -- | Inf
1377.70/1378.24 c 1221s| 1820k|479759 | 6635k| 3.6 | 362M| 63 | 8 | 70 |3899 | 70 | 23 | 21 | 649k|3043 | 0.000000e+00 | -- | Inf
1385.59/1386.19 c 1228s| 1830k|481928 | 6672k| 3.6 | 364M| 63 | 8 | 70 |4248 | 70 | 23 | 21 | 652k|3049 | 0.000000e+00 | -- | Inf
1393.58/1394.15 c 1235s| 1840k|484324 | 6708k| 3.6 | 366M| 63 | 8 | 70 |4321 | 70 | 23 | 21 | 656k|3056 | 0.000000e+00 | -- | Inf
1401.58/1402.13 c 1242s| 1850k|486715 | 6745k| 3.6 | 368M| 63 | - | 70 |4430 | 70 | 23 | 21 | 660k|3062 | 0.000000e+00 | -- | Inf
1409.59/1410.16 c 1249s| 1860k|489157 | 6782k| 3.6 | 370M| 63 | 8 | 70 |4822 | 70 | 23 | 21 | 663k|3068 | 0.000000e+00 | -- | Inf
1417.68/1418.20 c 1257s| 1870k|491505 | 6818k| 3.6 | 372M| 63 | 8 | 70 |4931 | 70 | 23 | 21 | 667k|3072 | 0.000000e+00 | -- | Inf
1425.78/1426.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.78/1426.38 c 1264s| 1880k|493847 | 6854k| 3.6 | 374M| 63 | 8 | 70 |4363 | 70 | 23 | 21 | 671k|3076 | 0.000000e+00 | -- | Inf
1433.78/1434.34 c 1271s| 1890k|496242 | 6890k| 3.6 | 376M| 63 | - | 70 |4003 | 70 | 23 | 21 | 674k|3079 | 0.000000e+00 | -- | Inf
1441.87/1442.43 c 1278s| 1900k|498484 | 6927k| 3.6 | 377M| 63 | 8 | 70 |4469 | 70 | 23 | 21 | 678k|3083 | 0.000000e+00 | -- | Inf
1449.76/1450.31 c 1285s| 1910k|500927 | 6965k| 3.6 | 379M| 63 | 8 | 70 |4295 | 70 | 23 | 21 | 682k|3086 | 0.000000e+00 | -- | Inf
1457.67/1458.23 c 1292s| 1920k|503353 | 7002k| 3.6 | 381M| 63 | 8 | 70 |4434 | 70 | 23 | 21 | 685k|3086 | 0.000000e+00 | -- | Inf
1465.56/1466.14 c 1299s| 1930k|505889 | 7039k| 3.6 | 383M| 63 | 8 | 70 |4264 | 70 | 23 | 21 | 689k|3086 | 0.000000e+00 | -- | Inf
1472.76/1473.30 c 1306s| 1940k|509309 | 7075k| 3.6 | 385M| 63 | 8 | 70 |5055 | 70 | 23 | 21 | 692k|3086 | 0.000000e+00 | -- | Inf
1480.66/1481.22 c 1313s| 1950k|511740 | 7112k| 3.6 | 387M| 63 | - | 70 |4978 | 70 | 23 | 21 | 695k|3086 | 0.000000e+00 | -- | Inf
1489.06/1489.66 c 1320s| 1960k|513940 | 7149k| 3.6 | 389M| 63 | - | 70 |4322 | 70 | 23 | 21 | 699k|3086 | 0.000000e+00 | -- | Inf
1496.95/1497.59 c 1327s| 1970k|516424 | 7187k| 3.6 | 391M| 63 | - | 70 |4769 | 70 | 23 | 21 | 702k|3089 | 0.000000e+00 | -- | Inf
1505.26/1505.85 c 1335s| 1980k|518729 | 7224k| 3.6 | 393M| 63 | - | 70 |4114 | 70 | 23 | 21 | 706k|3092 | 0.000000e+00 | -- | Inf
1513.15/1513.75 c 1342s| 1990k|521030 | 7261k| 3.6 | 395M| 63 | 8 | 70 |4396 | 70 | 23 | 21 | 710k|3098 | 0.000000e+00 | -- | Inf
1521.04/1521.66 c 1349s| 2000k|523572 | 7298k| 3.6 | 397M| 63 | 8 | 70 |4549 | 70 | 23 | 21 | 713k|3098 | 0.000000e+00 | -- | Inf
1529.05/1529.63 c 1356s| 2010k|526056 | 7336k| 3.7 | 399M| 63 | - | 70 |4390 | 0 | 0 | 21 | 716k|3098 | 0.000000e+00 | -- | Inf
1537.14/1537.78 c 1363s| 2020k|528293 | 7373k| 3.7 | 401M| 63 | - | 70 |3945 | 70 | 23 | 21 | 720k|3098 | 0.000000e+00 | -- | Inf
1545.13/1545.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.13/1545.71 c 1370s| 2030k|530733 | 7412k| 3.7 | 402M| 63 | - | 70 |4338 | 70 | 23 | 21 | 724k|3098 | 0.000000e+00 | -- | Inf
1552.94/1553.57 c 1377s| 2040k|533254 | 7450k| 3.7 | 405M| 63 | 8 | 70 |4856 | 70 | 23 | 21 | 727k|3099 | 0.000000e+00 | -- | Inf
1561.13/1561.75 c 1385s| 2050k|535601 | 7487k| 3.7 | 406M| 63 | 8 | 70 |4758 | 70 | 23 | 21 | 731k|3099 | 0.000000e+00 | -- | Inf
1569.14/1569.75 c 1392s| 2060k|538162 | 7524k| 3.7 | 408M| 63 | 8 | 70 |4721 | 70 | 23 | 21 | 734k|3099 | 0.000000e+00 | -- | Inf
1576.42/1577.00 c 1398s| 2070k|541178 | 7559k| 3.7 | 411M| 63 | 8 | 70 |5911 | 70 | 23 | 21 | 737k|3099 | 0.000000e+00 | -- | Inf
1584.43/1585.08 c 1405s| 2080k|543526 | 7594k| 3.7 | 412M| 63 | - | 70 |4617 | 70 | 23 | 21 | 741k|3099 | 0.000000e+00 | -- | Inf
1592.42/1593.04 c 1412s| 2090k|545976 | 7630k| 3.7 | 414M| 63 | 8 | 70 |4527 | 70 | 23 | 21 | 744k|3099 | 0.000000e+00 | -- | Inf
1600.61/1601.21 c 1420s| 2100k|548284 | 7667k| 3.7 | 416M| 63 | - | 70 |4646 | 70 | 23 | 21 | 748k|3099 | 0.000000e+00 | -- | Inf
1608.52/1609.12 c 1427s| 2110k|550704 | 7704k| 3.7 | 418M| 63 | 8 | 70 |4974 | 70 | 23 | 21 | 752k|3099 | 0.000000e+00 | -- | Inf
1616.01/1616.65 c 1434s| 2120k|553996 | 7740k| 3.7 | 420M| 63 | - | 70 |5175 | 70 | 23 | 21 | 755k|3099 | 0.000000e+00 | -- | Inf
1623.51/1624.17 c 1440s| 2130k|556966 | 7777k| 3.7 | 422M| 63 | - | 70 |5885 | 70 | 23 | 21 | 758k|3099 | 0.000000e+00 | -- | Inf
1631.40/1632.05 c 1447s| 2140k|559611 | 7815k| 3.7 | 424M| 63 | - | 70 |5914 | 70 | 23 | 21 | 762k|3099 | 0.000000e+00 | -- | Inf
1639.30/1639.99 c 1454s| 2150k|562335 | 7852k| 3.7 | 426M| 63 | - | 70 |6028 | 70 | 23 | 21 | 765k|3099 | 0.000000e+00 | -- | Inf
1647.70/1648.36 c 1462s| 2160k|564829 | 7889k| 3.7 | 428M| 63 | - | 70 |4927 | 70 | 23 | 21 | 768k|3103 | 0.000000e+00 | -- | Inf
1655.70/1656.39 c 1469s| 2170k|567269 | 7926k| 3.7 | 430M| 63 | 8 | 70 |4708 | 70 | 23 | 21 | 772k|3104 | 0.000000e+00 | -- | Inf
1664.09/1664.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.09/1664.80 c 1476s| 2180k|569430 | 7963k| 3.7 | 432M| 63 | - | 70 |4496 | 70 | 23 | 21 | 776k|3121 | 0.000000e+00 | -- | Inf
1672.49/1673.12 c 1484s| 2190k|571568 | 8000k| 3.7 | 434M| 63 | - | 70 |4413 | 70 | 23 | 21 | 780k|3121 | 0.000000e+00 | -- | Inf
1680.49/1681.16 c 1491s| 2200k|573877 | 8038k| 3.7 | 436M| 63 | 8 | 70 |5050 | 70 | 23 | 21 | 784k|3121 | 0.000000e+00 | -- | Inf
1688.18/1688.86 c 1498s| 2210k|576726 | 8075k| 3.7 | 438M| 63 | 8 | 70 |5416 | 70 | 23 | 21 | 787k|3121 | 0.000000e+00 | -- | Inf
1696.58/1697.20 c 1505s| 2220k|579022 | 8112k| 3.7 | 439M| 63 | 8 | 70 |4512 | 70 | 23 | 21 | 791k|3125 | 0.000000e+00 | -- | Inf
1704.67/1705.30 c 1512s| 2230k|581442 | 8149k| 3.7 | 441M| 63 | - | 70 |3906 | 70 | 23 | 21 | 794k|3125 | 0.000000e+00 | -- | Inf
1712.46/1713.16 c 1519s| 2240k|583710 | 8186k| 3.7 | 443M| 63 | - | 70 |4419 | 70 | 23 | 21 | 798k|3125 | 0.000000e+00 | -- | Inf
1720.67/1721.31 c 1527s| 2250k|585978 | 8222k| 3.7 | 445M| 63 | - | 70 |4408 | 70 | 23 | 21 | 802k|3125 | 0.000000e+00 | -- | Inf
1728.37/1729.02 c 1534s| 2260k|588622 | 8258k| 3.7 | 447M| 63 | - | 70 |4642 | 70 | 23 | 21 | 805k|3125 | 0.000000e+00 | -- | Inf
1736.06/1736.78 c 1541s| 2270k|591128 | 8295k| 3.7 | 449M| 63 | 8 | 70 |4616 | 70 | 23 | 21 | 809k|3128 | 0.000000e+00 | -- | Inf
1744.06/1744.78 c 1548s| 2280k|593583 | 8330k| 3.7 | 451M| 63 | 8 | 70 |4849 | 70 | 23 | 21 | 812k|3134 | 0.000000e+00 | -- | Inf
1752.56/1753.20 c 1555s| 2290k|595753 | 8367k| 3.7 | 453M| 63 | 8 | 70 |4199 | 70 | 23 | 21 | 816k|3134 | 0.000000e+00 | -- | Inf
1760.96/1761.61 c 1563s| 2300k|597766 | 8404k| 3.7 | 454M| 63 | 8 | 70 |4110 | 70 | 23 | 21 | 820k|3134 | 0.000000e+00 | -- | Inf
1768.85/1769.54 c 1570s| 2310k|600171 | 8440k| 3.7 | 456M| 63 | 8 | 70 |4386 | 70 | 23 | 21 | 824k|3134 | 0.000000e+00 | -- | Inf
1776.95/1777.64 c 1577s| 2320k|602474 | 8476k| 3.7 | 458M| 63 | 8 | 70 |4069 | 70 | 23 | 21 | 827k|3134 | 0.000000e+00 | -- | Inf
1784.14/1784.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1784.14/1784.87 c 1583s| 2330k|605541 | 8514k| 3.7 | 460M| 63 | - | 70 |4977 | 70 | 23 | 21 | 830k|3134 | 0.000000e+00 | -- | Inf
1791.85/1792.55 c 1590s| 2340k|608471 | 8552k| 3.7 | 463M| 63 | 8 | 70 |6055 | 70 | 23 | 21 | 834k|3134 | 0.000000e+00 | -- | Inf
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1597.60
1800.05/1800.71 c Solving Nodes : 2349671
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1597.60
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-2665451-1276618030.opb
1800.05/1800.71 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 17 initial, 17 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-2665451-1276618030.opb
1800.05/1800.71 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 8 initial, 6426 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.71 c linear : 0.01 0 0 0 0 0 9 0 0
1800.05/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c root node : - 0 - - 0 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 1482402 0 164 859 0 0 2962866
1800.05/1800.71 c linear : 8 6 5569662 0 0 76110 3102490 0 0 0
1800.05/1800.71 c logicor : 0+ 0 2136933 0 0 3515 757359 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 21.54 0.00 0.00 21.54 0.00
1800.05/1800.71 c linear : 359.41 0.00 359.41 0.00 0.00
1800.05/1800.71 c logicor : 152.18 0.00 152.18 0.00 0.00
1800.05/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c vbounds : 2.63 2 0 0
1800.05/1800.71 c rootredcost : 2.61 0 0 0
1800.05/1800.71 c pseudoobj : 2.29 0 0 0
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 16.00 79625 74775 302233 46.2 4 36.0 -
1800.05/1800.71 c infeasible LP : 52.41 790915 618592 1152477 31.1 3477 34.4 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 649836 25.0 - - -
1800.05/1800.71 c applied locally : - - - 188056 39.3 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 5 - - 16 - (maximal pool size: 74)
1800.05/1800.71 c redcost : 4.47 1482407 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 0.00 6 0 0 0 0
1800.05/1800.71 c strongcg : 0.00 6 0 0 34 0
1800.05/1800.71 c cmir : 0.05 6 0 0 23 0
1800.05/1800.71 c flowcover : 0.02 6 0 0 32 0
1800.05/1800.71 c clique : 0.00 1 0 0 0 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.00 1 0 0 0 0
1800.05/1800.71 c rapidlearning : 0.12 1 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 19.69 1482402 164 859 0 0 2962866
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.00 - 0
1800.05/1800.71 c oneopt : 2.61 0 0
1800.05/1800.71 c crossover : 1.40 0 0
1800.05/1800.71 c guideddiving : 0.11 0 0
1800.05/1800.71 c intshifting : 0.02 0 0
1800.05/1800.71 c veclendiving : 0.13 17 0
1800.05/1800.71 c linesearchdiving : 0.11 17 0
1800.05/1800.71 c objpscostdiving : 0.11 9 0
1800.05/1800.71 c rootsoldiving : 0.11 9 0
1800.05/1800.71 c feaspump : 0.10 9 0
1800.05/1800.71 c coefdiving : 0.10 18 0
1800.05/1800.71 c pscostdiving : 0.14 18 0
1800.05/1800.71 c fracdiving : 0.16 18 0
1800.05/1800.71 c trivial : 0.00 2 0
1800.05/1800.71 c simplerounding : 0.86 0 0
1800.05/1800.71 c zirounding : 1.45 1000 0
1800.05/1800.71 c rounding : 2.32 17252 0
1800.05/1800.71 c shifting : 4.59 5390 0
1800.05/1800.71 c twoopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.08 1 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c undercover : 0.00 0 0
1800.05/1800.71 c nlp : 0.98 0 0
1800.05/1800.71 c trysol : 1.69 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.71 c dual LP : 641.28 2236849 8586232 3.84 13389.21
1800.05/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.12 543 1344 2.48 11200.00
1800.05/1800.71 c strong branching : 1.40 3144 23210 7.38 16578.57
1800.05/1800.71 c (at root node) : - 9 702 78.00 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 2349671
1800.05/1800.71 c nodes (total) : 2349671
1800.05/1800.71 c nodes left : 610726
1800.05/1800.71 c max depth : 63
1800.05/1800.71 c max depth (total): 63
1800.05/1800.71 c backtracks : 193992 (8.3%)
1800.05/1800.71 c delayed cutoffs : 2470
1800.05/1800.71 c repropagations : 2208430 (758392 domain reductions, 2245 cutoffs)
1800.05/1800.71 c avg switch length: 5.31
1800.05/1800.71 c switching time : 166.23
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 0 (0 improvements)
1800.05/1800.71 c Primal Bound : -
1800.05/1800.71 c Dual Bound : +0.00000000000000e+00
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.71 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-2665451-1276618030/watcher-2665451-1276618030 -o /tmp/evaluation-result-2665451-1276618030/solver-2665451-1276618030 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665451-1276618030.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 3/106 10385
/proc/meminfo: memFree=1755448/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=9288 CPUtime=0
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 1066 0 0 0 0 0 0 0 20 0 1 0 3093992 9510912 986 1992294400 4194304 9819077 140737321294672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10385/statm: 2322 995 371 1374 0 943 0
[startup+0.0460789 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10385
/proc/meminfo: memFree=1755448/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=14956 CPUtime=0.04
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 3322 0 0 0 3 1 0 0 20 0 1 0 3093992 15314944 2365 1992294400 4194304 9819077 140737321294672 18446744073709551615 5902349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 3739 2365 657 1374 0 2360 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14956
[startup+0.101087 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10385
/proc/meminfo: memFree=1755448/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=22112 CPUtime=0.09
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 5117 0 0 0 7 2 0 0 20 0 1 0 3093992 22642688 3903 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 5528 3903 676 1374 0 4149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22112
[startup+0.301116 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10385
/proc/meminfo: memFree=1755448/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=22556 CPUtime=0.29
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 8534 0 0 0 25 4 0 0 20 0 1 0 3093992 23097344 4167 1992294400 4194304 9819077 140737321294672 18446744073709551615 6006277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 5639 4169 695 1374 0 4260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22556
[startup+0.701179 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10385
/proc/meminfo: memFree=1755448/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=15588 CPUtime=0.69
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 15309 0 0 0 58 11 0 0 20 0 1 0 3093992 15962112 2704 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 3897 2704 723 1374 0 2518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15588
[startup+1.50129 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10386
/proc/meminfo: memFree=1746512/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=16016 CPUtime=1.49
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 23036 0 0 0 128 21 0 0 23 0 1 0 3093992 16400384 2717 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 4004 2717 724 1374 0 2625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16016
[startup+3.10152 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10386
/proc/meminfo: memFree=1746512/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=17260 CPUtime=3.09
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 37558 0 0 0 266 43 0 0 25 0 1 0 3093992 17674240 2977 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 4315 2977 724 1374 0 2936 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17260
[startup+6.30099 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10386
/proc/meminfo: memFree=1743908/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=19084 CPUtime=6.29
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 66789 0 0 0 544 85 0 0 25 0 1 0 3093992 19542016 3642 1992294400 4194304 9819077 140737321294672 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 4934 3645 724 1374 0 3555 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19084
[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10386
/proc/meminfo: memFree=1741056/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=22228 CPUtime=12.68
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 125410 0 0 0 1102 166 0 0 25 0 1 0 3093992 22761472 4254 1992294400 4194304 9819077 140737321294672 18446744073709551615 4976394 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 5557 4254 724 1374 0 4178 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22228
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10388
/proc/meminfo: memFree=1735600/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=27476 CPUtime=25.49
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 242952 0 0 0 2220 329 0 0 25 0 1 0 3093992 28135424 5604 1992294400 4194304 9819077 140737321294672 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 6828 5603 724 1374 0 5449 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27476
[startup+51.1005 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10388
/proc/meminfo: memFree=1726052/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=36636 CPUtime=51.06
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 469639 0 0 0 4458 648 0 0 25 0 1 0 3093992 37515264 7929 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 9159 7929 724 1374 0 7780 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36636
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 10390
/proc/meminfo: memFree=1708692/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=53304 CPUtime=102.25
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 908772 0 0 0 8958 1267 0 0 25 0 1 0 3093992 54583296 12236 1992294400 4194304 9819077 140737321294672 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 13408 12237 724 1374 0 12029 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 53304
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10390
/proc/meminfo: memFree=1689348/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=74780 CPUtime=162.22
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 1413345 0 0 0 14237 1985 0 0 25 0 1 0 3093992 76574720 17078 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 18695 17078 724 1374 0 17316 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 74780
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10392
/proc/meminfo: memFree=1670128/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=93244 CPUtime=222.2
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 1910802 0 0 0 19518 2702 0 0 25 0 1 0 3093992 95481856 21797 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 23311 21797 724 1374 0 21932 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 93244
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10394
/proc/meminfo: memFree=1651404/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=111632 CPUtime=282.19
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 2403480 0 0 0 24807 3412 0 0 25 0 1 0 3093992 114311168 26446 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 27908 26446 724 1374 0 26529 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 111632
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10396
/proc/meminfo: memFree=1636524/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=125964 CPUtime=342.17
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 2891751 0 0 0 30093 4124 0 0 25 0 1 0 3093992 128987136 30142 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 31532 30143 724 1374 0 30153 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 125964
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10398
/proc/meminfo: memFree=1615072/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=147620 CPUtime=402.14
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 3375943 0 0 0 35393 4821 0 0 25 0 1 0 3093992 151162880 35611 1992294400 4194304 9819077 140737321294672 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 36905 35611 724 1374 0 35526 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 147620
[startup+462.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10398
/proc/meminfo: memFree=1599820/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=161800 CPUtime=462.12
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 3853425 0 0 0 40699 5513 0 0 25 0 1 0 3093992 165683200 39257 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 40491 39258 724 1374 0 39112 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 161800
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10400
/proc/meminfo: memFree=1581344/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=184452 CPUtime=522.11
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 4337567 0 0 0 46019 6192 0 0 25 0 1 0 3093992 188878848 43933 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 46113 43933 724 1374 0 44734 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 184452
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10402
/proc/meminfo: memFree=1565596/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=199240 CPUtime=582.09
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 4815214 0 0 0 51337 6872 0 0 25 0 1 0 3093992 204021760 47758 1992294400 4194304 9819077 140737321294672 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 49810 47758 724 1374 0 48431 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 199240
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10404
/proc/meminfo: memFree=1549228/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=215292 CPUtime=642.07
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 5288326 0 0 0 56653 7554 0 0 25 0 1 0 3093992 220459008 51793 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 53823 51793 724 1374 0 52444 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 215292
[startup+702.301 s]
################
# More data... #
################
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 8556340 0 0 0 93974 12217 0 0 25 0 1 0 3093992 329990144 79002 1992294400 4194304 9819077 140737321294672 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 80564 79002 724 1374 0 79185 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 322256
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10416
/proc/meminfo: memFree=1426468/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=334832 CPUtime=1121.88
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 9014626 0 0 0 99312 12876 0 0 25 0 1 0 3093992 342867968 82251 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 83545 82248 724 1374 0 82166 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 334832
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10418
/proc/meminfo: memFree=1413448/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=348148 CPUtime=1181.87
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 9477004 0 0 0 104659 13528 0 0 25 0 1 0 3093992 356503552 85674 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 87037 85674 724 1374 0 85658 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 348148
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10420
/proc/meminfo: memFree=1395220/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=365052 CPUtime=1241.84
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 9945939 0 0 0 109989 14195 0 0 25 0 1 0 3093992 373813248 90018 1992294400 4194304 9819077 140737321294672 18446744073709551615 7816521 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 91263 90018 724 1374 0 89884 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 365052
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10422
/proc/meminfo: memFree=1380464/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=379272 CPUtime=1301.84
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 10401925 0 0 0 115326 14858 0 0 25 0 1 0 3093992 388374528 93590 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 94859 93591 724 1374 0 93480 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 379272
[startup+1362.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1359756/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=408048 CPUtime=1361.8
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 10860384 0 0 0 120667 15513 0 0 25 0 1 0 3093992 417841152 98782 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 102012 98782 724 1374 0 100633 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 408048
[startup+1422.31 s]
/proc/loadavg: 1.10 1.02 1.00 2/107 10424
/proc/meminfo: memFree=1344876/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=422440 CPUtime=1421.78
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 11316027 0 0 0 126021 16157 0 0 25 0 1 0 3093992 432578560 102473 1992294400 4194304 9819077 140737321294672 18446744073709551615 6628169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 105610 102473 724 1374 0 104231 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 422440
[startup+1482.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 10426
/proc/meminfo: memFree=1332228/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=434596 CPUtime=1481.76
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 11779011 0 0 0 131364 16812 0 0 25 0 1 0 3093992 445026304 105612 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 108649 105612 724 1374 0 107270 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 434596
[startup+1542.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 10428
/proc/meminfo: memFree=1316728/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=450096 CPUtime=1541.74
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 12235085 0 0 0 136718 17456 0 0 25 0 1 0 3093992 460898304 109450 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 112524 109450 724 1374 0 111145 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 450096
[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10430
/proc/meminfo: memFree=1303584/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=462816 CPUtime=1601.72
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 12697543 0 0 0 142071 18101 0 0 25 0 1 0 3093992 473923584 112717 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 115704 112717 724 1374 0 114325 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 462816
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10433
/proc/meminfo: memFree=1287712/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=477956 CPUtime=1661.7
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 13155129 0 0 0 147419 18751 0 0 25 0 1 0 3093992 489426944 116646 1992294400 4194304 9819077 140737321294672 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 119530 116647 724 1374 0 118151 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 477956
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10435
/proc/meminfo: memFree=1274196/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=491596 CPUtime=1721.67
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 13607817 0 0 0 152766 19401 0 0 25 0 1 0 3093992 503394304 120108 1992294400 4194304 9819077 140737321294672 18446744073709551615 7317445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 122899 120108 724 1374 0 121520 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 491596
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10437
/proc/meminfo: memFree=1258944/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=505672 CPUtime=1781.65
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 14064431 0 0 0 158120 20045 0 0 25 0 1 0 3093992 517808128 123723 1992294400 4194304 9819077 140737321294672 18446744073709551615 6361868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 126418 123723 724 1374 0 125039 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 505672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10437
/proc/meminfo: memFree=1254976/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=509556 CPUtime=1800.05
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 14204759 0 0 0 159760 20245 0 0 25 0 1 0 3093992 521785344 124712 1992294400 4194304 9819077 140737321294672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10385/statm: 127389 124712 724 1374 0 126010 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 509556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10385
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 10437
/proc/meminfo: memFree=1254976/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=509556 CPUtime=1800.74
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 14204760 0 0 0 159829 20245 0 0 18 0 1 0 3093992 521785344 124713 1992294400 4194304 9819077 140737321294672 18446744073709551615 6179988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10385/statm: 127389 124713 725 1374 0 126010 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 509556
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10438
/proc/meminfo: memFree=1254968/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=509556 CPUtime=1801.54
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 14204760 0 0 0 159909 20245 0 0 19 0 1 0 3093992 521785344 124713 1992294400 4194304 9819077 140737321294672 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10385/statm: 127389 124713 725 1374 0 126010 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 509556
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10438
/proc/meminfo: memFree=1254968/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=509556 CPUtime=1801.94
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 14204760 0 0 0 159949 20245 0 0 20 0 1 0 3093992 521785344 124713 1992294400 4194304 9819077 140737321294672 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10385/statm: 127389 124713 725 1374 0 126010 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 509556
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10438
/proc/meminfo: memFree=1254968/2059040 swapFree=4192956/4192956
[pid=10385] ppid=10383 vsize=509556 CPUtime=1802.04
/proc/10385/stat : 10385 (pbscip.linux.x8) R 10383 10385 10275 0 -1 4202496 14204760 0 0 0 159959 20245 0 0 20 0 1 0 3093992 521785344 124713 1992294400 4194304 9819077 140737321294672 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10385/statm: 127389 124713 725 1374 0 126010 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 509556
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1802.11
CPU user time (s): 1599.61
CPU system time (s): 202.504
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 509556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.61
system time used= 202.504
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14204760
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= 4461
runsolver used 3.2715 second user time and 8.24075 second system time
The end