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-2665449-1276615750.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.16 c 0.1s| 1 | 0 | 48 | - | 396k| 0 | 12 | 70 | 8 | 70 | 16 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 68 | - | 436k| 0 | 17 | 70 | 8 | 70 | 21 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 92 | - | 462k| 0 | 19 | 70 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 104 | - | 471k| 0 | 21 | 70 | 8 | 70 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 134 | - | 496k| 0 | 23 | 70 | 8 | 70 | 31 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 150 | - | 505k| 0 | 24 | 70 | 8 | 70 | 34 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 2 | 150 | - | 505k| 0 | 24 | 70 | 8 | 70 | 34 | 26 | 0 | 9 | 0.000000e+00 | -- | Inf
7.70/7.71 c 6.7s| 10000 | 4773 | 43356 | 4.3 |3720k| 59 | 8 | 70 |1625 | 70 | 25 | 26 |2205 | 654 | 0.000000e+00 | -- | Inf
14.79/14.82 c 12.9s| 20000 | 8351 | 81535 | 4.1 |5969k| 59 | 8 | 70 |1148 | 70 | 25 | 26 |5258 | 849 | 0.000000e+00 | -- | Inf
21.58/21.69 c 19.0s| 30000 | 11803 |116864 | 3.9 |8148k| 60 | - | 70 |1086 | 0 | 0 | 26 |8485 |1008 | 0.000000e+00 | -- | Inf
28.49/28.52 c 24.9s| 40000 | 15313 |152817 | 3.8 | 10M| 60 | 8 | 70 |1550 | 70 | 25 | 26 | 11k|1133 | 0.000000e+00 | -- | Inf
35.37/35.49 c 31.0s| 50000 | 18257 |188181 | 3.8 | 12M| 60 | 8 | 70 |1470 | 70 | 25 | 26 | 15k|1211 | 0.000000e+00 | -- | Inf
42.38/42.48 c 37.1s| 60000 | 21306 |223727 | 3.7 | 14M| 60 | 8 | 70 |1369 | 70 | 25 | 26 | 18k|1289 | 0.000000e+00 | -- | Inf
49.38/49.48 c 43.2s| 70000 | 24198 |259087 | 3.7 | 16M| 60 | 8 | 70 |1477 | 70 | 25 | 26 | 22k|1355 | 0.000000e+00 | -- | Inf
56.47/56.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.47/56.50 c 49.4s| 80000 | 27219 |294455 | 3.7 | 18M| 61 | 8 | 70 |1475 | 70 | 25 | 26 | 25k|1404 | 0.000000e+00 | -- | Inf
63.57/63.62 c 55.6s| 90000 | 30072 |330853 | 3.7 | 20M| 61 | 8 | 70 |1725 | 70 | 25 | 26 | 29k|1482 | 0.000000e+00 | -- | Inf
70.46/70.58 c 61.7s|100000 | 33201 |366072 | 3.7 | 23M| 61 | 8 | 70 |2069 | 70 | 25 | 26 | 32k|1535 | 0.000000e+00 | -- | Inf
77.66/77.71 c 67.9s|110000 | 36149 |401851 | 3.7 | 25M| 61 | 8 | 70 |1536 | 70 | 25 | 26 | 36k|1581 | 0.000000e+00 | -- | Inf
84.67/84.79 c 74.1s|120000 | 39191 |437804 | 3.6 | 27M| 61 | - | 70 |1726 | 70 | 25 | 26 | 39k|1635 | 0.000000e+00 | -- | Inf
91.76/91.84 c 80.2s|130000 | 42209 |474111 | 3.6 | 29M| 61 | - | 70 |1757 | 0 | 0 | 26 | 43k|1675 | 0.000000e+00 | -- | Inf
98.97/99.03 c 86.5s|140000 | 44867 |509874 | 3.6 | 31M| 61 | 8 | 70 |2065 | 70 | 25 | 26 | 46k|1720 | 0.000000e+00 | -- | Inf
106.05/106.15 c 92.7s|150000 | 47699 |545405 | 3.6 | 33M| 62 | 8 | 70 |1918 | 70 | 25 | 26 | 50k|1754 | 0.000000e+00 | -- | Inf
113.26/113.34 c 99.0s|160000 | 50485 |581210 | 3.6 | 35M| 62 | - | 70 |2167 | 70 | 25 | 26 | 54k|1794 | 0.000000e+00 | -- | Inf
120.55/120.64 c 105s|170000 | 53150 |618481 | 3.6 | 37M| 62 | 8 | 70 |2276 | 70 | 25 | 26 | 57k|1848 | 0.000000e+00 | -- | Inf
127.85/127.97 c 112s|180000 | 55801 |654990 | 3.6 | 39M| 62 | - | 70 |1821 | 70 | 25 | 26 | 61k|1885 | 0.000000e+00 | -- | Inf
135.05/135.14 c 118s|190000 | 58528 |690384 | 3.6 | 41M| 62 | 8 | 70 |1781 | 70 | 25 | 26 | 64k|1928 | 0.000000e+00 | -- | Inf
142.04/142.15 c 124s|200000 | 61964 |727065 | 3.6 | 43M| 62 | - | 70 |2176 | 70 | 25 | 26 | 67k|1981 | 0.000000e+00 | -- | Inf
149.45/149.56 c 131s|210000 | 64549 |763032 | 3.6 | 45M| 62 | - | 70 |2089 | 70 | 25 | 26 | 71k|2025 | 0.000000e+00 | -- | Inf
156.73/156.81 c 137s|220000 | 67302 |798562 | 3.6 | 47M| 62 | 8 | 70 |2258 | 70 | 25 | 26 | 75k|2079 | 0.000000e+00 | -- | Inf
164.04/164.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.04/164.15 c 144s|230000 | 69993 |835063 | 3.6 | 49M| 62 | 8 | 70 |2897 | 70 | 25 | 26 | 78k|2116 | 0.000000e+00 | -- | Inf
171.44/171.60 c 150s|240000 | 72599 |870922 | 3.6 | 51M| 62 | - | 70 |2267 | 70 | 25 | 26 | 82k|2143 | 0.000000e+00 | -- | Inf
178.83/178.97 c 157s|250000 | 75046 |906612 | 3.6 | 53M| 62 | - | 70 |2278 | 70 | 25 | 26 | 86k|2168 | 0.000000e+00 | -- | Inf
186.03/186.11 c 163s|260000 | 77926 |942608 | 3.6 | 55M| 62 | 8 | 70 |2649 | 70 | 25 | 26 | 89k|2200 | 0.000000e+00 | -- | Inf
193.53/193.61 c 170s|270000 | 80418 |977656 | 3.6 | 57M| 62 | 8 | 70 |2545 | 70 | 25 | 26 | 93k|2227 | 0.000000e+00 | -- | Inf
201.02/201.10 c 176s|280000 | 82838 | 1012k| 3.6 | 58M| 62 | 8 | 70 |2352 | 70 | 25 | 26 | 96k|2261 | 0.000000e+00 | -- | Inf
208.22/208.39 c 182s|290000 | 85481 | 1048k| 3.6 | 61M| 62 | 8 | 70 |2625 | 70 | 25 | 26 | 100k|2293 | 0.000000e+00 | -- | Inf
215.61/215.79 c 189s|300000 | 88079 | 1084k| 3.6 | 62M| 62 | - | 70 |2542 | 70 | 25 | 26 | 104k|2312 | 0.000000e+00 | -- | Inf
223.02/223.19 c 195s|310000 | 90578 | 1119k| 3.6 | 64M| 62 | - | 70 |2267 | 0 | 0 | 26 | 107k|2323 | 0.000000e+00 | -- | Inf
230.51/230.65 c 202s|320000 | 93089 | 1155k| 3.6 | 66M| 62 | 8 | 70 |2578 | 70 | 25 | 26 | 111k|2336 | 0.000000e+00 | -- | Inf
237.71/237.89 c 208s|330000 | 95974 | 1191k| 3.6 | 69M| 62 | 8 | 70 |2987 | 70 | 25 | 26 | 114k|2359 | 0.000000e+00 | -- | Inf
245.21/245.35 c 215s|340000 | 98565 | 1227k| 3.6 | 70M| 62 | 8 | 70 |2669 | 70 | 25 | 26 | 118k|2381 | 0.000000e+00 | -- | Inf
252.82/252.97 c 222s|350000 |100858 | 1263k| 3.6 | 72M| 62 | 8 | 70 |2015 | 70 | 25 | 26 | 122k|2398 | 0.000000e+00 | -- | Inf
260.21/260.35 c 228s|360000 |103392 | 1299k| 3.6 | 74M| 62 | - | 70 |2324 | 70 | 25 | 26 | 125k|2428 | 0.000000e+00 | -- | Inf
267.51/267.69 c 235s|370000 |105961 | 1335k| 3.6 | 76M| 62 | 8 | 70 |2981 | 70 | 25 | 26 | 129k|2446 | 0.000000e+00 | -- | Inf
274.81/274.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.81/274.99 c 241s|380000 |108821 | 1371k| 3.6 | 78M| 62 | 8 | 70 |2592 | 70 | 25 | 26 | 133k|2470 | 0.000000e+00 | -- | Inf
282.20/282.31 c 247s|390000 |111572 | 1407k| 3.6 | 80M| 62 | 8 | 70 |2498 | 70 | 25 | 26 | 136k|2483 | 0.000000e+00 | -- | Inf
289.50/289.68 c 254s|400000 |114123 | 1443k| 3.6 | 82M| 62 | 8 | 70 |2414 | 70 | 25 | 26 | 139k|2503 | 0.000000e+00 | -- | Inf
296.90/297.09 c 260s|410000 |116632 | 1478k| 3.6 | 84M| 62 | 8 | 70 |2298 | 70 | 25 | 26 | 143k|2529 | 0.000000e+00 | -- | Inf
304.29/304.43 c 267s|420000 |119207 | 1514k| 3.6 | 86M| 62 | 8 | 70 |2868 | 70 | 25 | 26 | 147k|2542 | 0.000000e+00 | -- | Inf
311.99/312.10 c 274s|430000 |121591 | 1550k| 3.6 | 88M| 62 | 8 | 70 |2870 | 70 | 25 | 26 | 151k|2566 | 0.000000e+00 | -- | Inf
319.48/319.68 c 280s|440000 |124053 | 1587k| 3.6 | 90M| 62 | - | 70 |2653 | 70 | 25 | 26 | 154k|2589 | 0.000000e+00 | -- | Inf
326.88/327.06 c 287s|450000 |126530 | 1622k| 3.6 | 92M| 62 | - | 70 |2654 | 70 | 25 | 26 | 158k|2610 | 0.000000e+00 | -- | Inf
334.29/334.48 c 293s|460000 |129114 | 1657k| 3.6 | 94M| 62 | 8 | 70 |2606 | 70 | 25 | 26 | 162k|2630 | 0.000000e+00 | -- | Inf
341.78/341.96 c 300s|470000 |131664 | 1693k| 3.6 | 96M| 62 | 8 | 70 |2906 | 70 | 25 | 26 | 165k|2645 | 0.000000e+00 | -- | Inf
349.18/349.40 c 306s|480000 |134240 | 1729k| 3.6 | 98M| 62 | 8 | 70 |3365 | 70 | 25 | 26 | 169k|2660 | 0.000000e+00 | -- | Inf
356.88/357.06 c 313s|490000 |136596 | 1765k| 3.6 | 99M| 62 | - | 70 |2821 | 70 | 25 | 26 | 172k|2686 | 0.000000e+00 | -- | Inf
364.47/364.68 c 320s|500000 |138988 | 1802k| 3.6 | 101M| 62 | 8 | 70 |2771 | 70 | 25 | 26 | 176k|2704 | 0.000000e+00 | -- | Inf
372.17/372.33 c 327s|510000 |141288 | 1838k| 3.6 | 103M| 62 | - | 70 |2633 | 70 | 25 | 26 | 180k|2725 | 0.000000e+00 | -- | Inf
379.67/379.89 c 333s|520000 |143539 | 1874k| 3.6 | 105M| 62 | 8 | 70 |2622 | 70 | 25 | 26 | 184k|2739 | 0.000000e+00 | -- | Inf
386.97/387.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.97/387.20 c 340s|530000 |146059 | 1910k| 3.6 | 107M| 62 | 8 | 70 |3024 | 70 | 25 | 26 | 187k|2751 | 0.000000e+00 | -- | Inf
394.46/394.60 c 346s|540000 |148718 | 1945k| 3.6 | 109M| 62 | 8 | 70 |3043 | 70 | 25 | 26 | 191k|2767 | 0.000000e+00 | -- | Inf
401.96/402.13 c 353s|550000 |151284 | 1981k| 3.6 | 111M| 62 | 8 | 70 |3094 | 70 | 25 | 26 | 194k|2781 | 0.000000e+00 | -- | Inf
409.47/409.62 c 359s|560000 |153812 | 2017k| 3.6 | 113M| 62 | - | 70 |3824 | 70 | 25 | 26 | 198k|2788 | 0.000000e+00 | -- | Inf
417.06/417.27 c 366s|570000 |156378 | 2053k| 3.6 | 115M| 62 | 8 | 70 |3372 | 70 | 25 | 26 | 202k|2805 | 0.000000e+00 | -- | Inf
424.56/424.75 c 373s|580000 |158993 | 2089k| 3.6 | 117M| 62 | 8 | 70 |3119 | 70 | 25 | 26 | 205k|2822 | 0.000000e+00 | -- | Inf
432.17/432.36 c 379s|590000 |161375 | 2125k| 3.6 | 119M| 62 | 8 | 70 |3005 | 70 | 25 | 26 | 209k|2846 | 0.000000e+00 | -- | Inf
439.76/439.91 c 386s|600000 |163797 | 2160k| 3.6 | 121M| 62 | - | 70 |2792 | 70 | 25 | 26 | 213k|2858 | 0.000000e+00 | -- | Inf
447.15/447.40 c 393s|610000 |166364 | 2196k| 3.6 | 123M| 62 | - | 70 |3448 | 70 | 25 | 26 | 216k|2869 | 0.000000e+00 | -- | Inf
454.85/455.04 c 399s|620000 |168883 | 2231k| 3.6 | 125M| 62 | 8 | 70 |3180 | 70 | 25 | 26 | 220k|2879 | 0.000000e+00 | -- | Inf
462.34/462.57 c 406s|630000 |171433 | 2267k| 3.6 | 127M| 62 | - | 70 |3206 | 70 | 25 | 26 | 224k|2899 | 0.000000e+00 | -- | Inf
469.94/470.12 c 413s|640000 |173959 | 2302k| 3.6 | 129M| 62 | 8 | 70 |2980 | 70 | 25 | 26 | 227k|2905 | 0.000000e+00 | -- | Inf
477.64/477.85 c 419s|650000 |176205 | 2337k| 3.6 | 130M| 62 | - | 70 |2915 | 0 | 0 | 26 | 231k|2909 | 0.000000e+00 | -- | Inf
485.24/485.45 c 426s|660000 |178557 | 2373k| 3.6 | 132M| 62 | - | 70 |2764 | 0 | 0 | 26 | 235k|2918 | 0.000000e+00 | -- | Inf
492.84/493.00 c 433s|670000 |181003 | 2408k| 3.6 | 134M| 62 | - | 70 |2810 | 70 | 25 | 26 | 238k|2927 | 0.000000e+00 | -- | Inf
500.24/500.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.24/500.49 c 439s|680000 |183532 | 2444k| 3.6 | 136M| 62 | 8 | 70 |3206 | 70 | 25 | 26 | 242k|2975 | 0.000000e+00 | -- | Inf
507.54/507.76 c 446s|690000 |186378 | 2480k| 3.6 | 138M| 62 | 8 | 70 |3466 | 70 | 25 | 26 | 246k|2983 | 0.000000e+00 | -- | Inf
515.03/515.29 c 452s|700000 |189202 | 2516k| 3.6 | 140M| 62 | 8 | 70 |3711 | 70 | 25 | 26 | 249k|2994 | 0.000000e+00 | -- | Inf
522.63/522.86 c 459s|710000 |191898 | 2552k| 3.6 | 142M| 62 | 8 | 70 |3828 | 70 | 25 | 26 | 252k|3008 | 0.000000e+00 | -- | Inf
530.53/530.70 c 466s|720000 |194424 | 2589k| 3.6 | 144M| 62 | - | 70 |3548 | 70 | 25 | 26 | 256k|3020 | 0.000000e+00 | -- | Inf
538.33/538.57 c 473s|730000 |196708 | 2625k| 3.6 | 146M| 62 | - | 70 |2689 | 70 | 25 | 26 | 260k|3026 | 0.000000e+00 | -- | Inf
545.83/546.04 c 479s|740000 |199141 | 2660k| 3.6 | 148M| 62 | 8 | 70 |3187 | 70 | 25 | 26 | 263k|3040 | 0.000000e+00 | -- | Inf
553.23/553.46 c 486s|750000 |201817 | 2695k| 3.6 | 150M| 62 | 8 | 70 |3533 | 70 | 25 | 26 | 267k|3064 | 0.000000e+00 | -- | Inf
560.82/561.04 c 493s|760000 |204958 | 2730k| 3.6 | 152M| 62 | 8 | 70 |4211 | 70 | 25 | 26 | 270k|3495 | 0.000000e+00 | -- | Inf
568.53/568.70 c 499s|770000 |207814 | 2765k| 3.6 | 154M| 62 | - | 70 |4052 | 70 | 25 | 26 | 274k|3623 | 0.000000e+00 | -- | Inf
576.22/576.47 c 506s|780000 |210320 | 2801k| 3.6 | 156M| 62 | 8 | 70 |2920 | 70 | 25 | 26 | 277k|3623 | 0.000000e+00 | -- | Inf
583.61/583.84 c 513s|790000 |212943 | 2837k| 3.6 | 158M| 62 | - | 70 |3664 | 70 | 25 | 26 | 281k|3623 | 0.000000e+00 | -- | Inf
591.31/591.58 c 520s|800000 |215228 | 2872k| 3.6 | 160M| 62 | 8 | 70 |3076 | 70 | 25 | 26 | 285k|3623 | 0.000000e+00 | -- | Inf
598.91/599.12 c 526s|810000 |217644 | 2908k| 3.6 | 162M| 62 | - | 70 |3481 | 70 | 25 | 26 | 288k|3623 | 0.000000e+00 | -- | Inf
606.21/606.41 c 533s|820000 |220353 | 2942k| 3.6 | 164M| 62 | 8 | 70 |4182 | 70 | 25 | 26 | 292k|3623 | 0.000000e+00 | -- | Inf
614.00/614.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.00/614.25 c 540s|830000 |222717 | 2978k| 3.6 | 166M| 62 | 8 | 70 |3277 | 70 | 25 | 26 | 295k|3623 | 0.000000e+00 | -- | Inf
621.50/621.73 c 546s|840000 |225223 | 3013k| 3.6 | 168M| 62 | - | 70 |3687 | 70 | 25 | 26 | 299k|3623 | 0.000000e+00 | -- | Inf
629.30/629.56 c 553s|850000 |227456 | 3048k| 3.6 | 169M| 62 | 8 | 70 |2726 | 70 | 25 | 26 | 303k|3623 | 0.000000e+00 | -- | Inf
636.60/636.86 c 560s|860000 |230107 | 3083k| 3.6 | 171M| 62 | 8 | 70 |2870 | 70 | 25 | 26 | 306k|3623 | 0.000000e+00 | -- | Inf
643.79/644.04 c 566s|870000 |233090 | 3117k| 3.6 | 173M| 62 | 8 | 70 |3315 | 70 | 25 | 26 | 310k|3623 | 0.000000e+00 | -- | Inf
651.00/651.23 c 572s|880000 |236171 | 3152k| 3.6 | 176M| 62 | 8 | 70 |4137 | 70 | 25 | 26 | 313k|3623 | 0.000000e+00 | -- | Inf
658.59/658.81 c 579s|890000 |238604 | 3187k| 3.6 | 177M| 62 | - | 70 |4098 | 70 | 25 | 26 | 317k|3623 | 0.000000e+00 | -- | Inf
666.18/666.47 c 586s|900000 |240924 | 3222k| 3.6 | 179M| 62 | 8 | 70 |4252 | 70 | 25 | 26 | 321k|3623 | 0.000000e+00 | -- | Inf
673.89/674.16 c 593s|910000 |243316 | 3258k| 3.6 | 181M| 62 | 8 | 70 |3940 | 70 | 25 | 26 | 324k|3623 | 0.000000e+00 | -- | Inf
681.28/681.50 c 599s|920000 |246367 | 3295k| 3.6 | 183M| 62 | 8 | 70 |4278 | 70 | 25 | 26 | 327k|3623 | 0.000000e+00 | -- | Inf
689.28/689.53 c 606s|930000 |248683 | 3331k| 3.6 | 185M| 62 | 8 | 70 |3230 | 70 | 25 | 26 | 331k|3646 | 0.000000e+00 | -- | Inf
696.98/697.21 c 613s|940000 |251207 | 3367k| 3.6 | 187M| 62 | 8 | 70 |2811 | 70 | 25 | 26 | 335k|3652 | 0.000000e+00 | -- | Inf
704.37/704.65 c 620s|950000 |253843 | 3402k| 3.6 | 189M| 62 | 8 | 70 |3193 | 70 | 25 | 26 | 338k|3653 | 0.000000e+00 | -- | Inf
712.17/712.47 c 627s|960000 |256145 | 3438k| 3.6 | 191M| 62 | 8 | 70 |2564 | 70 | 25 | 26 | 342k|3658 | 0.000000e+00 | -- | Inf
719.57/719.88 c 633s|970000 |258644 | 3473k| 3.6 | 193M| 62 | - | 70 |3026 | 70 | 25 | 26 | 345k|3666 | 0.000000e+00 | -- | Inf
727.17/727.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.17/727.45 c 640s|980000 |260951 | 3507k| 3.6 | 195M| 62 | - | 70 |3298 | 70 | 25 | 26 | 349k|3692 | 0.000000e+00 | -- | Inf
734.67/734.99 c 646s|990000 |263451 | 3544k| 3.6 | 197M| 62 | 8 | 70 |3218 | 70 | 25 | 26 | 353k|3696 | 0.000000e+00 | -- | Inf
741.97/742.23 c 653s| 1000k|266224 | 3578k| 3.6 | 199M| 62 | 8 | 70 |3325 | 70 | 25 | 26 | 356k|3707 | 0.000000e+00 | -- | Inf
749.66/749.95 c 660s| 1010k|268990 | 3618k| 3.6 | 201M| 62 | 8 | 70 |2857 | 70 | 25 | 26 | 360k|3707 | 0.000000e+00 | -- | Inf
757.57/757.84 c 667s| 1020k|271371 | 3664k| 3.6 | 202M| 62 | - | 70 |2529 | 70 | 25 | 26 | 363k|3707 | 0.000000e+00 | -- | Inf
765.27/765.59 c 674s| 1030k|273931 | 3711k| 3.6 | 204M| 62 | - | 70 |2408 | 70 | 25 | 26 | 367k|3711 | 0.000000e+00 | -- | Inf
772.96/773.25 c 680s| 1040k|276641 | 3759k| 3.6 | 206M| 62 | 8 | 70 |2434 | 70 | 25 | 26 | 370k|3729 | 0.000000e+00 | -- | Inf
780.55/780.81 c 687s| 1050k|279390 | 3805k| 3.6 | 208M| 62 | 8 | 70 |2546 | 70 | 25 | 26 | 373k|3730 | 0.000000e+00 | -- | Inf
788.15/788.40 c 694s| 1060k|282023 | 3851k| 3.6 | 210M| 62 | - | 70 |2642 | 70 | 25 | 26 | 377k|3737 | 0.000000e+00 | -- | Inf
795.85/796.15 c 701s| 1070k|284599 | 3899k| 3.6 | 212M| 62 | 8 | 70 |2356 | 70 | 25 | 26 | 380k|3752 | 0.000000e+00 | -- | Inf
803.35/803.64 c 707s| 1080k|287364 | 3944k| 3.7 | 213M| 62 | - | 70 |2207 | 70 | 25 | 26 | 384k|3752 | 0.000000e+00 | -- | Inf
810.84/811.16 c 714s| 1090k|290013 | 3993k| 3.7 | 215M| 62 | 8 | 70 |2421 | 70 | 25 | 26 | 387k|3758 | 0.000000e+00 | -- | Inf
818.44/818.75 c 721s| 1100k|292550 | 4041k| 3.7 | 217M| 62 | 8 | 70 |2819 | 70 | 25 | 26 | 391k|3761 | 0.000000e+00 | -- | Inf
826.14/826.40 c 727s| 1110k|295267 | 4087k| 3.7 | 219M| 62 | 8 | 70 |2904 | 70 | 25 | 26 | 394k|3764 | 0.000000e+00 | -- | Inf
833.84/834.13 c 734s| 1120k|297523 | 4126k| 3.7 | 221M| 62 | 8 | 70 |2804 | 70 | 25 | 26 | 398k|3771 | 0.000000e+00 | -- | Inf
841.33/841.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.33/841.66 c 741s| 1130k|299895 | 4162k| 3.7 | 223M| 62 | 8 | 70 |2992 | 70 | 25 | 26 | 401k|3779 | 0.000000e+00 | -- | Inf
848.84/849.17 c 747s| 1140k|302511 | 4198k| 3.7 | 225M| 62 | - | 70 |3422 | 70 | 25 | 26 | 405k|3788 | 0.000000e+00 | -- | Inf
856.24/856.59 c 754s| 1150k|305396 | 4233k| 3.7 | 227M| 62 | - | 70 |3958 | 70 | 25 | 26 | 408k|3790 | 0.000000e+00 | -- | Inf
863.84/864.15 c 761s| 1160k|308143 | 4272k| 3.7 | 229M| 62 | - | 70 |3557 | 70 | 25 | 26 | 412k|3797 | 0.000000e+00 | -- | Inf
871.53/871.89 c 768s| 1170k|310654 | 4308k| 3.7 | 231M| 62 | - | 70 |3383 | 70 | 25 | 26 | 415k|3802 | 0.000000e+00 | -- | Inf
879.33/879.69 c 775s| 1180k|313128 | 4344k| 3.7 | 232M| 62 | 8 | 70 |2734 | 70 | 25 | 26 | 419k|3802 | 0.000000e+00 | -- | Inf
886.73/887.04 c 781s| 1190k|315762 | 4380k| 3.7 | 235M| 62 | 8 | 70 |3707 | 70 | 25 | 26 | 422k|3802 | 0.000000e+00 | -- | Inf
894.42/894.71 c 788s| 1200k|318496 | 4417k| 3.7 | 237M| 62 | - | 70 |3019 | 70 | 25 | 26 | 425k|3806 | 0.000000e+00 | -- | Inf
902.12/902.48 c 795s| 1210k|320787 | 4454k| 3.7 | 238M| 62 | - | 70 |3160 | 70 | 25 | 26 | 429k|3807 | 0.000000e+00 | -- | Inf
909.52/909.84 c 801s| 1220k|323758 | 4493k| 3.7 | 241M| 62 | 8 | 70 |3914 | 70 | 25 | 26 | 432k|3807 | 0.000000e+00 | -- | Inf
917.32/917.69 c 808s| 1230k|326301 | 4530k| 3.7 | 242M| 62 | 8 | 70 |3314 | 70 | 25 | 26 | 436k|3814 | 0.000000e+00 | -- | Inf
925.02/925.38 c 815s| 1240k|328682 | 4566k| 3.7 | 244M| 62 | - | 70 |2862 | 70 | 25 | 26 | 439k|3829 | 0.000000e+00 | -- | Inf
932.81/933.14 c 822s| 1250k|330949 | 4602k| 3.7 | 246M| 62 | 8 | 70 |3034 | 70 | 25 | 26 | 443k|3831 | 0.000000e+00 | -- | Inf
940.51/940.84 c 829s| 1260k|333309 | 4639k| 3.7 | 248M| 62 | 8 | 70 |2989 | 70 | 25 | 26 | 447k|3841 | 0.000000e+00 | -- | Inf
947.92/948.29 c 835s| 1270k|336130 | 4675k| 3.7 | 250M| 62 | 8 | 70 |3530 | 70 | 25 | 26 | 450k|3841 | 0.000000e+00 | -- | Inf
955.61/955.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.61/955.95 c 842s| 1280k|338668 | 4710k| 3.7 | 252M| 62 | 8 | 70 |3333 | 70 | 25 | 26 | 454k|3842 | 0.000000e+00 | -- | Inf
963.31/963.69 c 849s| 1290k|341053 | 4746k| 3.7 | 254M| 62 | - | 70 |2831 | 70 | 25 | 26 | 457k|3858 | 0.000000e+00 | -- | Inf
971.10/971.49 c 856s| 1300k|343287 | 4783k| 3.7 | 256M| 62 | 8 | 70 |2629 | 70 | 25 | 26 | 461k|3858 | 0.000000e+00 | -- | Inf
978.61/978.97 c 863s| 1310k|345866 | 4820k| 3.7 | 258M| 62 | - | 70 |3296 | 70 | 25 | 26 | 465k|3858 | 0.000000e+00 | -- | Inf
986.40/986.77 c 869s| 1320k|348156 | 4855k| 3.7 | 259M| 62 | 8 | 70 |2648 | 70 | 25 | 26 | 468k|3858 | 0.000000e+00 | -- | Inf
993.89/994.27 c 876s| 1330k|350502 | 4892k| 3.7 | 261M| 62 | - | 70 |3071 | 70 | 25 | 26 | 472k|3859 | 0.000000e+00 | -- | Inf
1001.40/1001.78 c 883s| 1340k|352988 | 4927k| 3.7 | 263M| 62 | - | 70 |3005 | 70 | 25 | 26 | 475k|3859 | 0.000000e+00 | -- | Inf
1008.99/1009.36 c 889s| 1350k|355534 | 4963k| 3.7 | 265M| 62 | - | 70 |3260 | 70 | 25 | 26 | 479k|3866 | 0.000000e+00 | -- | Inf
1016.59/1016.93 c 896s| 1360k|358236 | 5000k| 3.7 | 267M| 62 | 8 | 70 |3031 | 70 | 25 | 26 | 482k|3871 | 0.000000e+00 | -- | Inf
1024.29/1024.65 c 903s| 1370k|360626 | 5035k| 3.7 | 269M| 62 | 8 | 70 |3162 | 70 | 25 | 26 | 486k|3882 | 0.000000e+00 | -- | Inf
1032.18/1032.52 c 910s| 1380k|362748 | 5072k| 3.7 | 271M| 62 | 8 | 70 |2926 | 70 | 25 | 26 | 489k|3889 | 0.000000e+00 | -- | Inf
1039.68/1040.03 c 917s| 1390k|365334 | 5109k| 3.7 | 273M| 62 | 8 | 70 |3112 | 70 | 25 | 26 | 493k|3893 | 0.000000e+00 | -- | Inf
1046.89/1047.26 c 923s| 1400k|368451 | 5145k| 3.7 | 275M| 62 | 8 | 70 |4096 | 70 | 25 | 26 | 496k|3897 | 0.000000e+00 | -- | Inf
1054.17/1054.59 c 929s| 1410k|371359 | 5180k| 3.7 | 277M| 62 | 8 | 70 |4413 | 70 | 25 | 26 | 499k|3900 | 0.000000e+00 | -- | Inf
1061.78/1062.19 c 936s| 1420k|373993 | 5215k| 3.7 | 279M| 63 | - | 70 |4033 | 70 | 25 | 26 | 503k|3903 | 0.000000e+00 | -- | Inf
1069.77/1070.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.77/1070.16 c 943s| 1430k|376185 | 5251k| 3.7 | 281M| 63 | 8 | 70 |3675 | 70 | 25 | 26 | 507k|3914 | 0.000000e+00 | -- | Inf
1077.37/1077.73 c 950s| 1440k|378797 | 5286k| 3.7 | 283M| 63 | 8 | 70 |4420 | 70 | 25 | 26 | 510k|3927 | 0.000000e+00 | -- | Inf
1085.47/1085.84 c 957s| 1450k|381245 | 5323k| 3.7 | 284M| 63 | 8 | 70 |3201 | 70 | 25 | 26 | 514k|3952 | 0.000000e+00 | -- | Inf
1092.87/1093.22 c 964s| 1460k|383928 | 5360k| 3.7 | 286M| 63 | - | 70 |3943 | 70 | 25 | 26 | 517k|3952 | 0.000000e+00 | -- | Inf
1100.57/1100.91 c 971s| 1470k|386371 | 5395k| 3.7 | 288M| 63 | 8 | 70 |3488 | 70 | 25 | 26 | 521k|3953 | 0.000000e+00 | -- | Inf
1108.36/1108.80 c 978s| 1480k|388637 | 5432k| 3.7 | 290M| 63 | 8 | 70 |2975 | 70 | 25 | 26 | 524k|3978 | 0.000000e+00 | -- | Inf
1115.96/1116.36 c 984s| 1490k|391198 | 5468k| 3.7 | 292M| 63 | 8 | 70 |2976 | 70 | 25 | 26 | 528k|3978 | 0.000000e+00 | -- | Inf
1123.87/1124.21 c 991s| 1500k|393347 | 5504k| 3.7 | 293M| 63 | 8 | 70 |2830 | 70 | 25 | 26 | 531k|3988 | 0.000000e+00 | -- | Inf
1131.46/1131.86 c 998s| 1510k|395588 | 5540k| 3.7 | 295M| 63 | - | 70 |2792 | 70 | 25 | 26 | 535k|3988 | 0.000000e+00 | -- | Inf
1138.86/1139.22 c 1005s| 1520k|398123 | 5575k| 3.7 | 297M| 63 | - | 70 |3347 | 70 | 25 | 26 | 539k|3990 | 0.000000e+00 | -- | Inf
1146.46/1146.81 c 1011s| 1530k|400704 | 5611k| 3.7 | 299M| 63 | 8 | 70 |3453 | 70 | 25 | 26 | 542k|4002 | 0.000000e+00 | -- | Inf
1154.15/1154.57 c 1018s| 1540k|403188 | 5648k| 3.7 | 301M| 63 | - | 70 |3070 | 70 | 25 | 26 | 546k|4005 | 0.000000e+00 | -- | Inf
1161.85/1162.20 c 1025s| 1550k|405627 | 5684k| 3.7 | 303M| 63 | - | 70 |3359 | 70 | 25 | 26 | 549k|4016 | 0.000000e+00 | -- | Inf
1169.55/1169.95 c 1032s| 1560k|408074 | 5720k| 3.7 | 305M| 63 | 8 | 70 |2651 | 70 | 25 | 26 | 553k|4020 | 0.000000e+00 | -- | Inf
1176.94/1177.38 c 1038s| 1570k|410545 | 5757k| 3.7 | 307M| 63 | - | 70 |3055 | 70 | 25 | 26 | 556k|4029 | 0.000000e+00 | -- | Inf
1184.55/1184.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.55/1184.97 c 1045s| 1580k|413127 | 5793k| 3.7 | 309M| 63 | - | 70 |3080 | 70 | 25 | 26 | 560k|4038 | 0.000000e+00 | -- | Inf
1191.84/1192.25 c 1051s| 1590k|416087 | 5829k| 3.7 | 311M| 63 | - | 70 |4139 | 70 | 25 | 26 | 563k|4040 | 0.000000e+00 | -- | Inf
1199.34/1199.78 c 1058s| 1600k|418826 | 5865k| 3.7 | 313M| 63 | - | 70 |4475 | 70 | 25 | 26 | 567k|4040 | 0.000000e+00 | -- | Inf
1206.83/1207.24 c 1065s| 1610k|421643 | 5898k| 3.7 | 315M| 63 | 8 | 70 |5186 | 70 | 25 | 26 | 570k|4040 | 0.000000e+00 | -- | Inf
1214.54/1214.91 c 1072s| 1620k|424395 | 5933k| 3.7 | 317M| 63 | 8 | 70 |5439 | 70 | 25 | 26 | 573k|4040 | 0.000000e+00 | -- | Inf
1222.63/1223.00 c 1079s| 1630k|426974 | 5968k| 3.7 | 319M| 63 | 8 | 70 |4133 | 70 | 25 | 26 | 577k|4057 | 0.000000e+00 | -- | Inf
1230.73/1231.19 c 1086s| 1640k|429145 | 6003k| 3.7 | 320M| 63 | 8 | 70 |3130 | 70 | 25 | 26 | 580k|4061 | 0.000000e+00 | -- | Inf
1238.52/1238.96 c 1093s| 1650k|431519 | 6040k| 3.7 | 322M| 63 | 8 | 70 |3619 | 70 | 25 | 26 | 584k|4066 | 0.000000e+00 | -- | Inf
1245.83/1246.25 c 1099s| 1660k|434373 | 6075k| 3.7 | 325M| 63 | 8 | 70 |4482 | 70 | 25 | 26 | 587k|4068 | 0.000000e+00 | -- | Inf
1253.72/1254.17 c 1106s| 1670k|436702 | 6110k| 3.7 | 326M| 63 | 8 | 70 |3411 | 70 | 25 | 26 | 591k|4070 | 0.000000e+00 | -- | Inf
1261.62/1262.04 c 1113s| 1680k|439134 | 6147k| 3.7 | 328M| 63 | 8 | 70 |3900 | 70 | 25 | 26 | 594k|4081 | 0.000000e+00 | -- | Inf
1269.61/1270.08 c 1121s| 1690k|441418 | 6184k| 3.7 | 330M| 63 | 8 | 70 |3547 | 70 | 25 | 26 | 598k|4086 | 0.000000e+00 | -- | Inf
1277.51/1277.96 c 1128s| 1700k|443706 | 6221k| 3.7 | 332M| 63 | 8 | 70 |3203 | 70 | 25 | 26 | 602k|4092 | 0.000000e+00 | -- | Inf
1285.12/1285.59 c 1134s| 1710k|446242 | 6257k| 3.7 | 334M| 63 | 8 | 70 |3252 | 70 | 25 | 26 | 605k|4096 | 0.000000e+00 | -- | Inf
1292.91/1293.32 c 1141s| 1720k|448567 | 6292k| 3.7 | 335M| 63 | - | 70 |2964 | 70 | 25 | 26 | 609k|4098 | 0.000000e+00 | -- | Inf
1300.71/1301.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.71/1301.11 c 1148s| 1730k|450901 | 6328k| 3.7 | 337M| 63 | 8 | 70 |2887 | 70 | 25 | 26 | 612k|4108 | 0.000000e+00 | -- | Inf
1308.21/1308.66 c 1155s| 1740k|453371 | 6365k| 3.7 | 339M| 63 | - | 70 |3296 | 70 | 25 | 26 | 616k|4112 | 0.000000e+00 | -- | Inf
1315.91/1316.39 c 1162s| 1750k|455698 | 6401k| 3.7 | 341M| 63 | 8 | 70 |3239 | 70 | 25 | 26 | 620k|4117 | 0.000000e+00 | -- | Inf
1323.50/1323.93 c 1168s| 1760k|458220 | 6437k| 3.7 | 343M| 63 | 8 | 70 |4150 | 70 | 25 | 26 | 623k|4117 | 0.000000e+00 | -- | Inf
1331.50/1331.90 c 1175s| 1770k|460635 | 6473k| 3.7 | 345M| 63 | 8 | 70 |4059 | 70 | 25 | 26 | 627k|4118 | 0.000000e+00 | -- | Inf
1339.40/1339.88 c 1183s| 1780k|462945 | 6509k| 3.7 | 347M| 63 | 8 | 70 |3261 | 70 | 25 | 26 | 630k|4129 | 0.000000e+00 | -- | Inf
1346.70/1347.11 c 1189s| 1790k|465753 | 6545k| 3.7 | 349M| 63 | - | 70 |4172 | 70 | 25 | 26 | 634k|4130 | 0.000000e+00 | -- | Inf
1354.39/1354.84 c 1196s| 1800k|468161 | 6580k| 3.7 | 351M| 63 | 8 | 70 |4149 | 70 | 25 | 26 | 637k|4132 | 0.000000e+00 | -- | Inf
1361.99/1362.47 c 1202s| 1810k|470796 | 6618k| 3.7 | 353M| 63 | 8 | 70 |4962 | 70 | 25 | 26 | 641k|4132 | 0.000000e+00 | -- | Inf
1370.20/1370.67 c 1210s| 1820k|473010 | 6655k| 3.7 | 355M| 63 | - | 70 |3354 | 70 | 25 | 26 | 644k|4150 | 0.000000e+00 | -- | Inf
1377.89/1378.36 c 1217s| 1830k|475439 | 6692k| 3.7 | 356M| 63 | 8 | 70 |3322 | 70 | 25 | 26 | 648k|4150 | 0.000000e+00 | -- | Inf
1385.59/1386.03 c 1223s| 1840k|477861 | 6729k| 3.7 | 358M| 63 | 8 | 70 |3629 | 70 | 25 | 26 | 652k|4151 | 0.000000e+00 | -- | Inf
1393.48/1393.98 c 1231s| 1850k|480180 | 6765k| 3.7 | 360M| 63 | - | 70 |3215 | 70 | 25 | 26 | 655k|4159 | 0.000000e+00 | -- | Inf
1401.18/1401.64 c 1237s| 1860k|482593 | 6800k| 3.7 | 362M| 63 | 8 | 70 |3241 | 70 | 25 | 26 | 659k|4161 | 0.000000e+00 | -- | Inf
1408.69/1409.18 c 1244s| 1870k|485127 | 6836k| 3.7 | 364M| 63 | 8 | 70 |3683 | 70 | 25 | 26 | 663k|4168 | 0.000000e+00 | -- | Inf
1416.67/1417.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.67/1417.16 c 1251s| 1880k|487380 | 6872k| 3.7 | 366M| 63 | 8 | 70 |3678 | 70 | 25 | 26 | 666k|4172 | 0.000000e+00 | -- | Inf
1424.37/1424.82 c 1258s| 1890k|489906 | 6909k| 3.7 | 368M| 63 | 8 | 70 |4072 | 70 | 25 | 26 | 670k|4177 | 0.000000e+00 | -- | Inf
1432.47/1432.94 c 1265s| 1900k|492118 | 6945k| 3.7 | 369M| 63 | - | 70 |3003 | 70 | 25 | 26 | 673k|4191 | 0.000000e+00 | -- | Inf
1440.17/1440.67 c 1272s| 1910k|494429 | 6981k| 3.7 | 371M| 63 | - | 70 |3356 | 70 | 25 | 26 | 677k|4193 | 0.000000e+00 | -- | Inf
1447.66/1448.19 c 1279s| 1920k|497093 | 7018k| 3.7 | 373M| 63 | 8 | 70 |3640 | 70 | 25 | 26 | 680k|4196 | 0.000000e+00 | -- | Inf
1455.46/1455.94 c 1286s| 1930k|499494 | 7055k| 3.7 | 375M| 63 | 8 | 70 |3824 | 70 | 25 | 26 | 684k|4207 | 0.000000e+00 | -- | Inf
1463.36/1463.86 c 1293s| 1940k|501809 | 7090k| 3.7 | 377M| 63 | - | 70 |3227 | 0 | 0 | 26 | 687k|4208 | 0.000000e+00 | -- | Inf
1470.76/1471.24 c 1299s| 1950k|504348 | 7124k| 3.7 | 379M| 63 | 8 | 70 |4188 | 70 | 25 | 26 | 691k|4208 | 0.000000e+00 | -- | Inf
1478.35/1478.84 c 1306s| 1960k|506839 | 7157k| 3.7 | 381M| 63 | 8 | 70 |4802 | 70 | 25 | 26 | 695k|4208 | 0.000000e+00 | -- | Inf
1486.56/1487.08 c 1313s| 1970k|509029 | 7194k| 3.7 | 383M| 63 | - | 70 |3350 | 70 | 25 | 26 | 698k|4215 | 0.000000e+00 | -- | Inf
1494.25/1494.71 c 1320s| 1980k|511735 | 7232k| 3.7 | 385M| 63 | 8 | 70 |4034 | 70 | 25 | 26 | 701k|4222 | 0.000000e+00 | -- | Inf
1501.94/1502.48 c 1327s| 1990k|514254 | 7268k| 3.7 | 387M| 63 | 8 | 70 |4068 | 70 | 25 | 26 | 705k|4231 | 0.000000e+00 | -- | Inf
1509.85/1510.37 c 1334s| 2000k|516756 | 7306k| 3.7 | 388M| 63 | 8 | 70 |3414 | 70 | 25 | 26 | 708k|4240 | 0.000000e+00 | -- | Inf
1517.64/1518.16 c 1341s| 2010k|519162 | 7342k| 3.7 | 390M| 63 | 8 | 70 |3493 | 70 | 25 | 26 | 712k|4240 | 0.000000e+00 | -- | Inf
1525.44/1526.00 c 1348s| 2020k|521419 | 7380k| 3.7 | 392M| 63 | 8 | 70 |3645 | 70 | 25 | 26 | 716k|4242 | 0.000000e+00 | -- | Inf
1533.24/1533.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.24/1533.76 c 1355s| 2030k|524280 | 7426k| 3.7 | 394M| 63 | 8 | 70 |3341 | 70 | 25 | 26 | 719k|4245 | 0.000000e+00 | -- | Inf
1540.73/1541.30 c 1361s| 2040k|527094 | 7469k| 3.7 | 396M| 63 | - | 70 |3517 | 70 | 25 | 26 | 722k|4245 | 0.000000e+00 | -- | Inf
1548.34/1548.83 c 1368s| 2050k|530438 | 7516k| 3.7 | 398M| 63 | 8 | 70 |3354 | 70 | 25 | 26 | 725k|4245 | 0.000000e+00 | -- | Inf
1556.04/1556.56 c 1375s| 2060k|533523 | 7565k| 3.7 | 400M| 63 | 8 | 70 |3402 | 70 | 25 | 26 | 729k|4245 | 0.000000e+00 | -- | Inf
1563.93/1564.45 c 1382s| 2070k|536160 | 7612k| 3.7 | 402M| 63 | 8 | 70 |3447 | 70 | 25 | 26 | 732k|4245 | 0.000000e+00 | -- | Inf
1571.92/1572.45 c 1389s| 2080k|538462 | 7659k| 3.7 | 404M| 63 | 8 | 70 |2849 | 70 | 25 | 26 | 736k|4251 | 0.000000e+00 | -- | Inf
1579.83/1580.31 c 1396s| 2090k|540895 | 7707k| 3.7 | 405M| 63 | - | 70 |3164 | 70 | 25 | 26 | 739k|4294 | 0.000000e+00 | -- | Inf
1587.72/1588.25 c 1403s| 2100k|543376 | 7754k| 3.7 | 407M| 63 | - | 70 |2828 | 70 | 25 | 26 | 743k|4294 | 0.000000e+00 | -- | Inf
1595.63/1596.15 c 1410s| 2110k|545708 | 7800k| 3.7 | 409M| 63 | - | 70 |2805 | 70 | 25 | 26 | 746k|4304 | 0.000000e+00 | -- | Inf
1603.52/1604.07 c 1417s| 2120k|548136 | 7844k| 3.7 | 411M| 63 | 8 | 70 |2732 | 70 | 25 | 26 | 750k|4313 | 0.000000e+00 | -- | Inf
1611.32/1611.81 c 1424s| 2130k|550457 | 7889k| 3.7 | 413M| 63 | 8 | 70 |2769 | 70 | 25 | 26 | 753k|4316 | 0.000000e+00 | -- | Inf
1619.11/1619.60 c 1431s| 2140k|552947 | 7936k| 3.7 | 414M| 63 | - | 70 |2860 | 70 | 25 | 26 | 757k|4326 | 0.000000e+00 | -- | Inf
1627.00/1627.55 c 1438s| 2150k|555223 | 7982k| 3.7 | 416M| 63 | 8 | 70 |2783 | 70 | 25 | 26 | 760k|4326 | 0.000000e+00 | -- | Inf
1634.91/1635.43 c 1445s| 2160k|557621 | 8027k| 3.7 | 418M| 63 | 8 | 70 |3178 | 70 | 25 | 26 | 764k|4330 | 0.000000e+00 | -- | Inf
1642.91/1643.42 c 1452s| 2170k|559842 | 8071k| 3.7 | 420M| 63 | - | 70 |2780 | 70 | 25 | 26 | 767k|4336 | 0.000000e+00 | -- | Inf
1650.61/1651.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.61/1651.12 c 1459s| 2180k|562379 | 8117k| 3.7 | 422M| 63 | - | 70 |3115 | 70 | 25 | 26 | 770k|4336 | 0.000000e+00 | -- | Inf
1658.39/1658.94 c 1466s| 2190k|564716 | 8157k| 3.7 | 424M| 63 | - | 70 |3088 | 70 | 25 | 26 | 774k|4346 | 0.000000e+00 | -- | Inf
1666.00/1666.55 c 1473s| 2200k|567106 | 8191k| 3.7 | 425M| 63 | 8 | 70 |3106 | 70 | 25 | 26 | 778k|4349 | 0.000000e+00 | -- | Inf
1673.70/1674.22 c 1479s| 2210k|569387 | 8227k| 3.7 | 427M| 63 | 8 | 70 |2729 | 70 | 25 | 26 | 781k|4351 | 0.000000e+00 | -- | Inf
1681.39/1681.94 c 1486s| 2220k|571502 | 8262k| 3.7 | 429M| 63 | 8 | 70 |2552 | 70 | 25 | 26 | 785k|4356 | 0.000000e+00 | -- | Inf
1688.69/1689.20 c 1493s| 2230k|574426 | 8297k| 3.7 | 431M| 63 | 8 | 70 |3551 | 70 | 25 | 26 | 788k|4356 | 0.000000e+00 | -- | Inf
1695.98/1696.57 c 1499s| 2240k|577245 | 8332k| 3.7 | 433M| 63 | 8 | 70 |4244 | 70 | 25 | 26 | 792k|4356 | 0.000000e+00 | -- | Inf
1703.78/1704.39 c 1506s| 2250k|579690 | 8366k| 3.7 | 435M| 63 | - | 70 |3803 | 70 | 25 | 26 | 795k|4362 | 0.000000e+00 | -- | Inf
1711.88/1712.42 c 1513s| 2260k|581894 | 8402k| 3.7 | 437M| 63 | - | 70 |3159 | 70 | 25 | 26 | 799k|4368 | 0.000000e+00 | -- | Inf
1719.28/1719.86 c 1520s| 2270k|584568 | 8438k| 3.7 | 439M| 63 | 8 | 70 |3872 | 70 | 25 | 26 | 802k|4379 | 0.000000e+00 | -- | Inf
1727.18/1727.76 c 1527s| 2280k|586670 | 8474k| 3.7 | 441M| 63 | 8 | 70 |3926 | 70 | 25 | 26 | 806k|4382 | 0.000000e+00 | -- | Inf
1735.18/1735.72 c 1534s| 2290k|588903 | 8511k| 3.7 | 443M| 63 | 8 | 70 |3256 | 70 | 25 | 26 | 810k|4390 | 0.000000e+00 | -- | Inf
1742.57/1743.14 c 1540s| 2300k|591449 | 8547k| 3.7 | 445M| 63 | - | 70 |4206 | 70 | 25 | 26 | 813k|4390 | 0.000000e+00 | -- | Inf
1750.07/1750.65 c 1547s| 2310k|593910 | 8584k| 3.7 | 447M| 63 | - | 70 |4859 | 70 | 25 | 26 | 817k|4390 | 0.000000e+00 | -- | Inf
1758.17/1758.78 c 1554s| 2320k|596172 | 8619k| 3.7 | 448M| 63 | - | 70 |3012 | 70 | 25 | 26 | 820k|4391 | 0.000000e+00 | -- | Inf
1765.76/1766.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.76/1766.31 c 1561s| 2330k|598698 | 8654k| 3.7 | 450M| 63 | - | 70 |3954 | 0 | 0 | 26 | 824k|4391 | 0.000000e+00 | -- | Inf
1773.56/1774.19 c 1568s| 2340k|601045 | 8689k| 3.7 | 452M| 63 | - | 70 |3320 | 70 | 25 | 26 | 827k|4395 | 0.000000e+00 | -- | Inf
1781.46/1782.06 c 1575s| 2350k|603220 | 8725k| 3.7 | 454M| 63 | - | 70 |2673 | 70 | 25 | 26 | 831k|4409 | 0.000000e+00 | -- | Inf
1789.06/1789.64 c 1582s| 2360k|605686 | 8761k| 3.7 | 456M| 63 | - | 70 |2975 | 70 | 25 | 26 | 834k|4412 | 0.000000e+00 | -- | Inf
1796.66/1797.22 c 1588s| 2370k|608247 | 8797k| 3.7 | 458M| 63 | - | 70 |3484 | 70 | 25 | 26 | 838k|4418 | 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) : 1591.36
1800.07/1800.61 c Solving Nodes : 2374367
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 : 1591.36
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2665449-1276615750.opb
1800.07/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 17 initial, 17 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2665449-1276615750.opb
1800.07/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 8 initial, 5508 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.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 9 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 1494544 0 199 1573 0 0 2985742
1800.07/1800.61 c linear : 8 6 5580327 0 0 75902 3169344 0 0 0
1800.07/1800.61 c logicor : 0+ 0 2146981 0 0 3786 765167 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 : 22.63 0.00 0.00 22.63 0.00
1800.07/1800.61 c linear : 359.41 0.00 359.41 0.00 0.00
1800.07/1800.61 c logicor : 127.06 0.00 127.06 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.02 2 0 0
1800.07/1800.61 c rootredcost : 2.43 0 0 0
1800.07/1800.61 c pseudoobj : 2.47 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 : 16.08 79688 72686 276210 46.5 4 42.0 -
1800.07/1800.61 c infeasible LP : 53.75 803899 628294 1138553 31.3 3374 34.9 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 : - - - 646056 25.5 - - -
1800.07/1800.61 c applied locally : - - - 193968 39.4 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 6 - (maximal pool size: 66)
1800.07/1800.61 c redcost : 3.93 1494540 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.00 6 0 0 29 0
1800.07/1800.61 c cmir : 0.05 6 0 0 26 0
1800.07/1800.61 c flowcover : 0.05 6 0 0 23 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 0
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 : 20.29 1494544 199 1573 0 0 2985742
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.10 0 0
1800.07/1800.61 c crossover : 1.48 0 0
1800.07/1800.61 c guideddiving : 0.07 0 0
1800.07/1800.61 c intshifting : 0.11 0 0
1800.07/1800.61 c coefdiving : 0.17 25 0
1800.07/1800.61 c pscostdiving : 0.16 25 0
1800.07/1800.61 c fracdiving : 0.14 25 0
1800.07/1800.61 c veclendiving : 0.14 25 0
1800.07/1800.61 c linesearchdiving : 0.18 25 0
1800.07/1800.61 c feaspump : 0.18 13 0
1800.07/1800.61 c objpscostdiving : 0.06 13 0
1800.07/1800.61 c rootsoldiving : 0.06 13 0
1800.07/1800.61 c trivial : 0.01 2 0
1800.07/1800.61 c simplerounding : 0.83 0 0
1800.07/1800.61 c zirounding : 1.29 1000 0
1800.07/1800.61 c rounding : 2.37 17287 0
1800.07/1800.61 c shifting : 5.02 5411 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.04 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.09 0 0
1800.07/1800.61 c trysol : 1.80 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 : 676.34 2256956 8811481 3.90 13028.18
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.21 808 1805 2.23 8595.24
1800.07/1800.61 c strong branching : 2.07 4418 31928 7.23 15424.15
1800.07/1800.61 c (at root node) : - 9 829 92.11 -
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 : 2374367
1800.07/1800.61 c nodes (total) : 2374367
1800.07/1800.61 c nodes left : 609235
1800.07/1800.61 c max depth : 63
1800.07/1800.61 c max depth (total): 63
1800.07/1800.61 c backtracks : 197162 (8.3%)
1800.07/1800.61 c delayed cutoffs : 2141
1800.07/1800.61 c repropagations : 2175067 (757559 domain reductions, 1983 cutoffs)
1800.07/1800.61 c avg switch length: 5.17
1800.07/1800.61 c switching time : 150.56
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 : 150
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665449-1276615750/watcher-2665449-1276615750 -o /tmp/evaluation-result-2665449-1276615750/solver-2665449-1276615750 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665449-1276615750.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 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=9288 CPUtime=0
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1043 0 0 0 0 0 0 0 18 0 1 0 37176302 9510912 965 1992294400 4194304 9819077 140736725098832 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 2322 972 371 1374 0 943 0
[startup+0.0128341 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=10560 CPUtime=0
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1588 0 0 0 0 0 0 0 18 0 1 0 37176302 10813440 1509 1992294400 4194304 9819077 140736725098832 18446744073709551615 8662608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 2640 1510 388 1374 0 1261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10560
[startup+0.101841 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=21928 CPUtime=0.09
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 5095 0 0 0 7 2 0 0 20 0 1 0 37176302 22454272 3882 1992294400 4194304 9819077 140736725098832 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 5482 3882 676 1374 0 4103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21928
[startup+0.30186 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=23712 CPUtime=0.29
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 8712 0 0 0 25 4 0 0 20 0 1 0 37176302 24281088 4202 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 5968 4203 713 1374 0 4589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23712
[startup+0.701896 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=16624 CPUtime=0.69
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 16016 0 0 0 58 11 0 0 20 0 1 0 37176302 17022976 2706 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 4115 2705 723 1374 0 2736 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16624
[startup+1.50197 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1771200/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=15980 CPUtime=1.5
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 23057 0 0 0 126 24 0 0 23 0 1 0 37176302 16363520 2725 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 3995 2725 724 1374 0 2616 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15980
[startup+3.10112 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 5190
/proc/meminfo: memFree=1770952/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=17212 CPUtime=3.09
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 36237 0 0 0 266 43 0 0 25 0 1 0 37176302 17625088 2975 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 4181 2973 724 1374 0 2802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17212
[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1768596/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=19488 CPUtime=6.29
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 64250 0 0 0 546 83 0 0 25 0 1 0 37176302 19955712 3557 1992294400 4194304 9819077 140736725098832 18446744073709551615 4561249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 4872 3557 724 1374 0 3493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19488
[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1765496/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=22000 CPUtime=12.68
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 120333 0 0 0 1106 162 0 0 25 0 1 0 37176302 22528000 4190 1992294400 4194304 9819077 140736725098832 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 5500 4190 724 1374 0 4121 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22000
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1760288/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=27348 CPUtime=25.48
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 234556 0 0 0 2229 319 0 0 25 0 1 0 37176302 28004352 5542 1992294400 4194304 9819077 140736725098832 18446744073709551615 8654742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 6756 5541 724 1374 0 5377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27348
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1752476/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=35600 CPUtime=51.07
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 455398 0 0 0 4465 642 0 0 25 0 1 0 37176302 36454400 7650 1992294400 4194304 9819077 140736725098832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 8900 7650 724 1374 0 7521 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35600
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 5192
/proc/meminfo: memFree=1735612/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=51236 CPUtime=102.26
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 889972 0 0 0 8938 1288 0 0 25 0 1 0 37176302 52465664 11622 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 12809 11622 724 1374 0 11430 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51236
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5194
/proc/meminfo: memFree=1716764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=72412 CPUtime=162.23
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1391464 0 0 0 14204 2019 0 0 25 0 1 0 37176302 74149888 16498 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 18103 16498 724 1374 0 16724 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 72412
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5196
/proc/meminfo: memFree=1698536/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=88984 CPUtime=222.22
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1883084 0 0 0 19468 2754 0 0 25 0 1 0 37176302 91119616 20814 1992294400 4194304 9819077 140736725098832 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 22327 20816 724 1374 0 20948 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 88984
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5196
/proc/meminfo: memFree=1681300/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=106300 CPUtime=282.2
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 2374888 0 0 0 24733 3487 0 0 25 0 1 0 37176302 108851200 25097 1992294400 4194304 9819077 140736725098832 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 26575 25097 724 1374 0 25196 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 106300
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5198
/proc/meminfo: memFree=1663816/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=123888 CPUtime=342.18
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 2862564 0 0 0 30007 4211 0 0 25 0 1 0 37176302 126861312 29578 1992294400 4194304 9819077 140736725098832 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 30972 29578 724 1374 0 29593 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 123888
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5200
/proc/meminfo: memFree=1648068/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=138484 CPUtime=402.16
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 3347938 0 0 0 35295 4921 0 0 25 0 1 0 37176302 141807616 33304 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 34621 33304 724 1374 0 33242 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 138484
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5202
/proc/meminfo: memFree=1632444/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=154272 CPUtime=462.15
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 3827922 0 0 0 40572 5643 0 0 25 0 1 0 37176302 157974528 37296 1992294400 4194304 9819077 140736725098832 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 38568 37296 724 1374 0 37189 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 154272
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5204
/proc/meminfo: memFree=1617316/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=169400 CPUtime=522.13
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 4307511 0 0 0 45845 6368 0 0 25 0 1 0 37176302 173465600 41166 1992294400 4194304 9819077 140736725098832 18446744073709551615 6590275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 42350 41166 724 1374 0 40971 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 169400
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5204
/proc/meminfo: memFree=1597972/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=191752 CPUtime=582.12
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 4795363 0 0 0 51150 7062 0 0 25 0 1 0 37176302 196354048 45768 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 47938 45768 724 1374 0 46559 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 191752
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5206
/proc/meminfo: memFree=1582224/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=206988 CPUtime=642.1
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 5272879 0 0 0 56447 7763 0 0 25 0 1 0 37176302 211955712 49632 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 51747 49632 724 1374 0 50368 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 206988
[startup+702.302 s]
################
# More data... #
################
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 8154004 0 0 0 88322 11877 0 0 25 0 1 0 37176302 305262592 72878 1992294400 4194304 9819077 140736725098832 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 74527 72878 724 1374 0 73148 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 298108
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5218
/proc/meminfo: memFree=1476328/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=309920 CPUtime=1061.97
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 8634452 0 0 0 93632 12565 0 0 25 0 1 0 37176302 317358080 75933 1992294400 4194304 9819077 140736725098832 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 77439 75932 724 1374 0 76060 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 309920
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5220
/proc/meminfo: memFree=1458348/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=327576 CPUtime=1121.96
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 9108229 0 0 0 98954 13242 0 0 25 0 1 0 37176302 335437824 80369 1992294400 4194304 9819077 140736725098832 18446744073709551615 4210120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 81894 80369 724 1374 0 80515 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 327576
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5220
/proc/meminfo: memFree=1443716/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=341732 CPUtime=1181.94
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 9588435 0 0 0 104267 13927 0 0 25 0 1 0 37176302 349933568 83989 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 85433 83989 724 1374 0 84054 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 341732
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5222
/proc/meminfo: memFree=1424620/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=360188 CPUtime=1241.92
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 10060210 0 0 0 109592 14600 0 0 25 0 1 0 37176302 368832512 88718 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 90047 88718 724 1374 0 88668 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 360188
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5224
/proc/meminfo: memFree=1413336/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=370952 CPUtime=1301.91
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 10526426 0 0 0 114917 15274 0 0 25 0 1 0 37176302 379854848 91487 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 92738 91487 724 1374 0 91359 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 370952
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5226
/proc/meminfo: memFree=1392876/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=399800 CPUtime=1361.89
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 11002253 0 0 0 120235 15954 0 0 25 0 1 0 37176302 409395200 96659 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 99950 96659 724 1374 0 98571 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 399800
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5228
/proc/meminfo: memFree=1377252/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=414760 CPUtime=1421.88
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 11473392 0 0 0 125568 16620 0 0 25 0 1 0 37176302 424714240 100473 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 103690 100473 724 1374 0 102311 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 414760
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5228
/proc/meminfo: memFree=1362992/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=428444 CPUtime=1481.85
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 11944481 0 0 0 130902 17283 0 0 25 0 1 0 37176302 438726656 103991 1992294400 4194304 9819077 140736725098832 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 107111 103991 724 1374 0 105732 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 428444
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5230
/proc/meminfo: memFree=1346872/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=444064 CPUtime=1541.83
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 12417167 0 0 0 136231 17952 0 0 25 0 1 0 37176302 454721536 107995 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 111016 107995 724 1374 0 109637 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 444064
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5232
/proc/meminfo: memFree=1333232/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=457848 CPUtime=1601.82
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 12886588 0 0 0 141544 18638 0 0 25 0 1 0 37176302 468836352 111408 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 114462 111408 724 1374 0 113083 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 457848
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5234
/proc/meminfo: memFree=1319468/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=472100 CPUtime=1661.8
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 13363198 0 0 0 146873 19307 0 0 25 0 1 0 37176302 483430400 115080 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 118025 115080 724 1374 0 116646 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 472100
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5236
/proc/meminfo: memFree=1303844/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=486024 CPUtime=1721.78
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 13837696 0 0 0 152199 19979 0 0 25 0 1 0 37176302 497688576 118682 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 121547 118683 724 1374 0 120168 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 486024
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5236
/proc/meminfo: memFree=1289832/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=499604 CPUtime=1781.76
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14312174 0 0 0 157511 20665 0 0 25 0 1 0 37176302 511594496 122141 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 124901 122141 724 1374 0 123522 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 499604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5238
/proc/meminfo: memFree=1283632/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1800.07
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460101 0 0 0 159136 20871 0 0 25 0 1 0 37176302 517599232 123635 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 126122 123630 724 1374 0 124743 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 505468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5189
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5238
/proc/meminfo: memFree=1283632/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1800.85
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460112 0 0 0 159214 20871 0 0 25 0 1 0 37176302 517599232 123636 1992294400 4194304 9819077 140736725098832 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 126367 123636 725 1374 0 124988 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 505468
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 5239
/proc/meminfo: memFree=1283624/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1801.65
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460112 0 0 0 159294 20871 0 0 25 0 1 0 37176302 517599232 123636 1992294400 4194304 9819077 140736725098832 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 126367 123636 725 1374 0 124988 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 505468
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 5239
/proc/meminfo: memFree=1283624/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1802.05
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460112 0 0 0 159334 20871 0 0 25 0 1 0 37176302 517599232 123636 1992294400 4194304 9819077 140736725098832 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 126367 123636 725 1374 0 124988 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 505468
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.13
CPU user time (s): 1593.36
CPU system time (s): 208.768
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 505468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1593.36
system time used= 208.768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14460112
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= 1268
runsolver used 2.70859 second user time and 8.79166 second system time
The end