Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - ALNS 2017-07-26 | SAT (TO) | 316 | 248.967 | 240.039 |
| 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.25/0.36 c version: 2017-07-26 0.25/0.36 c seed: 2082168680 0.25/0.36 c timeout: 264 0.25/0.36 c memlimit: 11000 0.25/0.36 c nbcore: 4 0.25/0.39 c Parsing instance... 4.68/2.06 c Parsing done, starting search... 6.85/2.90 o 299 28.22/22.43 o 301 56.78/50.34 o 302 63.32/56.83 o 303 63.62/57.11 o 312 63.73/57.23 o 314 72.07/65.50 o 315 235.38/226.81 o 316 248.91/240.00 s SATISFIABLE 248.91/240.01 v <instantiation> 248.91/240.01 v <list> 248.91/240.01 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 248.91/240.01 v </list> 248.91/240.01 v <values> 248.91/240.01 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 1 1 2 1 1 2 1 0 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 2 1 1 2 1 1 1 2 2 1 2 1 1 2 2 1 2 1 1 2 1 1 2 1 1 2 1 1 2 1 2 1 0 1 0 0 0 0 1 0 1 2 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 2 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 2 0 0 0 0 1 0 2 2 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 1 2 1 1 2 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 2 1 2 2 0 0 0 1 2 0 0 0 1 0 1 0 0 0 0 1 1 2 1 1 0 1 0 0 0 1 0 0 0 2 2 2 2 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 2 1 0 1 0 1 0 0 0 1 0 1 0 2 1 1 1 0 0 1 2 1 0 0 1 1 0 0 1 1 1 1 0 0 1 2 1 1 2 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 2 1 2 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 2 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 2 1 1 0 0 0 0 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 2 1 1 1 1 0 0 1 1 2 0 2 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 2 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 32 96 156 214 268 328 390 450 510 570 609 622 632 648 657 662 675 690 705 721 744 764 781 799 814 822 837 861 867 873 891 894 900 912 316 248.91/240.01 v </values> 248.91/240.01 v </instantiation>
OK 316
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-4255839-1501626383/watcher-4255839-1501626383 -o /tmp/evaluation-result-4255839-1501626383/solver-4255839-1501626383 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15277 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 2082168680 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255839-1501626383.xml pid=17155 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.44 1.45 1.51 7/196 17158 /proc/meminfo: memFree=31032300/32770624 swapFree=0/938148 [pid=17158] ppid=17155 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/17158/stat : 17158 (runsolver) D 17155 17158 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11263058 24240128 108 18446744073709551615 4194304 4338465 140722465460368 140722465458008 140697220498135 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 8585216 140722465468524 140722465468998 140722465468998 140722465472458 0 /proc/17158/statm: 5918 108 54 36 0 2156 0 [startup+0.100133 s] /proc/loadavg: 1.44 1.45 1.51 7/196 17158 /proc/meminfo: memFree=31032300/32770624 swapFree=0/938148 [pid=17158] ppid=17155 vsize=13440536 CPUtime=0.01 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 3721 0 0 0 1 0 0 0 20 0 7 0 11263058 13763108864 3857 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3360134 3857 1960 1 0 3349639 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13440536 [startup+0.200313 s] /proc/loadavg: 1.44 1.45 1.51 7/196 17158 /proc/meminfo: memFree=31032300/32770624 swapFree=0/938148 [pid=17158] ppid=17155 vsize=13975920 CPUtime=0.1 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 7128 0 0 0 9 1 0 0 20 0 15 0 11263058 14311342080 7802 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3493980 7802 3364 1 0 3482767 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13975920 [startup+0.30075 s] /proc/loadavg: 1.44 1.45 1.51 7/196 17158 /proc/meminfo: memFree=31032300/32770624 swapFree=0/938148 [pid=17158] ppid=17155 vsize=13975920 CPUtime=0.25 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 10937 0 0 0 22 3 0 0 20 0 15 0 11263058 14311342080 10170 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3493980 10170 3488 1 0 3482767 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13975920 [startup+0.703573 s] /proc/loadavg: 1.44 1.45 1.51 7/196 17158 /proc/meminfo: memFree=31032300/32770624 swapFree=0/938148 [pid=17158] ppid=17155 vsize=13977988 CPUtime=1.15 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 14253 0 0 0 110 5 0 0 20 0 15 0 11263058 14313459712 18583 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3494497 18583 3726 1 0 3483279 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 13977988 [startup+1.5094 s] /proc/loadavg: 1.44 1.45 1.51 7/209 17219 /proc/meminfo: memFree=30969980/32770624 swapFree=0/938184 [pid=17158] ppid=17155 vsize=13982084 CPUtime=3.7 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 32464 0 0 0 358 12 0 0 20 0 15 0 11263058 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 56742 3766 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=1.36 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) S 17155 17158 5678 0 -1 1077944384 15515 0 0 0 129 7 0 0 20 0 15 0 11263066 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952850360832 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) R 17155 17158 5678 0 -1 4202560 441 0 0 0 1 0 0 0 20 0 15 0 11263066 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952831154722 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) R 17155 17158 5678 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 11263066 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952831154686 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) R 17155 17158 5678 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 11263066 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952831154686 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) R 17155 17158 5678 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 15 0 11263066 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952443103960 139952831154677 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952392598688 139952846137045 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952391546144 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952390493808 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=0.75 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 3689 0 0 0 74 1 0 0 20 0 15 0 11263071 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952388373968 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=0.81 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) R 17155 17158 5678 0 -1 4202560 4724 0 0 0 81 0 0 0 20 0 15 0 11263071 14317654016 56742 18446744073709551615 4194304 4196468 140734805585888 139952387322056 139952825819939 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=0.7 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 6170 0 0 0 69 1 0 0 20 0 15 0 11263071 14317654016 57254 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 57254 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11263075 14317654016 57254 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 3.7 Current children cumulated vsize (KiB) 13982084 [startup+3.1006 s] /proc/loadavg: 1.65 1.49 1.52 7/209 17219 /proc/meminfo: memFree=30600456/32770624 swapFree=0/938200 [pid=17158] ppid=17155 vsize=13982084 CPUtime=7.29 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 36290 0 0 0 706 23 0 0 20 0 15 0 11263058 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 110593 3804 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=2.86 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 16266 0 0 0 278 8 0 0 20 0 15 0 11263066 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952850362720 139952475240212 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 534 0 0 0 5 2 0 0 20 0 15 0 11263066 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.05 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 111 0 0 0 3 2 0 0 20 0 15 0 11263066 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 110 0 0 0 5 2 0 0 20 0 15 0 11263066 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.06 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 171 0 0 0 4 2 0 0 20 0 15 0 11263066 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 15 0 11263068 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=1.51 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 4435 0 0 0 150 1 0 0 20 0 15 0 11263071 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952388388976 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=1.72 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) S 17155 17158 5678 0 -1 1077944384 5517 0 0 0 171 1 0 0 20 0 15 0 11263071 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952387336176 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=0.86 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 6961 0 0 0 84 2 0 0 20 0 15 0 11263071 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 11263075 14317654016 110593 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 13982084 [startup+6.30065 s] /proc/loadavg: 1.65 1.49 1.52 5/209 17219 /proc/meminfo: memFree=30282984/32770624 swapFree=0/938208 [pid=17158] ppid=17155 vsize=13982084 CPUtime=11.32 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 37367 0 0 0 1103 29 0 0 20 0 15 0 11263058 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 122047 3805 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=6.02 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 16429 0 0 0 594 8 0 0 20 0 15 0 11263066 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952850363592 139952476539908 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 615 0 0 0 8 3 0 0 20 0 15 0 11263066 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.09 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 160 0 0 0 6 3 0 0 20 0 15 0 11263066 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 162 0 0 0 8 3 0 0 20 0 15 0 11263066 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.1 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 221 0 0 0 7 3 0 0 20 0 15 0 11263066 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 15 0 11263068 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=1.85 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 4887 0 0 0 184 1 0 0 20 0 15 0 11263071 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952388388976 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=2.01 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) S 17155 17158 5678 0 -1 1077944384 5637 0 0 0 200 1 0 0 20 0 15 0 11263071 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952387336176 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=0.93 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 7065 0 0 0 91 2 0 0 20 0 15 0 11263071 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 11263075 14317654016 122047 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 11.32 Current children cumulated vsize (KiB) 13982084 [startup+12.7006 s] /proc/loadavg: 1.62 1.49 1.52 3/209 17219 /proc/meminfo: memFree=30004692/32770624 swapFree=0/938220 [pid=17158] ppid=17155 vsize=13982084 CPUtime=18.19 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 44470 0 0 0 1780 39 0 0 20 0 15 0 11263058 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 199657 3806 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=12.36 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 18855 0 0 0 1224 12 0 0 20 0 15 0 11263066 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952850363896 139952476557659 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 691 0 0 0 12 5 0 0 20 0 15 0 11263066 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.14 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 258 0 0 0 10 4 0 0 20 0 15 0 11263066 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.16 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 375 0 0 0 11 5 0 0 20 0 15 0 11263066 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.15 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 2259 0 0 0 10 5 0 0 20 0 15 0 11263066 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 1276 0 0 0 2 0 0 0 20 0 15 0 11263068 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 199657 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 ################ # More data... # ################ /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 879600 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 581 0 0 0 1 1 0 0 20 0 15 0 11263075 14317654016 879600 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 57.58 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.56 1.51 1.53 3/209 17222 /proc/meminfo: memFree=27218528/32770624 swapFree=0/938280 [pid=17158] ppid=17155 vsize=13982084 CPUtime=109.17 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 67692 0 0 0 10814 103 0 0 20 0 15 0 11263058 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 883117 3815 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=101.76 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 28668 0 0 0 10123 53 0 0 20 0 15 0 11263066 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952850364512 139952476886326 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.35 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 1025 0 0 0 26 9 0 0 20 0 15 0 11263066 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.32 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 455 0 0 0 23 9 0 0 20 0 15 0 11263066 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.35 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 969 0 0 0 25 10 0 0 20 0 15 0 11263066 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.33 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 3121 0 0 0 24 9 0 0 20 0 15 0 11263066 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.06 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 2982 0 0 0 4 2 0 0 20 0 15 0 11263068 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=2.44 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 9013 0 0 0 243 1 0 0 20 0 15 0 11263071 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952388388976 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=2.36 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) S 17155 17158 5678 0 -1 1077944384 9064 0 0 0 235 1 0 0 20 0 15 0 11263071 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952387336176 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=1.06 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 10324 0 0 0 104 2 0 0 20 0 15 0 11263071 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0.03 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 617 0 0 0 1 2 0 0 20 0 15 0 11263075 14317654016 883117 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 109.17 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.37 1.48 1.51 3/209 17224 /proc/meminfo: memFree=27352524/32770624 swapFree=0/938304 [pid=17158] ppid=17155 vsize=13982084 CPUtime=169.84 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 80194 0 0 0 16875 109 0 0 20 0 15 0 11263058 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 848545 3815 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=161.57 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 32389 0 0 0 16103 54 0 0 20 0 15 0 11263066 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952850360992 139952477366016 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.51 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 1277 0 0 0 41 10 0 0 20 0 15 0 11263066 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.48 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 734 0 0 0 38 10 0 0 20 0 15 0 11263066 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.5 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 1571 0 0 0 39 11 0 0 20 0 15 0 11263066 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.5 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 3280 0 0 0 40 10 0 0 20 0 15 0 11263066 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 3234 0 0 0 5 2 0 0 20 0 15 0 11263068 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=2.53 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 11239 0 0 0 251 2 0 0 20 0 15 0 11263071 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952388388976 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=2.41 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) S 17155 17158 5678 0 -1 1077944384 11734 0 0 0 239 2 0 0 20 0 15 0 11263071 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952387336176 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=1.09 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 12520 0 0 0 107 2 0 0 20 0 15 0 11263071 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 753 0 0 0 3 4 0 0 20 0 15 0 11263075 14317654016 848545 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 169.84 Current children cumulated vsize (KiB) 13982084 [startup+222.306 s] /proc/loadavg: 1.45 1.48 1.51 3/210 17227 /proc/meminfo: memFree=27430956/32770624 swapFree=0/938328 [pid=17158] ppid=17155 vsize=13982084 CPUtime=230.78 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 90292 0 0 0 22964 114 0 0 20 0 15 0 11263058 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 827234 3815 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=221.27 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 35936 0 0 0 22073 54 0 0 20 0 15 0 11263066 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952850360880 139952477365964 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.78 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 1613 0 0 0 67 11 0 0 20 0 15 0 11263066 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.75 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 972 0 0 0 65 10 0 0 20 0 15 0 11263066 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.77 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 1816 0 0 0 66 11 0 0 20 0 15 0 11263066 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.77 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 4098 0 0 0 66 11 0 0 20 0 15 0 11263066 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.1 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 3449 0 0 0 7 3 0 0 20 0 15 0 11263068 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=2.57 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 12557 0 0 0 255 2 0 0 20 0 15 0 11263071 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952388388976 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=2.45 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) S 17155 17158 5678 0 -1 1077944384 12662 0 0 0 243 2 0 0 20 0 15 0 11263071 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952387336176 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 14884 0 0 0 109 3 0 0 20 0 15 0 11263071 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0.1 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 842 0 0 0 4 6 0 0 20 0 15 0 11263075 14317654016 827234 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 230.78 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.35 1.45 1.50 3/210 17227 /proc/meminfo: memFree=27439012/32770624 swapFree=0/938336 [pid=17158] ppid=17155 vsize=13982084 CPUtime=248.91 cores=1,3,5,7 /proc/17158/stat : 17158 (java) S 17155 17158 5678 0 -1 1077944320 97064 0 0 0 24775 116 0 0 20 0 15 0 11263058 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 140734805568432 139952846126839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 /proc/17158/statm: 3495521 825211 3815 1 0 3484303 0 [pid=17158/tid=17160] ppid=17155 vsize=13982084 CPUtime=238.83 cores=1,3,5,7 /proc/17158/task/17160/stat : 17160 (java) R 17155 17158 5678 0 -1 4202560 38320 0 0 0 23829 54 0 0 20 0 15 0 11263066 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952850364400 139952476272290 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17161] ppid=17155 vsize=13982084 CPUtime=0.9 cores=1,3,5,7 /proc/17158/task/17161/stat : 17161 (java) S 17155 17158 5678 0 -1 1077944384 1800 0 0 0 79 11 0 0 20 0 15 0 11263066 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952788072848 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17162] ppid=17155 vsize=13982084 CPUtime=0.88 cores=1,3,5,7 /proc/17158/task/17162/stat : 17162 (java) S 17155 17158 5678 0 -1 1077944384 1064 0 0 0 77 11 0 0 20 0 15 0 11263066 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952787020048 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17163] ppid=17155 vsize=13982084 CPUtime=0.9 cores=1,3,5,7 /proc/17158/task/17163/stat : 17163 (java) S 17155 17158 5678 0 -1 1077944384 1866 0 0 0 78 12 0 0 20 0 15 0 11263066 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952785967760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17164] ppid=17155 vsize=13982084 CPUtime=0.89 cores=1,3,5,7 /proc/17158/task/17164/stat : 17164 (java) S 17155 17158 5678 0 -1 1077944384 4752 0 0 0 78 11 0 0 20 0 15 0 11263066 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952443103760 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17165] ppid=17155 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/17158/task/17165/stat : 17165 (java) S 17155 17158 5678 0 -1 1077944384 3682 0 0 0 8 3 0 0 20 0 15 0 11263068 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952392600176 139952846137986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17166] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17166/stat : 17166 (java) S 17155 17158 5678 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952391546208 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17167] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17167/stat : 17167 (java) S 17155 17158 5678 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 11263068 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952390493824 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17168] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17168/stat : 17168 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952389442128 139952846145435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17169] ppid=17155 vsize=13982084 CPUtime=2.63 cores=1,3,5,7 /proc/17158/task/17169/stat : 17169 (java) S 17155 17158 5678 0 -1 1077944384 14204 0 0 0 261 2 0 0 20 0 15 0 11263071 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952388388976 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17170] ppid=17155 vsize=13982084 CPUtime=2.47 cores=1,3,5,7 /proc/17158/task/17170/stat : 17170 (java) S 17155 17158 5678 0 -1 1077944384 14165 0 0 0 245 2 0 0 20 0 15 0 11263071 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952387336176 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17171] ppid=17155 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/17158/task/17171/stat : 17171 (java) S 17155 17158 5678 0 -1 1077944384 14886 0 0 0 109 3 0 0 20 0 15 0 11263071 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952386283888 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17172] ppid=17155 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/17158/task/17172/stat : 17172 (java) S 17155 17158 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11263071 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952385231328 139952846137045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 [pid=17158/tid=17176] ppid=17155 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/17158/task/17176/stat : 17176 (java) S 17155 17158 5678 0 -1 1077944384 862 0 0 0 5 6 0 0 20 0 15 0 11263075 14317654016 825211 18446744073709551615 4194304 4196468 140734805585888 139952384179120 139952846137986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17149952 140734805594519 140734805594699 140734805594699 140734805598159 0 Current children cumulated CPU time (s) 248.91 Current children cumulated vsize (KiB) 13982084 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 17158 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.039 CPU time (s): 248.967 CPU user time (s): 247.782 CPU system time (s): 1.1853 CPU usage (%): 103.719 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 247.782 system time used= 1.18529 maximum resident set size= 3547148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98040 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= 11226 involuntary context switches= 308 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.989744 second user time and 1.45152 second system time The end
Begin job on node128 at 2017-08-02 00:12:25 IDJOB=4255839 IDBENCH=115918 IDSOLVER=2638 FILE ID=node128/4255839-1501626383 RUNJOBID= node128-1501622883-15277 PBS_JOBID= Free space on /tmp= 61808 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255839-1501626383/watcher-4255839-1501626383 -o /tmp/evaluation-result-4255839-1501626383/solver-4255839-1501626383 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15277 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 2082168680 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255839-1501626383.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=2082168680 node128.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.05 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.05 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.05 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.05 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: 31037032 kB MemAvailable: 31971764 kB Buffers: 98532 kB Cached: 1117932 kB SwapCached: 0 kB Active: 385352 kB Inactive: 946680 kB Active(anon): 115772 kB Inactive(anon): 8532 kB Active(file): 269580 kB Inactive(file): 938148 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42384 kB Writeback: 4 kB AnonPages: 80872 kB Mapped: 41120 kB Shmem: 8872 kB Slab: 110828 kB SReclaimable: 85676 kB SUnreclaim: 25152 kB KernelStack: 3200 kB PageTables: 4692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1127824 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61768 MiB End job on node128 at 2017-08-02 00:16:25