Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - ALNS 2017-07-26 | SAT (TO) | 5 | 2520.1001 | 2445.54 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml |
| MD5SUM | b40b46819fbd3a38fcaaee2fdd389509 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2209 |
| Number of constraints | 16215 |
| Number of domains | 1 |
| Minimum domain size | 1081 |
| Maximum domain size | 1081 |
| Distribution of domain sizes | [{"size":1081,"count":1081}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":0,"count":1128},{"degree":46,"count":1081}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":16215}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 16215 |
| Distribution of constraint types | [{"type":"intension","count":16215}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.22/0.41 c version: 2017-07-26 0.22/0.41 c seed: 1454372242 0.39/0.42 c timeout: 2520 0.39/0.42 c memlimit: 11000 0.39/0.42 c nbcore: 4 0.39/0.43 c Parsing instance... 6.68/2.43 c Parsing done, starting search... 26.74/20.83 o 1080 305.21/287.97 o 1079 315.93/298.31 o 1068 342.77/324.50 o 1067 407.62/387.78 o 1066 420.52/400.37 o 12 486.88/465.11 o 10 1046.05/1009.92 o 9 1677.23/1624.73 o 8 2151.06/2086.36 o 7 2341.46/2271.73 o 6 2360.44/2289.84 o 5 2520.05/2445.50 s SATISFIABLE 2520.05/2445.51 v <instantiation> 2520.05/2445.51 v <list> 2520.05/2445.51 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46] 2520.05/2445.51 v </list> 2520.05/2445.51 v <values> 2520.05/2445.51 v 5 5 0 1 1 0 1 2 1 5 2 0 0 4 3 3 0 4 0 4 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 4 0 0 0 0 0 0 5 5 0 1 1 1 2 1 4 5 3 2 1 2 4 2 2 5 1 5 5 3 5 1 2 3 2 4 4 5 1 4 2 1 2 5 1 5 1 2 5 1 1 2 5 2 2 2 3 2 3 2 5 3 1 1 4 3 4 0 0 0 4 4 2 1 1 0 5 1 5 5 2 5 5 1 5 3 2 2 4 3 2 1 1 5 4 1 5 1 2 5 5 1 3 1 1 3 4 3 1 1 5 5 1 4 4 1 1 1 2 1 1 5 4 2 1 5 1 1 2 1 2 4 4 4 2 5 2 2 2 1 5 2 2 5 5 0 1 0 1 2 2 1 2 2 3 2 4 1 1 1 0 1 4 2 5 1 1 2 1 3 3 5 1 2 2 3 4 2 5 4 4 1 1 5 5 1 3 4 5 1 4 0 5 4 3 2 3 0 5 3 0 4 4 4 0 4 2 2 1 5 5 5 4 1 5 1 2 1 1 1 1 5 2 1 4 1 3 1 1 4 2 1 2 5 1 1 2 1 1 4 1 2 2 1 1 2 1 5 5 4 2 3 1 5 4 5 3 4 5 4 5 4 5 5 1 4 4 2 3 1 0 0 2 4 3 5 2 4 4 0 3 4 2 3 1 1 4 4 5 3 1 5 5 1 1 5 4 1 4 4 4 2 1 4 4 2 5 1 0 4 1 3 3 1 4 3 5 0 5 2 5 3 0 5 3 1 2 4 5 5 4 1 4 2 5 2 1 1 3 2 4 5 5 3 4 0 2 3 0 3 2 4 4 4 5 3 4 4 3 5 2 5 5 4 2 1 5 1 1 1 1 4 3 1 1 4 1 5 5 1 3 1 2 0 5 5 3 1 4 0 4 1 4 2 5 1 2 2 5 0 5 1 4 5 1 5 1 0 4 5 2 0 3 0 0 3 4 0 0 3 0 0 0 3 5 1 5 0 2 3 3 2 2 5 1 1 2 5 1 5 4 4 5 4 2 2 1 1 2 5 1 2 0 3 3 5 4 4 4 4 4 4 4 4 5 2 2 1 5 3 5 5 1 4 1 2 1 1 1 1 3 2 1 5 1 5 4 3 5 2 4 5 4 3 5 3 2 5 5 5 5 2 3 4 4 2 1 1 1 1 1 1 1 1 5 2 1 1 3 4 4 3 4 1 1 2 1 5 4 3 2 2 4 1 3 1 5 1 5 3 1 5 1 2 2 4 1 1 5 5 2 5 4 0 1 3 1 0 3 4 5 2 2 3 1 4 5 5 1 3 4 1 1 4 1 1 1 1 4 5 5 5 4 0 0 3 5 3 4 2 1 3 4 3 5 2 1 5 3 1 1 1 5 1 3 2 1 4 1 5 2 5 1 4 1 3 4 3 1 3 3 4 3 1 4 4 1 1 5 1 2 1 4 5 2 5 1 5 2 1 3 3 2 0 2 3 3 5 4 2 4 5 1 3 5 1 3 1 2 2 1 1 1 1 1 1 5 1 5 2 3 2 5 2 1 5 2 3 3 3 1 5 4 1 2 1 2 1 5 3 1 4 4 5 5 3 2 0 2 2 3 4 3 3 5 3 2 4 5 1 1 3 3 5 2 2 5 4 5 1 1 1 5 5 3 4 5 4 1 2 5 5 3 4 1 4 5 5 2 1 1 3 2 3 3 5 1 1 5 5 1 5 4 4 1 3 2 5 2 1 2 4 1 5 4 5 4 1 3 3 3 3 3 4 3 2 5 3 2 5 5 1 4 3 1 5 1 1 1 4 5 1 1 5 5 4 5 5 2 4 1 3 1 1 4 1 2 4 1 1 2 3 5 3 1 4 3 4 3 5 1 5 5 4 1 3 2 5 1 1 1 1 4 1 5 3 2 2 4 2 1 2 3 1 3 5 5 5 4 1 1 3 1 4 1 1 4 1 5 3 4 3 5 2 2 1 1 2 1 1 4 3 5 4 1 2 5 2 5 2 2 1 1 1 1 1 1 1 1 3 4 1 1 1 1 5 4 4 4 4 5 2 3 2 2 1 1 2 2 2 4 4 4 4 1 4 4 3 4 5 2 3 5 4 1 5 2 5 3 4 2 1 1 3 2 4 4 4 5 5 3 1 5 4 5 2 1 3 5 4 3 5 5 1 4 3 1 5 1 4 1 1 1 1 5 1 0 3 5 2 3 5 2 4 4 3 2 3 5 5 5 5 3 4 2 2 2 5 4 2 2 2 3 3 4 4 4 3 2 5 5 4 3 5 4 4 4 5 5 3 4 5 3 5 5 5 3 3 5 4 2 4 3 5 2 5 3 4 4 3 3 3 3 4 5 5 2 4 5 5 3 5 4 1 5 0 2520.05/2445.51 v </values> 2520.05/2445.51 v </instantiation>
OK 5
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 (11104 MiB free)
memory of node 1: 16384 MiB (15450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273358-1502908969/watcher-4273358-1502908969 -o /tmp/evaluation-result-4273358-1502908969/solver-4273358-1502908969 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30868 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1454372242 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273358-1502908969.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11668, runsolver pid=11665
[startup+0.100093 s]*
/proc/loadavg: 1.47 1.25 1.32 3/196 11670
/proc/meminfo: memFree=27190304/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13358552 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 2769 0 0 0 0 0 0 0 20 0 6 0 93090092 13679157248 2941 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3339638 2941 1416 1 0 3329135 0
[pid=11668/tid=11670] ppid=11665 vsize=13358552 memory=7078086954469309281 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 1681 0 0 0 0 0 0 0 20 0 6 0 93090102 13679157248 3139 18446744073709551615 4194304 4196468 140723089329792 139737812775504 139737769520707 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 93090102 13679157248 3139 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13358552 memory=139782287132288 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 93090102 13679157248 3205 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 93090102 13679157248 3205 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 93090102 13679157248 3205 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 11764 KiB
[startup+0.209851 s]*
/proc/loadavg: 1.47 1.25 1.32 2/208 11682
/proc/meminfo: memFree=27181292/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13976388 memory=23920 CPUtime=0.06 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 5480 0 0 0 5 1 0 0 20 0 15 0 93090092 14311821312 5980 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3494097 5980 3234 1 0 3482876 0
[pid=11668/tid=11670] ppid=11665 vsize=13976388 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 3616 0 0 0 4 0 0 0 20 0 15 0 93090102 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737812781664 139737792619870 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13976388 memory=4294967626 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090102 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13976388 memory=139782288062961 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090102 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090102 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090102 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13976388 memory=139782287132288 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090104 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93090104 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737286260256 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93090104 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737285207408 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) S 11665 11668 17093 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 93090107 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737283103088 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737282050288 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13976388 memory=139782287132288 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 93090107 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13976388 memory=139782287132288 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090113 14311821312 6046 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 23920 KiB
[startup+0.310186 s]*
/proc/loadavg: 1.59 1.28 1.33 3/209 11683
/proc/meminfo: memFree=27167684/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13975920 memory=38876 CPUtime=0.22 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 9897 0 0 0 19 3 0 0 20 0 15 0 93090092 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3493980 9719 3556 1 0 3482759 0
[pid=11668/tid=11670] ppid=11665 vsize=13975920 memory=6933928925625698159 CPUtime=0.15 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 7601 0 0 0 13 2 0 0 20 0 15 0 93090102 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737812747536 139737808561309 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090102 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090102 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090102 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090102 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93090104 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93090104 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737286260256 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93090104 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737285207408 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) S 11665 11668 17093 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 93090107 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737283103088 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) S 11665 11668 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93090107 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737282050288 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 415 0 0 0 4 0 0 0 20 0 15 0 93090107 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13975920 memory=139782287132288 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090113 14311342080 9719 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 38876 KiB
[startup+0.707782 s]
/proc/loadavg: 1.59 1.28 1.33 3/209 11683
/proc/meminfo: memFree=27152552/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13977988 memory=89600 CPUtime=1.1 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 15523 0 0 0 105 5 0 0 20 0 15 0 93090092 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3494497 22400 3732 1 0 3483271 0
[pid=11668/tid=11670] ppid=11665 vsize=13977988 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 10301 0 0 0 49 4 0 0 20 0 15 0 93090102 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737812775376 139737448873252 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090102 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13977988 memory=5 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090102 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13977988 memory=32 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090102 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13977988 memory=597 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93090102 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13977988 memory=349 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93090104 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93090104 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737286260256 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13977988 memory=4629539461233085814 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93090104 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737285207408 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13977988 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13977988 memory=-6014655643171517632 CPUtime=0.18 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) R 11665 11668 17093 0 -1 4202560 1546 0 0 0 18 0 0 0 20 0 15 0 93090107 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737283084104 139737791924121 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13977988 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) R 11665 11668 17093 0 -1 4202560 1262 0 0 0 18 0 0 0 20 0 15 0 93090107 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737282036512 139737786556337 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13977988 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 1032 0 0 0 18 0 0 0 20 0 15 0 93090107 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13977988 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13977988 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090113 14313459712 22400 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 89600 KiB
[startup+1.50083 s]
/proc/loadavg: 1.59 1.28 1.33 5/209 11683
/proc/meminfo: memFree=27028880/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13977988 memory=221544 CPUtime=3.79 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 19532 0 0 0 369 10 0 0 20 0 15 0 93090092 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3494497 55386 3779 1 0 3483271 0
[pid=11668/tid=11670] ppid=11665 vsize=13977988 memory=97360451 CPUtime=1.3 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 10628 0 0 0 124 6 0 0 20 0 15 0 93090102 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737812775808 139737450589061 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 93090102 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13977988 memory=279564253303152 CPUtime=0.01 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 93090102 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13977988 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 93090102 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13977988 memory=279564253210880 CPUtime=0.01 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 93090102 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13977988 memory=5 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 93090104 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13977988 memory=32 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93090104 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737286260256 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13977988 memory=597 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 93090104 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737285207408 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13977988 memory=349 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13977988 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) R 11665 11668 17093 0 -1 4202560 3091 0 0 0 95 0 0 0 20 0 15 0 93090107 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737283082288 139737786134134 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13977988 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) R 11665 11668 17093 0 -1 4202560 1796 0 0 0 95 0 0 0 20 0 15 0 93090107 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737282028608 139737793665190 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13977988 memory=76 CPUtime=0.49 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 2472 0 0 0 49 0 0 0 20 0 15 0 93090107 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13977988 memory=76 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13977988 memory=42 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93090113 14313459712 55386 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 13977988 KiB
################
# More data... #
################
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 178028 0 0 0 235824 99 0 0 20 0 15 0 93090102 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737812777120 139737451236582 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13982084 memory=1886000 CPUtime=21.19 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 25804 0 0 0 2075 44 0 0 20 0 15 0 93090102 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13982084 memory=1869736 CPUtime=21.19 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 30135 0 0 0 2068 51 0 0 20 0 15 0 93090102 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13982084 memory=1883696 CPUtime=21.13 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 26858 0 0 0 2067 46 0 0 20 0 15 0 93090102 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13982084 memory=1879824 CPUtime=21.17 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 24154 0 0 0 2069 48 0 0 20 0 15 0 93090102 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13982084 memory=1879028 CPUtime=1.16 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 63123 0 0 0 92 24 0 0 20 0 15 0 93090104 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13982084 memory=1883696 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737286260320 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13982084 memory=1877512 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737285207424 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13982084 memory=1879028 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13982084 memory=56 CPUtime=3.56 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) S 11665 11668 17093 0 -1 1077944384 24244 0 0 0 352 4 0 0 20 0 15 0 93090107 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737283103088 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13982084 memory=1879824 CPUtime=3.44 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) S 11665 11668 17093 0 -1 1077944384 23593 0 0 0 341 3 0 0 20 0 15 0 93090107 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737282050288 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13982084 memory=1886000 CPUtime=1.31 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 35499 0 0 0 126 5 0 0 20 0 15 0 93090107 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13982084 memory=1879824 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13982084 memory=1886000 CPUtime=1.5 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1743 0 0 0 71 79 0 0 20 0 15 0 93090113 14317654016 471500 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 2454.97 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1886000 KiB
[startup+2442.3 s]
/proc/loadavg: 1.02 1.47 1.58 2/188 11894
/proc/meminfo: memFree=29456792/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13982084 memory=1746088 CPUtime=2516.77 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 444685 0 0 0 251286 391 0 0 20 0 15 0 93090092 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3495521 436522 3834 1 0 3484295 0
[pid=11668/tid=11670] ppid=11665 vsize=13982084 memory=1746088 CPUtime=2418.6 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 179917 0 0 0 241761 99 0 0 20 0 15 0 93090102 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737812777232 139737453104458 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13982084 memory=1759944 CPUtime=21.77 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 27135 0 0 0 2133 44 0 0 20 0 15 0 93090102 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13982084 memory=1883696 CPUtime=21.78 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 30687 0 0 0 2127 51 0 0 20 0 15 0 93090102 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13982084 memory=1886000 CPUtime=21.72 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 27485 0 0 0 2126 46 0 0 20 0 15 0 93090102 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13982084 memory=1785088 CPUtime=21.76 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 24929 0 0 0 2128 48 0 0 20 0 15 0 93090102 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13982084 memory=1770212 CPUtime=1.19 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 67992 0 0 0 94 25 0 0 20 0 15 0 93090104 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13982084 memory=1759944 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737286260320 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13982084 memory=1756348 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737285207424 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13982084 memory=1746088 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13982084 memory=1857868 CPUtime=3.56 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) S 11665 11668 17093 0 -1 1077944384 24246 0 0 0 352 4 0 0 20 0 15 0 93090107 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737283103088 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13982084 memory=1770212 CPUtime=3.44 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) S 11665 11668 17093 0 -1 1077944384 23595 0 0 0 341 3 0 0 20 0 15 0 93090107 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737282050288 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13982084 memory=1746088 CPUtime=1.31 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 35501 0 0 0 126 5 0 0 20 0 15 0 93090107 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13982084 memory=1749680 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13982084 memory=1749680 CPUtime=1.54 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1767 0 0 0 73 81 0 0 20 0 15 0 93090113 14317654016 436522 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 2516.77 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1746088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2445.5 s]
/proc/loadavg: 1.02 1.47 1.58 2/188 11895
/proc/meminfo: memFree=29466876/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13982084 memory=1731212 CPUtime=2520.05 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 444945 0 0 0 251614 391 0 0 20 0 15 0 93090092 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3495521 432803 3834 1 0 3484295 0
[pid=11668/tid=11670] ppid=11665 vsize=13982084 memory=1759944 CPUtime=2421.77 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 180048 0 0 0 242078 99 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737812777232 139737453104525 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13982084 memory=1883696 CPUtime=21.8 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 27135 0 0 0 2136 44 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13982084 memory=1886000 CPUtime=21.8 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 30811 0 0 0 2129 51 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13982084 memory=1770212 CPUtime=21.74 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 27486 0 0 0 2128 46 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13982084 memory=1756348 CPUtime=21.79 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 24929 0 0 0 2131 48 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13982084 memory=1736856 CPUtime=1.19 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 67994 0 0 0 94 25 0 0 20 0 15 0 93090104 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13982084 memory=1857868 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737286260320 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13982084 memory=1736856 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737285207424 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13982084 memory=1785088 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13982084 memory=1791760 CPUtime=3.56 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) S 11665 11668 17093 0 -1 1077944384 24246 0 0 0 352 4 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737283103088 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13982084 memory=4028 CPUtime=3.44 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) S 11665 11668 17093 0 -1 1077944384 23595 0 0 0 341 3 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737282050288 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13982084 memory=51008 CPUtime=1.31 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 35501 0 0 0 126 5 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13982084 memory=1749680 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13982084 memory=1749680 CPUtime=1.54 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1769 0 0 0 73 81 0 0 20 0 15 0 93090113 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1731212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2445.54 s]
# the end of solver process 11668 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.17 s, system=3.93121 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2445.5 s]
/proc/loadavg: 1.02 1.47 1.58 2/188 11895
/proc/meminfo: memFree=29466876/32770624 swapFree=67108860/67108860
[pid=11668] ppid=11665 vsize=13982084 memory=1731212 CPUtime=2520.05 cores=1,3,5,7
/proc/11668/stat : 11668 (java) S 11665 11668 17093 0 -1 1077944320 444945 0 0 0 251614 391 0 0 20 0 15 0 93090092 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 140723089312336 139737808539383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
/proc/11668/statm: 3495521 432803 3834 1 0 3484295 0
[pid=11668/tid=11670] ppid=11665 vsize=13982084 memory=1759944 CPUtime=2421.77 cores=1,3,5,7
/proc/11668/task/11670/stat : 11670 (java) R 11665 11668 17093 0 -1 4202560 180048 0 0 0 242078 99 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737812777232 139737453104525 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11671] ppid=11665 vsize=13982084 memory=1883696 CPUtime=21.8 cores=1,3,5,7
/proc/11668/task/11671/stat : 11671 (java) S 11665 11668 17093 0 -1 1077944384 27135 0 0 0 2136 44 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737769437840 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11672] ppid=11665 vsize=13982084 memory=1886000 CPUtime=21.8 cores=1,3,5,7
/proc/11668/task/11672/stat : 11672 (java) S 11665 11668 17093 0 -1 1077944384 30811 0 0 0 2129 51 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737407351312 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11673] ppid=11665 vsize=13982084 memory=1770212 CPUtime=21.74 cores=1,3,5,7
/proc/11668/task/11673/stat : 11673 (java) S 11665 11668 17093 0 -1 1077944384 27486 0 0 0 2128 46 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737406298512 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11674] ppid=11665 vsize=13982084 memory=1756348 CPUtime=21.79 cores=1,3,5,7
/proc/11668/task/11674/stat : 11674 (java) S 11665 11668 17093 0 -1 1077944384 24929 0 0 0 2131 48 0 0 20 0 15 0 93090102 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737405245712 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11675] ppid=11665 vsize=13982084 memory=1736856 CPUtime=1.19 cores=1,3,5,7
/proc/11668/task/11675/stat : 11675 (java) S 11665 11668 17093 0 -1 1077944384 67994 0 0 0 94 25 0 0 20 0 15 0 93090104 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737287314288 139737808550530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11676] ppid=11665 vsize=13982084 memory=1857868 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11676/stat : 11676 (java) S 11665 11668 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737286260320 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11677] ppid=11665 vsize=13982084 memory=1736856 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11677/stat : 11677 (java) S 11665 11668 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 93090104 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737285207424 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11678] ppid=11665 vsize=13982084 memory=1785088 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11678/stat : 11678 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737284155728 139737808557979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11679] ppid=11665 vsize=13982084 memory=1791760 CPUtime=3.56 cores=1,3,5,7
/proc/11668/task/11679/stat : 11679 (java) S 11665 11668 17093 0 -1 1077944384 24246 0 0 0 352 4 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737283103088 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11680] ppid=11665 vsize=13982084 memory=4028 CPUtime=3.44 cores=1,3,5,7
/proc/11668/task/11680/stat : 11680 (java) S 11665 11668 17093 0 -1 1077944384 23595 0 0 0 341 3 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737282050288 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11681] ppid=11665 vsize=13982084 memory=51008 CPUtime=1.31 cores=1,3,5,7
/proc/11668/task/11681/stat : 11681 (java) S 11665 11668 17093 0 -1 1077944384 35501 0 0 0 126 5 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737280997488 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11682] ppid=11665 vsize=13982084 memory=1749680 CPUtime=0 cores=1,3,5,7
/proc/11668/task/11682/stat : 11682 (java) S 11665 11668 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93090107 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737279944928 139737808549589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
[pid=11668/tid=11683] ppid=11665 vsize=13982084 memory=1749680 CPUtime=1.54 cores=1,3,5,7
/proc/11668/task/11683/stat : 11683 (java) S 11665 11668 17093 0 -1 1077944384 1769 0 0 0 73 81 0 0 20 0 15 0 93090113 14317654016 432803 18446744073709551615 4194304 4196468 140723089329792 139737278893232 139737808550530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 26955776 140723089334644 140723089334825 140723089334825 140723089338319 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1731212 KiB
Child status: 143
Real time (s): 2445.54
CPU time (s): 2520.1
CPU user time (s): 2516.17
CPU system time (s): 3.93121
CPU usage (%): 103.049
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4196056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 3.93121
maximum resident set size= 4196416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445471
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72968
involuntary context switches= 2755
# summary of solver processes directly reported to runsolver:
# pid: 11668
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.17
# total CPU system time (s): 3.93121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.959 second user time and 17.685 second system time
The end
Begin job on node127 at 2017-08-16 20:28:39 IDJOB=4273358 IDBENCH=140592 IDSOLVER=2665 FILE ID=node127/4273358-1502908969 RUNJOBID= node127-1502806776-30868 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273358-1502908969/watcher-4273358-1502908969 -o /tmp/evaluation-result-4273358-1502908969/solver-4273358-1502908969 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30868 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1454372242 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273358-1502908969.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509 RANDOM SEED=1454372242 node127.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.92 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.92 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.92 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.92 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: 27191572 kB MemAvailable: 28013260 kB Buffers: 272788 kB Cached: 843768 kB SwapCached: 0 kB Active: 4786968 kB Inactive: 338948 kB Active(anon): 3959188 kB Inactive(anon): 91976 kB Active(file): 827780 kB Inactive(file): 246972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 43128 kB Writeback: 4 kB AnonPages: 4009200 kB Mapped: 68972 kB Shmem: 41636 kB Slab: 151644 kB SReclaimable: 125540 kB SUnreclaim: 26104 kB KernelStack: 3424 kB PageTables: 12756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4844300 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3878912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61988 MiB End job on node127 at 2017-08-16 21:09:25