Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 77 | 2520.08 | 2520.01 |
| Name | StillLife/ StillLife-wastage-15_c18.xml |
| MD5SUM | e301970dbbdacc0ad69519f2afe54420 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 119 |
| Best CPU time to get the best result obtained on this benchmark | 66.0119 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 596 |
| Number of constraints | 383 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 579 |
| Distribution of domain sizes | [{"size":2,"count":289},{"size":3,"count":289},{"size":226,"count":1},{"size":579,"count":17}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 18 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":286},{"degree":3,"count":20},{"degree":4,"count":60},{"degree":8,"count":56},{"degree":9,"count":169},{"degree":18,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 19 |
| Distribution of constraint arities | [{"arity":2,"count":77},{"arity":3,"count":60},{"arity":10,"count":225},{"arity":17,"count":4},{"arity":18,"count":1},{"arity":19,"count":16}] |
| Number of extensional constraints | 285 |
| Number of intensional constraints | 76 |
| Distribution of constraint types | [{"type":"extension","count":285},{"type":"intension","count":76},{"type":"sum","count":18},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.05 c best=?? lower=-2147483638 upper=2147483637 0.09/0.20 c 0.09/0.20 c This is cosoco 1.12 -- 0.09/0.20 c 0.09/0.20 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292899-1532297735.xml 0.09/0.20 c enable optimization 0.09/0.20 c ========================================[ Problem Statistics ]=========================================== 0.09/0.20 c | 0.09/0.20 c | Parse time : 0.05 s 0.09/0.20 c | 0.09/0.20 c | Variables: 596 0.09/0.20 c | Domain Sizes: 2..579 0.09/0.20 c | 0.09/0.20 c | Constraints: 448 0.09/0.20 c | Arity: 1..19 -- Unary: 69 -- Binary: 77 -- Ternary: 60 0.09/0.20 c | 0.09/0.20 c | Types: 0.09/0.20 c | (X -Y <= k): 16 0.09/0.20 c | Extension: 285 (nb tuples: 1..724) -- (shared: 280) 0.09/0.20 c | Intension: 61 0.09/0.20 c | Sum: 18 0.09/0.20 c | Unary: 68 0.09/0.20 c | 0.09/0.20 c | Objective: Maximize Intension 0.09/0.20 0.09/0.20 c ========================================================================================================= 0.09/0.20 o 16 0.09/0.20 c 1 calls to solver: best=16 lower=17 upper=2147483637 0.20/0.28 o 17 0.30/0.33 o 22 0.30/0.33 c 3 calls to solver: best=22 lower=23 upper=2147483637 0.30/0.40 o 24 0.88/0.93 o 25 0.88/0.93 c 5 calls to solver: best=25 lower=26 upper=2147483637 0.99/1.10 o 27 1.48/1.57 o 28 1.48/1.57 c 7 calls to solver: best=28 lower=29 upper=2147483637 1.78/1.80 o 29 1.88/1.97 o 30 1.88/1.97 c 9 calls to solver: best=30 lower=31 upper=2147483637 2.18/2.23 o 31 2.48/2.50 o 32 2.48/2.50 c 11 calls to solver: best=32 lower=33 upper=2147483637 2.78/2.88 o 33 4.48/4.55 o 34 4.48/4.55 c 13 calls to solver: best=34 lower=35 upper=2147483637 5.48/5.53 o 35 6.38/6.41 o 36 6.38/6.41 c 15 calls to solver: best=36 lower=37 upper=2147483637 16.28/16.30 o 37 20.99/21.04 o 38 20.99/21.04 c 17 calls to solver: best=38 lower=39 upper=2147483637 22.78/22.86 o 40 25.18/25.24 o 41 25.18/25.24 c 19 calls to solver: best=41 lower=42 upper=2147483637 31.88/31.99 o 42 34.78/34.81 o 43 34.78/34.81 c 21 calls to solver: best=43 lower=44 upper=2147483637 40.38/40.47 o 44 42.78/42.84 o 45 42.78/42.84 c 23 calls to solver: best=45 lower=46 upper=2147483637 85.28/85.37 o 46 91.99/92.08 o 47 91.99/92.08 c 25 calls to solver: best=47 lower=48 upper=2147483637 93.18/93.28 o 48 93.78/93.82 o 49 93.78/93.82 c 27 calls to solver: best=49 lower=50 upper=2147483637 94.58/94.60 o 50 95.78/95.84 o 51 95.78/95.84 c 29 calls to solver: best=51 lower=52 upper=2147483637 120.58/120.68 o 52 140.88/140.97 o 53 140.88/140.97 c 31 calls to solver: best=53 lower=54 upper=2147483637 204.09/204.15 o 54 205.58/205.65 o 55 205.58/205.65 c 33 calls to solver: best=55 lower=56 upper=2147483637 207.09/207.17 o 56 213.38/213.47 o 57 213.38/213.47 c 35 calls to solver: best=57 lower=58 upper=2147483637 214.28/214.35 o 58 220.99/221.06 o 59 220.99/221.06 c 37 calls to solver: best=59 lower=60 upper=2147483637 234.58/234.62 o 60 278.09/278.18 o 61 278.09/278.18 c 39 calls to solver: best=61 lower=62 upper=2147483637 299.69/299.73 o 62 303.99/304.02 o 63 303.99/304.02 c 41 calls to solver: best=63 lower=64 upper=2147483637 317.10/317.15 o 64 356.29/356.33 o 65 356.29/356.33 c 43 calls to solver: best=65 lower=66 upper=2147483637 500.00/500.08 o 66 536.10/536.19 o 67 536.10/536.19 c 45 calls to solver: best=67 lower=68 upper=2147483637 546.10/546.13 o 68 604.50/604.58 o 69 604.50/604.58 c 47 calls to solver: best=69 lower=70 upper=2147483637 739.50/739.58 o 70 826.01/826.06 o 71 826.01/826.06 c 49 calls to solver: best=71 lower=72 upper=2147483637 842.01/842.03 o 72 897.31/897.35 o 73 897.31/897.35 c 51 calls to solver: best=73 lower=74 upper=2147483637 980.12/980.11 o 74 1026.91/1026.93 o 75 1026.91/1026.93 c 53 calls to solver: best=75 lower=76 upper=2147483637 1107.91/1107.98 o 76 1769.44/1769.43 o 77 1769.44/1769.43 c 55 calls to solver: best=77 lower=78 upper=2147483637 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 90 2520.06/2520.00 c conflicts : 5599398 (2222 /sec) 2520.06/2520.00 c decisions : 56304425 (22342 /sec) 2520.06/2520.00 c propagations : 1244805373 (493956 /sec) 2520.06/2520.00 c root propagations : 5416 2520.06/2520.00 c filter calls : 1199495036 (475977 /sec) 2520.06/2520.00 c useless filter calls : 912462683 (76 %) 2520.06/2520.00 c Memory used : 32.97 MB 2520.06/2520.00 c CPU time : 2520.07 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 55 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 77 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='77'> 2520.06/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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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[16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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][16] 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> 2520.06/2520.00 v <values>0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 2 0 0 1 0 0 0 0 0 0 1 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 2 2 2 2 2 2 1 2 2 2 2 2 1 0 0 1 1 2 2 2 2 2 2 1 2 2 2 1 2 1 0 0 1 1 1 1 2 2 2 2 1 2 2 0 1 0 2 1 1 2 1 0 0 0 2 2 2 1 2 1 1 2 1 1 2 2 1 1 1 0 2 0 2 2 1 2 2 0 1 0 2 2 2 1 1 0 1 0 1 1 2 1 2 1 1 0 1 1 2 1 1 1 0 0 1 0 2 2 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 13 170 171 172 181 188 195 202 39 64 87 108 129 146 154 161 166 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 77 </values> 2520.06/2520.00 v </instantiation> 2520.06/2520.00
OK 77
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 (10694 MiB free)
memory of node 1: 16384 MiB (12132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292899-1532297735/watcher-4292899-1532297735 -o /tmp/evaluation-result-4292899-1532297735/solver-4292899-1532297735 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292899-1532297735.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
solver pid=5151, runsolver pid=5148
Current StackSize limit: 8192 KiB
[startup+0.100808 s]*
/proc/loadavg: 1.25 1.30 1.32 3/191 5158
/proc/meminfo: memFree=23362288/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=32568 memory=9296 CPUtime=0.09 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 2493 0 0 0 9 0 0 0 20 0 1 0 47336685 33349632 2324 33554432000 4194304 6142532 140720954930000 140720954926856 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8142 2324 894 476 0 1464 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32568 KiB
Current children cumulated memory: 9296 KiB
[startup+0.209714 s]*
/proc/loadavg: 1.25 1.30 1.32 3/191 5158
/proc/meminfo: memFree=23359792/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33360 memory=10088 CPUtime=0.2 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 2695 0 0 0 20 0 0 0 20 0 1 0 47336685 34160640 2522 33554432000 4194304 6142532 140720954930000 140720954926856 5018336 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8340 2522 894 476 0 1662 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33360 KiB
Current children cumulated memory: 10088 KiB
[startup+0.309289 s]*
/proc/loadavg: 1.25 1.30 1.32 3/191 5158
/proc/meminfo: memFree=23359048/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33492 memory=10088 CPUtime=0.3 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 2735 0 0 0 30 0 0 0 20 0 1 0 47336685 34295808 2522 33554432000 4194304 6142532 140720954930000 140720954926856 5132502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8373 2522 894 476 0 1695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33492 KiB
Current children cumulated memory: 10088 KiB
[startup+0.700282 s]
/proc/loadavg: 1.25 1.30 1.32 3/191 5158
/proc/meminfo: memFree=23356816/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33624 memory=10352 CPUtime=0.68 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 2768 0 0 0 68 0 0 0 20 0 1 0 47336685 34430976 2588 33554432000 4194304 6142532 140720954930000 140720954926856 5132488 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8406 2588 895 476 0 1728 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33624 KiB
Current children cumulated memory: 10352 KiB
[startup+1.50028 s]
/proc/loadavg: 1.25 1.30 1.32 3/191 5158
/proc/meminfo: memFree=23355776/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10352 CPUtime=1.48 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 2783 0 0 0 148 0 0 0 20 0 1 0 47336685 34566144 2588 33554432000 4194304 6142532 140720954930000 140720954927528 5130604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2588 895 476 0 1761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10352 KiB
[startup+3.10927 s]
/proc/loadavg: 1.23 1.29 1.32 3/191 5158
/proc/meminfo: memFree=23355684/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10536 CPUtime=3.09 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 4440 0 0 0 309 0 0 0 20 0 1 0 47336685 34566144 2634 33554432000 4194304 6142532 140720954930000 140720954917272 5372395 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2634 895 476 0 1761 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10536 KiB
[startup+6.30027 s]
/proc/loadavg: 1.23 1.29 1.32 3/191 5158
/proc/meminfo: memFree=23354688/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10536 CPUtime=6.28 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 5694 0 0 0 628 0 0 0 20 0 1 0 47336685 34566144 2634 33554432000 4194304 6142532 140720954930000 140720954927528 4990607 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2634 895 476 0 1761 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10536 KiB
[startup+12.7003 s]
/proc/loadavg: 1.21 1.29 1.32 3/191 5158
/proc/meminfo: memFree=23355216/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10536 CPUtime=12.68 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 5812 0 0 0 1268 0 0 0 20 0 1 0 47336685 34566144 2634 33554432000 4194304 6142532 140720954930000 140720954917272 5131350 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2634 895 476 0 1761 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10536 KiB
[startup+25.5003 s]
/proc/loadavg: 1.38 1.32 1.33 3/191 5158
/proc/meminfo: memFree=23356044/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10540 CPUtime=25.48 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6084 0 0 0 2548 0 0 0 20 0 1 0 47336685 34566144 2635 33554432000 4194304 6142532 140720954930000 140720954927528 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2635 895 476 0 1761 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10540 KiB
[startup+51.1092 s]
/proc/loadavg: 1.59 1.38 1.34 3/191 5158
/proc/meminfo: memFree=23356176/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10540 CPUtime=51.09 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6220 0 0 0 5109 0 0 0 20 0 1 0 47336685 34566144 2635 33554432000 4194304 6142532 140720954930000 140720954917272 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2635 895 476 0 1761 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10540 KiB
[startup+102.3 s]
/proc/loadavg: 1.82 1.47 1.38 3/191 5159
/proc/meminfo: memFree=23356492/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10540 CPUtime=102.28 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6356 0 0 0 10228 0 0 0 20 0 1 0 47336685 34566144 2635 33554432000 4194304 6142532 140720954930000 140720954917272 5016531 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2635 895 476 0 1761 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10540 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.57 1.42 3/191 5160
/proc/meminfo: memFree=23356964/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10540 CPUtime=162.28 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6492 0 0 0 16228 0 0 0 20 0 1 0 47336685 34566144 2635 33554432000 4194304 6142532 140720954930000 140720954917272 5013936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2635 895 476 0 1761 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10540 KiB
[startup+222.3 s]
/proc/loadavg: 2.11 1.68 1.46 3/191 5161
/proc/meminfo: memFree=23357104/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10540 CPUtime=222.28 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6630 0 0 0 22228 0 0 0 20 0 1 0 47336685 34566144 2635 33554432000 4194304 6142532 140720954930000 140720954917272 5130491 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2635 895 476 0 1761 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10540 KiB
[startup+282.3 s]
/proc/loadavg: 2.21 1.80 1.52 3/192 5170
/proc/meminfo: memFree=23355228/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=282.29 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6768 0 0 0 28229 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017740 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+342.3 s]
/proc/loadavg: 2.14 1.85 1.55 3/191 5171
/proc/meminfo: memFree=23355912/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=342.29 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 6905 0 0 0 34229 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954927528 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+402.3 s]
/proc/loadavg: 2.09 1.89 1.59 3/191 5172
/proc/meminfo: memFree=23355876/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=402.29 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 7027 0 0 0 40229 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 1.92 1.62 3/191 5173
/proc/meminfo: memFree=23355732/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=462.29 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 7149 0 0 0 46229 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017782 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
################
# More data... #
################
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 1.95 3/191 5219
/proc/meminfo: memFree=23353424/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=1782.34 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 9606 0 0 0 178234 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017782 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5220
/proc/meminfo: memFree=23353128/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=1842.34 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 9727 0 0 0 184234 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5221
/proc/meminfo: memFree=23353236/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=1902.34 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 9842 0 0 0 190234 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5222
/proc/meminfo: memFree=23353308/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=1962.34 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 9957 0 0 0 196234 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017806 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5223
/proc/meminfo: memFree=23353380/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2022.34 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10081 0 0 0 202234 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5130906 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5231
/proc/meminfo: memFree=23352660/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2082.34 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10201 0 0 0 208234 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5232
/proc/meminfo: memFree=23352980/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2142.35 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10319 0 0 0 214235 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017790 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5233
/proc/meminfo: memFree=23353304/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2202.35 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10439 0 0 0 220235 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/190 5234
/proc/meminfo: memFree=23353244/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2262.35 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10559 0 0 0 226235 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017636 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/191 5236
/proc/meminfo: memFree=23353056/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2322.35 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10681 0 0 0 232235 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/191 5238
/proc/meminfo: memFree=23353124/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2382.35 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10801 0 0 0 238235 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/191 5239
/proc/meminfo: memFree=23353200/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2442.35 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10920 0 0 0 244235 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017803 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/191 5240
/proc/meminfo: memFree=23353392/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2502.36 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 10921 0 0 0 250236 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5017799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.96 3/192 5241
/proc/meminfo: memFree=23353360/32770624 swapFree=67108860/67108860
[pid=5151] ppid=5148 vsize=33756 memory=10548 CPUtime=2520.06 cores=1,3,5,7
/proc/5151/stat : 5151 (cosoco) R 5148 5151 5095 0 -1 4202496 11038 0 0 0 252006 0 0 0 20 0 1 0 47336685 34566144 2637 33554432000 4194304 6142532 140720954930000 140720954917272 5131312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 35098624 140720954938502 140720954938632 140720954938632 140720954941390 0
/proc/5151/statm: 8439 2637 895 476 0 1761 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5151 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.07 s, system=0.01 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): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.01
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 33756
Max. memory (cumulated for all children) (KiB): 10548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.01
maximum resident set size= 10612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11086
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= 36
involuntary context switches= 671
# summary of solver processes directly reported to runsolver:
# pid: 5151
# total CPU time (s): 2520.08
# total CPU user time (s): 2520.07
# total CPU system time (s): 0.01
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68031 second user time and 16.4375 second system time
The end
Begin job on node135 at 2018-07-23 00:15:35 IDJOB=4292899 IDBENCH=141032 IDSOLVER=2752 FILE ID=node135/4292899-1532297735 RUNJOBID= node135-1532297735-5127 PBS_JOBID= 21018994 Free space on /tmp= 52936 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/StillLife/StillLife-wastage-15_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292899-1532297735/watcher-4292899-1532297735 -o /tmp/evaluation-result-4292899-1532297735/solver-4292899-1532297735 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5127 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292899-1532297735.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e301970dbbdacc0ad69519f2afe54420 RANDOM SEED=1671021339 node135.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.50 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.50 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.50 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.50 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: 23378416 kB MemAvailable: 31937932 kB Buffers: 177892 kB Cached: 8583956 kB SwapCached: 0 kB Active: 1411812 kB Inactive: 7403816 kB Active(anon): 3204 kB Inactive(anon): 69912 kB Active(file): 1408608 kB Inactive(file): 7333904 kB Unevictable: 7188 kB Mlocked: 7188 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2924 kB Writeback: 0 kB AnonPages: 60376 kB Mapped: 35988 kB Shmem: 17056 kB Slab: 273256 kB SReclaimable: 245464 kB SUnreclaim: 27792 kB KernelStack: 3184 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 318040 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52928 MiB End job on node135 at 2018-07-23 00:57:35