Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 236 | 1921.5601 | 244.25101 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 367 |
Best CPU time to get the best result obtained on this benchmark | 251.811 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1712 |
Number of constraints | 1007 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1683 |
Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
Minimum variable degree | 1 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
Number of extensional constraints | 837 |
Number of intensional constraints | 136 |
Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.21/0.39 c version: 2017-07-26 0.21/0.39 c seed: 1139641055 0.21/0.39 c timeout: 1920 0.21/0.39 c memlimit: 22000 0.21/0.39 c nbcore: 8 0.38/0.42 c Parsing instance... 1.91/0.96 c Parsing done, starting search... 22.48/6.06 o 205 22.48/6.07 o 206 23.98/6.25 o 207 24.78/6.36 o 208 24.78/6.37 o 209 26.28/6.51 o 210 26.28/6.52 o 211 26.28/6.54 o 214 26.28/6.54 o 215 26.28/6.54 o 216 26.28/6.56 o 217 26.28/6.59 o 218 26.28/6.60 o 219 27.15/6.68 o 220 27.15/6.68 o 221 29.46/6.92 o 222 29.46/6.92 o 223 29.46/6.98 o 224 30.32/7.09 o 225 33.42/7.47 o 226 49.74/9.55 o 227 110.29/17.16 o 228 280.97/38.60 o 229 395.85/52.97 o 230 937.99/120.95 o 231 937.99/120.95 o 232 1015.34/130.62 o 233 1016.14/130.78 o 234 1204.34/154.39 o 235 1267.36/162.25 o 236 1920.57/244.19 s SATISFIABLE 1920.57/244.20 v <instantiation> 1920.57/244.20 v <list> 1920.57/244.20 v x[0][0] 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[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[1][0] 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[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] 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[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] 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[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] 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[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] 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[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] 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[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] 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[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] 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[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] 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] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] 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[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] 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[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] 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[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] 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[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] 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[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] 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[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] 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[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] 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[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] 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[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] 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[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] 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[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] 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[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] 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[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] 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[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] 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[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] 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[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] 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] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] 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[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] 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[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] 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[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] 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[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] 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[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] 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[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] 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[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z 1920.57/244.20 v </list> 1920.57/244.20 v <values> 1920.57/244.20 v 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 0 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 1 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 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 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 1 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 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 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 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 2 1 1 0 0 0 0 0 1 2 1 2 2 2 1 2 1 2 2 2 1 1 1 1 1 1 2 1 1 0 1 0 0 0 0 0 0 1 0 1 1 2 1 1 0 1 0 2 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 2 1 0 0 0 1 0 1 0 0 0 1 0 0 1 2 0 0 1 1 0 1 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 2 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 1 0 2 2 0 0 1 1 0 0 1 2 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 2 2 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 1 0 1 1 1 0 1 1 0 0 0 1 2 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 26 77 125 175 225 273 323 373 410 430 441 456 468 474 485 497 509 512 516 524 527 532 540 547 559 574 588 607 622 236 1920.57/244.20 v </values> 1920.57/244.20 v </instantiation>
OK 236
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257327-1501679185/watcher-4257327-1501679185 -o /tmp/evaluation-result-4257327-1501679185/solver-4257327-1501679185 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1139641055 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257327-1501679185.xml pid=2875 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.07 8.03 6.99 2/177 2878 /proc/meminfo: memFree=31665504/32770624 swapFree=0/276108 [pid=2878] ppid=2875 vsize=23672 CPUtime=0 cores=0-7 /proc/2878/stat : 2878 (runsolver) D 2875 2878 1658 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9829111 24240128 107 18446744073709551615 4194304 4338465 140723736749152 140723736746792 140457936986839 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36925440 140723736756324 140723736756803 140723736756803 140723736760266 0 /proc/2878/statm: 5918 107 54 36 0 2156 0 [startup+0.100334 s] /proc/loadavg: 8.07 8.03 6.99 2/177 2878 /proc/meminfo: memFree=31665504/32770624 swapFree=0/276108 [pid=2878] ppid=2875 vsize=101832 CPUtime=0 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 1435 0 0 0 0 0 0 0 20 0 2 0 9829111 104275968 1186 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 0 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 25458 1186 883 1 0 17056 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 101832 [startup+0.200337 s] /proc/loadavg: 8.07 8.03 6.99 2/177 2878 /proc/meminfo: memFree=31665504/32770624 swapFree=0/276108 [pid=2878] ppid=2875 vsize=25997072 CPUtime=0.06 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 5177 0 0 0 5 1 0 0 20 0 20 0 9829111 26621001728 5700 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6499268 5700 2818 1 0 6488055 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 25997072 [startup+0.300269 s] /proc/loadavg: 8.07 8.03 6.99 2/177 2878 /proc/meminfo: memFree=31665504/32770624 swapFree=0/276108 [pid=2878] ppid=2875 vsize=25996604 CPUtime=0.21 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 9953 0 0 0 19 2 0 0 20 0 20 0 9829111 26620522496 9203 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6499151 9203 3510 1 0 6487938 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 25996604 [startup+0.700227 s] /proc/loadavg: 8.07 8.03 6.99 2/177 2878 /proc/meminfo: memFree=31665504/32770624 swapFree=0/276108 [pid=2878] ppid=2875 vsize=25998672 CPUtime=1.03 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 14493 0 0 0 98 5 0 0 20 0 20 0 9829111 26622640128 17238 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6499668 17238 3716 1 0 6488450 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 25998672 [startup+1.50069 s] /proc/loadavg: 8.07 8.03 6.99 2/197 2898 /proc/meminfo: memFree=31574336/32770624 swapFree=0/276112 [pid=2878] ppid=2875 vsize=26002768 CPUtime=3.54 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 28241 0 0 0 336 18 0 0 20 0 20 0 9829111 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6500692 55756 3756 1 0 6489474 0 [pid=2878/tid=2880] ppid=2875 vsize=26002768 CPUtime=1.32 cores=0-7 /proc/2878/task/2880/stat : 2880 (java) S 2875 2878 1658 0 -1 1077944384 14234 0 0 0 125 7 0 0 20 0 20 0 9829121 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139848042622528 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2881] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2881/stat : 2881 (java) S 2875 2878 1658 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847965313424 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2882] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2882/stat : 2882 (java) S 2875 2878 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847964260624 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2883] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2883/stat : 2883 (java) S 2875 2878 1658 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847963208336 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2884] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2884/stat : 2884 (java) S 2875 2878 1658 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847962155536 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2885] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2885/stat : 2885 (java) S 2875 2878 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847596530576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2886] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2886/stat : 2886 (java) S 2875 2878 1658 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847595477776 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2887] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2887/stat : 2887 (java) S 2875 2878 1658 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847594425488 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2888] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2888/stat : 2888 (java) S 2875 2878 1658 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 9829122 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847593372688 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2889] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2889/stat : 2889 (java) R 2875 2878 1658 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 9829123 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847036568224 139848022746799 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2890] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2890/stat : 2890 (java) S 2875 2878 1658 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 9829124 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847035515680 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2891] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2891/stat : 2891 (java) S 2875 2878 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 9829124 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847034463344 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2892] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2892/stat : 2892 (java) S 2875 2878 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9829126 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847033411664 139848038406043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2893] ppid=2875 vsize=26002768 CPUtime=0.48 cores=0-7 /proc/2878/task/2893/stat : 2893 (java) S 2875 2878 1658 0 -1 1077944384 2541 0 0 0 47 1 0 0 20 0 20 0 9829126 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847032343472 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2894] ppid=2875 vsize=26002768 CPUtime=0.42 cores=0-7 /proc/2878/task/2894/stat : 2894 (java) S 2875 2878 1658 0 -1 1077944384 1647 0 0 0 42 0 0 0 20 0 20 0 9829126 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847031306736 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2895] ppid=2875 vsize=26002768 CPUtime=0.49 cores=0-7 /proc/2878/task/2895/stat : 2895 (java) S 2875 2878 1658 0 -1 1077944384 2084 0 0 0 48 1 0 0 20 0 20 0 9829126 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847030239440 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2896] ppid=2875 vsize=26002768 CPUtime=0.69 cores=0-7 /proc/2878/task/2896/stat : 2896 (java) S 2875 2878 1658 0 -1 1077944384 5904 0 0 0 67 2 0 0 20 0 20 0 9829126 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847029197520 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2897] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2897/stat : 2897 (java) S 2875 2878 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9829126 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847028148576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2898] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2898/stat : 2898 (java) S 2875 2878 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9829131 26626834432 55756 18446744073709551615 4194304 4196468 140725212154768 139847027095856 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 Current children cumulated CPU time (s) 3.54 Current children cumulated vsize (KiB) 26002768 [startup+3.1008 s] /proc/loadavg: 8.07 8.03 6.99 3/197 2898 /proc/meminfo: memFree=31260092/32770624 swapFree=0/276112 [pid=2878] ppid=2875 vsize=26002768 CPUtime=7.22 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 36020 0 0 0 674 48 0 0 20 0 20 0 9829111 26626834432 156586 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6500692 156586 3800 1 0 6489474 0 [pid=2878/tid=2880] ppid=2875 vsize=26002768 CPUtime=2.85 cores=0-7 /proc/2878/task/2880/stat : 2880 (java) R 2875 2878 1658 0 -1 4202560 15634 0 0 0 273 12 0 0 20 0 20 0 9829121 26626834432 156586 18446744073709551615 4194304 4196468 140725212154768 139848042619680 139847650600488 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2881] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2881/stat : 2881 (java) S 2875 2878 1658 0 -1 1077944384 109 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 156586 18446744073709551615 4194304 4196468 140725212154768 139847965313424 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2882] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2882/stat : 2882 (java) S 2875 2878 1658 0 -1 1077944384 161 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847964260624 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2883] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2883/stat : 2883 (java) S 2875 2878 1658 0 -1 1077944384 1236 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847963208336 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2884] ppid=2875 vsize=26002768 CPUtime=0.05 cores=0-7 /proc/2878/task/2884/stat : 2884 (java) S 2875 2878 1658 0 -1 1077944384 94 0 0 0 2 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847962155536 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2885] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2885/stat : 2885 (java) S 2875 2878 1658 0 -1 1077944384 106 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847596530576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2886] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2886/stat : 2886 (java) S 2875 2878 1658 0 -1 1077944384 80 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847595477776 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2887] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2887/stat : 2887 (java) S 2875 2878 1658 0 -1 1077944384 103 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847594425488 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2888] ppid=2875 vsize=26002768 CPUtime=0.06 cores=0-7 /proc/2878/task/2888/stat : 2888 (java) S 2875 2878 1658 0 -1 1077944384 117 0 0 0 3 3 0 0 20 0 20 0 9829122 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847593372688 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2889] ppid=2875 vsize=26002768 CPUtime=0.01 cores=0-7 /proc/2878/task/2889/stat : 2889 (java) S 2875 2878 1658 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 9829123 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847036569712 139848038398594 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2890] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2890/stat : 2890 (java) S 2875 2878 1658 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 9829124 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847035515744 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2891] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2891/stat : 2891 (java) S 2875 2878 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 9829124 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847034463360 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2892] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2892/stat : 2892 (java) S 2875 2878 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9829126 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847033411664 139848038406043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2893] ppid=2875 vsize=26002768 CPUtime=0.99 cores=0-7 /proc/2878/task/2893/stat : 2893 (java) S 2875 2878 1658 0 -1 1077944384 3556 0 0 0 98 1 0 0 20 0 20 0 9829126 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847032359536 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2894] ppid=2875 vsize=26002768 CPUtime=0.87 cores=0-7 /proc/2878/task/2894/stat : 2894 (java) S 2875 2878 1658 0 -1 1077944384 2349 0 0 0 87 0 0 0 20 0 20 0 9829126 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847031306736 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2895] ppid=2875 vsize=26002768 CPUtime=1.04 cores=0-7 /proc/2878/task/2895/stat : 2895 (java) S 2875 2878 1658 0 -1 1077944384 3782 0 0 0 103 1 0 0 20 0 20 0 9829126 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847030254448 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2896] ppid=2875 vsize=26002768 CPUtime=0.84 cores=0-7 /proc/2878/task/2896/stat : 2896 (java) S 2875 2878 1658 0 -1 1077944384 6898 0 0 0 82 2 0 0 20 0 20 0 9829126 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847029201648 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2897] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2897/stat : 2897 (java) S 2875 2878 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9829126 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847028148576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2898] ppid=2875 vsize=26002768 CPUtime=0 cores=0-7 /proc/2878/task/2898/stat : 2898 (java) S 2875 2878 1658 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 9829131 26626834432 157098 18446744073709551615 4194304 4196468 140725212154768 139847027095856 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 26002768 [startup+6.30201 s] /proc/loadavg: 7.50 7.91 6.96 9/212 2913 /proc/meminfo: memFree=29621952/32770624 swapFree=0/276124 [pid=2878] ppid=2875 vsize=27340228 CPUtime=24.78 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 49678 0 0 0 2268 210 0 0 20 0 40 0 9829111 27996393472 644975 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6835057 644975 3835 1 0 6823318 0 [pid=2878/tid=2880] ppid=2875 vsize=27340228 CPUtime=3.83 cores=0-7 /proc/2878/task/2880/stat : 2880 (java) S 2875 2878 1658 0 -1 1077944384 18030 0 0 0 369 14 0 0 20 0 40 0 9829121 27996393472 644975 18446744073709551615 4194304 4196468 140725212154768 139848042625152 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2881] ppid=2875 vsize=27340228 CPUtime=0.44 cores=0-7 /proc/2878/task/2881/stat : 2881 (java) R 2875 2878 1658 0 -1 4202560 387 0 0 0 26 18 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847965313424 139848031484283 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2882] ppid=2875 vsize=27340228 CPUtime=0.45 cores=0-7 /proc/2878/task/2882/stat : 2882 (java) R 2875 2878 1658 0 -1 4202560 442 0 0 0 28 17 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847964260824 139848023415294 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2883] ppid=2875 vsize=27340228 CPUtime=0.46 cores=0-7 /proc/2878/task/2883/stat : 2883 (java) R 2875 2878 1658 0 -1 4202560 1508 0 0 0 27 19 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847963208336 139848031484283 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2884] ppid=2875 vsize=27340228 CPUtime=0.42 cores=0-7 /proc/2878/task/2884/stat : 2884 (java) R 2875 2878 1658 0 -1 4202560 415 0 0 0 23 19 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847962155536 139848023415294 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2885] ppid=2875 vsize=27340228 CPUtime=0.43 cores=0-7 /proc/2878/task/2885/stat : 2885 (java) R 2875 2878 1658 0 -1 4202560 448 0 0 0 24 19 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847596530776 139848023415321 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2886] ppid=2875 vsize=27340228 CPUtime=0.44 cores=0-7 /proc/2878/task/2886/stat : 2886 (java) R 2875 2878 1658 0 -1 4202560 384 0 0 0 27 17 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847595477976 139848031484283 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2887] ppid=2875 vsize=27340228 CPUtime=0.48 cores=0-7 /proc/2878/task/2887/stat : 2887 (java) R 2875 2878 1658 0 -1 4202560 451 0 0 0 29 19 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847594425488 139848023415294 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2888] ppid=2875 vsize=27340228 CPUtime=0.5 cores=0-7 /proc/2878/task/2888/stat : 2888 (java) R 2875 2878 1658 0 -1 4202560 443 0 0 0 29 21 0 0 20 0 40 0 9829122 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847593372888 139848023415294 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2889] ppid=2875 vsize=27340228 CPUtime=0.07 cores=0-7 /proc/2878/task/2889/stat : 2889 (java) S 2875 2878 1658 0 -1 1077944384 3136 0 0 0 6 1 0 0 20 0 40 0 9829123 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847036568224 139848038397653 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2890] ppid=2875 vsize=27340228 CPUtime=0 cores=0-7 /proc/2878/task/2890/stat : 2890 (java) S 2875 2878 1658 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 40 0 9829124 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847035515744 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2891] ppid=2875 vsize=27340228 CPUtime=0 cores=0-7 /proc/2878/task/2891/stat : 2891 (java) S 2875 2878 1658 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 9829124 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847034463360 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2892] ppid=2875 vsize=27340228 CPUtime=0 cores=0-7 /proc/2878/task/2892/stat : 2892 (java) S 2875 2878 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 9829126 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847033411664 139848038406043 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2893] ppid=2875 vsize=27340228 CPUtime=1.81 cores=0-7 /proc/2878/task/2893/stat : 2893 (java) S 2875 2878 1658 0 -1 1077944384 4090 0 0 0 180 1 0 0 20 0 40 0 9829126 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847032359536 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2894] ppid=2875 vsize=27340228 CPUtime=1.76 cores=0-7 /proc/2878/task/2894/stat : 2894 (java) S 2875 2878 1658 0 -1 1077944384 3561 0 0 0 175 1 0 0 20 0 40 0 9829126 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847031286800 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2895] ppid=2875 vsize=27340228 CPUtime=1.84 cores=0-7 /proc/2878/task/2895/stat : 2895 (java) S 2875 2878 1658 0 -1 1077944384 4430 0 0 0 183 1 0 0 20 0 40 0 9829126 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847030239440 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2896] ppid=2875 vsize=27340228 CPUtime=1.1 cores=0-7 /proc/2878/task/2896/stat : 2896 (java) S 2875 2878 1658 0 -1 1077944384 8822 0 0 0 107 3 0 0 20 0 40 0 9829126 27996393472 645487 18446744073709551615 4194304 4196468 140725212154768 139847029201408 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2897] ppid=2875 vsize=27340228 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/2878/task/2894/stat : 2894 (java) S 2875 2878 1658 0 -1 1077944384 4009 0 0 0 199 1 0 0 20 0 45 0 9829126 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139847031306736 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2895] ppid=2875 vsize=27675096 CPUtime=1.97 cores=0-7 /proc/2878/task/2895/stat : 2895 (java) S 2875 2878 1658 0 -1 1077944384 7791 0 0 0 195 2 0 0 20 0 45 0 9829126 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139847030254448 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2896] ppid=2875 vsize=27675096 CPUtime=1.18 cores=0-7 /proc/2878/task/2896/stat : 2896 (java) S 2875 2878 1658 0 -1 1077944384 17051 0 0 0 114 4 0 0 20 0 45 0 9829126 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139847029201648 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2897] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2897/stat : 2897 (java) S 2875 2878 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 9829126 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139847028148576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2898] ppid=2875 vsize=27675096 CPUtime=0.11 cores=0-7 /proc/2878/task/2898/stat : 2898 (java) S 2875 2878 1658 0 -1 1077944384 816 0 0 0 4 7 0 0 20 0 45 0 9829131 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139847027095856 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2899] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2899/stat : 2899 (java) S 2875 2878 1658 0 -1 1077944384 546 0 0 0 0 0 0 0 20 0 45 0 9829499 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846228632480 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2900] ppid=2875 vsize=27675096 CPUtime=0.73 cores=0-7 /proc/2878/task/2900/stat : 2900 (java) R 2875 2878 1658 0 -1 1077944384 3342 0 0 0 45 28 0 0 20 0 45 0 9829511 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846225482672 139848038398594 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2901] ppid=2875 vsize=27675096 CPUtime=0.01 cores=0-7 /proc/2878/task/2901/stat : 2901 (java) S 2875 2878 1658 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 45 0 9829520 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846222333328 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2902] ppid=2875 vsize=27675096 CPUtime=0.55 cores=0-7 /proc/2878/task/2902/stat : 2902 (java) S 2875 2878 1658 0 -1 1077944384 306 0 0 0 54 1 0 0 20 0 45 0 9829520 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846221280656 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2903] ppid=2875 vsize=27675096 CPUtime=236.91 cores=0-7 /proc/2878/task/2903/stat : 2903 (java) R 2875 2878 1658 0 -1 4202560 11509 0 0 0 23663 28 0 0 20 0 45 0 9829521 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846220224448 139847651398184 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2904] ppid=2875 vsize=27675096 CPUtime=236.35 cores=0-7 /proc/2878/task/2904/stat : 2904 (java) R 2875 2878 1658 0 -1 4202560 11301 0 0 0 23608 27 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846219168920 139847650444340 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2905] ppid=2875 vsize=27675096 CPUtime=0.53 cores=0-7 /proc/2878/task/2905/stat : 2905 (java) S 2875 2878 1658 0 -1 1077944384 275 0 0 0 52 1 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846218122128 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2906] ppid=2875 vsize=27675096 CPUtime=237.18 cores=0-7 /proc/2878/task/2906/stat : 2906 (java) R 2875 2878 1658 0 -1 4202560 13057 0 0 0 23682 36 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139846217062664 139847650896207 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2907] ppid=2875 vsize=27675096 CPUtime=237.44 cores=0-7 /proc/2878/task/2907/stat : 2907 (java) R 2875 2878 1658 0 -1 4202560 12495 0 0 0 23710 34 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845074668168 139847650368896 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2908] ppid=2875 vsize=27675096 CPUtime=237.79 cores=0-7 /proc/2878/task/2908/stat : 2908 (java) R 2875 2878 1658 0 -1 4202560 12355 0 0 0 23742 37 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845073617168 139847651398156 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2909] ppid=2875 vsize=27675096 CPUtime=237.83 cores=0-7 /proc/2878/task/2909/stat : 2909 (java) R 2875 2878 1658 0 -1 4202560 14512 0 0 0 23747 36 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845072563336 139847655166015 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2910] ppid=2875 vsize=27675096 CPUtime=237.09 cores=0-7 /proc/2878/task/2910/stat : 2910 (java) R 2875 2878 1658 0 -1 4202560 10306 0 0 0 23683 26 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845071510904 139847651355377 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2911] ppid=2875 vsize=27675096 CPUtime=237.03 cores=0-7 /proc/2878/task/2911/stat : 2911 (java) R 2875 2878 1658 0 -1 4202560 10855 0 0 0 23674 29 0 0 20 0 45 0 9829523 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845070457992 139847655166354 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2912] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2912/stat : 2912 (java) S 2875 2878 1658 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 45 0 9829630 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845069411856 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2913] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2913/stat : 2913 (java) S 2875 2878 1658 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 45 0 9829630 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845068358544 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2914] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2914/stat : 2914 (java) S 2875 2878 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 9829718 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845065171744 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2915] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2915/stat : 2915 (java) S 2875 2878 1658 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 45 0 9829719 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845064119440 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2916] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2916/stat : 2916 (java) S 2875 2878 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 45 0 9829720 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845063066560 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2917] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2917/stat : 2917 (java) S 2875 2878 1658 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 45 0 9829722 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845062014352 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2918] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2918/stat : 2918 (java) S 2875 2878 1658 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 45 0 9829723 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845060961680 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2919] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2919/stat : 2919 (java) S 2875 2878 1658 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 45 0 9829771 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845059909264 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2920] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2920/stat : 2920 (java) S 2875 2878 1658 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 45 0 9829773 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845058856384 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2921] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2921/stat : 2921 (java) S 2875 2878 1658 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 45 0 9829774 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845057803152 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2922] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2922/stat : 2922 (java) S 2875 2878 1658 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 45 0 9829776 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845056750352 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2923] ppid=2875 vsize=27675096 CPUtime=0 cores=0-7 /proc/2878/task/2923/stat : 2923 (java) S 2875 2878 1658 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 45 0 9829776 28339298304 1275616 18446744073709551615 4194304 4196468 140725212154768 139845055698064 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 Current children cumulated CPU time (s) 1920.57 Current children cumulated vsize (KiB) 27675096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2878 sig 9 ??? kill -2878 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+244.216 s] /proc/loadavg: 9.04 8.42 7.37 10/222 2931 /proc/meminfo: memFree=26571668/32770624 swapFree=0/276208 [pid=2878] ppid=2875 vsize=27808224 CPUtime=1921.51 cores=0-7 /proc/2878/stat : 2878 (java) S 2875 2878 1658 0 -1 1077944320 222391 0 0 0 191643 508 0 0 20 0 44 0 9829111 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 140725212137312 139848038387447 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 /proc/2878/statm: 6952056 1275661 3840 1 0 6940317 0 [pid=2878/tid=2880] ppid=2875 vsize=27808224 CPUtime=3.83 cores=0-7 /proc/2878/task/2880/stat : 2880 (java) S 2875 2878 1658 0 -1 1077944384 18030 0 0 0 369 14 0 0 20 0 44 0 9829121 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139848042625152 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2881] ppid=2875 vsize=27808224 CPUtime=1.18 cores=0-7 /proc/2878/task/2881/stat : 2881 (java) S 2875 2878 1658 0 -1 1077944384 6506 0 0 0 92 26 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847965313424 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2882] ppid=2875 vsize=27808224 CPUtime=1.21 cores=0-7 /proc/2878/task/2882/stat : 2882 (java) S 2875 2878 1658 0 -1 1077944384 6056 0 0 0 97 24 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847964260624 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2883] ppid=2875 vsize=27808224 CPUtime=1.21 cores=0-7 /proc/2878/task/2883/stat : 2883 (java) S 2875 2878 1658 0 -1 1077944384 6698 0 0 0 94 27 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847963208336 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2884] ppid=2875 vsize=27808224 CPUtime=1.17 cores=0-7 /proc/2878/task/2884/stat : 2884 (java) S 2875 2878 1658 0 -1 1077944384 5101 0 0 0 90 27 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847962155536 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2885] ppid=2875 vsize=27808224 CPUtime=1.16 cores=0-7 /proc/2878/task/2885/stat : 2885 (java) S 2875 2878 1658 0 -1 1077944384 4745 0 0 0 89 27 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847596530576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2886] ppid=2875 vsize=27808224 CPUtime=1.18 cores=0-7 /proc/2878/task/2886/stat : 2886 (java) S 2875 2878 1658 0 -1 1077944384 4991 0 0 0 93 25 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847595477776 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2887] ppid=2875 vsize=27808224 CPUtime=1.23 cores=0-7 /proc/2878/task/2887/stat : 2887 (java) S 2875 2878 1658 0 -1 1077944384 4094 0 0 0 95 28 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847594425488 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2888] ppid=2875 vsize=27808224 CPUtime=1.24 cores=0-7 /proc/2878/task/2888/stat : 2888 (java) S 2875 2878 1658 0 -1 1077944384 5600 0 0 0 95 29 0 0 20 0 44 0 9829122 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847593372688 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2889] ppid=2875 vsize=27808224 CPUtime=0.18 cores=0-7 /proc/2878/task/2889/stat : 2889 (java) R 2875 2878 1658 0 -1 1077944384 17259 0 0 0 15 3 0 0 20 0 44 0 9829123 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847036569712 139848038398594 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2890] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2890/stat : 2890 (java) S 2875 2878 1658 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 44 0 9829124 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847035515744 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2891] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2891/stat : 2891 (java) S 2875 2878 1658 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 44 0 9829124 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847034463360 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2893] ppid=2875 vsize=27808224 CPUtime=1.97 cores=0-7 /proc/2878/task/2893/stat : 2893 (java) S 2875 2878 1658 0 -1 1077944384 7658 0 0 0 195 2 0 0 20 0 44 0 9829126 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847032359536 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2894] ppid=2875 vsize=27808224 CPUtime=2 cores=0-7 /proc/2878/task/2894/stat : 2894 (java) S 2875 2878 1658 0 -1 1077944384 4009 0 0 0 199 1 0 0 20 0 44 0 9829126 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847031306736 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2895] ppid=2875 vsize=27808224 CPUtime=1.98 cores=0-7 /proc/2878/task/2895/stat : 2895 (java) S 2875 2878 1658 0 -1 1077944384 8153 0 0 0 196 2 0 0 20 0 44 0 9829126 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847030254448 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2896] ppid=2875 vsize=27808224 CPUtime=1.18 cores=0-7 /proc/2878/task/2896/stat : 2896 (java) S 2875 2878 1658 0 -1 1077944384 18050 0 0 0 114 4 0 0 20 0 44 0 9829126 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847029201648 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2897] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2897/stat : 2897 (java) S 2875 2878 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 9829126 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139847028148576 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2899] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2899/stat : 2899 (java) S 2875 2878 1658 0 -1 1077944384 546 0 0 0 0 0 0 0 20 0 44 0 9829499 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846228632480 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2900] ppid=2875 vsize=27808224 CPUtime=0.73 cores=0-7 /proc/2878/task/2900/stat : 2900 (java) S 2875 2878 1658 0 -1 1077944384 3342 0 0 0 45 28 0 0 20 0 44 0 9829511 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846225482672 139848038398594 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2901] ppid=2875 vsize=27808224 CPUtime=0.01 cores=0-7 /proc/2878/task/2901/stat : 2901 (java) S 2875 2878 1658 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 44 0 9829520 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846222333328 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2902] ppid=2875 vsize=27808224 CPUtime=0.55 cores=0-7 /proc/2878/task/2902/stat : 2902 (java) S 2875 2878 1658 0 -1 1077944384 306 0 0 0 54 1 0 0 20 0 44 0 9829520 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846221280656 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2903] ppid=2875 vsize=27808224 CPUtime=237.03 cores=0-7 /proc/2878/task/2903/stat : 2903 (java) R 2875 2878 1658 0 -1 4202560 11509 0 0 0 23675 28 0 0 20 0 44 0 9829521 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846220224448 139847651401564 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2904] ppid=2875 vsize=27808224 CPUtime=236.46 cores=0-7 /proc/2878/task/2904/stat : 2904 (java) R 2875 2878 1658 0 -1 4202560 11301 0 0 0 23619 27 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846219168920 139847651190620 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2905] ppid=2875 vsize=27808224 CPUtime=0.53 cores=0-7 /proc/2878/task/2905/stat : 2905 (java) S 2875 2878 1658 0 -1 1077944384 275 0 0 0 52 1 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846218122128 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2906] ppid=2875 vsize=27808224 CPUtime=237.3 cores=0-7 /proc/2878/task/2906/stat : 2906 (java) R 2875 2878 1658 0 -1 4202560 13057 0 0 0 23694 36 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139846217062664 139847642724255 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2907] ppid=2875 vsize=27808224 CPUtime=237.56 cores=0-7 /proc/2878/task/2907/stat : 2907 (java) R 2875 2878 1658 0 -1 4202560 12495 0 0 0 23722 34 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845074668168 139847650267279 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2908] ppid=2875 vsize=27808224 CPUtime=237.91 cores=0-7 /proc/2878/task/2908/stat : 2908 (java) R 2875 2878 1658 0 -1 4202560 12355 0 0 0 23754 37 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845073617168 139847651398258 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2909] ppid=2875 vsize=27808224 CPUtime=237.95 cores=0-7 /proc/2878/task/2909/stat : 2909 (java) R 2875 2878 1658 0 -1 4202560 14512 0 0 0 23759 36 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845072563336 139847644446480 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2910] ppid=2875 vsize=27808224 CPUtime=237.21 cores=0-7 /proc/2878/task/2910/stat : 2910 (java) R 2875 2878 1658 0 -1 4202560 10306 0 0 0 23695 26 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845071510904 139847650444340 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2911] ppid=2875 vsize=27808224 CPUtime=237.13 cores=0-7 /proc/2878/task/2911/stat : 2911 (java) R 2875 2878 1658 0 -1 4202560 10855 0 0 0 23684 29 0 0 20 0 44 0 9829523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845070457992 139847648638400 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2912] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2912/stat : 2912 (java) S 2875 2878 1658 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 44 0 9829630 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845069411856 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2913] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2913/stat : 2913 (java) S 2875 2878 1658 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 44 0 9829630 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845068358544 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2914] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2914/stat : 2914 (java) S 2875 2878 1658 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 44 0 9829718 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845065171744 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2915] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2915/stat : 2915 (java) S 2875 2878 1658 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 44 0 9829719 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845064119440 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2916] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2916/stat : 2916 (java) S 2875 2878 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 44 0 9829720 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845063066560 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2917] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2917/stat : 2917 (java) S 2875 2878 1658 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 44 0 9829722 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845062014352 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2918] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2918/stat : 2918 (java) S 2875 2878 1658 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 44 0 9829723 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845060961680 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2919] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2919/stat : 2919 (java) S 2875 2878 1658 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 44 0 9829771 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845059909264 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2920] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2920/stat : 2920 (java) S 2875 2878 1658 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 44 0 9829773 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845058856384 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2921] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2921/stat : 2921 (java) S 2875 2878 1658 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 44 0 9829774 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845057803152 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2922] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2922/stat : 2922 (java) S 2875 2878 1658 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 44 0 9829776 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845056750352 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2923] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2923/stat : 2923 (java) S 2875 2878 1658 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 44 0 9829776 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845055698064 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 [pid=2878/tid=2930] ppid=2875 vsize=27808224 CPUtime=0 cores=0-7 /proc/2878/task/2930/stat : 2930 (java) S 2875 2878 1658 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 44 0 9853523 28475621376 1275661 18446744073709551615 4194304 4196468 140725212154768 139845052547312 139848038397653 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28585984 140725212156303 140725212156488 140725212156488 140725212159951 0 Current children cumulated CPU time (s) 1921.51 Current children cumulated vsize (KiB) 27808224 Child status: 143 Real time (s): 244.251 CPU time (s): 1921.56 CPU user time (s): 1916.45 CPU system time (s): 5.11196 CPU usage (%): 786.716 Max. virtual memory (cumulated for all children) (KiB): 27808224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1916.45 system time used= 5.11196 maximum resident set size= 5103644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 222434 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40383 involuntary context switches= 42923 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.31217 second user time and 2.51955 second system time The end
Begin job on node135 at 2017-08-02 14:52:24 IDJOB=4257327 IDBENCH=115900 IDSOLVER=2641 FILE ID=node135/4257327-1501679185 RUNJOBID= node135-1501676595-1714 PBS_JOBID= Free space on /tmp= 61948 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257327-1501679185/watcher-4257327-1501679185 -o /tmp/evaluation-result-4257327-1501679185/solver-4257327-1501679185 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1139641055 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257327-1501679185.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=1139641055 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.21 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.21 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.21 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.21 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: 31666296 kB MemAvailable: 32014508 kB Buffers: 147888 kB Cached: 476004 kB SwapCached: 0 kB Active: 394632 kB Inactive: 284700 kB Active(anon): 55928 kB Inactive(anon): 8592 kB Active(file): 338704 kB Inactive(file): 276108 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42296 kB Writeback: 0 kB AnonPages: 55824 kB Mapped: 29372 kB Shmem: 8960 kB Slab: 124696 kB SReclaimable: 98472 kB SUnreclaim: 26224 kB KernelStack: 3152 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 278184 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61904 MiB End job on node135 at 2017-08-02 14:56:29