Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 82 | 2519.48 | 2520.01 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml |
| MD5SUM | 24e7c51735ec9671261d78753301e43f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 104 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 529 |
| Number of constraints | 344 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 513 |
| Distribution of domain sizes | [{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 17 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}] |
| Number of extensional constraints | 252 |
| Number of intensional constraints | 71 |
| Distribution of constraint types | [{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.17/0.27 c SAT : Variables: 9685 -- Clauses: 2122107 0.17/0.27 c best=?? lower=0 upper=196 0.27/0.40 c 0.27/0.40 c This is cosoco 1.12 -- 0.27/0.40 c 0.27/0.40 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265927-1502566042.xml 0.27/0.40 c enable optimization 0.27/0.40 c ========================================[ Problem Statistics ]=========================================== 0.27/0.40 c | 0.27/0.40 c | Parse time : 0.22 s 0.27/0.40 c | 0.27/0.40 c | Variables: 529 0.27/0.40 c | Domain Sizes: 2..513 0.27/0.40 c | 0.27/0.40 c | Constraints: 405 0.27/0.40 c | Arity: 1..18 -- Unary: 65 -- Binary: 72 -- Ternary: 56 0.27/0.40 c | 0.27/0.40 c | Types: 0.27/0.40 c | Extension: 252 (nb tuples: 1..724) -- (shared: 247) 0.27/0.40 c | Intension: 72 0.27/0.40 c | Sum: 17 0.27/0.40 c | Unary: 64 0.27/0.40 c | 0.27/0.40 c ========================================================================================================= 0.27/0.40 o 8 0.27/0.40 c 1 calls to solver: best=8 lower=9 upper=196 0.37/0.43 o 11 0.47/0.56 o 13 0.47/0.56 c 3 calls to solver: best=13 lower=14 upper=196 0.56/0.66 o 16 0.85/0.92 o 17 0.85/0.92 c 5 calls to solver: best=17 lower=18 upper=196 2.06/2.14 o 18 2.35/2.43 o 22 2.35/2.43 c 7 calls to solver: best=22 lower=23 upper=196 2.65/2.76 conflict 146lvl : 179 bt179-227:0(3777)X8594051 4.55/4.62 conflict 170lvl : 177 bt177-75:0(3359)X8705271 4.55/4.64 conflict 132lvl : 167 bt167-137:0(3242)X8707234 5.45/5.59 conflict 122lvl : 156 bt156-265:0(2988)X8774464 5.65/5.77 conflict 120lvl : 138 bt137-297:0(2222)X8788974 5.75/5.82 conflict 119lvl : 187 bt142-261:0(3773)X8793409 8.95/9.02 o 23 8.95/9.06 o 24 8.95/9.06 c 9 calls to solver: best=24 lower=25 upper=196 9.05/9.19 o 25 9.14/9.26 o 26 9.14/9.26 c 11 calls to solver: best=26 lower=27 upper=196 9.24/9.30 o 28 9.24/9.35 o 30 9.24/9.35 c 13 calls to solver: best=30 lower=31 upper=196 9.34/9.40 o 32 9.34/9.45 o 34 9.34/9.45 c 15 calls to solver: best=34 lower=35 upper=196 9.44/9.54 o 35 10.05/10.18 o 36 10.05/10.18 c 17 calls to solver: best=36 lower=37 upper=196 11.34/11.44 o 37 11.84/11.95 o 38 11.84/11.95 c 19 calls to solver: best=38 lower=39 upper=196 11.94/12.06 o 40 13.04/13.17 o 42 13.04/13.17 c 21 calls to solver: best=42 lower=43 upper=196 15.74/15.85 o 43 20.34/20.44 o 44 20.34/20.44 c 23 calls to solver: best=44 lower=45 upper=196 64.83/64.90 o 45 65.33/65.45 conflict 91lvl : 107 bt107-235:0(1520)X9074605 77.52/77.69 o 46 77.52/77.69 c 25 calls to solver: best=46 lower=47 upper=196 77.62/77.71 conflict 81lvl : 128 bt124-119:0(2840)X9077847 81.12/81.23 conflict 82lvl : 105 bt100-291:0(1823)X9080730 84.22/84.34 o 47 99.32/99.47 o 48 99.32/99.47 c 27 calls to solver: best=48 lower=49 upper=196 101.72/101.83 o 49 104.32/104.46 o 50 104.32/104.46 c 29 calls to solver: best=50 lower=51 upper=196 105.52/105.67 o 51 108.82/108.97 o 52 108.82/108.97 c 31 calls to solver: best=52 lower=53 upper=196 134.11/134.27 o 54 149.30/149.44 o 55 149.30/149.44 c 33 calls to solver: best=55 lower=56 upper=196 163.01/163.12 o 56 166.91/167.03 o 57 166.91/167.03 c 35 calls to solver: best=57 lower=58 upper=196 197.00/197.13 o 58 200.59/200.74 o 59 200.59/200.74 c 37 calls to solver: best=59 lower=60 upper=196 224.79/224.98 o 60 237.58/237.74 conflict 70lvl : 78 bt74-237:0(1057)X9096395 248.89/249.09 -> -237:X(1057)o 61 248.89/249.09 c 39 calls to solver: best=61 lower=62 upper=196 342.06/342.25 o 62 443.53/443.71 o 63 443.53/443.71 c 41 calls to solver: best=63 lower=64 upper=196 485.72/485.93 o 64 496.12/496.35 o 65 496.12/496.35 c 43 calls to solver: best=65 lower=66 upper=196 513.31/513.54 o 66 586.80/587.06 o 67 586.80/587.06 c 45 calls to solver: best=67 lower=68 upper=196 627.79/628.03 o 68 648.79/649.02 o 69 648.79/649.02 c 47 calls to solver: best=69 lower=70 upper=196 1084.68/1085.02 o 70 1084.68/1085.03 conflict 63lvl : 93 bt86-221:0(2045)X9118136 1103.78/1104.17 conflict 64lvl : 72 bt71-293:0(986)X9119242 1146.56/1146.92 o 71 1146.56/1146.92 c 49 calls to solver: best=71 lower=72 upper=196 1219.24/1219.60 o 72 1230.04/1230.47 o 73 1230.04/1230.47 c 51 calls to solver: best=73 lower=74 upper=196 1236.64/1237.01 o 74 1255.53/1255.99 o 75 1255.53/1255.99 c 53 calls to solver: best=75 lower=76 upper=196 1359.41/1359.84 o 76 1468.78/1469.22 o 77 1468.78/1469.22 c 55 calls to solver: best=77 lower=78 upper=196 1617.74/1618.29 o 78 1723.71/1724.21 o 79 1723.71/1724.21 c 57 calls to solver: best=79 lower=80 upper=196 1807.19/1807.72 o 80 2170.27/2170.87 o 81 2170.27/2170.87 c 59 calls to solver: best=81 lower=82 upper=196 2302.47/2303.08 o 82 2519.47/2520.00 2519.47/2520.00 c *** INTERRUPTED *** 2519.47/2520.00 c restarts : 592 2519.47/2520.00 c conflicts : 6906341 (2741 /sec) 2519.47/2520.00 c decisions : 49267502 (19555 /sec) 2519.47/2520.00 c propagations : 1231396759 (488759 /sec) 2519.47/2520.00 c root propagations : 4539 2519.47/2520.00 c filter calls : 1227739926 (487307 /sec) 2519.47/2520.00 c useless filter calls : 926250007 (75 %) 2519.47/2520.00 c 2519.47/2520.00 c clauses : 2126029 2519.47/2520.00 c SAT propagations : 1665 2519.47/2520.00 c SAT conflicts : 0 (12 learnts) 2519.47/2520.00 c Memory used : 133.92 MB 2519.47/2520.00 c CPU time : 2519.44 s 2519.47/2520.00 2519.47/2520.00 c nb Solutions = 60 2519.47/2520.00 s SATISFIABLE 2519.47/2520.00 c Best value found: 82 2519.47/2520.00 2519.47/2520.00 2519.47/2520.00 v <instantiation type='solution' cost='82'> 2519.47/2520.00 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2519.47/2520.00 v <values>0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 2 2 1 2 2 1 0 0 0 0 0 0 1 0 0 1 2 2 1 2 2 1 0 0 0 0 0 0 1 0 0 2 2 2 1 2 2 2 0 0 2 0 0 2 1 0 1 1 2 2 1 2 2 1 0 0 0 0 0 0 1 0 0 2 2 2 1 1 2 1 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 1 0 0 1 0 0 1 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 1 0 0 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 8 106 108 113 114 116 120 20 32 50 63 75 85 91 99 104 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 82 </values> 2519.47/2520.00 v </instantiation> 2519.47/2520.00
OK 82
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15173 MiB free)
memory of node 1: 16384 MiB (15428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265927-1502566042/watcher-4265927-1502566042 -o /tmp/evaluation-result-4265927-1502566042/solver-4265927-1502566042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265927-1502566042.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12990, runsolver pid=12987
[startup+0.100151 s]*
/proc/loadavg: 0.78 0.20 0.11 2/180 12991
/proc/meminfo: memFree=31335644/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=28584 memory=5068 CPUtime=0.06 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 1454 0 0 0 6 0 0 0 20 0 1 0 58799673 29270016 1267 18446744073709551615 4194304 5972588 140735597512432 140735597509080 139946154499045 0 0 1 0 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 7146 1267 797 435 0 509 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28584 KiB
Current children cumulated memory: 5068 KiB
[startup+0.209117 s]*
/proc/loadavg: 0.78 0.20 0.11 2/180 12997
/proc/meminfo: memFree=31291212/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=79064 memory=54736 CPUtime=0.17 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 11302 0 0 0 16 1 0 0 20 0 1 0 58799673 80961536 13684 18446744073709551615 4194304 5972588 140735597512432 140735597509080 139946154499045 0 0 1 0 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 19766 13684 843 435 0 13129 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 79064 KiB
Current children cumulated memory: 54736 KiB
[startup+0.309373 s]*
/proc/loadavg: 0.78 0.20 0.11 2/180 13000
/proc/meminfo: memFree=31249548/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=135552 memory=91964 CPUtime=0.27 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 17539 0 0 0 25 2 0 0 20 0 1 0 58799673 138805248 22991 18446744073709551615 4194304 5972588 140735597512432 140735597509080 4934223 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 33888 22991 860 435 0 27251 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 135552 KiB
Current children cumulated memory: 91964 KiB
[startup+0.700325 s]
/proc/loadavg: 0.78 0.20 0.11 2/178 13005
/proc/meminfo: memFree=31250656/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=136740 memory=95052 CPUtime=0.65 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 17852 0 0 0 63 2 0 0 20 0 1 0 58799673 140021760 23763 18446744073709551615 4194304 5972588 140735597512432 140735597509144 4936000 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34185 23763 861 435 0 27548 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 136740 KiB
Current children cumulated memory: 95052 KiB
[startup+1.50028 s]
/proc/loadavg: 0.96 0.25 0.12 3/184 13020
/proc/meminfo: memFree=31235140/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=136740 memory=95052 CPUtime=1.45 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 17861 0 0 0 143 2 0 0 20 0 1 0 58799673 140021760 23763 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5273980 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34185 23763 861 435 0 27548 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 136740 KiB
Current children cumulated memory: 95052 KiB
[startup+3.10904 s]
/proc/loadavg: 0.96 0.25 0.12 4/184 13020
/proc/meminfo: memFree=31232856/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=136872 memory=95392 CPUtime=3.06 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 21955 0 0 0 304 2 0 0 20 0 1 0 58799673 140156928 23848 18446744073709551615 4194304 5972588 140735597512432 140735597509656 4965382 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34218 23848 866 435 0 27581 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 95392 KiB
[startup+6.30027 s]
/proc/loadavg: 1.04 0.28 0.13 3/184 13020
/proc/meminfo: memFree=31235272/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=136872 memory=95412 CPUtime=6.25 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 24342 0 0 0 623 2 0 0 20 0 1 0 58799673 140156928 23853 18446744073709551615 4194304 5972588 140735597512432 140735597509656 4935478 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34218 23853 866 435 0 27581 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 136872 KiB
Current children cumulated memory: 95412 KiB
[startup+12.7003 s]
/proc/loadavg: 1.12 0.31 0.14 3/184 13084
/proc/meminfo: memFree=31132380/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=95552 CPUtime=12.64 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 29449 0 0 0 1262 2 0 0 20 0 1 0 58799673 140292096 23888 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5070711 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 23888 866 435 0 27614 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 95552 KiB
[startup+25.5003 s]
/proc/loadavg: 1.25 0.36 0.16 3/184 13084
/proc/meminfo: memFree=31128168/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97656 CPUtime=25.44 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 33672 0 0 0 2541 3 0 0 20 0 1 0 58799673 140292096 24414 18446744073709551615 4194304 5972588 140735597512432 140735597499624 4935568 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24414 866 435 0 27614 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97656 KiB
[startup+51.1091 s]
/proc/loadavg: 1.55 0.52 0.22 3/184 13085
/proc/meminfo: memFree=31128368/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97668 CPUtime=51.04 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 36281 0 0 0 5101 3 0 0 20 0 1 0 58799673 140292096 24417 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5070711 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24417 866 435 0 27614 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97668 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 0.75 0.31 3/181 13087
/proc/meminfo: memFree=31130288/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97856 CPUtime=102.22 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 37060 0 0 0 10219 3 0 0 20 0 1 0 58799673 140292096 24464 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5070711 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24464 866 435 0 27614 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97856 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 0.98 0.42 3/181 13089
/proc/meminfo: memFree=31130636/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97856 CPUtime=162.2 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 37775 0 0 0 16217 3 0 0 20 0 1 0 58799673 140292096 24464 18446744073709551615 4194304 5972588 140735597512432 140735597499624 4935649 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24464 866 435 0 27614 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97856 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.16 0.52 3/181 13091
/proc/meminfo: memFree=31131488/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97864 CPUtime=222.19 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 38486 0 0 0 22216 3 0 0 20 0 1 0 58799673 140292096 24466 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5053056 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24466 866 435 0 27614 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97864 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.31 0.61 3/181 13093
/proc/meminfo: memFree=31131240/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97864 CPUtime=282.17 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 39198 0 0 0 28214 3 0 0 20 0 1 0 58799673 140292096 24466 18446744073709551615 4194304 5972588 140735597512432 140735597499624 4931747 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24466 866 435 0 27614 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97864 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.44 0.70 3/181 13095
/proc/meminfo: memFree=31131456/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137004 memory=97864 CPUtime=342.16 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 39905 0 0 0 34213 3 0 0 20 0 1 0 58799673 140292096 24466 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5325869 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34251 24466 866 435 0 27614 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 137004 KiB
Current children cumulated memory: 97864 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.54 0.78 3/184 13111
/proc/meminfo: memFree=31125668/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97868 CPUtime=402.14 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 40561 0 0 0 40211 3 0 0 20 0 1 0 58799673 140423168 24467 18446744073709551615 4194304 5972588 140735597512432 140735597509656 5328503 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24467 866 435 0 27646 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97868 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.62 0.86 3/184 13113
/proc/meminfo: memFree=31126224/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97868 CPUtime=462.13 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 41276 0 0 0 46210 3 0 0 20 0 1 0 58799673 140423168 24467 18446744073709551615 4194304 5972588 140735597512432 140735597499624 4935653 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24467 866 435 0 27646 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97868 KiB
################
# More data... #
################
/proc/12990/statm: 34283 24477 866 435 0 27646 0
Current children cumulated CPU time: 1721.81 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97908 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.11 1.79 3/181 13208
/proc/meminfo: memFree=31130232/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97916 CPUtime=1781.8 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 56238 0 0 0 178177 3 0 0 20 0 1 0 58799673 140423168 24479 18446744073709551615 4194304 5972588 140735597512432 140735597499624 4934332 0 0 1 8405026 0 0 0 17 5 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24479 866 435 0 27646 0
Current children cumulated CPU time: 1781.8 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97916 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.09 1.80 3/181 13210
/proc/meminfo: memFree=31130232/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97916 CPUtime=1841.79 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 56950 0 0 0 184176 3 0 0 20 0 1 0 58799673 140423168 24479 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4935490 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24479 866 435 0 27646 0
Current children cumulated CPU time: 1841.79 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97916 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 1.81 3/181 13212
/proc/meminfo: memFree=31130420/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97916 CPUtime=1901.79 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 57589 0 0 0 190176 3 0 0 20 0 1 0 58799673 140423168 24479 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4909594 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24479 866 435 0 27646 0
Current children cumulated CPU time: 1901.79 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97916 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 1.83 3/181 13214
/proc/meminfo: memFree=31130668/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97916 CPUtime=1961.78 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 58257 0 0 0 196175 3 0 0 20 0 1 0 58799673 140423168 24479 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4923650 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24479 866 435 0 27646 0
Current children cumulated CPU time: 1961.78 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97916 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 1.84 3/181 13216
/proc/meminfo: memFree=31130992/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97916 CPUtime=2021.78 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 58906 0 0 0 202175 3 0 0 20 0 1 0 58799673 140423168 24479 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4935322 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24479 866 435 0 27646 0
Current children cumulated CPU time: 2021.78 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97916 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 1.85 3/181 13218
/proc/meminfo: memFree=31130620/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2081.78 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 59568 0 0 0 208175 3 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4935502 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2081.78 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 1.86 3/181 13220
/proc/meminfo: memFree=31130844/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2141.77 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 60241 0 0 0 214174 3 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4934223 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2141.77 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/184 13236
/proc/meminfo: memFree=31126532/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2201.77 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 60952 0 0 0 220174 3 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597499624 5071376 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2201.77 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.87 3/184 13238
/proc/meminfo: memFree=31126508/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2261.77 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 61577 0 0 0 226174 3 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597499624 4935502 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2261.77 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/181 13240
/proc/meminfo: memFree=31128908/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2321.77 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 62282 0 0 0 232174 3 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 5251432 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2321.77 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/181 13242
/proc/meminfo: memFree=31129148/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2381.76 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 62877 0 0 0 238173 3 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4935411 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2381.76 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/181 13244
/proc/meminfo: memFree=31129624/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2441.77 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 63507 0 0 0 244173 4 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4936013 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2441.77 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/181 13247
/proc/meminfo: memFree=31129876/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2501.77 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 64121 0 0 0 250173 4 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 5039697 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2501.77 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.90 3/181 13248
/proc/meminfo: memFree=31129876/32770624 swapFree=67105588/67108860
[pid=12990] ppid=12987 vsize=137132 memory=97924 CPUtime=2519.47 cores=1,3,5,7
/proc/12990/stat : 12990 (cosoco) R 12987 12990 12560 0 -1 4202496 64729 0 0 0 251943 4 0 0 20 0 1 0 58799673 140423168 24481 18446744073709551615 4194304 5972588 140735597512432 140735597509880 4935502 0 0 1 8405026 0 0 0 17 3 0 0 3 0 0 8070896 8075904 36900864 140735597515204 140735597515304 140735597515304 140735597518798 0
/proc/12990/statm: 34283 24481 866 435 0 27646 0
Current children cumulated CPU time: 2519.47 s
Current children cumulated vsize: 137132 KiB
Current children cumulated memory: 97924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 12990 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.44 s, system=0.042991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.48
CPU user time (s): 2519.44
CPU system time (s): 0.042991
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 137132
Max. memory (cumulated for all children) (KiB): 97924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.44
system time used= 0.042991
maximum resident set size= 97992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64782
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= 28
involuntary context switches= 1643
# summary of solver processes directly reported to runsolver:
# pid: 12990
# total CPU time (s): 2519.48
# total CPU user time (s): 2519.44
# total CPU system time (s): 0.042991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.32822 second user time and 15.7653 second system time
The end
Begin job on node126 at 2017-08-12 21:13:21 IDJOB=4265927 IDBENCH=115889 IDSOLVER=2655 FILE ID=node126/4265927-1502566042 RUNJOBID= node126-1502565162-12624 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-14.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265927-1502566042/watcher-4265927-1502566042 -o /tmp/evaluation-result-4265927-1502566042/solver-4265927-1502566042 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265927-1502566042.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f RANDOM SEED=1759977348 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31337060 kB MemAvailable: 31978352 kB Buffers: 306624 kB Cached: 606384 kB SwapCached: 524 kB Active: 565656 kB Inactive: 406156 kB Active(anon): 12456 kB Inactive(anon): 71320 kB Active(file): 553200 kB Inactive(file): 334836 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 2344 kB Writeback: 0 kB AnonPages: 58172 kB Mapped: 44320 kB Shmem: 25248 kB Slab: 164424 kB SReclaimable: 138184 kB SUnreclaim: 26240 kB KernelStack: 3248 kB PageTables: 4888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326884 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2017-08-12 21:55:21