Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 136 | 19952 | 2520.17 |
| Name | LowAutocorrelation/ LowAutocorrelation-040_c18.xml |
| MD5SUM | 4e9e0842de773da2d9de44121d9bf85e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 180 |
| Best CPU time to get the best result obtained on this benchmark | 20093.3 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1639 |
| Number of constraints | 858 |
| Number of domains | 79 |
| Minimum domain size | 2 |
| Maximum domain size | 79 |
| Distribution of domain sizes | [{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 40 |
| Distribution of constraint arities | [{"arity":2,"count":40},{"arity":3,"count":781},{"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 819 |
| Distribution of constraint types | [{"type":"intension","count":819},{"type":"sum","count":39}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.55 c version: 2018-07-02 0.67/0.55 c seed: 1776871240 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 2.05/1.19 c Parsing done, starting search... 9.33/3.61 o 16496 9.33/3.61 o 4524 9.33/3.62 o 3256 9.33/3.62 o 3248 9.33/3.62 o 2308 9.33/3.63 o 1584 9.33/3.63 o 1568 9.33/3.64 o 1132 9.33/3.65 o 1100 9.33/3.66 o 1092 9.33/3.66 o 752 9.33/3.68 o 660 10.07/3.76 o 572 10.86/3.80 o 464 10.86/3.88 o 440 11.69/3.96 o 388 11.69/3.97 o 316 14.76/4.37 o 296 16.31/4.51 o 288 17.84/4.78 o 272 19.50/4.97 o 248 21.12/5.12 o 208 82.20/12.89 o 192 104.50/15.63 o 184 576.73/74.94 o 180 1153.19/147.66 o 172 1335.35/170.68 o 168 2182.82/277.70 o 164 3606.23/457.61 o 152 3980.89/504.83 o 136 19950.90/2520.03 s SATISFIABLE 19950.90/2520.03 v <instantiation> 19950.90/2520.03 v <list> 19950.90/2520.03 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][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] 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] 19950.90/2520.03 v </list> 19950.90/2520.03 v <values> 19950.90/2520.03 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 0 3 0 -1 0 3 0 -1 0 1 -4 1 4 -5 0 -1 0 -3 -2 -1 0 5 0 1 0 -1 0 -1 0 -3 0 1 0 1 0 1 0 1 1 0 9 0 1 0 9 0 1 0 1 16 1 16 25 0 1 0 9 4 1 0 25 0 1 0 1 0 1 0 9 0 1 0 1 0 1 0 1 19950.90/2520.03 v </values> 19950.90/2520.03 v </instantiation>
OK 136
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6639 MiB free)
memory of node 1: 16384 MiB (10451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291203-1532660107/watcher-4291203-1532660107 -o /tmp/evaluation-result-4291203-1532660107/solver-4291203-1532660107 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532654260-10682 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1776871240 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291203-1532660107.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11902, runsolver pid=11899
Current StackSize limit: 8192 KiB
[startup+0.104025 s]*
/proc/loadavg: 8.60 8.65 8.62 2/198 11922
/proc/meminfo: memFree=17483696/32770624 swapFree=67108796/67108860
[pid=11902] ppid=11899 vsize=26103424 memory=31588 CPUtime=0.11 cores=0-7
/proc/11902/stat : 11902 (java) S 11899 11902 10655 0 -1 1077944320 7340 0 0 0 10 1 0 0 20 0 20 0 83573878 26729906176 7897 33554432000 4194304 4196468 140721849403568 140721849386112 140409850326775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
/proc/11902/statm: 6525856 7897 3144 1 0 6487932 0
[pid=11902/tid=11904] ppid=11899 vsize=26103424 memory=8328732894007565207 CPUtime=0.09 cores=0-7
/proc/11902/task/11904/stat : 11904 (java) R 11899 11902 10655 0 -1 4202560 5394 0 0 0 8 1 0 0 20 0 20 0 83573878 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409854536824 140409850348701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11905] ppid=11899 vsize=26103424 memory=732370118972341221 CPUtime=0 cores=0-7
/proc/11902/task/11905/stat : 11905 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409802946960 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11906] ppid=11899 vsize=26103424 memory=139980634887808 CPUtime=0 cores=0-7
/proc/11902/task/11906/stat : 11906 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409801894160 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11907] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11907/stat : 11907 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409800841872 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11908] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11908/stat : 11908 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409799789072 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11909] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11909/stat : 11909 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409798736784 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11910] ppid=11899 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/11902/task/11910/stat : 11910 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409797683984 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11911] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11911/stat : 11911 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409401900176 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11912] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11912/stat : 11912 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 7897 33554432000 4194304 4196468 140721849403568 140409400847376 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11913] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11913/stat : 11913 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573880 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408525908080 140409850337922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11914] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11914/stat : 11914 (java) S 11899 11902 10655 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83573881 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408524854048 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11915] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11915/stat : 11915 (java) S 11899 11902 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83573881 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408523801712 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11916] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11916/stat : 11916 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573883 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408522750032 140409850345371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11917] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11917/stat : 11917 (java) S 11899 11902 10655 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 83573883 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408453589616 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11918] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11918/stat : 11918 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408452536816 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11919] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11919/stat : 11919 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408451484528 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11920] ppid=11899 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/11902/task/11920/stat : 11920 (java) R 11899 11902 10655 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 83573884 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408450431728 140409850338710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11921] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11921/stat : 11921 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408449378656 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11922] ppid=11899 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/11902/task/11922/stat : 11922 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 7897 33554432000 4194304 4196468 140721849403568 140408448325936 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 31588 KiB
[startup+0.21005 s]*
/proc/loadavg: 8.60 8.65 8.62 3/198 11922
/proc/meminfo: memFree=17471356/32770624 swapFree=67108796/67108860
[pid=11902] ppid=11899 vsize=26103424 memory=43044 CPUtime=0.3 cores=0-7
/proc/11902/stat : 11902 (java) S 11899 11902 10655 0 -1 1077944320 10416 0 0 0 27 3 0 0 20 0 20 0 83573878 26729906176 10761 33554432000 4194304 4196468 140721849403568 140721849386112 140409850326775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
/proc/11902/statm: 6525856 10761 3334 1 0 6487932 0
[pid=11902/tid=11904] ppid=11899 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/11902/task/11904/stat : 11904 (java) R 11899 11902 10655 0 -1 4202560 8188 0 0 0 18 2 0 0 20 0 20 0 83573878 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409854555616 140409850348701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11905] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11905/stat : 11905 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409802946960 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11906] ppid=11899 vsize=26103424 memory=288370356786599552 CPUtime=0 cores=0-7
/proc/11902/task/11906/stat : 11906 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409801894160 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11907] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11907/stat : 11907 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409800841872 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11908] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11908/stat : 11908 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409799789072 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11909] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11909/stat : 11909 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409798736784 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11910] ppid=11899 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/11902/task/11910/stat : 11910 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409797683984 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11911] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11911/stat : 11911 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409401900176 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11912] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11912/stat : 11912 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 10761 33554432000 4194304 4196468 140721849403568 140409400847376 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11913] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11913/stat : 11913 (java) S 11899 11902 10655 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83573880 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408525908080 140409850337922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11914] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11914/stat : 11914 (java) S 11899 11902 10655 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83573881 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408524854048 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11915] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11915/stat : 11915 (java) S 11899 11902 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83573881 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408523801712 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11916] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11916/stat : 11916 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573883 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408522750032 140409850345371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11917] ppid=11899 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/11902/task/11917/stat : 11917 (java) S 11899 11902 10655 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 83573883 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408453589616 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11918] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11918/stat : 11918 (java) S 11899 11902 10655 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408452536816 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11919] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11919/stat : 11919 (java) S 11899 11902 10655 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408451484528 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11920] ppid=11899 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/11902/task/11920/stat : 11920 (java) S 11899 11902 10655 0 -1 1077944384 315 0 0 0 6 0 0 0 20 0 20 0 83573884 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408450431728 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11921] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11921/stat : 11921 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408449378656 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11922] ppid=11899 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/11902/task/11922/stat : 11922 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 10761 33554432000 4194304 4196468 140721849403568 140408448325936 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43044 KiB
[startup+0.31037 s]*
/proc/loadavg: 8.60 8.65 8.62 3/198 11922
/proc/meminfo: memFree=17467136/32770624 swapFree=67108796/67108860
[pid=11902] ppid=11899 vsize=26103424 memory=46812 CPUtime=0.43 cores=0-7
/proc/11902/stat : 11902 (java) S 11899 11902 10655 0 -1 1077944320 10853 0 0 0 40 3 0 0 20 0 20 0 83573878 26729906176 11703 33554432000 4194304 4196468 140721849403568 140721849386112 140409850326775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
/proc/11902/statm: 6525856 11703 3379 1 0 6487932 0
[pid=11902/tid=11904] ppid=11899 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11902/task/11904/stat : 11904 (java) R 11899 11902 10655 0 -1 4202560 8538 0 0 0 28 2 0 0 20 0 20 0 83573878 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409854488512 140409834407262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11905] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11905/stat : 11905 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409802946960 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11906] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11906/stat : 11906 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409801894160 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11907] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11907/stat : 11907 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409800841872 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11908] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11908/stat : 11908 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409799789072 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11909] ppid=11899 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/11902/task/11909/stat : 11909 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409798736784 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11910] ppid=11899 vsize=26103424 memory=139980500464559 CPUtime=0 cores=0-7
/proc/11902/task/11910/stat : 11910 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409797683984 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11911] ppid=11899 vsize=26103424 memory=139980500466864 CPUtime=0 cores=0-7
/proc/11902/task/11911/stat : 11911 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409401900176 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11912] ppid=11899 vsize=26103424 memory=139980500469168 CPUtime=0 cores=0-7
/proc/11902/task/11912/stat : 11912 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26729906176 11703 33554432000 4194304 4196468 140721849403568 140409400847376 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11913] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11913/stat : 11913 (java) S 11899 11902 10655 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83573880 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408525908080 140409850337922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11914] ppid=11899 vsize=26103424 memory=279961000945296 CPUtime=0 cores=0-7
/proc/11902/task/11914/stat : 11914 (java) S 11899 11902 10655 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 83573881 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408524854048 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11915] ppid=11899 vsize=26103424 memory=279961000952208 CPUtime=0 cores=0-7
/proc/11902/task/11915/stat : 11915 (java) S 11899 11902 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83573881 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408523801712 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11916] ppid=11899 vsize=26103424 memory=279961000893488 CPUtime=0 cores=0-7
/proc/11902/task/11916/stat : 11916 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573883 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408522750032 140409850345371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11917] ppid=11899 vsize=26103424 memory=279961000966032 CPUtime=0.01 cores=0-7
/proc/11902/task/11917/stat : 11917 (java) S 11899 11902 10655 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 83573883 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408453589616 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11918] ppid=11899 vsize=26103424 memory=279961000972944 CPUtime=0.01 cores=0-7
/proc/11902/task/11918/stat : 11918 (java) S 11899 11902 10655 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 83573884 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408452536816 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11919] ppid=11899 vsize=26103424 memory=279961000970640 CPUtime=0 cores=0-7
/proc/11902/task/11919/stat : 11919 (java) S 11899 11902 10655 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408451484528 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11920] ppid=11899 vsize=26103424 memory=279961000987200 CPUtime=0.07 cores=0-7
/proc/11902/task/11920/stat : 11920 (java) S 11899 11902 10655 0 -1 1077944384 331 0 0 0 7 0 0 0 20 0 20 0 83573884 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408450431728 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11921] ppid=11899 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11921/stat : 11921 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408449378656 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11922] ppid=11899 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/11902/task/11922/stat : 11922 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573884 26729906176 11703 33554432000 4194304 4196468 140721849403568 140408448325936 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46812 KiB
[startup+0.700915 s]
/proc/loadavg: 8.60 8.65 8.62 3/198 11922
/proc/meminfo: memFree=17442952/32770624 swapFree=67108796/67108860
[pid=11902] ppid=11899 vsize=26105492 memory=87732 CPUtime=0.99 cores=0-7
/proc/11902/stat : 11902 (java) S 11899 11902 10655 0 -1 1077944320 17886 0 0 0 94 5 0 0 20 0 20 0 83573878 26732023808 21933 33554432000 4194304 4196468 140721849403568 140721849386112 140409850326775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
/proc/11902/statm: 6526373 21933 3491 1 0 6488444 0
[pid=11902/tid=11904] ppid=11899 vsize=26105492 memory=6224889892466676322 CPUtime=0.68 cores=0-7
/proc/11902/task/11904/stat : 11904 (java) R 11899 11902 10655 0 -1 4202560 15031 0 0 0 64 4 0 0 20 0 20 0 83573878 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409854550944 140409850348701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11905] ppid=11899 vsize=26105492 memory=51200305159458 CPUtime=0 cores=0-7
/proc/11902/task/11905/stat : 11905 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409802946960 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11906] ppid=11899 vsize=26105492 memory=139980500478647 CPUtime=0 cores=0-7
/proc/11902/task/11906/stat : 11906 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409801894160 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11907] ppid=11899 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11907/stat : 11907 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409800841872 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11908] ppid=11899 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11908/stat : 11908 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409799789072 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11909] ppid=11899 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11909/stat : 11909 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409798736784 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11910] ppid=11899 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11910/stat : 11910 (java) S 11899 11902 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409797683984 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11911] ppid=11899 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11911/stat : 11911 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409401900176 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11912] ppid=11899 vsize=26105492 memory=1628 CPUtime=0 cores=0-7
/proc/11902/task/11912/stat : 11912 (java) S 11899 11902 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83573879 26732023808 21933 33554432000 4194304 4196468 140721849403568 140409400847376 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11913] ppid=11899 vsize=26105492 memory=8876 CPUtime=0 cores=0-7
/proc/11902/task/11913/stat : 11913 (java) S 11899 11902 10655 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83573880 26732023808 21933 33554432000 4194304 4196468 140721849403568 140408525908080 140409850337922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
################
# More data... #
################
/proc/11902/task/11926/stat : 11926 (java) R 11899 11902 10655 0 -1 4202560 115000 0 0 0 247953 122 0 0 20 0 46 0 83574204 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408427524800 140409491484955 0 4 0 16800975 0 0 0 -1 5 0 0 54 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11927] ppid=11899 vsize=27852576 memory=1284 CPUtime=2480.12 cores=0-7
/proc/11902/task/11927/stat : 11927 (java) R 11899 11902 10655 0 -1 4202560 114155 0 0 0 247903 109 0 0 20 0 46 0 83574204 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408426469088 140409478135527 0 4 0 16800975 0 0 0 -1 2 0 0 50 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11928] ppid=11899 vsize=27852576 memory=1088 CPUtime=2479.19 cores=0-7
/proc/11902/task/11928/stat : 11928 (java) R 11899 11902 10655 0 -1 4202560 115728 0 0 0 247804 115 0 0 20 0 46 0 83574210 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408425416376 140409491301249 0 4 0 16800975 0 0 0 -1 0 0 0 51 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11929] ppid=11899 vsize=27852576 memory=1800 CPUtime=0.16 cores=0-7
/proc/11902/task/11929/stat : 11929 (java) S 11899 11902 10655 0 -1 1077944384 55 0 0 0 16 0 0 0 20 0 46 0 83574210 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408424371120 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11930] ppid=11899 vsize=27852576 memory=7028 CPUtime=2480.23 cores=0-7
/proc/11902/task/11930/stat : 11930 (java) R 11899 11902 10655 0 -1 4202560 123137 0 0 0 247908 115 0 0 20 0 46 0 83574211 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408423313904 140409491301223 0 4 0 16800975 0 0 0 -1 6 0 0 49 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11931] ppid=11899 vsize=27852576 memory=15044 CPUtime=0.15 cores=0-7
/proc/11902/task/11931/stat : 11931 (java) S 11899 11902 10655 0 -1 1077944384 58 0 0 0 15 0 0 0 20 0 46 0 83574211 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408422265904 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11932] ppid=11899 vsize=27852576 memory=19036 CPUtime=2479.69 cores=0-7
/proc/11902/task/11932/stat : 11932 (java) R 11899 11902 10655 0 -1 4202560 121405 0 0 0 247856 113 0 0 20 0 46 0 83574211 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408421205736 140409487303664 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11933] ppid=11899 vsize=27852576 memory=17804 CPUtime=0.12 cores=0-7
/proc/11902/task/11933/stat : 11933 (java) S 11899 11902 10655 0 -1 1077944384 113 0 0 0 12 0 0 0 20 0 46 0 83574211 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408420160944 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11934] ppid=11899 vsize=27852576 memory=4016 CPUtime=2478.65 cores=0-7
/proc/11902/task/11934/stat : 11934 (java) R 11899 11902 10655 0 -1 4202560 118713 0 0 0 247746 119 0 0 20 0 46 0 83574211 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408419103240 140409486507400 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11935] ppid=11899 vsize=27852576 memory=644 CPUtime=2478.73 cores=0-7
/proc/11902/task/11935/stat : 11935 (java) R 11899 11902 10655 0 -1 4202560 118992 0 0 0 247753 120 0 0 20 0 46 0 83574212 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408418047720 140409491484941 0 4 0 16800975 0 0 0 -1 1 0 0 54 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11936] ppid=11899 vsize=27852576 memory=1676 CPUtime=0 cores=0-7
/proc/11902/task/11936/stat : 11936 (java) S 11899 11902 10655 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 46 0 83574213 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408417003056 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11937] ppid=11899 vsize=27852576 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/11902/task/11937/stat : 11937 (java) S 11899 11902 10655 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 46 0 83574234 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408415949744 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11938] ppid=11899 vsize=27852576 memory=4104 CPUtime=0 cores=0-7
/proc/11902/task/11938/stat : 11938 (java) S 11899 11902 10655 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 83574234 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408414896816 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11939] ppid=11899 vsize=27852576 memory=840 CPUtime=0 cores=0-7
/proc/11902/task/11939/stat : 11939 (java) S 11899 11902 10655 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 83574240 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408409613360 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11940] ppid=11899 vsize=27852576 memory=1800 CPUtime=0 cores=0-7
/proc/11902/task/11940/stat : 11940 (java) S 11899 11902 10655 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 83574240 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408408560560 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11941] ppid=11899 vsize=27852576 memory=920 CPUtime=0 cores=0-7
/proc/11902/task/11941/stat : 11941 (java) S 11899 11902 10655 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 46 0 83574240 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408407508400 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11942] ppid=11899 vsize=27852576 memory=5880 CPUtime=0 cores=0-7
/proc/11902/task/11942/stat : 11942 (java) S 11899 11902 10655 0 -1 1077944384 606 0 0 0 0 0 0 0 20 0 46 0 83574240 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408406455600 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11943] ppid=11899 vsize=27852576 memory=4104 CPUtime=0 cores=0-7
/proc/11902/task/11943/stat : 11943 (java) S 11899 11902 10655 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 83574241 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408405403184 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11944] ppid=11899 vsize=27852576 memory=1408 CPUtime=0 cores=0-7
/proc/11902/task/11944/stat : 11944 (java) S 11899 11902 10655 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 83574241 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408404350512 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11945] ppid=11899 vsize=27852576 memory=4640 CPUtime=0 cores=0-7
/proc/11902/task/11945/stat : 11945 (java) S 11899 11902 10655 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 83574241 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408403297072 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11946] ppid=11899 vsize=27852576 memory=1208136 CPUtime=0 cores=0-7
/proc/11902/task/11946/stat : 11946 (java) S 11899 11902 10655 0 -1 1077944384 367 0 0 0 0 0 0 0 20 0 46 0 83574241 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408402244400 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11947] ppid=11899 vsize=27852576 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11902/task/11947/stat : 11947 (java) S 11899 11902 10655 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 83574241 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408401192112 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11948] ppid=11899 vsize=27852576 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/11902/task/11948/stat : 11948 (java) S 11899 11902 10655 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 46 0 83574244 28521037824 301008 33554432000 4194304 4196468 140721849403568 140408400139312 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
Current children cumulated CPU time: 19950.9 s
Current children cumulated vsize: 27852576 KiB
Current children cumulated memory: 1204032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.17 s]
# the end of solver process 11902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19937.3 s, system=14.6923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.12 s]
/proc/loadavg: 8.81 8.72 8.69 10/224 12025
/proc/meminfo: memFree=16295968/32770624 swapFree=67108796/67108860
[pid=11902] ppid=11899 vsize=28052268 memory=1204400 CPUtime=19951.7 cores=0-7
/proc/11902/stat : 11902 (java) S 11899 11902 10655 0 -1 1077944320 2438634 0 0 0 1993704 1468 0 0 20 0 48 0 83573878 28725522432 301100 33554432000 4194304 4196468 140721849403568 140721849386112 140409850326775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
/proc/11902/statm: 7013067 301100 3621 1 0 6974617 0
[pid=11902/tid=11904] ppid=11899 vsize=28052268 memory=1204032 CPUtime=3.22 cores=0-7
/proc/11902/task/11904/stat : 11904 (java) S 11899 11902 10655 0 -1 1077944384 20629 0 0 0 314 8 0 0 20 0 48 0 83573878 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409854564240 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11905] ppid=11899 vsize=28052268 memory=1205060 CPUtime=10.99 cores=0-7
/proc/11902/task/11905/stat : 11905 (java) S 11899 11902 10655 0 -1 1077944384 131215 0 0 0 1046 53 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409802946960 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11906] ppid=11899 vsize=28052268 memory=1209164 CPUtime=10.94 cores=0-7
/proc/11902/task/11906/stat : 11906 (java) S 11899 11902 10655 0 -1 1077944384 134451 0 0 0 1046 48 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409801894160 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11907] ppid=11899 vsize=28052268 memory=1213268 CPUtime=11 cores=0-7
/proc/11902/task/11907/stat : 11907 (java) S 11899 11902 10655 0 -1 1077944384 150355 0 0 0 1048 52 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409800841872 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11908] ppid=11899 vsize=28052268 memory=1216344 CPUtime=10.95 cores=0-7
/proc/11902/task/11908/stat : 11908 (java) S 11899 11902 10655 0 -1 1077944384 137095 0 0 0 1046 49 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409799789072 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11909] ppid=11899 vsize=28052268 memory=1204032 CPUtime=11 cores=0-7
/proc/11902/task/11909/stat : 11909 (java) S 11899 11902 10655 0 -1 1077944384 133377 0 0 0 1044 56 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409798736784 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11910] ppid=11899 vsize=28052268 memory=1945082 CPUtime=10.92 cores=0-7
/proc/11902/task/11910/stat : 11910 (java) S 11899 11902 10655 0 -1 1077944384 149855 0 0 0 1038 54 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409797683984 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11911] ppid=11899 vsize=28052268 memory=1205060 CPUtime=10.96 cores=0-7
/proc/11902/task/11911/stat : 11911 (java) S 11899 11902 10655 0 -1 1077944384 142950 0 0 0 1048 48 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409401900176 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11912] ppid=11899 vsize=28052268 memory=0 CPUtime=11.01 cores=0-7
/proc/11902/task/11912/stat : 11912 (java) S 11899 11902 10655 0 -1 1077944384 135229 0 0 0 1052 49 0 0 20 0 48 0 83573879 28725522432 301100 33554432000 4194304 4196468 140721849403568 140409400847376 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11913] ppid=11899 vsize=28052268 memory=1207112 CPUtime=7.98 cores=0-7
/proc/11902/task/11913/stat : 11913 (java) S 11899 11902 10655 0 -1 1077944384 273567 0 0 0 675 123 0 0 20 0 48 0 83573880 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408525908080 140409850337922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11914] ppid=11899 vsize=28052268 memory=1207112 CPUtime=0 cores=0-7
/proc/11902/task/11914/stat : 11914 (java) S 11899 11902 10655 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 83573881 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408524854112 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11915] ppid=11899 vsize=28052268 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11902/task/11915/stat : 11915 (java) S 11899 11902 10655 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 48 0 83573881 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408523801728 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11916] ppid=11899 vsize=28052268 memory=1676 CPUtime=0 cores=0-7
/proc/11902/task/11916/stat : 11916 (java) S 11899 11902 10655 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 48 0 83573883 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408522750032 140409850345371 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11917] ppid=11899 vsize=28052268 memory=0 CPUtime=1.87 cores=0-7
/proc/11902/task/11917/stat : 11917 (java) S 11899 11902 10655 0 -1 1077944384 6419 0 0 0 186 1 0 0 20 0 48 0 83573883 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408453589616 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11918] ppid=11899 vsize=28052268 memory=7380385388137112419 CPUtime=2.16 cores=0-7
/proc/11902/task/11918/stat : 11918 (java) S 11899 11902 10655 0 -1 1077944384 10433 0 0 0 213 3 0 0 20 0 48 0 83573884 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408452536816 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11919] ppid=11899 vsize=28052268 memory=3708 CPUtime=2.11 cores=0-7
/proc/11902/task/11919/stat : 11919 (java) R 11899 11902 10655 0 -1 1077944384 6434 0 0 0 207 4 0 0 20 0 48 0 83573884 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408451484528 140409850337922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11920] ppid=11899 vsize=28052268 memory=3708 CPUtime=1.35 cores=0-7
/proc/11902/task/11920/stat : 11920 (java) S 11899 11902 10655 0 -1 1077944384 21683 0 0 0 132 3 0 0 20 0 48 0 83573884 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408450431728 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11921] ppid=11899 vsize=28052268 memory=24468 CPUtime=0 cores=0-7
/proc/11902/task/11921/stat : 11921 (java) S 11899 11902 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 83573884 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408449378656 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11922] ppid=11899 vsize=28052268 memory=1218396 CPUtime=0.88 cores=0-7
/proc/11902/task/11922/stat : 11922 (java) S 11899 11902 10655 0 -1 1077944384 11276 0 0 0 55 33 0 0 20 0 48 0 83573884 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408448325936 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11923] ppid=11899 vsize=28052268 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/11902/task/11923/stat : 11923 (java) S 11899 11902 10655 0 -1 1077944384 634 0 0 0 0 0 0 0 20 0 48 0 83574167 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408434881408 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11924] ppid=11899 vsize=28052268 memory=1256360 CPUtime=4.87 cores=0-7
/proc/11902/task/11924/stat : 11924 (java) S 11899 11902 10655 0 -1 1077944384 23698 0 0 0 197 290 0 0 20 0 48 0 83574187 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408431731632 140409850337922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11925] ppid=11899 vsize=28052268 memory=102443559968042 CPUtime=2480.73 cores=0-7
/proc/11902/task/11925/stat : 11925 (java) R 11899 11902 10655 0 -1 4202560 117458 0 0 0 247945 128 0 0 20 0 48 0 83574203 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408428574288 140409491301064 0 4 0 16800975 0 0 0 -1 2 0 0 50 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11926] ppid=11899 vsize=28052268 memory=1223528 CPUtime=2480.84 cores=0-7
/proc/11902/task/11926/stat : 11926 (java) R 11899 11902 10655 0 -1 4202560 115000 0 0 0 247962 122 0 0 20 0 48 0 83574204 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408427521480 140409491300408 0 4 0 16800975 0 0 0 -1 0 0 0 54 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11927] ppid=11899 vsize=28052268 memory=4032 CPUtime=2480.21 cores=0-7
/proc/11902/task/11927/stat : 11927 (java) R 11899 11902 10655 0 -1 4202560 114155 0 0 0 247912 109 0 0 20 0 48 0 83574204 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408426469176 140409491524747 0 4 0 16800975 0 0 0 -1 6 0 0 50 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11928] ppid=11899 vsize=28052268 memory=1284 CPUtime=2479.28 cores=0-7
/proc/11902/task/11928/stat : 11928 (java) R 11899 11902 10655 0 -1 4202560 115728 0 0 0 247813 115 0 0 20 0 48 0 83574210 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408425416424 140409491301069 0 4 0 16800975 0 0 0 -1 6 0 0 51 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11929] ppid=11899 vsize=28052268 memory=1215320 CPUtime=0.16 cores=0-7
/proc/11902/task/11929/stat : 11929 (java) S 11899 11902 10655 0 -1 1077944384 57 0 0 0 16 0 0 0 20 0 48 0 83574210 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408424371120 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11930] ppid=11899 vsize=28052268 memory=1215320 CPUtime=2480.32 cores=0-7
/proc/11902/task/11930/stat : 11930 (java) R 11899 11902 10655 0 -1 4202560 123137 0 0 0 247917 115 0 0 20 0 48 0 83574211 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408423310264 140409491591216 0 4 0 16800975 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11931] ppid=11899 vsize=28052268 memory=1217372 CPUtime=0.15 cores=0-7
/proc/11902/task/11931/stat : 11931 (java) S 11899 11902 10655 0 -1 1077944384 58 0 0 0 15 0 0 0 20 0 48 0 83574211 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408422265904 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11932] ppid=11899 vsize=28052268 memory=8876 CPUtime=2479.79 cores=0-7
/proc/11902/task/11932/stat : 11932 (java) R 11899 11902 10655 0 -1 4202560 121405 0 0 0 247866 113 0 0 20 0 48 0 83574211 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408421205040 140409491411840 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11933] ppid=11899 vsize=28052268 memory=0 CPUtime=0.12 cores=0-7
/proc/11902/task/11933/stat : 11933 (java) S 11899 11902 10655 0 -1 1077944384 137 0 0 0 12 0 0 0 20 0 48 0 83574211 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408420160944 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11934] ppid=11899 vsize=28052268 memory=0 CPUtime=2478.73 cores=0-7
/proc/11902/task/11934/stat : 11934 (java) R 11899 11902 10655 0 -1 4202560 118714 0 0 0 247754 119 0 0 20 0 48 0 83574211 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408419100808 140409491521613 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11935] ppid=11899 vsize=28052268 memory=0 CPUtime=2478.84 cores=0-7
/proc/11902/task/11935/stat : 11935 (java) R 11899 11902 10655 0 -1 4202560 118992 0 0 0 247764 120 0 0 20 0 48 0 83574212 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408418048520 140409491301105 0 4 0 16800975 0 0 0 -1 1 0 0 54 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11936] ppid=11899 vsize=28052268 memory=33 CPUtime=0 cores=0-7
/proc/11902/task/11936/stat : 11936 (java) S 11899 11902 10655 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 48 0 83574213 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408417003056 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11937] ppid=11899 vsize=28052268 memory=87 CPUtime=0.01 cores=0-7
/proc/11902/task/11937/stat : 11937 (java) R 11899 11902 10655 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 48 0 83574234 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408415949744 140409850336981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11938] ppid=11899 vsize=28052268 memory=0 CPUtime=0 cores=0-7
/proc/11902/task/11938/stat : 11938 (java) S 11899 11902 10655 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 48 0 83574234 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408414896944 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11939] ppid=11899 vsize=28052268 memory=1978642 CPUtime=0 cores=0-7
/proc/11902/task/11939/stat : 11939 (java) S 11899 11902 10655 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 48 0 83574240 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408409613360 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11940] ppid=11899 vsize=28052268 memory=1210188 CPUtime=0 cores=0-7
/proc/11902/task/11940/stat : 11940 (java) S 11899 11902 10655 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 48 0 83574240 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408408560560 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11941] ppid=11899 vsize=28052268 memory=1218396 CPUtime=0 cores=0-7
/proc/11902/task/11941/stat : 11941 (java) S 11899 11902 10655 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 48 0 83574240 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408407508400 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11942] ppid=11899 vsize=28052268 memory=1218396 CPUtime=0.01 cores=0-7
/proc/11902/task/11942/stat : 11942 (java) S 11899 11902 10655 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 48 0 83574240 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408406455600 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11943] ppid=11899 vsize=28052268 memory=1222500 CPUtime=0 cores=0-7
/proc/11902/task/11943/stat : 11943 (java) S 11899 11902 10655 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 48 0 83574241 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408405403184 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11944] ppid=11899 vsize=28052268 memory=24468 CPUtime=0 cores=0-7
/proc/11902/task/11944/stat : 11944 (java) R 11899 11902 10655 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 48 0 83574241 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408404350512 140409835570612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11945] ppid=11899 vsize=28052268 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11902/task/11945/stat : 11945 (java) S 11899 11902 10655 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 48 0 83574241 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408403297200 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11946] ppid=11899 vsize=28052268 memory=924 CPUtime=0.01 cores=0-7
/proc/11902/task/11946/stat : 11946 (java) R 11899 11902 10655 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 48 0 83574241 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408402244400 140409850336981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11947] ppid=11899 vsize=28052268 memory=1572 CPUtime=0 cores=0-7
/proc/11902/task/11947/stat : 11947 (java) S 11899 11902 10655 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 48 0 83574241 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408401192112 140409850336981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
[pid=11902/tid=11948] ppid=11899 vsize=28052268 memory=2092 CPUtime=0 cores=0-7
/proc/11902/task/11948/stat : 11948 (java) R 11899 11902 10655 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 48 0 83574244 28725522432 301100 33554432000 4194304 4196468 140721849403568 140408400139312 140409850336981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25071616 140721849406541 140721849406725 140721849406725 140721849409487 0
Current children cumulated CPU time: 19951.7 s
Current children cumulated vsize: 28052268 KiB
Current children cumulated memory: 1204400 KiB
Child status: 143
Real time (s): 2520.17
CPU time (s): 19952
CPU user time (s): 19937.3
CPU system time (s): 14.6923
CPU usage (%): 791.693
Max. virtual memory (cumulated for all children) (KiB): 28052268
Max. memory (cumulated for all children) (KiB): 3409196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19937.3
system time used= 14.6923
maximum resident set size= 3410732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2438745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 689749
involuntary context switches= 424176
# summary of solver processes directly reported to runsolver:
# pid: 11902
# total CPU time (s): 19952
# total CPU user time (s): 19937.3
# total CPU system time (s): 14.6923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.7518 second user time and 33.5256 second system time
The end
Begin job on node138 at 2018-07-27 04:55:07 IDJOB=4291203 IDBENCH=141424 IDSOLVER=2745 FILE ID=node138/4291203-1532660107 RUNJOBID= node138-1532654260-10682 PBS_JOBID= 21022217 Free space on /tmp= 53804 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-040_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291203-1532660107/watcher-4291203-1532660107 -o /tmp/evaluation-result-4291203-1532660107/solver-4291203-1532660107 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532654260-10682 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1776871240 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291203-1532660107.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1776871240 node138.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.71 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.71 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.71 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.71 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: 17501496 kB MemAvailable: 31919692 kB Buffers: 208492 kB Cached: 14353244 kB SwapCached: 44 kB Active: 2463496 kB Inactive: 12158572 kB Active(anon): 10900 kB Inactive(anon): 77300 kB Active(file): 2452596 kB Inactive(file): 12081272 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 35892 kB Writeback: 0 kB AnonPages: 61396 kB Mapped: 36292 kB Shmem: 25164 kB Slab: 341052 kB SReclaimable: 312788 kB SUnreclaim: 28264 kB KernelStack: 3232 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326236 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53768 MiB End job on node138 at 2018-07-27 05:37:07