0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3451060-1307092606.opb>
0.09/0.16 c original problem has 6175 variables (6175 bin, 0 int, 0 impl, 0 cont) and 17920 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.21 o 6175
0.19/0.21 c feasible solution found by trivial heuristic, objective value 6.175000e+03
0.19/0.21 c presolving:
0.19/0.25 c (round 1) 135 del vars, 1448 del conss, 0 add conss, 135 chg bounds, 8 chg sides, 8 chg coeffs, 0 upgd conss, 10875 impls, 0 clqs
0.19/0.26 c (round 2) 135 del vars, 3238 del conss, 0 add conss, 135 chg bounds, 8 chg sides, 8 chg coeffs, 0 upgd conss, 10875 impls, 0 clqs
0.29/0.38 c (round 3) 135 del vars, 3763 del conss, 0 add conss, 135 chg bounds, 12 chg sides, 8 chg coeffs, 13914 upgd conss, 10875 impls, 0 clqs
0.39/0.40 c (round 4) 161 del vars, 3788 del conss, 0 add conss, 135 chg bounds, 12 chg sides, 8 chg coeffs, 13914 upgd conss, 10875 impls, 0 clqs
0.39/0.42 c (round 5) 161 del vars, 3812 del conss, 0 add conss, 135 chg bounds, 12 chg sides, 8 chg coeffs, 14035 upgd conss, 10875 impls, 0 clqs
0.39/0.44 c (round 6) 161 del vars, 3812 del conss, 0 add conss, 135 chg bounds, 12 chg sides, 8 chg coeffs, 14132 upgd conss, 10875 impls, 0 clqs
0.49/0.50 c (0.5s) probing: 101/6014 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.50 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.50 c presolving (7 rounds):
0.49/0.50 c 161 deleted vars, 3812 deleted constraints, 0 added constraints, 135 tightened bounds, 0 added holes, 12 changed sides, 8 changed coefficients
0.49/0.50 c 10875 implications, 0 cliques
0.49/0.50 c presolved problem has 6014 variables (6014 bin, 0 int, 0 impl, 0 cont) and 14108 constraints
0.49/0.50 c 3611 constraints of type <setppc>
0.49/0.50 c 10497 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.30
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 2.0.1.5
0.49/0.50 c
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = 10000
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1800
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 13950
0.49/0.50 c
0.49/0.50 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.50 c # [type: int, range: [1,2], default: 1]
0.49/0.50 c timing/clocktype = 2
0.49/0.50 c
0.49/0.50 c # belongs reading time to solving time?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c timing/reading = TRUE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/indicator/addCouplingCons = TRUE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.51 c
0.49/0.51 o 6149
0.49/0.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.51 c t 0.5s| 1 | 0 | 0 | - | 28M| 0 | - |6014 | 14k| 0 | 0 | 0 | 0 | 0 | -- | 6.149000e+03 | Inf
0.49/0.56 o 1111
0.49/0.56 c b 0.6s| 1 | 0 | 0 | - | 39M| 0 | - |6014 | 14k|6014 | 14k| 0 | 0 | 0 | -- | 1.111000e+03 | Inf
1.29/1.34 c 1.3s| 1 | 0 | 5801 | - | 39M| 0 |2256 |6014 | 14k|6014 | 14k| 0 | 0 | 0 | 9.039361e+02 | 1.111000e+03 | 22.91%
1.49/1.50 o 1108
1.49/1.50 c b 1.5s| 1 | 0 | 5801 | - | 40M| 0 |2256 |6014 | 14k|6014 | 14k| 0 | 0 | 0 | 9.039361e+02 | 1.108000e+03 | 22.58%
1.89/1.96 c 2.0s| 1 | 0 | 6345 | - | 40M| 0 |1767 |6014 | 14k|6014 | 14k| 12 | 0 | 0 | 9.072740e+02 | 1.108000e+03 | 22.12%
2.39/2.48 c 2.5s| 1 | 0 | 6646 | - | 40M| 0 |1760 |6014 | 14k|6014 | 14k| 25 | 0 | 0 | 9.103101e+02 | 1.108000e+03 | 21.72%
2.99/3.09 c 3.1s| 1 | 0 | 7126 | - | 40M| 0 |1930 |6014 | 14k|6014 | 14k| 32 | 0 | 0 | 9.119975e+02 | 1.108000e+03 | 21.49%
3.59/3.62 c 3.6s| 1 | 0 | 7627 | - | 40M| 0 |1890 |6014 | 14k|6014 | 14k| 46 | 0 | 0 | 9.142809e+02 | 1.108000e+03 | 21.19%
4.09/4.15 c 4.1s| 1 | 0 | 8125 | - | 40M| 0 |1828 |6014 | 14k|6014 | 14k| 60 | 0 | 0 | 9.147051e+02 | 1.108000e+03 | 21.13%
4.59/4.68 c 4.7s| 1 | 0 | 8588 | - | 41M| 0 |1944 |6014 | 14k|6014 | 14k| 69 | 0 | 0 | 9.151272e+02 | 1.108000e+03 | 21.08%
5.29/5.30 c 5.3s| 1 | 0 | 8876 | - | 41M| 0 |1926 |6014 | 14k|6014 | 14k| 80 | 0 | 0 | 9.163956e+02 | 1.108000e+03 | 20.91%
5.89/5.92 c 5.9s| 1 | 0 | 9164 | - | 41M| 0 |1924 |6014 | 14k|6014 | 14k| 91 | 0 | 0 | 9.167277e+02 | 1.108000e+03 | 20.86%
6.39/6.50 c 6.5s| 1 | 0 | 9287 | - | 41M| 0 |1912 |6014 | 14k|6014 | 14k| 97 | 0 | 0 | 9.169025e+02 | 1.108000e+03 | 20.84%
7.19/7.24 c 7.2s| 1 | 0 | 9847 | - | 41M| 0 |1835 |6014 | 14k|6014 | 14k| 106 | 0 | 0 | 9.190058e+02 | 1.108000e+03 | 20.57%
7.79/7.81 c 7.8s| 1 | 0 | 10229 | - | 41M| 0 |1887 |6014 | 14k|6014 | 14k| 114 | 0 | 0 | 9.195634e+02 | 1.108000e+03 | 20.49%
8.39/8.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.43 c 8.4s| 1 | 0 | 10779 | - | 42M| 0 |1818 |6014 | 14k|6014 | 14k| 130 | 0 | 0 | 9.223348e+02 | 1.108000e+03 | 20.13%
8.89/8.99 c 9.0s| 1 | 0 | 11471 | - | 42M| 0 |1790 |6014 | 14k|6014 | 14k| 140 | 0 | 0 | 9.239835e+02 | 1.108000e+03 | 19.92%
9.49/9.53 c 9.5s| 1 | 0 | 11834 | - | 42M| 0 |1806 |6014 | 14k|6014 | 14k| 149 | 0 | 0 | 9.245285e+02 | 1.108000e+03 | 19.84%
9.99/10.07 c 10.1s| 1 | 0 | 12069 | - | 42M| 0 |1835 |6014 | 14k|6014 | 14k| 159 | 0 | 0 | 9.248902e+02 | 1.108000e+03 | 19.80%
10.69/10.72 c 10.7s| 1 | 0 | 12345 | - | 42M| 0 |1756 |6014 | 14k|6014 | 14k| 170 | 0 | 0 | 9.271373e+02 | 1.108000e+03 | 19.51%
11.39/11.41 c 11.4s| 1 | 0 | 12654 | - | 43M| 0 |1761 |6014 | 14k|6014 | 14k| 183 | 0 | 0 | 9.281893e+02 | 1.108000e+03 | 19.37%
11.89/11.98 c 12.0s| 1 | 0 | 13056 | - | 43M| 0 |1760 |6014 | 14k|6014 | 14k| 190 | 0 | 0 | 9.291132e+02 | 1.108000e+03 | 19.25%
12.50/12.59 c 12.6s| 1 | 0 | 13324 | - | 43M| 0 |1752 |6014 | 14k|6014 | 14k| 199 | 0 | 0 | 9.304554e+02 | 1.108000e+03 | 19.08%
13.10/13.14 c 13.1s| 1 | 0 | 13589 | - | 43M| 0 |1790 |6014 | 14k|6014 | 14k| 204 | 0 | 0 | 9.306888e+02 | 1.108000e+03 | 19.05%
13.49/13.57 c 13.6s| 1 | 0 | 13706 | - | 43M| 0 |1775 |6014 | 14k|6014 | 14k| 214 | 0 | 0 | 9.309206e+02 | 1.108000e+03 | 19.02%
14.09/14.19 c 14.2s| 1 | 0 | 14440 | - | 43M| 0 | 745 |6014 | 14k|6014 | 14k| 224 | 0 | 0 | 9.316860e+02 | 1.108000e+03 | 18.92%
14.49/14.55 c 14.6s| 1 | 0 | 14628 | - | 43M| 0 | 782 |6014 | 14k|6014 | 14k| 237 | 0 | 0 | 9.319008e+02 | 1.108000e+03 | 18.90%
14.89/14.97 c 15.0s| 1 | 0 | 14929 | - | 43M| 0 | 757 |6014 | 14k|6014 | 14k| 249 | 0 | 0 | 9.324376e+02 | 1.108000e+03 | 18.83%
15.29/15.36 c 15.4s| 1 | 0 | 15263 | - | 44M| 0 | 808 |6014 | 14k|6014 | 14k| 262 | 0 | 0 | 9.333326e+02 | 1.108000e+03 | 18.71%
15.99/16.05 c 16.1s| 1 | 0 | 15610 | - | 44M| 0 | 787 |6014 | 14k|6014 | 14k| 271 | 0 | 0 | 9.340637e+02 | 1.108000e+03 | 18.62%
16.51/16.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.51/16.52 c 16.5s| 1 | 0 | 15994 | - | 44M| 0 | 768 |6014 | 14k|6014 | 14k| 285 | 0 | 0 | 9.343364e+02 | 1.108000e+03 | 18.59%
17.09/17.19 c 17.2s| 1 | 0 | 16286 | - | 44M| 0 | 766 |6014 | 14k|6014 | 14k| 299 | 0 | 0 | 9.346904e+02 | 1.108000e+03 | 18.54%
17.69/17.74 c 17.7s| 1 | 0 | 16498 | - | 44M| 0 | 764 |6014 | 14k|6014 | 14k| 306 | 0 | 0 | 9.349450e+02 | 1.108000e+03 | 18.51%
18.60/18.68 c 18.7s| 1 | 0 | 16812 | - | 44M| 0 | 754 |6014 | 14k|6014 | 14k| 312 | 0 | 0 | 9.354655e+02 | 1.108000e+03 | 18.44%
19.49/19.58 c 19.6s| 1 | 0 | 16959 | - | 44M| 0 | 740 |6014 | 14k|6014 | 14k| 316 | 0 | 0 | 9.355724e+02 | 1.108000e+03 | 18.43%
19.81/19.86 c 19.9s| 1 | 0 | 17061 | - | 44M| 0 | 778 |6014 | 14k|6014 | 14k| 320 | 0 | 0 | 9.356808e+02 | 1.108000e+03 | 18.42%
20.69/20.72 c 20.7s| 1 | 0 | 17275 | - | 44M| 0 | 710 |6014 | 14k|6014 | 14k| 326 | 0 | 0 | 9.359141e+02 | 1.108000e+03 | 18.39%
21.29/21.32 c 21.3s| 1 | 0 | 17606 | - | 45M| 0 | 716 |6014 | 14k|6014 | 14k| 331 | 0 | 0 | 9.363658e+02 | 1.108000e+03 | 18.33%
22.10/22.12 c 22.1s| 1 | 0 | 17674 | - | 45M| 0 | 708 |6014 | 14k|6014 | 14k| 335 | 0 | 0 | 9.363660e+02 | 1.108000e+03 | 18.33%
22.89/22.90 c 22.9s| 1 | 0 | 17745 | - | 45M| 0 | 698 |6014 | 14k|6014 | 14k| 338 | 0 | 0 | 9.364204e+02 | 1.108000e+03 | 18.32%
23.59/23.69 c 23.7s| 1 | 0 | 17786 | - | 45M| 0 | 697 |6014 | 14k|6014 | 14k| 340 | 0 | 0 | 9.366204e+02 | 1.108000e+03 | 18.30%
24.10/24.17 c 24.2s| 1 | 0 | 17823 | - | 45M| 0 | 691 |6014 | 14k|6014 | 14k| 342 | 0 | 0 | 9.366538e+02 | 1.108000e+03 | 18.29%
24.59/24.66 c 24.7s| 1 | 0 | 17861 | - | 45M| 0 | 702 |6014 | 14k|6014 | 14k| 344 | 0 | 0 | 9.367538e+02 | 1.108000e+03 | 18.28%
25.31/25.38 c 25.4s| 1 | 0 | 17918 | - | 45M| 0 | 702 |6014 | 14k|6014 | 14k| 352 | 0 | 0 | 9.367538e+02 | 1.108000e+03 | 18.28%
26.09/26.16 c 26.2s| 1 | 0 | 17937 | - | 45M| 0 | 700 |6014 | 14k|6014 | 14k| 356 | 0 | 0 | 9.367538e+02 | 1.108000e+03 | 18.28%
26.89/26.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.89/26.91 c 26.9s| 1 | 0 | 17944 | - | 45M| 0 | 701 |6014 | 14k|6014 | 14k| 357 | 0 | 0 | 9.367538e+02 | 1.108000e+03 | 18.28%
27.59/27.68 c 27.7s| 1 | 0 | 17958 | - | 45M| 0 | 704 |6014 | 14k|6014 | 14k| 358 | 0 | 0 | 9.367538e+02 | 1.108000e+03 | 18.28%
28.39/28.44 c 28.4s| 1 | 0 | 17975 | - | 45M| 0 | 625 |6014 | 14k|6014 | 14k| 360 | 0 | 0 | 9.367538e+02 | 1.108000e+03 | 18.28%
29.50/29.51 o 951
29.50/29.51 c E29.5s| 1 | 0 | 17975 | - | 45M| 0 | 625 |6014 | 14k|6014 | 14k| 360 | 0 | 0 | 9.367538e+02 | 9.510000e+02 | 1.52%
29.50/29.53 c 29.5s| 1 | 0 | 17975 | - | 45M| 0 | 625 |6014 | 14k|6014 | 14k| 360 | 0 | 0 | 9.367538e+02 | 9.510000e+02 | 1.52%
30.09/30.19 c 30.2s| 1 | 0 | 17982 | - | 45M| 0 | 625 |6014 | 14k|6014 | 14k| 361 | 0 | 0 | 9.367538e+02 | 9.510000e+02 | 1.52%
30.59/30.70 c 30.7s| 1 | 2 | 17982 | - | 45M| 0 | 625 |6014 | 14k|6014 | 14k| 361 | 0 | 18 | 9.367538e+02 | 9.510000e+02 | 1.52%
59.99/60.05 o 946
59.99/60.05 c f60.0s| 14 | 15 | 38661 |1590.7 | 49M| 5 | - |6014 | 14k|6014 | 14k| 361 | 2 | 281 | 9.367538e+02 | 9.460000e+02 | 0.99%
115.00/115.07 o 944
115.00/115.07 c C 115s| 214 | 28 | 46776 | 135.2 | 46M| 39 | - |6014 | 14k|6014 | 14k| 361 | 3 |2478 | 9.367538e+02 | 9.440000e+02 | 0.77%
196.40/196.45 o 942
196.40/196.45 c v 196s| 1626 | 339 |118847 | 62.1 | 49M| 45 | - |6014 | 14k|6014 | 14k| 361 | 6 |3896 | 9.375121e+02 | 9.420000e+02 | 0.48%
492.31/492.30 c 492s| 10000 | 2649 |357384 | 33.9 | 74M| 50 | - |6014 | 14k|6014 | 14k| 361 | 15 |5809 | 9.385411e+02 | 9.420000e+02 | 0.37%
744.21/744.25 c 744s| 20000 | 3831 |560662 | 27.1 | 94M| 58 | - |6014 | 14k|6014 | 14k| 361 | 15 |8884 | 9.391382e+02 | 9.420000e+02 | 0.30%
1011.94/1011.98 c 1012s| 30000 | 4613 |822693 | 26.8 | 113M| 58 | 204 |6014 | 14k|6014 | 14k| 361 | 16 | 12k| 9.394383e+02 | 9.420000e+02 | 0.27%
1252.34/1252.34 c 1252s| 40000 | 5411 | 1071k| 26.3 | 134M| 58 | 304 |6014 | 14k|6014 | 14k| 361 | 19 | 15k| 9.396117e+02 | 9.420000e+02 | 0.25%
1473.94/1474.01 c 1474s| 50000 | 5351 | 1323k| 26.1 | 149M| 58 | 162 |6014 | 14k|6014 | 14k| 361 | 20 | 17k| 9.398212e+02 | 9.420000e+02 | 0.23%
1688.64/1688.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.64/1688.64 c 1689s| 60000 | 4801 | 1576k| 26.0 | 156M| 58 | - |6014 | 14k|6014 | 14k| 361 | 20 | 20k| 9.400426e+02 | 9.420000e+02 | 0.21%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 66514
1800.05/1800.00 c Primal Bound : +9.42000000000000e+02 (63 solutions)
1800.05/1800.00 c Dual Bound : +9.40176860798254e+02
1800.05/1800.00 c Gap : 0.19 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451060-1307092606/watcher-3451060-1307092606 -o /tmp/evaluation-result-3451060-1307092606/solver-3451060-1307092606 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451060-1307092606.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 3/498 20537
/proc/meminfo: memFree=26603016/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=12176 CPUtime=0 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 2145 0 0 0 0 0 0 0 25 0 1 0 899491314 12468224 2097 33554432000 4194304 9163163 140737052961312 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20537/statm: 3044 2097 380 1214 0 1826 0
[startup+0.071095 s]
/proc/loadavg: 2.02 2.03 2.00 3/498 20537
/proc/meminfo: memFree=26603016/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=21480 CPUtime=0.06 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 4392 0 0 0 6 0 0 0 25 0 1 0 899491314 21995520 4344 33554432000 4194304 9163163 140737052961312 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20537/statm: 5370 4344 395 1214 0 4152 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21480
[startup+0.1011 s]
/proc/loadavg: 2.02 2.03 2.00 3/498 20537
/proc/meminfo: memFree=26603016/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=22988 CPUtime=0.09 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 4764 0 0 0 9 0 0 0 25 0 1 0 899491314 23539712 4716 33554432000 4194304 9163163 140737052961312 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20537/statm: 5747 4716 395 1214 0 4529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22988
[startup+0.301056 s]
/proc/loadavg: 2.02 2.03 2.00 3/498 20537
/proc/meminfo: memFree=26603016/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=54304 CPUtime=0.29 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 12888 0 0 0 28 1 0 0 25 0 1 0 899491314 55607296 12229 33554432000 4194304 9163163 140737052961312 18446744073709551615 5209332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 13576 12229 518 1214 0 12358 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54304
[startup+0.700996 s]
/proc/loadavg: 2.02 2.03 2.00 3/498 20537
/proc/meminfo: memFree=26603016/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=96924 CPUtime=0.69 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 23217 0 0 0 67 2 0 0 25 0 1 0 899491314 99250176 22077 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 24231 22077 677 1214 0 23013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96924
[startup+1.50084 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 20538
/proc/meminfo: memFree=26512256/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=99272 CPUtime=1.49 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 25671 0 0 0 146 3 0 0 25 0 1 0 899491314 101654528 23477 33554432000 4194304 9163163 140737052961312 18446744073709551615 6649012 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 24818 23477 660 1214 0 23600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99272
[startup+3.10054 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 20538
/proc/meminfo: memFree=26508152/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=106020 CPUtime=3.09 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 27511 0 0 0 305 4 0 0 25 0 1 0 899491314 108564480 25280 33554432000 4194304 9163163 140737052961312 18446744073709551615 4684206 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 26505 25280 689 1214 0 25287 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106020
[startup+6.30096 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 20538
/proc/meminfo: memFree=26494264/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=114176 CPUtime=6.29 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 29658 0 0 0 623 6 0 0 25 0 1 0 899491314 116916224 27425 33554432000 4194304 9163163 140737052961312 18446744073709551615 6254756 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 28544 27425 689 1214 0 27326 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114176
[startup+12.7008 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 20538
/proc/meminfo: memFree=26486600/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=121004 CPUtime=12.7 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 31417 0 0 0 1259 11 0 0 25 0 1 0 899491314 123908096 29184 33554432000 4194304 9163163 140737052961312 18446744073709551615 4693055 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 30251 29184 689 1214 0 29033 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 121004
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.00 3/499 20538
/proc/meminfo: memFree=26479548/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=130884 CPUtime=25.5 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 33390 0 0 0 2526 24 0 0 25 0 1 0 899491314 134025216 31140 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 32721 31140 689 1214 0 31503 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 130884
[startup+51.1006 s]
/proc/loadavg: 2.05 2.04 2.00 3/499 20539
/proc/meminfo: memFree=26478040/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=131632 CPUtime=51.1 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 44372 0 0 0 5065 45 0 0 25 0 1 0 899491314 134791168 31375 33554432000 4194304 9163163 140737052961312 18446744073709551615 7376326 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 32908 31375 721 1214 0 31690 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 131632
[startup+102.319 s]
/proc/loadavg: 2.16 2.06 2.01 3/499 20540
/proc/meminfo: memFree=26476140/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=132832 CPUtime=102.31 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 44565 0 0 0 10155 76 0 0 25 0 1 0 899491314 136019968 31568 33554432000 4194304 9163163 140737052961312 18446744073709551615 7379333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 33208 31568 721 1214 0 31990 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 132832
[startup+162.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/499 20542
/proc/meminfo: memFree=26469732/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=136040 CPUtime=162.29 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 57680 0 0 0 16110 119 0 0 25 0 1 0 899491314 139304960 32497 33554432000 4194304 9163163 140737052961312 18446744073709551615 7300297 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 34010 32497 721 1214 0 32792 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 136040
[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 20543
/proc/meminfo: memFree=26459396/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=142952 CPUtime=222.29 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 59408 0 0 0 22078 151 0 0 25 0 1 0 899491314 146382848 34225 33554432000 4194304 9163163 140737052961312 18446744073709551615 6687841 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 35738 34225 721 1214 0 34520 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 142952
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 20545
/proc/meminfo: memFree=26445196/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=146300 CPUtime=282.3 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 70355 0 0 0 28048 182 0 0 25 0 1 0 899491314 149811200 35062 33554432000 4194304 9163163 140737052961312 18446744073709551615 7249671 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 36575 35062 721 1214 0 35357 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 146300
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 20547
/proc/meminfo: memFree=26433868/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=150692 CPUtime=342.3 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 92504 0 0 0 34014 216 0 0 25 0 1 0 899491314 154308608 36163 33554432000 4194304 9163163 140737052961312 18446744073709551615 7058236 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 37673 36163 721 1214 0 36455 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 150692
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20548
/proc/meminfo: memFree=26420800/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=157296 CPUtime=402.3 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 94158 0 0 0 39987 243 0 0 25 0 1 0 899491314 161071104 37816 33554432000 4194304 9163163 140737052961312 18446744073709551615 7379423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 39324 37816 721 1214 0 38106 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 157296
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20550
/proc/meminfo: memFree=26405980/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=162768 CPUtime=462.3 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 105728 0 0 0 45949 281 0 0 25 0 1 0 899491314 166674432 39202 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 40692 39202 721 1214 0 39474 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 162768
[startup+522.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/499 20551
/proc/meminfo: memFree=26400096/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=166596 CPUtime=522.31 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 106673 0 0 0 51916 315 0 0 25 0 1 0 899491314 170594304 40147 33554432000 4194304 9163163 140737052961312 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 41649 40147 721 1214 0 40431 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 166596
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/499 20553
/proc/meminfo: memFree=26390360/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=170112 CPUtime=582.31 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 118134 0 0 0 57886 345 0 0 25 0 1 0 899491314 174194688 41027 33554432000 4194304 9163163 140737052961312 18446744073709551615 6687186 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 42528 41027 721 1214 0 41310 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 170112
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 20559
/proc/meminfo: memFree=26344212/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=195604 CPUtime=822.32 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 135204 0 0 0 81755 477 0 0 25 0 1 0 899491314 200298496 47401 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 48901 47401 721 1214 0 47683 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 195604
[startup+882.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 20561
/proc/meminfo: memFree=26333752/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=202908 CPUtime=882.32 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 137030 0 0 0 87722 510 0 0 25 0 1 0 899491314 207777792 49227 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 50727 49227 721 1214 0 49509 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 202908
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20563
/proc/meminfo: memFree=26323512/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=206988 CPUtime=942.32 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 138043 0 0 0 93682 550 0 0 25 0 1 0 899491314 211955712 50240 33554432000 4194304 9163163 140737052961312 18446744073709551615 7375368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 51747 50240 721 1214 0 50529 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 206988
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20564
/proc/meminfo: memFree=26314136/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=210924 CPUtime=1002.32 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 139009 0 0 0 99639 593 0 0 25 0 1 0 899491314 215986176 51206 33554432000 4194304 9163163 140737052961312 18446744073709551615 7196229 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 52731 51206 721 1214 0 51513 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 210924
[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 20566
/proc/meminfo: memFree=26300684/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=218408 CPUtime=1062.33 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 150254 0 0 0 105604 629 0 0 25 0 1 0 899491314 223649792 53104 33554432000 4194304 9163163 140737052961312 18446744073709551615 7300255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 54602 53104 721 1214 0 53384 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 218408
[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 20567
/proc/meminfo: memFree=26290840/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=223756 CPUtime=1122.33 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 151463 0 0 0 111560 673 0 0 25 0 1 0 899491314 229126144 54313 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 55939 54313 721 1214 0 54721 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 223756
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 20569
/proc/meminfo: memFree=26278748/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=229548 CPUtime=1182.33 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 152808 0 0 0 117520 713 0 0 25 0 1 0 899491314 235057152 55658 33554432000 4194304 9163163 140737052961312 18446744073709551615 5957223 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 57387 55658 721 1214 0 56169 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 229548
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 20571
/proc/meminfo: memFree=26268172/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=237136 CPUtime=1242.33 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 154727 0 0 0 123486 747 0 0 25 0 1 0 899491314 242827264 57577 33554432000 4194304 9163163 140737052961312 18446744073709551615 7300284 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 59284 57577 721 1214 0 58066 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 237136
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 20572
/proc/meminfo: memFree=26259332/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=239436 CPUtime=1302.34 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 155522 0 0 0 129446 788 0 0 25 0 1 0 899491314 245182464 58366 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 59859 58366 721 1214 0 58641 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 239436
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 20577
/proc/meminfo: memFree=26244288/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=246480 CPUtime=1362.33 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 157283 0 0 0 135408 825 0 0 25 0 1 0 899491314 252395520 60127 33554432000 4194304 9163163 140737052961312 18446744073709551615 7084439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 61620 60127 721 1214 0 60402 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 246480
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20578
/proc/meminfo: memFree=26232668/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=254808 CPUtime=1422.35 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 159366 0 0 0 141370 865 0 0 25 0 1 0 899491314 260923392 62210 33554432000 4194304 9163163 140737052961312 18446744073709551615 7209870 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 63702 62210 721 1214 0 62484 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 254808
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20580
/proc/meminfo: memFree=26228008/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=257096 CPUtime=1482.34 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 159942 0 0 0 147327 907 0 0 25 0 1 0 899491314 263266304 62786 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 64274 62786 721 1214 0 63056 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 257096
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 20582
/proc/meminfo: memFree=26220264/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=262444 CPUtime=1542.34 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 161282 0 0 0 153285 949 0 0 25 0 1 0 899491314 268742656 64126 33554432000 4194304 9163163 140737052961312 18446744073709551615 7300284 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 65611 64126 721 1214 0 64393 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 262444
[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/499 20583
/proc/meminfo: memFree=26206820/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=269884 CPUtime=1602.35 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 163150 0 0 0 159242 993 0 0 25 0 1 0 899491314 276361216 65989 33554432000 4194304 9163163 140737052961312 18446744073709551615 7391047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 67471 65989 721 1214 0 66253 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 269884
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 20585
/proc/meminfo: memFree=26194376/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=275864 CPUtime=1662.34 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 174684 0 0 0 165196 1038 0 0 25 0 1 0 899491314 282484736 67317 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 68966 67317 721 1214 0 67748 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 275864
[startup+1722.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/499 20586
/proc/meminfo: memFree=26187768/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=275864 CPUtime=1722.34 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 174686 0 0 0 171156 1078 0 0 25 0 1 0 899491314 282484736 67319 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 68966 67319 721 1214 0 67748 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 275864
[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/499 20616
/proc/meminfo: memFree=26375424/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=276636 CPUtime=1782.35 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 174816 0 0 0 177111 1124 0 0 25 0 1 0 899491314 283275264 67449 33554432000 4194304 9163163 140737052961312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 69159 67449 721 1214 0 67941 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 276636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 20617
/proc/meminfo: memFree=26374588/32950928 swapFree=34421304/67111528
[pid=20537] ppid=20535 vsize=276868 CPUtime=1800.06 cores=1,3,5,7
/proc/20537/stat : 20537 (scip-2.0.1.4b.l) R 20535 20537 20254 0 -1 4202496 175083 0 0 0 178869 1137 0 0 25 0 1 0 899491314 283512832 67716 33554432000 4194304 9163163 140737052961312 18446744073709551615 5012144 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20537/statm: 69217 67716 722 1214 0 67999 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 276868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1788.7
CPU system time (s): 11.3873
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 309724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.7
system time used= 11.3873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175083
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= 4
involuntary context switches= 4521
runsolver used 8.32073 second user time and 21.1508 second system time
The end