Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 342 | 1921.48 | 245.02901 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml |
MD5SUM | 3de3ac871f1e1c584be6c245f66daf9e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 491 |
Best CPU time to get the best result obtained on this benchmark | 251.978 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2347 |
Number of constraints | 1352 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 2313 |
Distribution of domain sizes | [{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}] |
Minimum variable degree | 1 |
Maximum variable degree | 35 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}] |
Number of extensional constraints | 1152 |
Number of intensional constraints | 161 |
Distribution of constraint types | [{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.22/0.38 c version: 2017-07-26 0.22/0.38 c seed: 953803049 0.22/0.38 c timeout: 1920 0.22/0.38 c memlimit: 22000 0.22/0.38 c nbcore: 8 0.41/0.41 c Parsing instance... 2.01/0.99 c Parsing done, starting search... 38.58/8.86 o 268 38.58/8.90 o 269 39.37/8.91 o 270 40.11/9.03 o 271 41.71/9.25 o 273 41.71/9.26 o 274 41.71/9.26 o 275 42.51/9.33 o 276 43.31/9.46 o 277 44.11/9.50 o 278 44.11/9.51 o 279 44.11/9.52 o 280 44.11/9.52 o 281 44.11/9.57 o 282 44.11/9.59 o 283 44.87/9.60 o 284 44.87/9.62 o 291 44.87/9.63 o 292 44.87/9.64 o 293 44.87/9.64 o 294 68.75/12.61 o 313 68.75/12.61 o 314 68.75/12.61 o 315 68.75/12.66 o 317 68.75/12.67 o 318 69.54/12.76 o 319 69.54/12.77 o 320 69.54/12.77 o 321 70.35/12.82 o 322 70.35/12.86 o 323 70.35/12.87 o 324 71.10/12.97 o 327 71.10/12.98 o 328 71.10/12.98 o 329 87.03/14.90 o 330 87.03/14.91 o 331 88.62/15.17 o 332 106.91/17.50 o 333 133.22/20.75 o 334 209.69/30.39 o 335 304.44/42.23 o 336 323.58/44.61 o 337 327.62/45.15 o 338 370.59/50.59 o 339 371.43/50.63 o 340 372.23/50.71 o 341 372.23/50.72 o 342 1920.70/244.97 s SATISFIABLE 1920.70/244.97 v <instantiation> 1920.70/244.97 v <list> 1920.70/244.97 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[0][29] x[0][30] x[0][31] x[0][32] x[0][33] 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[1][29] x[1][30] x[1][31] x[1][32] x[1][33] 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[2][29] x[2][30] x[2][31] x[2][32] x[2][33] 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[3][29] x[3][30] x[3][31] x[3][32] x[3][33] 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[4][29] x[4][30] x[4][31] x[4][32] x[4][33] 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[5][29] x[5][30] x[5][31] x[5][32] x[5][33] 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[6][29] x[6][30] x[6][31] x[6][32] x[6][33] 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[7][29] x[7][30] x[7][31] x[7][32] x[7][33] 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[8][29] x[8][30] x[8][31] x[8][32] x[8][33] 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[9][29] x[9][30] x[9][31] x[9][32] x[9][33] 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[10][29] x[10][30] x[10][31] x[10][32] x[10][33] 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[11][29] x[11][30] x[11][31] x[11][32] x[11][33] 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[12][29] x[12][30] x[12][31] x[12][32] x[12][33] 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[13][29] x[13][30] x[13][31] x[13][32] x[13][33] 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[14][29] x[14][30] x[14][31] x[14][32] x[14][33] 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[15][29] x[15][30] x[15][31] x[15][32] x[15][33] 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[16][29] x[16][30] x[16][31] x[16][32] x[16][33] 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[17][29] x[17][30] x[17][31] x[17][32] x[17][33] 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[18][29] x[18][30] x[18][31] x[18][32] x[18][33] 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[19][29] x[19][30] x[19][31] x[19][32] x[19][33] 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[20][29] x[20][30] x[20][31] x[20][32] x[20][33] 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[21][29] x[21][30] x[21][31] x[21][32] x[21][33] 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[22][29] x[22][30] x[22][31] x[22][32] x[22][33] 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[23][29] x[23][30] x[23][31] x[23][32] x[23][33] 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[24][29] x[24][30] x[24][31] x[24][32] x[24][33] 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[25][29] x[25][30] x[25][31] x[25][32] x[25][33] 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[26][29] x[26][30] x[26][31] x[26][32] x[26][33] 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[27][29] x[27][30] x[27][31] x[27][32] x[27][33] 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] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[0][29] w[0][30] w[0][31] w[0][32] w[0][33] 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[1][29] w[1][30] w[1][31] w[1][32] w[1][33] 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[2][29] w[2][30] w[2][31] w[2][32] w[2][33] 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[3][29] w[3][30] w[3][31] w[3][32] w[3][33] 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[4][29] w[4][30] w[4][31] w[4][32] w[4][33] 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[5][29] w[5][30] w[5][31] w[5][32] w[5][33] 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[6][29] w[6][30] w[6][31] w[6][32] w[6][33] 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[7][29] w[7][30] w[7][31] w[7][32] w[7][33] 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[8][29] w[8][30] w[8][31] w[8][32] w[8][33] 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[9][29] w[9][30] w[9][31] w[9][32] w[9][33] 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[10][29] w[10][30] w[10][31] w[10][32] w[10][33] 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[11][29] w[11][30] w[11][31] w[11][32] w[11][33] 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[12][29] w[12][30] w[12][31] w[12][32] w[12][33] 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[13][29] w[13][30] w[13][31] w[13][32] w[13][33] 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[14][29] w[14][30] w[14][31] w[14][32] w[14][33] 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[15][29] w[15][30] w[15][31] w[15][32] w[15][33] 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[16][29] w[16][30] w[16][31] w[16][32] w[16][33] 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[17][29] w[17][30] w[17][31] w[17][32] w[17][33] 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[18][29] w[18][30] w[18][31] w[18][32] w[18][33] 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[19][29] w[19][30] w[19][31] w[19][32] w[19][33] 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[20][29] w[20][30] w[20][31] w[20][32] w[20][33] 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[21][29] w[21][30] w[21][31] w[21][32] w[21][33] 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[22][29] w[22][30] w[22][31] w[22][32] w[22][33] 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[23][29] w[23][30] w[23][31] w[23][32] w[23][33] 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[24][29] w[24][30] w[24][31] w[24][32] w[24][33] 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[25][29] w[25][30] w[25][31] w[25][32] w[25][33] 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[26][29] w[26][30] w[26][31] w[26][32] w[26][33] 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[27][29] w[27][30] w[27][31] w[27][32] w[27][33] 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] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] 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] ws[29] ws[30] ws[31] ws[32] ws[33] z 1920.70/244.97 v </list> 1920.70/244.97 v <values> 1920.70/244.97 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 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 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 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 1 0 1 2 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 2 2 1 2 2 2 2 2 2 1 0 2 1 1 1 0 0 1 0 1 0 0 1 1 1 2 1 0 1 1 2 0 0 1 1 0 1 1 2 2 1 2 1 2 0 0 0 1 1 0 1 0 1 0 1 0 0 2 2 0 1 0 0 1 1 1 0 0 1 0 0 1 2 1 1 0 1 0 2 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 1 1 1 0 0 1 1 0 1 0 0 0 2 1 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 1 2 2 1 0 1 1 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 0 1 0 1 2 1 0 0 0 1 1 0 1 1 2 2 1 1 2 0 0 0 1 0 0 1 0 1 2 2 0 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 0 1 0 2 1 2 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 2 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 2 1 0 0 1 0 0 0 0 1 0 2 0 2 2 2 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 2 1 1 1 0 0 0 0 0 0 2 0 2 2 2 1 1 0 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 2 2 2 2 2 1 1 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 2 2 2 2 2 2 1 2 2 2 2 2 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 2 2 2 2 2 2 2 0 1 0 2 1 1 1 1 0 0 1 0 0 2 0 0 2 1 0 1 0 0 1 0 1 0 1 1 2 2 2 2 2 1 1 2 0 0 0 0 0 0 1 1 1 1 0 0 0 2 2 1 1 0 0 1 0 1 0 1 0 2 2 2 2 2 2 2 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 2 2 1 1 1 1 1 1 0 0 2 2 2 2 2 2 1 1 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 2 1 1 1 0 1 0 1 1 0 2 1 1 2 1 0 0 0 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 1 1 1 2 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 2 0 0 0 0 1 1 2 2 1 2 1 1 2 1 1 2 0 0 1 0 0 0 0 1 1 1 2 1 2 1 1 2 0 1 0 0 0 1 0 2 2 2 2 2 1 2 1 0 1 0 1 0 1 2 1 0 1 1 1 1 0 1 0 2 2 2 2 1 1 0 0 1 2 1 2 2 2 0 1 0 1 0 0 2 1 1 2 1 1 1 0 0 1 0 0 2 0 0 2 2 2 2 1 0 1 1 0 1 0 2 1 1 2 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 0 1 0 1 0 2 0 2 0 0 0 0 0 0 1 2 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 1 2 1 1 2 0 0 1 1 0 1 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 2 0 1 1 2 1 1 2 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 2 0 1 1 0 2 0 1 0 0 0 0 0 0 0 0 1 1 0 2 0 0 1 0 0 2 0 1 0 0 1 2 1 2 1 1 0 0 1 1 2 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 2 2 0 0 0 0 0 2 2 2 2 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 2 1 0 1 0 1 0 1 2 1 1 0 0 0 1 1 2 2 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 27 71 105 133 153 170 186 205 229 249 264 279 299 319 345 378 407 435 467 495 511 527 554 589 623 649 670 692 708 722 747 769 791 808 342 1920.70/244.97 v </values> 1920.70/244.97 v </instantiation>
OK 342
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-4257330-1501679630/watcher-4257330-1501679630 -o /tmp/evaluation-result-4257330-1501679630/solver-4257330-1501679630 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node132-1501676530-13487 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 953803049 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257330-1501679630.xml pid=20210 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: 9.22 8.67 7.68 3/177 20213 /proc/meminfo: memFree=31655056/32770624 swapFree=0/297508 [pid=20213] ppid=20210 vsize=23672 CPUtime=0 cores=0-7 /proc/20213/stat : 20213 (runsolver) D 20210 20213 13431 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 67616430 24240128 106 18446744073709551615 4194304 4338465 140731503196144 140731503193784 140109589971671 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 21450752 140731503202403 140731503202882 140731503202882 140731503206346 0 /proc/20213/statm: 5918 106 53 36 0 2156 0 [startup+0.100167 s] /proc/loadavg: 9.22 8.67 7.68 3/177 20213 /proc/meminfo: memFree=31655056/32770624 swapFree=0/297508 [pid=20213] ppid=20210 vsize=23736052 CPUtime=0 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 2279 0 0 0 0 0 0 0 20 0 10 0 67616430 24305717248 2472 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 5934013 2472 1159 1 0 5923991 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23736052 [startup+0.200355 s] /proc/loadavg: 9.22 8.67 7.68 3/177 20213 /proc/meminfo: memFree=31655056/32770624 swapFree=0/297508 [pid=20213] ppid=20210 vsize=25993732 CPUtime=0.07 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 5629 0 0 0 6 1 0 0 20 0 20 0 67616430 26617581568 5324 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6498433 5324 2596 1 0 6487938 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 25993732 [startup+0.300269 s] /proc/loadavg: 9.22 8.67 7.68 3/177 20213 /proc/meminfo: memFree=31655056/32770624 swapFree=0/297508 [pid=20213] ppid=20210 vsize=25996604 CPUtime=0.22 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 10559 0 0 0 20 2 0 0 20 0 20 0 67616430 26620522496 8757 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6499151 8757 3511 1 0 6487938 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 25996604 [startup+0.700255 s] /proc/loadavg: 9.22 8.67 7.68 3/177 20213 /proc/meminfo: memFree=31655056/32770624 swapFree=0/297508 [pid=20213] ppid=20210 vsize=25998672 CPUtime=1.08 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 14800 0 0 0 103 5 0 0 20 0 20 0 67616430 26622640128 17603 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6499668 17603 3718 1 0 6488450 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 25998672 [startup+1.50141 s] /proc/loadavg: 8.80 8.59 7.66 3/197 20233 /proc/meminfo: memFree=31556584/32770624 swapFree=0/297524 [pid=20213] ppid=20210 vsize=26002768 CPUtime=3.89 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 30974 0 0 0 377 12 0 0 20 0 20 0 67616430 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6500692 47940 3756 1 0 6489474 0 [pid=20213/tid=20215] ppid=20210 vsize=26002768 CPUtime=1.35 cores=0-7 /proc/20213/task/20215/stat : 20215 (java) R 20210 20213 13431 0 -1 4202560 14489 0 0 0 128 7 0 0 20 0 20 0 67616439 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523615310064 140523611090326 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20216] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20216/stat : 20216 (java) S 20210 20213 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523568044560 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20217] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20217/stat : 20217 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523566992016 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20218] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20218/stat : 20218 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523565938960 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20219] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20219/stat : 20219 (java) S 20210 20213 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523564886416 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20220] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20220/stat : 20220 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523563834384 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20221] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20221/stat : 20221 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523562781840 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20222] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20222/stat : 20222 (java) S 20210 20213 13431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523561728784 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20223] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20223/stat : 20223 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616440 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140523560676240 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20224] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20224/stat : 20224 (java) S 20210 20213 13431 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 67616441 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522223061232 140523611089538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20225] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20225/stat : 20225 (java) S 20210 20213 13431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 67616442 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522222007456 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20226] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20226/stat : 20226 (java) S 20210 20213 13431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 67616442 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522220954352 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20227] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20227/stat : 20227 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616444 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522219902928 140523611096987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20228] ppid=20210 vsize=26002768 CPUtime=0.55 cores=0-7 /proc/20213/task/20228/stat : 20228 (java) R 20210 20213 13431 0 -1 4202560 3052 0 0 0 54 1 0 0 20 0 20 0 67616444 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522218851056 140523592601060 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20229] ppid=20210 vsize=26002768 CPUtime=0.61 cores=0-7 /proc/20213/task/20229/stat : 20229 (java) R 20210 20213 13431 0 -1 4202560 3129 0 0 0 61 0 0 0 20 0 20 0 67616444 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522217784392 140523592622622 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20230] ppid=20210 vsize=26002768 CPUtime=0.62 cores=0-7 /proc/20213/task/20230/stat : 20230 (java) R 20210 20213 13431 0 -1 4202560 3060 0 0 0 60 2 0 0 20 0 20 0 67616444 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522216745456 140523595988329 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20231] ppid=20210 vsize=26002768 CPUtime=0.73 cores=0-7 /proc/20213/task/20231/stat : 20231 (java) R 20210 20213 13431 0 -1 4202560 5848 0 0 0 72 1 0 0 20 0 20 0 67616444 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522215692912 140523611099738 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20232] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20232/stat : 20232 (java) S 20210 20213 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67616444 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522214640096 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20233] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20233/stat : 20233 (java) S 20210 20213 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67616449 26626834432 47940 18446744073709551615 4194304 4196468 140731616150960 140522213587632 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 26002768 [startup+3.10081 s] /proc/loadavg: 8.80 8.59 7.66 9/197 20233 /proc/meminfo: memFree=31231760/32770624 swapFree=0/297524 [pid=20213] ppid=20210 vsize=26002768 CPUtime=7.61 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 34990 0 0 0 711 50 0 0 20 0 20 0 67616430 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6500692 175777 3799 1 0 6489474 0 [pid=20213/tid=20215] ppid=20210 vsize=26002768 CPUtime=2.81 cores=0-7 /proc/20213/task/20215/stat : 20215 (java) R 20210 20213 13431 0 -1 4202560 15049 0 0 0 270 11 0 0 20 0 20 0 67616439 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523615314480 140523236026520 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20216] ppid=20210 vsize=26002768 CPUtime=0.08 cores=0-7 /proc/20213/task/20216/stat : 20216 (java) S 20210 20213 13431 0 -1 1077944384 73 0 0 0 5 3 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523568044560 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20217] ppid=20210 vsize=26002768 CPUtime=0.07 cores=0-7 /proc/20213/task/20217/stat : 20217 (java) S 20210 20213 13431 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523566992016 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20218] ppid=20210 vsize=26002768 CPUtime=0.08 cores=0-7 /proc/20213/task/20218/stat : 20218 (java) S 20210 20213 13431 0 -1 1077944384 72 0 0 0 5 3 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523565938960 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20219] ppid=20210 vsize=26002768 CPUtime=0.09 cores=0-7 /proc/20213/task/20219/stat : 20219 (java) S 20210 20213 13431 0 -1 1077944384 74 0 0 0 5 4 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523564886416 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20220] ppid=20210 vsize=26002768 CPUtime=0.09 cores=0-7 /proc/20213/task/20220/stat : 20220 (java) S 20210 20213 13431 0 -1 1077944384 114 0 0 0 5 4 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523563834384 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20221] ppid=20210 vsize=26002768 CPUtime=0.09 cores=0-7 /proc/20213/task/20221/stat : 20221 (java) S 20210 20213 13431 0 -1 1077944384 129 0 0 0 5 4 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523562781840 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20222] ppid=20210 vsize=26002768 CPUtime=0.1 cores=0-7 /proc/20213/task/20222/stat : 20222 (java) S 20210 20213 13431 0 -1 1077944384 178 0 0 0 7 3 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523561728784 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20223] ppid=20210 vsize=26002768 CPUtime=0.1 cores=0-7 /proc/20213/task/20223/stat : 20223 (java) S 20210 20213 13431 0 -1 1077944384 247 0 0 0 5 5 0 0 20 0 20 0 67616440 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140523560676240 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20224] ppid=20210 vsize=26002768 CPUtime=0.02 cores=0-7 /proc/20213/task/20224/stat : 20224 (java) S 20210 20213 13431 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 20 0 67616441 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522223061232 140523611089538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20225] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20225/stat : 20225 (java) S 20210 20213 13431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 67616442 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522222007520 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20226] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20226/stat : 20226 (java) S 20210 20213 13431 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 67616442 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522220954368 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20227] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20227/stat : 20227 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67616444 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522219902928 140523611096987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20228] ppid=20210 vsize=26002768 CPUtime=0.92 cores=0-7 /proc/20213/task/20228/stat : 20228 (java) R 20210 20213 13431 0 -1 4202560 3607 0 0 0 91 1 0 0 20 0 20 0 67616444 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522218831120 140523590773538 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20229] ppid=20210 vsize=26002768 CPUtime=1.15 cores=0-7 /proc/20213/task/20229/stat : 20229 (java) S 20210 20213 13431 0 -1 1077944384 3625 0 0 0 115 0 0 0 20 0 20 0 67616444 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522217798512 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20230] ppid=20210 vsize=26002768 CPUtime=1 cores=0-7 /proc/20213/task/20230/stat : 20230 (java) S 20210 20213 13431 0 -1 1077944384 3485 0 0 0 98 2 0 0 20 0 20 0 67616444 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522216745456 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20231] ppid=20210 vsize=26002768 CPUtime=0.87 cores=0-7 /proc/20213/task/20231/stat : 20231 (java) S 20210 20213 13431 0 -1 1077944384 6309 0 0 0 86 1 0 0 20 0 20 0 67616444 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522215692912 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20232] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20232/stat : 20232 (java) S 20210 20213 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67616444 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522214640096 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20233] ppid=20210 vsize=26002768 CPUtime=0 cores=0-7 /proc/20213/task/20233/stat : 20233 (java) S 20210 20213 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67616449 26626834432 175777 18446744073709551615 4194304 4196468 140731616150960 140522213587632 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 Current children cumulated CPU time (s) 7.61 Current children cumulated vsize (KiB) 26002768 [startup+6.30132 s] /proc/loadavg: 8.80 8.59 7.66 11/210 20246 /proc/meminfo: memFree=30291484/32770624 swapFree=0/297536 [pid=20213] ppid=20210 vsize=26872196 CPUtime=19.46 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 59252 0 0 0 1799 147 0 0 20 0 33 0 67616430 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6718049 601847 3824 1 0 6706831 0 [pid=20213/tid=20215] ppid=20210 vsize=26872196 CPUtime=4.73 cores=0-7 /proc/20213/task/20215/stat : 20215 (java) S 20210 20213 13431 0 -1 1077944384 18784 0 0 0 453 20 0 0 20 0 33 0 67616439 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523615315776 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20216] ppid=20210 vsize=26872196 CPUtime=0.46 cores=0-7 /proc/20213/task/20216/stat : 20216 (java) S 20210 20213 13431 0 -1 1077944384 1452 0 0 0 35 11 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523568044560 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20217] ppid=20210 vsize=26872196 CPUtime=0.46 cores=0-7 /proc/20213/task/20217/stat : 20217 (java) S 20210 20213 13431 0 -1 1077944384 1730 0 0 0 34 12 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523566992016 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20218] ppid=20210 vsize=26872196 CPUtime=0.46 cores=0-7 /proc/20213/task/20218/stat : 20218 (java) S 20210 20213 13431 0 -1 1077944384 2639 0 0 0 35 11 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523565938960 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20219] ppid=20210 vsize=26872196 CPUtime=0.47 cores=0-7 /proc/20213/task/20219/stat : 20219 (java) S 20210 20213 13431 0 -1 1077944384 1517 0 0 0 35 12 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523564886416 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20220] ppid=20210 vsize=26872196 CPUtime=0.47 cores=0-7 /proc/20213/task/20220/stat : 20220 (java) S 20210 20213 13431 0 -1 1077944384 1865 0 0 0 34 13 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523563834384 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20221] ppid=20210 vsize=26872196 CPUtime=0.48 cores=0-7 /proc/20213/task/20221/stat : 20221 (java) S 20210 20213 13431 0 -1 1077944384 1826 0 0 0 35 13 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523562781840 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20222] ppid=20210 vsize=26872196 CPUtime=0.48 cores=0-7 /proc/20213/task/20222/stat : 20222 (java) S 20210 20213 13431 0 -1 1077944384 1878 0 0 0 36 12 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523561728784 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20223] ppid=20210 vsize=26872196 CPUtime=0.48 cores=0-7 /proc/20213/task/20223/stat : 20223 (java) S 20210 20213 13431 0 -1 1077944384 1681 0 0 0 35 13 0 0 20 0 33 0 67616440 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140523560676240 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20224] ppid=20210 vsize=26872196 CPUtime=0.06 cores=0-7 /proc/20213/task/20224/stat : 20224 (java) S 20210 20213 13431 0 -1 1077944384 2913 0 0 0 6 0 0 0 20 0 33 0 67616441 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522223061232 140523611089538 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20225] ppid=20210 vsize=26872196 CPUtime=0 cores=0-7 /proc/20213/task/20225/stat : 20225 (java) S 20210 20213 13431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 33 0 67616442 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522222007520 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20226] ppid=20210 vsize=26872196 CPUtime=0 cores=0-7 /proc/20213/task/20226/stat : 20226 (java) S 20210 20213 13431 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 33 0 67616442 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522220954368 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20227] ppid=20210 vsize=26872196 CPUtime=0 cores=0-7 /proc/20213/task/20227/stat : 20227 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 67616444 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522219902928 140523611096987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20228] ppid=20210 vsize=26872196 CPUtime=1.22 cores=0-7 /proc/20213/task/20228/stat : 20228 (java) S 20210 20213 13431 0 -1 1077944384 4540 0 0 0 121 1 0 0 20 0 33 0 67616444 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522218851056 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20229] ppid=20210 vsize=26872196 CPUtime=1.49 cores=0-7 /proc/20213/task/20229/stat : 20229 (java) S 20210 20213 13431 0 -1 1077944384 4071 0 0 0 149 0 0 0 20 0 33 0 67616444 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522217798512 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20230] ppid=20210 vsize=26872196 CPUtime=1.5 cores=0-7 /proc/20213/task/20230/stat : 20230 (java) S 20210 20213 13431 0 -1 1077944384 4359 0 0 0 147 3 0 0 20 0 33 0 67616444 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522216745456 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20231] ppid=20210 vsize=26872196 CPUtime=1.08 cores=0-7 /proc/20213/task/20231/stat : 20231 (java) S 20210 20213 13431 0 -1 1077944384 7574 0 0 0 107 1 0 0 20 0 33 0 67616444 27517128704 601847 18446744073709551615 4194304 4196468 140731616150960 140522215692912 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20232] ppid=20210 vsize=26872196 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/20213/task/20239/stat : 20239 (java) R 20210 20213 13431 0 -1 4202560 16911 0 0 0 21279 26 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522126539928 140523236079577 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20240] ppid=20210 vsize=27741660 CPUtime=214.28 cores=0-7 /proc/20213/task/20240/stat : 20240 (java) R 20210 20213 13431 0 -1 4202560 15699 0 0 0 21392 36 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522125487432 140523229452592 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20241] ppid=20210 vsize=27741660 CPUtime=0.69 cores=0-7 /proc/20213/task/20241/stat : 20241 (java) S 20210 20213 13431 0 -1 1077944384 185 0 0 0 67 2 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522124440848 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20242] ppid=20210 vsize=27741660 CPUtime=0.71 cores=0-7 /proc/20213/task/20242/stat : 20242 (java) S 20210 20213 13431 0 -1 1077944384 182 0 0 0 69 2 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522123387792 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20243] ppid=20210 vsize=27741660 CPUtime=213.63 cores=0-7 /proc/20213/task/20243/stat : 20243 (java) R 20210 20213 13431 0 -1 4202560 15074 0 0 0 21329 34 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522122328712 140523236149776 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20244] ppid=20210 vsize=27741660 CPUtime=214.36 cores=0-7 /proc/20213/task/20244/stat : 20244 (java) R 20210 20213 13431 0 -1 4202560 19363 0 0 0 21403 33 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522121276680 140523236568340 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20245] ppid=20210 vsize=27741660 CPUtime=213.72 cores=0-7 /proc/20213/task/20245/stat : 20245 (java) R 20210 20213 13431 0 -1 4202560 36210 0 0 0 21330 42 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522120226736 140523234008230 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20246] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20246/stat : 20246 (java) S 20210 20213 13431 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 46 0 67616936 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522119177616 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20247] ppid=20210 vsize=27741660 CPUtime=213.18 cores=0-7 /proc/20213/task/20247/stat : 20247 (java) R 20210 20213 13431 0 -1 4202560 15348 0 0 0 21280 38 0 0 20 0 46 0 67617062 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522118118288 140523234008251 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20248] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20248/stat : 20248 (java) S 20210 20213 13431 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522117072016 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20249] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20249/stat : 20249 (java) S 20210 20213 13431 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522116019472 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20250] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20250/stat : 20250 (java) S 20210 20213 13431 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522114966416 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20251] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20251/stat : 20251 (java) S 20210 20213 13431 0 -1 1077944384 618 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522113913872 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20252] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20252/stat : 20252 (java) S 20210 20213 13431 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 46 0 67617320 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522110727824 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20253] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20253/stat : 20253 (java) S 20210 20213 13431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 67617322 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522109675280 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20254] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20254/stat : 20254 (java) S 20210 20213 13431 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 46 0 67617324 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522108622224 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20255] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20255/stat : 20255 (java) S 20210 20213 13431 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 67617325 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522107569680 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20256] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20256/stat : 20256 (java) S 20210 20213 13431 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 46 0 67617383 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522106516624 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20257] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20257/stat : 20257 (java) S 20210 20213 13431 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 46 0 67617387 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522105464080 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20258] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20258/stat : 20258 (java) S 20210 20213 13431 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 46 0 67617691 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522104411024 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20259] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20259/stat : 20259 (java) S 20210 20213 13431 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 46 0 67617707 28407459840 1520928 18446744073709551615 4194304 4196468 140731616150960 140522103358480 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 Current children cumulated CPU time (s) 1740.51 Current children cumulated vsize (KiB) 27741660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+244.902 s] /proc/loadavg: 8.83 8.71 7.91 9/224 20301 /proc/meminfo: memFree=25565768/32770624 swapFree=0/297648 [pid=20213] ppid=20210 vsize=27741660 CPUtime=1920.7 cores=0-7 /proc/20213/stat : 20213 (java) S 20210 20213 13431 0 -1 1077944320 303656 0 0 0 191464 606 0 0 20 0 46 0 67616430 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140731616133504 140523611078391 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 /proc/20213/statm: 6935415 1523534 3838 1 0 6923676 0 [pid=20213/tid=20215] ppid=20210 vsize=27741660 CPUtime=4.74 cores=0-7 /proc/20213/task/20215/stat : 20215 (java) S 20210 20213 13431 0 -1 1077944384 18794 0 0 0 454 20 0 0 20 0 46 0 67616439 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523615316096 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20216] ppid=20210 vsize=27741660 CPUtime=1.93 cores=0-7 /proc/20213/task/20216/stat : 20216 (java) S 20210 20213 13431 0 -1 1077944384 8955 0 0 0 160 33 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523568044560 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20217] ppid=20210 vsize=27741660 CPUtime=1.93 cores=0-7 /proc/20213/task/20217/stat : 20217 (java) S 20210 20213 13431 0 -1 1077944384 7733 0 0 0 159 34 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523566992016 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20218] ppid=20210 vsize=27741660 CPUtime=1.95 cores=0-7 /proc/20213/task/20218/stat : 20218 (java) S 20210 20213 13431 0 -1 1077944384 8942 0 0 0 163 32 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523565938960 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20219] ppid=20210 vsize=27741660 CPUtime=1.96 cores=0-7 /proc/20213/task/20219/stat : 20219 (java) S 20210 20213 13431 0 -1 1077944384 10811 0 0 0 161 35 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523564886416 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20220] ppid=20210 vsize=27741660 CPUtime=1.92 cores=0-7 /proc/20213/task/20220/stat : 20220 (java) S 20210 20213 13431 0 -1 1077944384 8386 0 0 0 158 34 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523563834384 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20221] ppid=20210 vsize=27741660 CPUtime=1.91 cores=0-7 /proc/20213/task/20221/stat : 20221 (java) S 20210 20213 13431 0 -1 1077944384 9458 0 0 0 155 36 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523562781840 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20222] ppid=20210 vsize=27741660 CPUtime=1.93 cores=0-7 /proc/20213/task/20222/stat : 20222 (java) S 20210 20213 13431 0 -1 1077944384 9544 0 0 0 158 35 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523561728784 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20223] ppid=20210 vsize=27741660 CPUtime=1.82 cores=0-7 /proc/20213/task/20223/stat : 20223 (java) S 20210 20213 13431 0 -1 1077944384 8849 0 0 0 149 33 0 0 20 0 46 0 67616440 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140523560676240 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20224] ppid=20210 vsize=27741660 CPUtime=0.17 cores=0-7 /proc/20213/task/20224/stat : 20224 (java) S 20210 20213 13431 0 -1 1077944384 9381 0 0 0 15 2 0 0 20 0 46 0 67616441 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522223061232 140523611089538 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20225] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20225/stat : 20225 (java) S 20210 20213 13431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 67616442 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522222007520 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20226] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20226/stat : 20226 (java) S 20210 20213 13431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 67616442 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522220954368 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20227] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20227/stat : 20227 (java) S 20210 20213 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 67616444 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522219902928 140523611096987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20228] ppid=20210 vsize=27741660 CPUtime=2.19 cores=0-7 /proc/20213/task/20228/stat : 20228 (java) S 20210 20213 13431 0 -1 1077944384 8986 0 0 0 217 2 0 0 20 0 46 0 67616444 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522218851056 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20229] ppid=20210 vsize=27741660 CPUtime=2.21 cores=0-7 /proc/20213/task/20229/stat : 20229 (java) S 20210 20213 13431 0 -1 1077944384 6409 0 0 0 220 1 0 0 20 0 46 0 67616444 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522217798512 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20230] ppid=20210 vsize=27741660 CPUtime=2.51 cores=0-7 /proc/20213/task/20230/stat : 20230 (java) S 20210 20213 13431 0 -1 1077944384 10698 0 0 0 248 3 0 0 20 0 46 0 67616444 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522216745456 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20231] ppid=20210 vsize=27741660 CPUtime=1.24 cores=0-7 /proc/20213/task/20231/stat : 20231 (java) S 20210 20213 13431 0 -1 1077944384 16210 0 0 0 122 2 0 0 20 0 46 0 67616444 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522215692912 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20232] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20232/stat : 20232 (java) S 20210 20213 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 67616444 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522214640096 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20233] ppid=20210 vsize=27741660 CPUtime=0.09 cores=0-7 /proc/20213/task/20233/stat : 20233 (java) S 20210 20213 13431 0 -1 1077944384 1289 0 0 0 4 5 0 0 20 0 46 0 67616449 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522213587632 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20234] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20234/stat : 20234 (java) S 20210 20213 13431 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 46 0 67616912 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522133905952 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20235] ppid=20210 vsize=27741660 CPUtime=0.75 cores=0-7 /proc/20213/task/20235/stat : 20235 (java) S 20210 20213 13431 0 -1 1077944384 3193 0 0 0 35 40 0 0 20 0 46 0 67616923 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522132853552 140523611089538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20236] ppid=20210 vsize=27741660 CPUtime=236.62 cores=0-7 /proc/20213/task/20236/stat : 20236 (java) R 20210 20213 13431 0 -1 4202560 17559 0 0 0 23624 38 0 0 20 0 46 0 67616933 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522129698384 140523230848642 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20237] ppid=20210 vsize=27741660 CPUtime=235.36 cores=0-7 /proc/20213/task/20237/stat : 20237 (java) R 20210 20213 13431 0 -1 4202560 14227 0 0 0 23502 34 0 0 20 0 46 0 67616933 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522128646088 140523236079533 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20238] ppid=20210 vsize=27741660 CPUtime=0.66 cores=0-7 /proc/20213/task/20238/stat : 20238 (java) S 20210 20213 13431 0 -1 1077944384 168 0 0 0 64 2 0 0 20 0 46 0 67616934 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522127598992 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20239] ppid=20210 vsize=27741660 CPUtime=235.6 cores=0-7 /proc/20213/task/20239/stat : 20239 (java) R 20210 20213 13431 0 -1 4202560 17040 0 0 0 23533 27 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522126539912 140523234952667 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20240] ppid=20210 vsize=27741660 CPUtime=236.85 cores=0-7 /proc/20213/task/20240/stat : 20240 (java) R 20210 20213 13431 0 -1 4202560 15776 0 0 0 23648 37 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522125486536 140523235625076 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20241] ppid=20210 vsize=27741660 CPUtime=0.69 cores=0-7 /proc/20213/task/20241/stat : 20241 (java) S 20210 20213 13431 0 -1 1077944384 185 0 0 0 67 2 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522124440848 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20242] ppid=20210 vsize=27741660 CPUtime=0.71 cores=0-7 /proc/20213/task/20242/stat : 20242 (java) S 20210 20213 13431 0 -1 1077944384 182 0 0 0 69 2 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522123387792 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20243] ppid=20210 vsize=27741660 CPUtime=236.17 cores=0-7 /proc/20213/task/20243/stat : 20243 (java) R 20210 20213 13431 0 -1 4202560 15207 0 0 0 23583 34 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522122329288 140523236568377 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20244] ppid=20210 vsize=27741660 CPUtime=236.91 cores=0-7 /proc/20213/task/20244/stat : 20244 (java) R 20210 20213 13431 0 -1 4202560 19494 0 0 0 23658 33 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522121276392 140523236568322 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20245] ppid=20210 vsize=27741660 CPUtime=236.05 cores=0-7 /proc/20213/task/20245/stat : 20245 (java) R 20210 20213 13431 0 -1 4202560 36329 0 0 0 23562 43 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522120226448 140523236568322 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20246] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20246/stat : 20246 (java) S 20210 20213 13431 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 46 0 67616936 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522119177616 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20247] ppid=20210 vsize=27741660 CPUtime=235.51 cores=0-7 /proc/20213/task/20247/stat : 20247 (java) R 20210 20213 13431 0 -1 4202560 15465 0 0 0 23512 39 0 0 20 0 46 0 67617062 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522118118120 140523235789056 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20248] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20248/stat : 20248 (java) S 20210 20213 13431 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522117072016 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20249] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20249/stat : 20249 (java) S 20210 20213 13431 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522116019472 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20250] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20250/stat : 20250 (java) S 20210 20213 13431 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522114966416 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20251] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20251/stat : 20251 (java) S 20210 20213 13431 0 -1 1077944384 618 0 0 0 0 0 0 0 20 0 46 0 67617062 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522113913872 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20252] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20252/stat : 20252 (java) S 20210 20213 13431 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 46 0 67617320 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522110727824 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20253] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20253/stat : 20253 (java) S 20210 20213 13431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 67617322 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522109675280 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20254] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20254/stat : 20254 (java) S 20210 20213 13431 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 46 0 67617324 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522108622224 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20255] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20255/stat : 20255 (java) S 20210 20213 13431 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 46 0 67617325 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522107569680 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20256] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20256/stat : 20256 (java) S 20210 20213 13431 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 46 0 67617383 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522106516624 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20257] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20257/stat : 20257 (java) S 20210 20213 13431 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 46 0 67617387 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522105464080 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20258] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20258/stat : 20258 (java) S 20210 20213 13431 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 46 0 67617691 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522104411024 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 [pid=20213/tid=20259] ppid=20210 vsize=27741660 CPUtime=0 cores=0-7 /proc/20213/task/20259/stat : 20259 (java) S 20210 20213 13431 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 46 0 67617707 28407459840 1523534 18446744073709551615 4194304 4196468 140731616150960 140522103358480 140523611088597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8269824 140731616153999 140731616154183 140731616154183 140731616157647 0 Current children cumulated CPU time (s) 1920.7 Current children cumulated vsize (KiB) 27741660 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 20213 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+245.012 s] /proc/loadavg: 8.83 8.71 7.91 9/224 20301 /proc/meminfo: memFree=25565768/32770624 swapFree=0/297648 [pid=20213] ppid=20210 vsize=0 CPUtime=1921.46 cores=0-7 /proc/20213/stat : 20213 (java) Z 20210 20213 13431 0 -1 4228108 305891 0 0 0 191538 608 0 0 20 0 2 0 67616430 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 0 0 0 0 0 0 0 0 /proc/20213/statm: 0 0 0 0 0 0 0 [pid=20213/tid=20244] ppid=20210 vsize=0 CPUtime=237.01 cores=0-7 /proc/20213/task/20244/stat : 20244 (java) R 20210 20213 13431 0 -1 4203588 19494 0 0 0 23667 34 0 0 20 0 2 0 67616936 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 6 0 0 2 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1921.46 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 245.029 CPU time (s): 1921.48 CPU user time (s): 1915.38 CPU system time (s): 6.09837 CPU usage (%): 784.186 Max. virtual memory (cumulated for all children) (KiB): 27741660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1915.38 system time used= 6.09837 maximum resident set size= 6095508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 305891 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= 39735 involuntary context switches= 43150 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.89451 second user time and 3.00406 second system time The end
Begin job on node132 at 2017-08-02 14:59:31 IDJOB=4257330 IDBENCH=115918 IDSOLVER=2641 FILE ID=node132/4257330-1501679630 RUNJOBID= node132-1501676530-13487 PBS_JOBID= Free space on /tmp= 61880 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.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-4257330-1501679630/watcher-4257330-1501679630 -o /tmp/evaluation-result-4257330-1501679630/solver-4257330-1501679630 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node132-1501676530-13487 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 953803049 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257330-1501679630.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=953803049 node132.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.74 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.74 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.74 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.74 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: 31655124 kB MemAvailable: 32000160 kB Buffers: 162332 kB Cached: 477040 kB SwapCached: 0 kB Active: 374228 kB Inactive: 321944 kB Active(anon): 57652 kB Inactive(anon): 24436 kB Active(file): 316576 kB Inactive(file): 297508 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42300 kB Writeback: 0 kB AnonPages: 56624 kB Mapped: 39296 kB Shmem: 25276 kB Slab: 119444 kB SReclaimable: 93576 kB SUnreclaim: 25868 kB KernelStack: 3200 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 294736 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61836 MiB End job on node132 at 2017-08-02 15:03:37