Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - ALNS 2017-06-30 | SAT (TO) | 221 | 2400.04 | 2296.94 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml |
| MD5SUM | 406abf126875c7059afeaa5170034bef |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 157 |
| Best CPU time to get the best result obtained on this benchmark | 20003.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1805 |
| Number of constraints | 943 |
| Number of domains | 83 |
| Minimum domain size | 2 |
| Maximum domain size | 83 |
| Distribution of domain sizes | [{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 41 |
| Distribution of variable degrees | [{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 902 |
| Distribution of constraint types | [{"type":"intension","count":902},{"type":"sum","count":41}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.41/0.32 c version: 2017-06-30 0.41/0.32 c seed: 550309022 0.41/0.32 c timeout: 2400 0.41/0.32 c memlimit: 15500 0.41/0.32 c nbcore: 8 0.41/0.34 c Parsing instance... 3.47/1.35 c Parsing done, starting search... 3.47/1.39 o 23821 4.49/1.65 o 19101 5.74/1.93 o 19021 6.03/2.08 o 13973 6.22/2.15 o 2397 7.07/2.65 o 789 7.55/2.83 o 653 18.26/11.73 o 573 18.46/11.98 o 517 18.56/12.02 o 429 19.16/12.62 o 405 19.16/12.68 o 381 21.41/14.70 o 293 36.69/29.72 o 285 116.43/107.75 o 245 230.23/216.50 o 229 594.27/565.83 o 221 2400.01/2296.91 s SATISFIABLE 2400.01/2296.91 v <instantiation> 2400.01/2296.91 v <list> 2400.01/2296.91 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] 2400.01/2296.91 v </list> 2400.01/2296.91 v <values> 2400.01/2296.91 v -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 -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 -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 -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 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 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 -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 -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 -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 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 -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 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 -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 -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 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 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 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 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 -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 -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 -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 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 -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 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 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 -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 -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 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 1 1 1 -1 1 -1 -1 -1 -2 -3 -4 3 0 -1 0 1 2 1 -2 -1 -4 -3 -2 1 0 -1 2 1 -4 -1 2 -3 0 5 -2 7 0 1 0 1 2 3 -2 -1 2 1 0 -1 1 4 9 16 9 0 1 0 1 4 1 4 1 16 9 4 1 0 1 4 1 16 1 4 9 0 25 4 49 0 1 0 1 4 9 4 1 4 1 0 1 2400.01/2296.91 v </values> 2400.01/2296.91 v </instantiation>
OK 221
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-4247399-1500794936/watcher-4247399-1500794936 -o /tmp/evaluation-result-4247399-1500794936/solver-4247399-1500794936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500794936-1390 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 550309022 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247399-1500794936.xml pid=1410 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.00 0.01 0.05 4/244 1413 /proc/meminfo: memFree=31017916/32770624 swapFree=6452/829028 [pid=1413] ppid=1410 vsize=109440 CPUtime=0 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 1650 0 0 0 0 0 0 0 20 0 2 0 14760810 112066560 1403 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 27360 1403 1062 1 0 16810 0 [pid=1413/tid=1414] ppid=1410 vsize=361196 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) S 1410 1413 1358 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 14760811 369864704 1414 33554432000 4194304 4196468 140736583380304 140380705020320 140380700789378 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [startup+0.100062 s] /proc/loadavg: 0.00 0.01 0.05 4/244 1413 /proc/meminfo: memFree=31017916/32770624 swapFree=6452/829028 [pid=1413] ppid=1410 vsize=13194476 CPUtime=0.08 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 4679 0 0 0 7 1 0 0 20 0 19 0 14760810 13511143424 4783 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3298619 4783 2594 1 0 3287057 0 [pid=1413/tid=1414] ppid=1410 vsize=13194476 CPUtime=0.08 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) D 1410 1413 1358 0 -1 1077944384 2766 0 0 0 7 1 0 0 20 0 19 0 14760811 13511143424 4783 33554432000 4194304 4196468 140736583380304 140380705015832 140380693456245 0 4 0 16800975 18446744072101658148 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13194476 [startup+0.200322 s] /proc/loadavg: 0.00 0.01 0.05 4/244 1413 /proc/meminfo: memFree=31017916/32770624 swapFree=6452/829028 [pid=1413] ppid=1410 vsize=13263912 CPUtime=0.24 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 8712 0 0 0 22 2 0 0 20 0 20 0 14760810 13582245888 8719 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3315978 8719 3534 1 0 3303698 0 [pid=1413/tid=1414] ppid=1410 vsize=13263912 CPUtime=0.17 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 6386 0 0 0 15 2 0 0 20 0 20 0 14760811 13582245888 8719 33554432000 4194304 4196468 140736583380304 140380704987728 140380700800157 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 13263912 [startup+0.300364 s] /proc/loadavg: 0.00 0.01 0.05 4/244 1413 /proc/meminfo: memFree=31017916/32770624 swapFree=6452/829028 [pid=1413] ppid=1410 vsize=13263912 CPUtime=0.41 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 9652 0 0 0 38 3 0 0 20 0 20 0 14760810 13582245888 10317 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3315978 10317 3593 1 0 3303698 0 [pid=1413/tid=1414] ppid=1410 vsize=13263912 CPUtime=0.26 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 7059 0 0 0 24 2 0 0 20 0 20 0 14760811 13582245888 10317 33554432000 4194304 4196468 140736583380304 140380704998672 140380700800157 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 13263912 [startup+0.700252 s] /proc/loadavg: 0.00 0.01 0.05 4/244 1413 /proc/meminfo: memFree=31017916/32770624 swapFree=6452/829028 [pid=1413] ppid=1410 vsize=13265980 CPUtime=1.39 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 12487 0 0 0 134 5 0 0 20 0 20 0 14760810 13584363520 17871 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3316495 17871 3771 1 0 3304210 0 [pid=1413/tid=1414] ppid=1410 vsize=13265980 CPUtime=0.66 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 8083 0 0 0 63 3 0 0 20 0 20 0 14760811 13584363520 17871 33554432000 4194304 4196468 140736583380304 140380705013656 140380339992937 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 13265980 [startup+1.5011 s] /proc/loadavg: 0.00 0.01 0.05 10/289 1462 /proc/meminfo: memFree=30809380/32770624 swapFree=6452/787740 [pid=1413] ppid=1410 vsize=13270076 CPUtime=4.15 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 28502 0 0 0 404 11 0 0 20 0 20 0 14760810 13588557824 44843 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3317519 44843 3787 1 0 3305234 0 [pid=1413/tid=1414] ppid=1410 vsize=13270076 CPUtime=1.44 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 12032 0 0 0 139 5 0 0 20 0 20 0 14760811 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380705013360 140380344860001 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1416] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1416/stat : 1416 (java) S 1410 1413 1358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380672621072 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1417] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1417/stat : 1417 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380298390160 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1418] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1418/stat : 1418 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380297337104 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1419] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1419/stat : 1419 (java) S 1410 1413 1358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380296284560 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1420] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1420/stat : 1420 (java) S 1410 1413 1358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380295232528 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1421] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1421/stat : 1421 (java) S 1410 1413 1358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380294179984 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1422] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1422/stat : 1422 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380293126928 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1423] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1423/stat : 1423 (java) S 1410 1413 1358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 14760812 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380292074384 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1424] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1424/stat : 1424 (java) S 1410 1413 1358 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 20 0 14760814 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380029729008 140380700789378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1425] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1425/stat : 1425 (java) S 1410 1413 1358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380028675232 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1426] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1426/stat : 1426 (java) S 1410 1413 1358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380027622128 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1427] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1427/stat : 1427 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380026570704 140380700796827 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1428] ppid=1410 vsize=13270076 CPUtime=0.63 cores=4-7,12-15 /proc/1413/task/1428/stat : 1428 (java) S 1410 1413 1358 0 -1 1077944384 3447 0 0 0 63 0 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380025518832 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1429] ppid=1410 vsize=13270076 CPUtime=0.64 cores=4-7,12-15 /proc/1413/task/1429/stat : 1429 (java) S 1410 1413 1358 0 -1 1077944384 3034 0 0 0 63 1 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380024466288 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1430] ppid=1410 vsize=13270076 CPUtime=0.61 cores=4-7,12-15 /proc/1413/task/1430/stat : 1430 (java) R 1410 1413 1358 0 -1 4202560 2349 0 0 0 61 0 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380023413232 140380686792540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1431] ppid=1410 vsize=13270076 CPUtime=0.78 cores=4-7,12-15 /proc/1413/task/1431/stat : 1431 (java) R 1410 1413 1358 0 -1 4202560 5775 0 0 0 76 2 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380022359088 140380679379342 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1432] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1432/stat : 1432 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380021307872 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1433] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1433/stat : 1433 (java) S 1410 1413 1358 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 44843 33554432000 4194304 4196468 140736583380304 140380020255408 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 13270076 [startup+3.10078 s] /proc/loadavg: 0.64 0.15 0.09 9/289 1462 /proc/meminfo: memFree=30575624/32770624 swapFree=6452/787744 [pid=1413] ppid=1410 vsize=13270076 CPUtime=8.25 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 33004 0 0 0 788 37 0 0 20 0 20 0 14760810 13588557824 96306 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3317519 96306 3831 1 0 3305234 0 [pid=1413/tid=1414] ppid=1410 vsize=13270076 CPUtime=2.95 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 12404 0 0 0 288 7 0 0 20 0 20 0 14760811 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380705013032 140380347027990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1416] ppid=1410 vsize=13270076 CPUtime=0.06 cores=4-7,12-15 /proc/1413/task/1416/stat : 1416 (java) S 1410 1413 1358 0 -1 1077944384 48 0 0 0 3 3 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380672621072 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1417] ppid=1410 vsize=13270076 CPUtime=0.04 cores=4-7,12-15 /proc/1413/task/1417/stat : 1417 (java) S 1410 1413 1358 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380298390160 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1418] ppid=1410 vsize=13270076 CPUtime=0.05 cores=4-7,12-15 /proc/1413/task/1418/stat : 1418 (java) S 1410 1413 1358 0 -1 1077944384 191 0 0 0 3 2 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380297337104 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1419] ppid=1410 vsize=13270076 CPUtime=0.05 cores=4-7,12-15 /proc/1413/task/1419/stat : 1419 (java) S 1410 1413 1358 0 -1 1077944384 282 0 0 0 3 2 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380296284560 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1420] ppid=1410 vsize=13270076 CPUtime=0.05 cores=4-7,12-15 /proc/1413/task/1420/stat : 1420 (java) S 1410 1413 1358 0 -1 1077944384 49 0 0 0 2 3 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380295232528 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1421] ppid=1410 vsize=13270076 CPUtime=0.04 cores=4-7,12-15 /proc/1413/task/1421/stat : 1421 (java) S 1410 1413 1358 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380294179984 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1422] ppid=1410 vsize=13270076 CPUtime=0.05 cores=4-7,12-15 /proc/1413/task/1422/stat : 1422 (java) S 1410 1413 1358 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380293126928 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1423] ppid=1410 vsize=13270076 CPUtime=0.04 cores=4-7,12-15 /proc/1413/task/1423/stat : 1423 (java) S 1410 1413 1358 0 -1 1077944384 37 0 0 0 2 2 0 0 20 0 20 0 14760812 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380292074384 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1424] ppid=1410 vsize=13270076 CPUtime=0.01 cores=4-7,12-15 /proc/1413/task/1424/stat : 1424 (java) S 1410 1413 1358 0 -1 1077944384 857 0 0 0 1 0 0 0 20 0 20 0 14760814 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380029729008 140380700789378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1425] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1425/stat : 1425 (java) S 1410 1413 1358 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380028675296 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1426] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1426/stat : 1426 (java) S 1410 1413 1358 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380027622144 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1427] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1427/stat : 1427 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380026570704 140380700796827 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1428] ppid=1410 vsize=13270076 CPUtime=1.27 cores=4-7,12-15 /proc/1413/task/1428/stat : 1428 (java) S 1410 1413 1358 0 -1 1077944384 3834 0 0 0 126 1 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380025518832 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1429] ppid=1410 vsize=13270076 CPUtime=1.33 cores=4-7,12-15 /proc/1413/task/1429/stat : 1429 (java) S 1410 1413 1358 0 -1 1077944384 4106 0 0 0 132 1 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380024466288 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1430] ppid=1410 vsize=13270076 CPUtime=1.26 cores=4-7,12-15 /proc/1413/task/1430/stat : 1430 (java) S 1410 1413 1358 0 -1 1077944384 3184 0 0 0 125 1 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380023413232 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1431] ppid=1410 vsize=13270076 CPUtime=0.93 cores=4-7,12-15 /proc/1413/task/1431/stat : 1431 (java) S 1410 1413 1358 0 -1 1077944384 6437 0 0 0 91 2 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380022360688 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1432] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1432/stat : 1432 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380021307872 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1433] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1433/stat : 1433 (java) S 1410 1413 1358 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 96306 33554432000 4194304 4196468 140736583380304 140380020255408 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 8.25 Current children cumulated vsize (KiB) 13270076 [startup+6.3009 s] /proc/loadavg: 0.64 0.15 0.09 3/289 1462 /proc/meminfo: memFree=29922644/32770624 swapFree=6452/787748 [pid=1413] ppid=1410 vsize=13270076 CPUtime=12.22 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 34218 0 0 0 1156 66 0 0 20 0 20 0 14760810 13588557824 165940 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3317519 165940 3841 1 0 3305234 0 [pid=1413/tid=1414] ppid=1410 vsize=13270076 CPUtime=6.07 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 12844 0 0 0 594 13 0 0 20 0 20 0 14760811 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380705015864 140380347027952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1416] ppid=1410 vsize=13270076 CPUtime=0.1 cores=4-7,12-15 /proc/1413/task/1416/stat : 1416 (java) S 1410 1413 1358 0 -1 1077944384 68 0 0 0 5 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380672621072 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1417] ppid=1410 vsize=13270076 CPUtime=0.09 cores=4-7,12-15 /proc/1413/task/1417/stat : 1417 (java) S 1410 1413 1358 0 -1 1077944384 74 0 0 0 4 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380298390160 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1418] ppid=1410 vsize=13270076 CPUtime=0.11 cores=4-7,12-15 /proc/1413/task/1418/stat : 1418 (java) S 1410 1413 1358 0 -1 1077944384 210 0 0 0 6 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380297337104 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1419] ppid=1410 vsize=13270076 CPUtime=0.11 cores=4-7,12-15 /proc/1413/task/1419/stat : 1419 (java) S 1410 1413 1358 0 -1 1077944384 309 0 0 0 6 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380296284560 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1420] ppid=1410 vsize=13270076 CPUtime=0.1 cores=4-7,12-15 /proc/1413/task/1420/stat : 1420 (java) S 1410 1413 1358 0 -1 1077944384 82 0 0 0 4 6 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380295232528 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1421] ppid=1410 vsize=13270076 CPUtime=0.1 cores=4-7,12-15 /proc/1413/task/1421/stat : 1421 (java) S 1410 1413 1358 0 -1 1077944384 59 0 0 0 5 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380294179984 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1422] ppid=1410 vsize=13270076 CPUtime=0.11 cores=4-7,12-15 /proc/1413/task/1422/stat : 1422 (java) S 1410 1413 1358 0 -1 1077944384 94 0 0 0 6 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380293126928 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1423] ppid=1410 vsize=13270076 CPUtime=0.08 cores=4-7,12-15 /proc/1413/task/1423/stat : 1423 (java) S 1410 1413 1358 0 -1 1077944384 66 0 0 0 3 5 0 0 20 0 20 0 14760812 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380292074384 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1424] ppid=1410 vsize=13270076 CPUtime=0.02 cores=4-7,12-15 /proc/1413/task/1424/stat : 1424 (java) S 1410 1413 1358 0 -1 1077944384 1115 0 0 0 2 0 0 0 20 0 20 0 14760814 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380029729008 140380700789378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1425] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1425/stat : 1425 (java) S 1410 1413 1358 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380028675296 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1426] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1426/stat : 1426 (java) S 1410 1413 1358 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 165940 33554432000 4194304 4196468 140736583380304 140380027622144 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1427] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 ################ # More data... # ################ [pid=1413/tid=1429] ppid=1410 vsize=13270076 CPUtime=2.2 cores=4-7,12-15 /proc/1413/task/1429/stat : 1429 (java) S 1410 1413 1358 0 -1 1077944384 20345 0 0 0 217 3 0 0 20 0 20 0 14760820 13588557824 247234 33554432000 4194304 4196468 140736583380304 140380024466288 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1430] ppid=1410 vsize=13270076 CPUtime=2.16 cores=4-7,12-15 /proc/1413/task/1430/stat : 1430 (java) S 1410 1413 1358 0 -1 1077944384 17077 0 0 0 213 3 0 0 20 0 20 0 14760820 13588557824 247234 33554432000 4194304 4196468 140736583380304 140380023413232 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1431] ppid=1410 vsize=13270076 CPUtime=1.17 cores=4-7,12-15 /proc/1413/task/1431/stat : 1431 (java) S 1410 1413 1358 0 -1 1077944384 18629 0 0 0 113 4 0 0 20 0 20 0 14760820 13588557824 247234 33554432000 4194304 4196468 140736583380304 140380022360688 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1432] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1432/stat : 1432 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 247234 33554432000 4194304 4196468 140736583380304 140380021307872 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1433] ppid=1410 vsize=13270076 CPUtime=1.29 cores=4-7,12-15 /proc/1413/task/1433/stat : 1433 (java) S 1410 1413 1358 0 -1 1077944384 1389 0 0 0 56 73 0 0 20 0 20 0 14760820 13588557824 247234 33554432000 4194304 4196468 140736583380304 140380020255408 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 2301.25 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.34 1.48 1.37 3/284 1556 /proc/meminfo: memFree=27763056/32770624 swapFree=6452/789092 [pid=1413] ppid=1410 vsize=13270076 CPUtime=2363.92 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 325538 0 0 0 235860 532 0 0 20 0 20 0 14760810 13588557824 227108 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3317519 227108 3869 1 0 3305234 0 [pid=1413/tid=1414] ppid=1410 vsize=13270076 CPUtime=2240.77 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 105267 0 0 0 224002 75 0 0 20 0 20 0 14760811 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380705016480 140380343228223 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1416] ppid=1410 vsize=13270076 CPUtime=13.86 cores=4-7,12-15 /proc/1413/task/1416/stat : 1416 (java) S 1410 1413 1358 0 -1 1077944384 12507 0 0 0 1342 44 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380672621072 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1417] ppid=1410 vsize=13270076 CPUtime=13.79 cores=4-7,12-15 /proc/1413/task/1417/stat : 1417 (java) S 1410 1413 1358 0 -1 1077944384 12975 0 0 0 1339 40 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380298390160 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1418] ppid=1410 vsize=13270076 CPUtime=13.9 cores=4-7,12-15 /proc/1413/task/1418/stat : 1418 (java) S 1410 1413 1358 0 -1 1077944384 15305 0 0 0 1348 42 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380297337104 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1419] ppid=1410 vsize=13270076 CPUtime=13.87 cores=4-7,12-15 /proc/1413/task/1419/stat : 1419 (java) S 1410 1413 1358 0 -1 1077944384 10158 0 0 0 1346 41 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380296284560 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1420] ppid=1410 vsize=13270076 CPUtime=13.81 cores=4-7,12-15 /proc/1413/task/1420/stat : 1420 (java) S 1410 1413 1358 0 -1 1077944384 12873 0 0 0 1340 41 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380295232528 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1421] ppid=1410 vsize=13270076 CPUtime=13.96 cores=4-7,12-15 /proc/1413/task/1421/stat : 1421 (java) S 1410 1413 1358 0 -1 1077944384 14799 0 0 0 1354 42 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380294179984 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1422] ppid=1410 vsize=13270076 CPUtime=13.76 cores=4-7,12-15 /proc/1413/task/1422/stat : 1422 (java) S 1410 1413 1358 0 -1 1077944384 11908 0 0 0 1336 40 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380293126928 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1423] ppid=1410 vsize=13270076 CPUtime=13.94 cores=4-7,12-15 /proc/1413/task/1423/stat : 1423 (java) S 1410 1413 1358 0 -1 1077944384 14574 0 0 0 1353 41 0 0 20 0 20 0 14760812 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380292074384 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1424] ppid=1410 vsize=13270076 CPUtime=3.31 cores=4-7,12-15 /proc/1413/task/1424/stat : 1424 (java) S 1410 1413 1358 0 -1 1077944384 40292 0 0 0 269 62 0 0 20 0 20 0 14760814 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380029729008 140380700789378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1425] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1425/stat : 1425 (java) S 1410 1413 1358 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380028675296 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1426] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1426/stat : 1426 (java) S 1410 1413 1358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380027622144 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1427] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1427/stat : 1427 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380026570704 140380700796827 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1428] ppid=1410 vsize=13270076 CPUtime=1.94 cores=4-7,12-15 /proc/1413/task/1428/stat : 1428 (java) S 1410 1413 1358 0 -1 1077944384 15845 0 0 0 191 3 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380025518832 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1429] ppid=1410 vsize=13270076 CPUtime=2.2 cores=4-7,12-15 /proc/1413/task/1429/stat : 1429 (java) S 1410 1413 1358 0 -1 1077944384 20345 0 0 0 217 3 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380024466288 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1430] ppid=1410 vsize=13270076 CPUtime=2.16 cores=4-7,12-15 /proc/1413/task/1430/stat : 1430 (java) S 1410 1413 1358 0 -1 1077944384 17215 0 0 0 213 3 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380023413232 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1431] ppid=1410 vsize=13270076 CPUtime=1.17 cores=4-7,12-15 /proc/1413/task/1431/stat : 1431 (java) S 1410 1413 1358 0 -1 1077944384 18629 0 0 0 113 4 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380022360688 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1432] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1432/stat : 1432 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380021307872 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1433] ppid=1410 vsize=13270076 CPUtime=1.32 cores=4-7,12-15 /proc/1413/task/1433/stat : 1433 (java) S 1410 1413 1358 0 -1 1077944384 1404 0 0 0 57 75 0 0 20 0 20 0 14760820 13588557824 227108 33554432000 4194304 4196468 140736583380304 140380020255408 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 2363.92 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2296.91 s] /proc/loadavg: 1.39 1.48 1.38 2/258 1609 /proc/meminfo: memFree=30206100/32770624 swapFree=6452/789112 [pid=1413] ppid=1410 vsize=13270076 CPUtime=2400.01 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 327123 0 0 0 239465 536 0 0 20 0 20 0 14760810 13588557824 215181 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3317519 215181 3869 1 0 3305234 0 [pid=1413/tid=1414] ppid=1410 vsize=13270076 CPUtime=2275.03 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 105926 0 0 0 227428 75 0 0 20 0 20 0 14760811 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380705016704 140380345263750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1416] ppid=1410 vsize=13270076 CPUtime=14.07 cores=4-7,12-15 /proc/1413/task/1416/stat : 1416 (java) S 1410 1413 1358 0 -1 1077944384 12583 0 0 0 1363 44 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380672621072 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1417] ppid=1410 vsize=13270076 CPUtime=13.99 cores=4-7,12-15 /proc/1413/task/1417/stat : 1417 (java) S 1410 1413 1358 0 -1 1077944384 13057 0 0 0 1359 40 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380298390160 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1418] ppid=1410 vsize=13270076 CPUtime=14.13 cores=4-7,12-15 /proc/1413/task/1418/stat : 1418 (java) S 1410 1413 1358 0 -1 1077944384 15332 0 0 0 1371 42 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380297337104 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1419] ppid=1410 vsize=13270076 CPUtime=14.1 cores=4-7,12-15 /proc/1413/task/1419/stat : 1419 (java) S 1410 1413 1358 0 -1 1077944384 10236 0 0 0 1369 41 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380296284560 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1420] ppid=1410 vsize=13270076 CPUtime=14.04 cores=4-7,12-15 /proc/1413/task/1420/stat : 1420 (java) S 1410 1413 1358 0 -1 1077944384 12951 0 0 0 1362 42 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380295232528 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1421] ppid=1410 vsize=13270076 CPUtime=14.17 cores=4-7,12-15 /proc/1413/task/1421/stat : 1421 (java) S 1410 1413 1358 0 -1 1077944384 14888 0 0 0 1375 42 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380294179984 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1422] ppid=1410 vsize=13270076 CPUtime=13.98 cores=4-7,12-15 /proc/1413/task/1422/stat : 1422 (java) S 1410 1413 1358 0 -1 1077944384 11980 0 0 0 1358 40 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380293126928 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1423] ppid=1410 vsize=13270076 CPUtime=14.15 cores=4-7,12-15 /proc/1413/task/1423/stat : 1423 (java) S 1410 1413 1358 0 -1 1077944384 14680 0 0 0 1374 41 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380292074384 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1424] ppid=1410 vsize=13270076 CPUtime=3.36 cores=4-7,12-15 /proc/1413/task/1424/stat : 1424 (java) S 1410 1413 1358 0 -1 1077944384 40296 0 0 0 273 63 0 0 20 0 20 0 14760814 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380029729008 140380700789378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1425] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1425/stat : 1425 (java) S 1410 1413 1358 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380028675296 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1426] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1426/stat : 1426 (java) S 1410 1413 1358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380027622144 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1427] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1427/stat : 1427 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380026570704 140380700796827 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1428] ppid=1410 vsize=13270076 CPUtime=1.94 cores=4-7,12-15 /proc/1413/task/1428/stat : 1428 (java) S 1410 1413 1358 0 -1 1077944384 15962 0 0 0 191 3 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380025518832 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1429] ppid=1410 vsize=13270076 CPUtime=2.21 cores=4-7,12-15 /proc/1413/task/1429/stat : 1429 (java) S 1410 1413 1358 0 -1 1077944384 20440 0 0 0 218 3 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380024466288 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1430] ppid=1410 vsize=13270076 CPUtime=2.16 cores=4-7,12-15 /proc/1413/task/1430/stat : 1430 (java) S 1410 1413 1358 0 -1 1077944384 17312 0 0 0 213 3 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380023413232 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1431] ppid=1410 vsize=13270076 CPUtime=1.17 cores=4-7,12-15 /proc/1413/task/1431/stat : 1431 (java) S 1410 1413 1358 0 -1 1077944384 18631 0 0 0 113 4 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380022360688 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1432] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1432/stat : 1432 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380021307872 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1433] ppid=1410 vsize=13270076 CPUtime=1.34 cores=4-7,12-15 /proc/1413/task/1433/stat : 1433 (java) S 1410 1413 1358 0 -1 1077944384 1407 0 0 0 58 76 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380020255408 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 13270076 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 1413 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2296.91 s] /proc/loadavg: 1.39 1.48 1.38 2/258 1609 /proc/meminfo: memFree=30206100/32770624 swapFree=6452/789112 [pid=1413] ppid=1410 vsize=13270076 CPUtime=2400.01 cores=4-7,12-15 /proc/1413/stat : 1413 (java) S 1410 1413 1358 0 -1 1077944320 327123 0 0 0 239465 536 0 0 20 0 20 0 14760810 13588557824 215181 33554432000 4194304 4196468 140736583380304 140736583362848 140380700778231 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 /proc/1413/statm: 3317519 215181 3869 1 0 3305234 0 [pid=1413/tid=1414] ppid=1410 vsize=13270076 CPUtime=2275.03 cores=4-7,12-15 /proc/1413/task/1414/stat : 1414 (java) R 1410 1413 1358 0 -1 4202560 105926 0 0 0 227428 75 0 0 20 0 20 0 14760811 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380705016704 140380345263750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1416] ppid=1410 vsize=13270076 CPUtime=14.07 cores=4-7,12-15 /proc/1413/task/1416/stat : 1416 (java) S 1410 1413 1358 0 -1 1077944384 12583 0 0 0 1363 44 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380672621072 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1417] ppid=1410 vsize=13270076 CPUtime=13.99 cores=4-7,12-15 /proc/1413/task/1417/stat : 1417 (java) S 1410 1413 1358 0 -1 1077944384 13057 0 0 0 1359 40 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380298390160 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1418] ppid=1410 vsize=13270076 CPUtime=14.13 cores=4-7,12-15 /proc/1413/task/1418/stat : 1418 (java) S 1410 1413 1358 0 -1 1077944384 15332 0 0 0 1371 42 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380297337104 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1419] ppid=1410 vsize=13270076 CPUtime=14.1 cores=4-7,12-15 /proc/1413/task/1419/stat : 1419 (java) S 1410 1413 1358 0 -1 1077944384 10236 0 0 0 1369 41 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380296284560 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1420] ppid=1410 vsize=13270076 CPUtime=14.04 cores=4-7,12-15 /proc/1413/task/1420/stat : 1420 (java) S 1410 1413 1358 0 -1 1077944384 12951 0 0 0 1362 42 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380295232528 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1421] ppid=1410 vsize=13270076 CPUtime=14.17 cores=4-7,12-15 /proc/1413/task/1421/stat : 1421 (java) S 1410 1413 1358 0 -1 1077944384 14888 0 0 0 1375 42 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380294179984 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1422] ppid=1410 vsize=13270076 CPUtime=13.98 cores=4-7,12-15 /proc/1413/task/1422/stat : 1422 (java) S 1410 1413 1358 0 -1 1077944384 11980 0 0 0 1358 40 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380293126928 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1423] ppid=1410 vsize=13270076 CPUtime=14.15 cores=4-7,12-15 /proc/1413/task/1423/stat : 1423 (java) S 1410 1413 1358 0 -1 1077944384 14680 0 0 0 1374 41 0 0 20 0 20 0 14760812 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380292074384 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1424] ppid=1410 vsize=13270076 CPUtime=3.36 cores=4-7,12-15 /proc/1413/task/1424/stat : 1424 (java) S 1410 1413 1358 0 -1 1077944384 40296 0 0 0 273 63 0 0 20 0 20 0 14760814 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380029729008 140380700789378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1425] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1425/stat : 1425 (java) S 1410 1413 1358 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380028675296 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1426] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1426/stat : 1426 (java) S 1410 1413 1358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 14760815 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380027622144 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1427] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1427/stat : 1427 (java) S 1410 1413 1358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380026570704 140380700796827 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1428] ppid=1410 vsize=13270076 CPUtime=1.94 cores=4-7,12-15 /proc/1413/task/1428/stat : 1428 (java) S 1410 1413 1358 0 -1 1077944384 15962 0 0 0 191 3 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380025518832 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1429] ppid=1410 vsize=13270076 CPUtime=2.21 cores=4-7,12-15 /proc/1413/task/1429/stat : 1429 (java) S 1410 1413 1358 0 -1 1077944384 20440 0 0 0 218 3 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380024466288 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1430] ppid=1410 vsize=13270076 CPUtime=2.16 cores=4-7,12-15 /proc/1413/task/1430/stat : 1430 (java) S 1410 1413 1358 0 -1 1077944384 17312 0 0 0 213 3 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380023413232 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1431] ppid=1410 vsize=13270076 CPUtime=1.17 cores=4-7,12-15 /proc/1413/task/1431/stat : 1431 (java) S 1410 1413 1358 0 -1 1077944384 18631 0 0 0 113 4 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380022360688 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1432] ppid=1410 vsize=13270076 CPUtime=0 cores=4-7,12-15 /proc/1413/task/1432/stat : 1432 (java) S 1410 1413 1358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380021307872 140380700788437 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 [pid=1413/tid=1433] ppid=1410 vsize=13270076 CPUtime=1.34 cores=4-7,12-15 /proc/1413/task/1433/stat : 1433 (java) S 1410 1413 1358 0 -1 1077944384 1407 0 0 0 58 76 0 0 20 0 20 0 14760820 13588557824 215181 33554432000 4194304 4196468 140736583380304 140380020255408 140380700789378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15065088 140736583386256 140736583386436 140736583386436 140736583389135 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2296.94 CPU time (s): 2400.04 CPU user time (s): 2394.67 CPU system time (s): 5.37155 CPU usage (%): 104.489 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2394.67 system time used= 5.37155 maximum resident set size= 3424104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 327388 page faults= 0 swaps= 0 block input operations= 48 block output operations= 2832 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 173664 involuntary context switches= 147379 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.0217 second user time and 19.9716 second system time The end
Begin job on node132 at 2017-07-23 09:28:56 IDJOB=4247399 IDBENCH=126989 IDSOLVER=2627 FILE ID=node132/4247399-1500794936 RUNJOBID= node132-1500794936-1390 PBS_JOBID= 20624656 Free space on /tmp= 61640 MiB SOLVER NAME= OscaR - ALNS 2017-06-30 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247399-1500794936/watcher-4247399-1500794936 -o /tmp/evaluation-result-4247399-1500794936/solver-4247399-1500794936 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500794936-1390 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 550309022 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247399-1500794936.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 406abf126875c7059afeaa5170034bef RANDOM SEED=550309022 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31035340 kB MemAvailable: 31989876 kB Buffers: 159884 kB Cached: 1070992 kB SwapCached: 0 kB Active: 445820 kB Inactive: 837804 kB Active(anon): 56272 kB Inactive(anon): 8624 kB Active(file): 389548 kB Inactive(file): 829180 kB Unevictable: 6452 kB Mlocked: 6452 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 67064 kB Writeback: 0 kB AnonPages: 59992 kB Mapped: 31804 kB Shmem: 8872 kB Slab: 136956 kB SReclaimable: 103284 kB SUnreclaim: 33672 kB KernelStack: 4192 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 309748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 140672 kB DirectMap2M: 33404928 kB Free space on /tmp at the end= 61600 MiB End job on node132 at 2017-07-23 10:07:14