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-08-14 | SAT (TO) | 136 | 19962.3 | 2520.27 |
| 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.66/0.55 c version: 2018-08-14 0.66/0.55 c seed: 1898657622 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 2.06/1.19 c Parsing done, starting search... 8.05/3.21 o 16496 8.05/3.22 o 4524 8.05/3.22 o 3288 8.05/3.22 o 2308 8.05/3.22 o 1584 8.05/3.24 o 1560 8.05/3.24 o 1132 8.05/3.24 o 1100 8.05/3.26 o 1092 8.05/3.26 o 752 8.05/3.27 o 660 8.05/3.28 o 572 8.87/3.35 o 528 9.65/3.44 o 464 9.65/3.45 o 440 9.65/3.46 o 388 9.65/3.50 o 316 12.80/3.88 o 296 14.45/4.07 o 288 16.70/4.37 o 272 21.38/4.93 o 236 21.38/4.96 o 232 26.15/5.58 o 220 27.70/5.78 o 208 69.89/11.02 o 184 685.77/88.45 o 172 1260.48/161.05 o 168 2276.40/289.70 o 164 2544.52/323.62 o 140 7291.76/921.25 o 136 19960.32/2520.08 s SATISFIABLE 19960.32/2520.08 v <instantiation> 19960.32/2520.08 v <list> 19960.32/2520.08 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] 19960.32/2520.08 v </list> 19960.32/2520.08 v <values> 19960.32/2520.08 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 19960.32/2520.08 v </values> 19960.32/2520.08 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 (13592 MiB free)
memory of node 1: 16384 MiB (10574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308972-1534382580/watcher-4308972-1534382580 -o /tmp/evaluation-result-4308972-1534382580/solver-4308972-1534382580 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534374909-1931 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1898657622 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308972-1534382580.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
Current StackSize limit: 8192 KiB
solver pid=3106, runsolver pid=3103
[startup+0.100117 s]*
/proc/loadavg: 8.36 8.51 8.66 3/200 3126
/proc/meminfo: memFree=24729996/32770624 swapFree=67107648/67108860
[pid=3106] ppid=3103 vsize=26103420 memory=30868 CPUtime=0.11 cores=0-7
/proc/3106/stat : 3106 (java) S 3103 3106 1904 0 -1 1077944320 7140 0 0 0 10 1 0 0 20 0 20 0 255821137 26729902080 7717 33554432000 4194304 4196468 140734434227072 140734434209616 140539453390583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
/proc/3106/statm: 6525855 7717 3144 1 0 6487932 0
[pid=3106/tid=3108] ppid=3103 vsize=26103420 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3106/task/3108/stat : 3108 (java) R 3103 3106 1904 0 -1 4202560 5424 0 0 0 8 1 0 0 20 0 20 0 255821137 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539457611792 140539445627710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3109] ppid=3103 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3106/task/3109/stat : 3109 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539406011280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3110] ppid=3103 vsize=26103420 memory=140580501079680 CPUtime=0 cores=0-7
/proc/3106/task/3110/stat : 3110 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539404958480 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3111] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3111/stat : 3111 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539403906192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3112] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3112/stat : 3112 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539402853392 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3113] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3113/stat : 3113 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539401800080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3114] ppid=3103 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/3106/task/3114/stat : 3114 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539400747280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3115] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3115/stat : 3115 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7915 33554432000 4194304 4196468 140734434227072 140539399694992 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3116] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3116/stat : 3116 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 7981 33554432000 4194304 4196468 140734434227072 140539398642192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3117] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3117/stat : 3117 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821139 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538196847216 140539453401730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3118] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3118/stat : 3118 (java) S 3103 3106 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255821140 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538195793184 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3119] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3119/stat : 3119 (java) S 3103 3106 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255821140 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538194740848 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3120] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3120/stat : 3120 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538193689168 140539453409179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3121] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3121/stat : 3121 (java) S 3103 3106 1904 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538192636016 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3122] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3122/stat : 3122 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538191583216 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3123] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3123/stat : 3123 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538190530928 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3124] ppid=3103 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/3106/task/3124/stat : 3124 (java) S 3103 3106 1904 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538189478128 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3125] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3125/stat : 3125 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538188426080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3126] ppid=3103 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/3106/task/3126/stat : 3126 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 7981 33554432000 4194304 4196468 140734434227072 140538187373360 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30868 KiB
[startup+0.210201 s]*
/proc/loadavg: 7.85 8.40 8.62 3/200 3126
/proc/meminfo: memFree=24716044/32770624 swapFree=67107648/67108860
[pid=3106] ppid=3103 vsize=26103420 memory=43468 CPUtime=0.29 cores=0-7
/proc/3106/stat : 3106 (java) S 3103 3106 1904 0 -1 1077944320 10526 0 0 0 27 2 0 0 20 0 20 0 255821137 26729902080 10867 33554432000 4194304 4196468 140734434227072 140734434209616 140539453390583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
/proc/3106/statm: 6525855 10867 3318 1 0 6487932 0
[pid=3106/tid=3108] ppid=3103 vsize=26103420 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/3106/task/3108/stat : 3108 (java) R 3103 3106 1904 0 -1 4202560 8313 0 0 0 18 1 0 0 20 0 20 0 255821137 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539457616400 140539437434213 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3109] ppid=3103 vsize=26103420 memory=10528 CPUtime=0 cores=0-7
/proc/3106/task/3109/stat : 3109 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539406011280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3110] ppid=3103 vsize=26103420 memory=140580502354002 CPUtime=0 cores=0-7
/proc/3106/task/3110/stat : 3110 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539404958480 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3111] ppid=3103 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/3106/task/3111/stat : 3111 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539403906192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3112] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3112/stat : 3112 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539402853392 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3113] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3113/stat : 3113 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539401800080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3114] ppid=3103 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/3106/task/3114/stat : 3114 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539400747280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3115] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3115/stat : 3115 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539399694992 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3116] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3116/stat : 3116 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 10867 33554432000 4194304 4196468 140734434227072 140539398642192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3117] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3117/stat : 3117 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821139 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538196847216 140539453401730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3118] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3118/stat : 3118 (java) S 3103 3106 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255821140 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538195793184 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3119] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3119/stat : 3119 (java) S 3103 3106 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255821140 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538194740848 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3120] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3120/stat : 3120 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538193689168 140539453409179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3121] ppid=3103 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/3106/task/3121/stat : 3121 (java) S 3103 3106 1904 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538192636016 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3122] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3122/stat : 3122 (java) S 3103 3106 1904 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538191583216 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3123] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3123/stat : 3123 (java) S 3103 3106 1904 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538190530928 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3124] ppid=3103 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/3106/task/3124/stat : 3124 (java) R 3103 3106 1904 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538189473168 140539432011680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3125] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3125/stat : 3125 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538188426080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3126] ppid=3103 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/3106/task/3126/stat : 3126 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 10867 33554432000 4194304 4196468 140734434227072 140538187373360 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43468 KiB
[startup+0.309734 s]*
/proc/loadavg: 7.85 8.40 8.62 2/200 3126
/proc/meminfo: memFree=24712756/32770624 swapFree=67107648/67108860
[pid=3106] ppid=3103 vsize=26103420 memory=47024 CPUtime=0.43 cores=0-7
/proc/3106/stat : 3106 (java) S 3103 3106 1904 0 -1 1077944320 10935 0 0 0 40 3 0 0 20 0 20 0 255821137 26729902080 11756 33554432000 4194304 4196468 140734434227072 140734434209616 140539453390583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
/proc/3106/statm: 6525855 11756 3353 1 0 6487932 0
[pid=3106/tid=3108] ppid=3103 vsize=26103420 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/3106/task/3108/stat : 3108 (java) R 3103 3106 1904 0 -1 4202560 8637 0 0 0 28 2 0 0 20 0 20 0 255821137 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539457579528 140539433666464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3109] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3109/stat : 3109 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539406011280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3110] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3110/stat : 3110 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539404958480 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3111] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3111/stat : 3111 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539403906192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3112] ppid=3103 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/3106/task/3112/stat : 3112 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539402853392 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3113] ppid=3103 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/3106/task/3113/stat : 3113 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539401800080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3114] ppid=3103 vsize=26103420 memory=140580386602159 CPUtime=0 cores=0-7
/proc/3106/task/3114/stat : 3114 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539400747280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3115] ppid=3103 vsize=26103420 memory=140580386604464 CPUtime=0 cores=0-7
/proc/3106/task/3115/stat : 3115 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539399694992 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3116] ppid=3103 vsize=26103420 memory=140580386606768 CPUtime=0 cores=0-7
/proc/3106/task/3116/stat : 3116 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821138 26729902080 11756 33554432000 4194304 4196468 140734434227072 140539398642192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3117] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3117/stat : 3117 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821139 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538196847216 140539453401730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3118] ppid=3103 vsize=26103420 memory=281160773222800 CPUtime=0 cores=0-7
/proc/3106/task/3118/stat : 3118 (java) S 3103 3106 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 255821140 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538195793184 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3119] ppid=3103 vsize=26103420 memory=281160773164048 CPUtime=0 cores=0-7
/proc/3106/task/3119/stat : 3119 (java) S 3103 3106 1904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 255821140 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538194740848 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3120] ppid=3103 vsize=26103420 memory=281160773236624 CPUtime=0 cores=0-7
/proc/3106/task/3120/stat : 3120 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538193689168 140539453409179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3121] ppid=3103 vsize=26103420 memory=281160773243536 CPUtime=0.01 cores=0-7
/proc/3106/task/3121/stat : 3121 (java) S 3103 3106 1904 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538192636016 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3122] ppid=3103 vsize=26103420 memory=281160773241232 CPUtime=0 cores=0-7
/proc/3106/task/3122/stat : 3122 (java) S 3103 3106 1904 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538191583216 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3123] ppid=3103 vsize=26103420 memory=281160773257360 CPUtime=0.01 cores=0-7
/proc/3106/task/3123/stat : 3123 (java) S 3103 3106 1904 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538190530928 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3124] ppid=3103 vsize=26103420 memory=281160773255056 CPUtime=0.07 cores=0-7
/proc/3106/task/3124/stat : 3124 (java) S 3103 3106 1904 0 -1 1077944384 294 0 0 0 7 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538189478128 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3125] ppid=3103 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3125/stat : 3125 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538188426080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3126] ppid=3103 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/3106/task/3126/stat : 3126 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821143 26729902080 11756 33554432000 4194304 4196468 140734434227072 140538187373360 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 47024 KiB
[startup+0.700875 s]
/proc/loadavg: 7.85 8.40 8.62 3/200 3126
/proc/meminfo: memFree=24689996/32770624 swapFree=67107648/67108860
[pid=3106] ppid=3103 vsize=26105488 memory=85672 CPUtime=0.98 cores=0-7
/proc/3106/stat : 3106 (java) S 3103 3106 1904 0 -1 1077944320 17834 0 0 0 93 5 0 0 20 0 20 0 255821137 26732019712 21418 33554432000 4194304 4196468 140734434227072 140734434209616 140539453390583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
/proc/3106/statm: 6526372 21418 3494 1 0 6488444 0
[pid=3106/tid=3108] ppid=3103 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/3106/task/3108/stat : 3108 (java) R 3103 3106 1904 0 -1 4202560 15079 0 0 0 63 4 0 0 20 0 20 0 255821137 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539457605552 140539437471070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3109] ppid=3103 vsize=26105488 memory=2241 CPUtime=0 cores=0-7
/proc/3106/task/3109/stat : 3109 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539406011280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3110] ppid=3103 vsize=26105488 memory=2244 CPUtime=0 cores=0-7
/proc/3106/task/3110/stat : 3110 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539404958480 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3111] ppid=3103 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/3106/task/3111/stat : 3111 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539403906192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3112] ppid=3103 vsize=26105488 memory=1828 CPUtime=0 cores=0-7
/proc/3106/task/3112/stat : 3112 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539402853392 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3113] ppid=3103 vsize=26105488 memory=1020 CPUtime=0 cores=0-7
/proc/3106/task/3113/stat : 3113 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539401800080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3114] ppid=3103 vsize=26105488 memory=5672 CPUtime=0 cores=0-7
/proc/3106/task/3114/stat : 3114 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539400747280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3115] ppid=3103 vsize=26105488 memory=756 CPUtime=0 cores=0-7
/proc/3106/task/3115/stat : 3115 (java) S 3103 3106 1904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539399694992 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3116] ppid=3103 vsize=26105488 memory=13940 CPUtime=0 cores=0-7
/proc/3106/task/3116/stat : 3116 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 255821138 26732019712 21418 33554432000 4194304 4196468 140734434227072 140539398642192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3117] ppid=3103 vsize=26105488 memory=12552 CPUtime=0 cores=0-7
/proc/3106/task/3117/stat : 3117 (java) S 3103 3106 1904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 255821139 26732019712 21418 33554432000 4194304 4196468 140734434227072 140538196847216 140539453401730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
################
# More data... #
################
/proc/3106/task/3130/stat : 3130 (java) R 3103 3106 1904 0 -1 4202560 108810 0 0 0 248159 116 0 0 20 0 46 0 255821437 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537966337840 140539076883433 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3131] ppid=3103 vsize=27850524 memory=4126316290023845779 CPUtime=2482.98 cores=0-7
/proc/3106/task/3131/stat : 3131 (java) R 3103 3106 1904 0 -1 4202560 106491 0 0 0 248187 111 0 0 20 0 46 0 255821437 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537965282416 140539076963138 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3132] ppid=3103 vsize=27850524 memory=912 CPUtime=2484.56 cores=0-7
/proc/3106/task/3132/stat : 3132 (java) R 3103 3106 1904 0 -1 4202560 108201 0 0 0 248348 108 0 0 20 0 46 0 255821444 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537962132968 140539438600534 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3133] ppid=3103 vsize=27850524 memory=994848 CPUtime=0.03 cores=0-7
/proc/3106/task/3133/stat : 3133 (java) S 3103 3106 1904 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 46 0 255821444 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537961088528 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3134] ppid=3103 vsize=27850524 memory=3752 CPUtime=0.05 cores=0-7
/proc/3106/task/3134/stat : 3134 (java) S 3103 3106 1904 0 -1 1077944384 236 0 0 0 5 0 0 0 20 0 46 0 255821444 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537960035728 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3135] ppid=3103 vsize=27850524 memory=69864 CPUtime=2480.44 cores=0-7
/proc/3106/task/3135/stat : 3135 (java) R 3103 3106 1904 0 -1 4202560 110688 0 0 0 247938 106 0 0 20 0 46 0 255821444 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537958975456 140539077033556 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3136] ppid=3103 vsize=27850524 memory=993308 CPUtime=2481.98 cores=0-7
/proc/3106/task/3136/stat : 3136 (java) R 3103 3106 1904 0 -1 4202560 109431 0 0 0 248091 107 0 0 20 0 46 0 255821444 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537957922288 140539073696054 0 4 0 16800975 0 0 0 -1 2 0 0 38 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3137] ppid=3103 vsize=27850524 memory=1196 CPUtime=2483.44 cores=0-7
/proc/3106/task/3137/stat : 3137 (java) R 3103 3106 1904 0 -1 4202560 113374 0 0 0 248237 107 0 0 20 0 46 0 255821445 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537956869232 140539078057249 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3138] ppid=3103 vsize=27850524 memory=1500 CPUtime=0 cores=0-7
/proc/3106/task/3138/stat : 3138 (java) S 3103 3106 1904 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 46 0 255821445 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537955824528 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3139] ppid=3103 vsize=27850524 memory=496 CPUtime=2483.37 cores=0-7
/proc/3106/task/3139/stat : 3139 (java) R 3103 3106 1904 0 -1 4202560 111881 0 0 0 248235 102 0 0 20 0 46 0 255821450 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537954764136 140539077035560 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3140] ppid=3103 vsize=27850524 memory=928 CPUtime=0 cores=0-7
/proc/3106/task/3140/stat : 3140 (java) S 3103 3106 1904 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 255821451 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537953719440 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3141] ppid=3103 vsize=27850524 memory=1172 CPUtime=0 cores=0-7
/proc/3106/task/3141/stat : 3141 (java) S 3103 3106 1904 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 46 0 255821459 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537950533136 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3142] ppid=3103 vsize=27850524 memory=1964 CPUtime=0 cores=0-7
/proc/3106/task/3142/stat : 3142 (java) S 3103 3106 1904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 255821459 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537949480112 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3143] ppid=3103 vsize=27850524 memory=1572 CPUtime=0 cores=0-7
/proc/3106/task/3143/stat : 3143 (java) S 3103 3106 1904 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 255821459 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537948427824 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3144] ppid=3103 vsize=27850524 memory=924 CPUtime=0 cores=0-7
/proc/3106/task/3144/stat : 3144 (java) S 3103 3106 1904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 255821459 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537947375024 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3145] ppid=3103 vsize=27850524 memory=1692 CPUtime=0 cores=0-7
/proc/3106/task/3145/stat : 3145 (java) S 3103 3106 1904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 255821459 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537946321712 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3146] ppid=3103 vsize=27850524 memory=912 CPUtime=0 cores=0-7
/proc/3106/task/3146/stat : 3146 (java) S 3103 3106 1904 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537945269136 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3147] ppid=3103 vsize=27850524 memory=4808 CPUtime=0 cores=0-7
/proc/3106/task/3147/stat : 3147 (java) S 3103 3106 1904 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537944216848 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3148] ppid=3103 vsize=27850524 memory=1992 CPUtime=0 cores=0-7
/proc/3106/task/3148/stat : 3148 (java) S 3103 3106 1904 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537943164048 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3149] ppid=3103 vsize=27850524 memory=2528 CPUtime=0 cores=0-7
/proc/3106/task/3149/stat : 3149 (java) S 3103 3106 1904 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537942111760 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3150] ppid=3103 vsize=27850524 memory=1880 CPUtime=0 cores=0-7
/proc/3106/task/3150/stat : 3150 (java) S 3103 3106 1904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537941058736 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3151] ppid=3103 vsize=27850524 memory=7528 CPUtime=0 cores=0-7
/proc/3106/task/3151/stat : 3151 (java) S 3103 3106 1904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537940006672 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3152] ppid=3103 vsize=27850524 memory=804 CPUtime=0 cores=0-7
/proc/3106/task/3152/stat : 3152 (java) S 3103 3106 1904 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 46 0 255821460 28518936576 249131 33554432000 4194304 4196468 140734434227072 140537938953872 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
Current children cumulated CPU time: 19960.3 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 996524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.27 s]
# the end of solver process 3106 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19948.2 s, system=14.0554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.2 s]
/proc/loadavg: 8.86 8.80 8.73 9/226 3246
/proc/meminfo: memFree=23750656/32770624 swapFree=67107648/67108860
[pid=3106] ppid=3103 vsize=27984680 memory=997484 CPUtime=19961.8 cores=0-7
/proc/3106/stat : 3106 (java) S 3103 3106 1904 0 -1 1077944320 2165537 0 0 0 1994781 1404 0 0 20 0 48 0 255821137 28656312320 249371 33554432000 4194304 4196468 140734434227072 140734434209616 140539453390583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
/proc/3106/statm: 6996170 249371 3622 1 0 6957721 0
[pid=3106/tid=3108] ppid=3103 vsize=27984680 memory=1404 CPUtime=2.96 cores=0-7
/proc/3106/task/3108/stat : 3108 (java) S 3103 3106 1904 0 -1 1077944384 22348 0 0 0 288 8 0 0 20 0 48 0 255821137 28656312320 249371 33554432000 4194304 4196468 140734434227072 140539457628048 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3109] ppid=3103 vsize=27984680 memory=4640 CPUtime=9.27 cores=0-7
/proc/3106/task/3109/stat : 3109 (java) S 3103 3106 1904 0 -1 1077944384 127033 0 0 0 873 54 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539406011280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3110] ppid=3103 vsize=27984680 memory=994848 CPUtime=9.29 cores=0-7
/proc/3106/task/3110/stat : 3110 (java) S 3103 3106 1904 0 -1 1077944384 123205 0 0 0 875 54 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539404958480 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3111] ppid=3103 vsize=27984680 memory=8112282956445269571 CPUtime=9.49 cores=0-7
/proc/3106/task/3111/stat : 3111 (java) S 3103 3106 1904 0 -1 1077944384 111544 0 0 0 894 55 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539403906192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3112] ppid=3103 vsize=27984680 memory=4126316290023845779 CPUtime=9.35 cores=0-7
/proc/3106/task/3112/stat : 3112 (java) S 3103 3106 1904 0 -1 1077944384 117138 0 0 0 878 57 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539402853392 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3113] ppid=3103 vsize=27984680 memory=1020 CPUtime=9.37 cores=0-7
/proc/3106/task/3113/stat : 3113 (java) S 3103 3106 1904 0 -1 1077944384 124827 0 0 0 885 52 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539401800080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3114] ppid=3103 vsize=27984680 memory=5672 CPUtime=9.35 cores=0-7
/proc/3106/task/3114/stat : 3114 (java) S 3103 3106 1904 0 -1 1077944384 117505 0 0 0 880 55 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539400747280 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3115] ppid=3103 vsize=27984680 memory=756 CPUtime=9.32 cores=0-7
/proc/3106/task/3115/stat : 3115 (java) S 3103 3106 1904 0 -1 1077944384 116631 0 0 0 877 55 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539399694992 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3116] ppid=3103 vsize=27984680 memory=13940 CPUtime=9.34 cores=0-7
/proc/3106/task/3116/stat : 3116 (java) S 3103 3106 1904 0 -1 1077944384 118302 0 0 0 879 55 0 0 20 0 48 0 255821138 28656312320 249415 33554432000 4194304 4196468 140734434227072 140539398642192 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3117] ppid=3103 vsize=27984680 memory=1004596 CPUtime=7.1 cores=0-7
/proc/3106/task/3117/stat : 3117 (java) S 3103 3106 1904 0 -1 1077944384 229555 0 0 0 598 112 0 0 20 0 48 0 255821139 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538196847216 140539453401730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3118] ppid=3103 vsize=27984680 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3106/task/3118/stat : 3118 (java) S 3103 3106 1904 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 255821140 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538195793248 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3119] ppid=3103 vsize=27984680 memory=4640 CPUtime=0 cores=0-7
/proc/3106/task/3119/stat : 3119 (java) S 3103 3106 1904 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 48 0 255821140 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538194740864 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3120] ppid=3103 vsize=27984680 memory=1600 CPUtime=0 cores=0-7
/proc/3106/task/3120/stat : 3120 (java) S 3103 3106 1904 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538193689168 140539453409179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3121] ppid=3103 vsize=27984680 memory=1136 CPUtime=2.05 cores=0-7
/proc/3106/task/3121/stat : 3121 (java) R 3103 3106 1904 0 -1 4202560 6121 0 0 0 202 3 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538192624328 140539437296488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3122] ppid=3103 vsize=27984680 memory=1828 CPUtime=2.04 cores=0-7
/proc/3106/task/3122/stat : 3122 (java) R 3103 3106 1904 0 -1 1077944384 13285 0 0 0 201 3 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538191583216 140539453401730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3123] ppid=3103 vsize=27984680 memory=1020 CPUtime=2.04 cores=0-7
/proc/3106/task/3123/stat : 3123 (java) S 3103 3106 1904 0 -1 1077944384 7431 0 0 0 202 2 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538190530928 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3124] ppid=3103 vsize=27984680 memory=5672 CPUtime=1.16 cores=0-7
/proc/3106/task/3124/stat : 3124 (java) S 3103 3106 1904 0 -1 1077944384 15292 0 0 0 113 3 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538189478128 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3125] ppid=3103 vsize=27984680 memory=756 CPUtime=0 cores=0-7
/proc/3106/task/3125/stat : 3125 (java) S 3103 3106 1904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538188426080 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3126] ppid=3103 vsize=27984680 memory=13940 CPUtime=0.88 cores=0-7
/proc/3106/task/3126/stat : 3126 (java) S 3103 3106 1904 0 -1 1077944384 9621 0 0 0 46 42 0 0 20 0 48 0 255821143 28656312320 249415 33554432000 4194304 4196468 140734434227072 140538187373360 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3127] ppid=3103 vsize=27984680 memory=3752 CPUtime=0 cores=0-7
/proc/3106/task/3127/stat : 3127 (java) S 3103 3106 1904 0 -1 1077944384 491 0 0 0 0 0 0 0 20 0 48 0 255821399 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537973695904 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3128] ppid=3103 vsize=27984680 memory=69864 CPUtime=4.82 cores=0-7
/proc/3106/task/3128/stat : 3128 (java) S 3103 3106 1904 0 -1 1077944384 20979 0 0 0 241 241 0 0 20 0 48 0 255821420 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537970546096 140539453401730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3129] ppid=3103 vsize=27984680 memory=2148 CPUtime=2482.85 cores=0-7
/proc/3106/task/3129/stat : 3129 (java) R 3103 3106 1904 0 -1 4202560 110348 0 0 0 248180 105 0 0 20 0 48 0 255821436 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537967387896 140539077420735 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3130] ppid=3103 vsize=27984680 memory=1196 CPUtime=2482.94 cores=0-7
/proc/3106/task/3130/stat : 3130 (java) R 3103 3106 1904 0 -1 4202560 108810 0 0 0 248178 116 0 0 20 0 48 0 255821437 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537966337728 140539076870364 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3131] ppid=3103 vsize=27984680 memory=288230574492221466 CPUtime=2483.17 cores=0-7
/proc/3106/task/3131/stat : 3131 (java) R 3103 3106 1904 0 -1 4202560 106491 0 0 0 248206 111 0 0 20 0 48 0 255821437 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537965282416 140539076963236 0 4 0 16800975 0 0 0 -1 3 0 0 34 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3132] ppid=3103 vsize=27984680 memory=288230583166042426 CPUtime=2484.72 cores=0-7
/proc/3106/task/3132/stat : 3132 (java) R 3103 3106 1904 0 -1 4202560 108201 0 0 0 248364 108 0 0 20 0 48 0 255821444 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537962132968 140539077107271 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3133] ppid=3103 vsize=27984680 memory=15542933415790729 CPUtime=0.03 cores=0-7
/proc/3106/task/3133/stat : 3133 (java) S 3103 3106 1904 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 48 0 255821444 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537961088528 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3134] ppid=3103 vsize=27984680 memory=7381517885382682963 CPUtime=0.05 cores=0-7
/proc/3106/task/3134/stat : 3134 (java) S 3103 3106 1904 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 48 0 255821444 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537960035728 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3135] ppid=3103 vsize=27984680 memory=5792879709736234341 CPUtime=2480.6 cores=0-7
/proc/3106/task/3135/stat : 3135 (java) R 3103 3106 1904 0 -1 4202560 110688 0 0 0 247954 106 0 0 20 0 48 0 255821444 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537958975592 140539072953028 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3136] ppid=3103 vsize=27984680 memory=7741240702350550614 CPUtime=2482.17 cores=0-7
/proc/3106/task/3136/stat : 3136 (java) R 3103 3106 1904 0 -1 4202560 109431 0 0 0 248110 107 0 0 20 0 48 0 255821444 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537957922424 140539077035512 0 4 0 16800975 0 0 0 -1 2 0 0 38 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3137] ppid=3103 vsize=27984680 memory=8029472177929937750 CPUtime=2483.63 cores=0-7
/proc/3106/task/3137/stat : 3137 (java) R 3103 3106 1904 0 -1 4202560 113374 0 0 0 248256 107 0 0 20 0 48 0 255821445 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537956869368 140539077417628 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3138] ppid=3103 vsize=27984680 memory=7739556254764390001 CPUtime=0 cores=0-7
/proc/3106/task/3138/stat : 3138 (java) S 3103 3106 1904 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 48 0 255821445 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537955824528 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3139] ppid=3103 vsize=27984680 memory=7740115884708025969 CPUtime=2483.53 cores=0-7
/proc/3106/task/3139/stat : 3139 (java) R 3103 3106 1904 0 -1 4202560 111881 0 0 0 248251 102 0 0 20 0 48 0 255821450 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537954764136 140539076709412 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3140] ppid=3103 vsize=27984680 memory=7595721450794608981 CPUtime=0 cores=0-7
/proc/3106/task/3140/stat : 3140 (java) S 3103 3106 1904 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 48 0 255821451 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537953719440 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3141] ppid=3103 vsize=27984680 memory=7740674458057009237 CPUtime=0.01 cores=0-7
/proc/3106/task/3141/stat : 3141 (java) S 3103 3106 1904 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 48 0 255821459 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537950533136 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3142] ppid=3103 vsize=27984680 memory=7885067818363545429 CPUtime=0 cores=0-7
/proc/3106/task/3142/stat : 3142 (java) S 3103 3106 1904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 48 0 255821459 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537949480112 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3143] ppid=3103 vsize=27984680 memory=7739551831082554737 CPUtime=0 cores=0-7
/proc/3106/task/3143/stat : 3143 (java) S 3103 3106 1904 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 48 0 255821459 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537948427824 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3144] ppid=3103 vsize=27984680 memory=7883941927029794133 CPUtime=0 cores=0-7
/proc/3106/task/3144/stat : 3144 (java) S 3103 3106 1904 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 255821459 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537947375248 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3145] ppid=3103 vsize=27984680 memory=5672 CPUtime=0 cores=0-7
/proc/3106/task/3145/stat : 3145 (java) S 3103 3106 1904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 48 0 255821459 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537946321712 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3146] ppid=3103 vsize=27984680 memory=756 CPUtime=0 cores=0-7
/proc/3106/task/3146/stat : 3146 (java) S 3103 3106 1904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537945269136 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3147] ppid=3103 vsize=27984680 memory=13940 CPUtime=0 cores=0-7
/proc/3106/task/3147/stat : 3147 (java) S 3103 3106 1904 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537944216848 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3148] ppid=3103 vsize=27984680 memory=12552 CPUtime=0 cores=0-7
/proc/3106/task/3148/stat : 3148 (java) R 3103 3106 1904 0 -1 4202560 205 0 0 0 0 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537943150056 140539453402518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3149] ppid=3103 vsize=27984680 memory=38428 CPUtime=0 cores=0-7
/proc/3106/task/3149/stat : 3149 (java) S 3103 3106 1904 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537942111760 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3150] ppid=3103 vsize=27984680 memory=2324 CPUtime=0 cores=0-7
/proc/3106/task/3150/stat : 3150 (java) S 3103 3106 1904 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537941058736 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3151] ppid=3103 vsize=27984680 memory=1580 CPUtime=0 cores=0-7
/proc/3106/task/3151/stat : 3151 (java) S 3103 3106 1904 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537940006672 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
[pid=3106/tid=3152] ppid=3103 vsize=27984680 memory=496 CPUtime=0.02 cores=0-7
/proc/3106/task/3152/stat : 3152 (java) S 3103 3106 1904 0 -1 1077944384 598 0 0 0 2 0 0 0 20 0 48 0 255821460 28656312320 249415 33554432000 4194304 4196468 140734434227072 140537938953872 140539453400789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26234880 140734434231373 140734434231557 140734434231557 140734434234319 0
Current children cumulated CPU time: 19961.8 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 997484 KiB
Child status: 143
Real time (s): 2520.27
CPU time (s): 19962.3
CPU user time (s): 19948.2
CPU system time (s): 14.0554
CPU usage (%): 792.067
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 3102996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19948.2
system time used= 14.0554
maximum resident set size= 3107092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2166090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 622725
involuntary context switches= 425384
# summary of solver processes directly reported to runsolver:
# pid: 3106
# total CPU time (s): 19962.3
# total CPU user time (s): 19948.2
# total CPU system time (s): 14.0554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.1101 second user time and 38.6494 second system time
The end
Begin job on node136 at 2018-08-16 03:23:00 IDJOB=4308972 IDBENCH=141424 IDSOLVER=2793 FILE ID=node136/4308972-1534382580 RUNJOBID= node136-1534374909-1931 PBS_JOBID= 21038296 Free space on /tmp= 46332 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 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-4308972-1534382580/watcher-4308972-1534382580 -o /tmp/evaluation-result-4308972-1534382580/solver-4308972-1534382580 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534374909-1931 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1898657622 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308972-1534382580.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e RANDOM SEED=1898657622 node136.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.50 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.50 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.50 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.50 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: 24746268 kB MemAvailable: 31893760 kB Buffers: 142884 kB Cached: 7253936 kB SwapCached: 44 kB Active: 3765776 kB Inactive: 3684668 kB Active(anon): 4340 kB Inactive(anon): 109548 kB Active(file): 3761436 kB Inactive(file): 3575120 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108860 kB SwapFree: 67107648 kB Dirty: 35924 kB Writeback: 0 kB AnonPages: 76396 kB Mapped: 55936 kB Shmem: 57696 kB Slab: 267520 kB SReclaimable: 239396 kB SUnreclaim: 28124 kB KernelStack: 3552 kB PageTables: 5904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 359868 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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= 46296 MiB End job on node136 at 2018-08-16 04:05:00