Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Hybrid 2017-06-30 | SAT (TO) | 24 | 2400.1001 | 2324.23 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml |
| MD5SUM | 6af071621bab6d4e45a1e2acc37440b7 |
| 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.1101 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2116 |
| Number of constraints | 15180 |
| Number of domains | 1 |
| Minimum domain size | 1035 |
| Maximum domain size | 1035 |
| Distribution of domain sizes | [{"size":1035,"count":1035}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":0,"count":1081},{"degree":45,"count":1035}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":15180}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 15180 |
| Distribution of constraint types | [{"type":"intension","count":15180}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.25/0.37 c version: 2017-06-30 0.25/0.37 c seed: 1650647441 0.25/0.37 c timeout: 2400 0.25/0.37 c memlimit: 15500 0.25/0.37 c nbcore: 4 0.25/0.40 c Parsing instance... 6.60/2.34 c Parsing done, starting first complete search... 25.04/18.63 o 1034 42.46/34.80 o 1033 59.08/51.00 o 1032 75.96/67.27 o 1031 92.87/83.64 o 1030 109.77/100.02 o 1029 126.58/116.38 o 1028 143.33/132.67 o 1027 160.24/149.06 o 1026 176.93/165.26 o 1025 193.67/181.59 o 1024 210.55/197.92 o 1023 227.25/214.11 o 1022 244.01/230.41 o 1021 255.55/241.68 c First complete search done, starting ALNS search... 464.68/441.14 o 1000 600.09/572.83 o 44 692.61/662.52 o 43 806.34/773.34 o 42 831.28/797.01 o 41 889.34/853.63 o 40 974.76/936.92 o 39 1072.39/1032.81 o 38 1081.34/1041.59 o 33 1157.38/1115.30 o 24 1981.13/1916.77 c ALNS done, starting second complete search 1981.13/1916.77 c Best operator: FullRelax_WeightDeg(Min) with improvement of: 956 2400.06/2324.20 s SATISFIABLE 2400.06/2324.20 v <instantiation> 2400.06/2324.20 v <list> 2400.06/2324.20 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45] 2400.06/2324.20 v </list> 2400.06/2324.20 v <values> 2400.06/2324.20 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 7 7 7 7 6 6 6 6 6 6 6 6 6 6 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 6 6 6 6 7 7 7 7 7 7 7 7 7 8 6 5 6 6 6 6 6 6 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 6 6 6 6 8 8 8 8 8 8 8 8 8 7 6 5 6 6 6 6 6 6 9 9 9 9 9 9 9 9 9 9 9 9 9 9 6 6 6 6 9 9 9 9 9 10 11 9 12 7 6 5 6 6 6 6 6 6 10 10 10 10 10 10 10 10 10 10 10 10 10 6 6 6 6 10 10 10 10 11 9 9 12 9 7 6 5 6 6 6 6 6 6 11 11 11 11 11 11 11 11 11 11 11 11 6 6 6 6 11 11 11 12 10 9 9 10 9 7 6 5 6 6 6 6 6 6 12 12 12 12 12 12 12 12 12 12 12 6 6 6 6 12 12 13 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 13 13 13 13 13 13 13 13 13 13 6 6 6 6 13 13 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 14 14 14 14 14 14 14 14 14 6 6 6 6 14 14 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 15 15 15 15 15 15 15 15 6 6 6 6 15 15 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 16 16 16 16 16 16 16 6 6 6 6 16 16 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 22 17 17 17 22 22 22 22 6 6 17 22 22 11 10 9 9 10 9 7 6 5 6 6 6 6 6 22 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 17 18 6 6 6 6 18 18 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 17 17 17 6 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 6 6 6 6 22 23 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 15 8 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 8 8 6 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 9 6 6 6 6 6 6 6 6 6 6 8 5 8 8 8 8 8 8 13 6 6 6 6 6 6 6 6 6 8 5 8 8 8 8 8 8 22 12 11 10 9 9 10 9 7 6 5 6 6 6 6 6 6 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 11 10 9 10 11 11 10 10 10 10 10 10 10 10 10 11 11 11 10 10 11 11 11 11 11 11 11 11 11 10 9 11 11 9 9 9 9 9 9 9 9 9 10 10 10 10 10 10 10 10 10 10 10 10 11 11 8 8 8 8 8 8 8 8 8 9 11 11 11 11 11 11 11 11 11 7 7 7 7 7 7 7 7 7 6 6 6 6 6 6 6 6 5 14 14 14 14 14 14 5 5 5 5 5 5 16 16 16 16 16 18 18 18 18 22 22 22 23 23 24 2400.06/2324.20 v </values> 2400.06/2324.20 v </instantiation>
OK 24
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248645-1502142453/watcher-4248645-1502142453 -o /tmp/evaluation-result-4248645-1502142453/solver-4248645-1502142453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502100388-30767 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1650647441 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248645-1502142453.xml pid=5063 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.75 1.61 1.57 2/200 5066 /proc/meminfo: memFree=29035492/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/5066/stat : 5066 (runsolver) D 5063 5066 12906 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56156274 24240128 106 18446744073709551615 4194304 4338465 140722992740832 140722992738472 140659484005079 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 37724160 140722992746601 140722992747081 140722992747081 140722992750538 0 /proc/5066/statm: 5918 106 53 36 0 2156 0 [startup+0.100196 s] /proc/loadavg: 1.75 1.61 1.57 2/200 5066 /proc/meminfo: memFree=29035492/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=12512256 CPUtime=0.02 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 4051 0 0 0 1 1 0 0 20 0 9 0 56156274 12812550144 4171 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3128064 4171 2089 1 0 3117561 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12512256 [startup+0.201616 s] /proc/loadavg: 1.75 1.61 1.57 2/200 5066 /proc/meminfo: memFree=29035492/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=12914512 CPUtime=0.09 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 7095 0 0 0 7 2 0 0 20 0 15 0 56156274 13224460288 7306 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3228628 7306 3372 1 0 3217407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12914512 [startup+0.301514 s] /proc/loadavg: 1.75 1.61 1.57 2/200 5066 /proc/meminfo: memFree=29035492/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=12914512 CPUtime=0.25 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 10441 0 0 0 22 3 0 0 20 0 15 0 56156274 13224460288 9687 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3228884 9687 3542 1 0 3217663 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 12914512 [startup+0.700481 s] /proc/loadavg: 1.75 1.61 1.57 2/200 5066 /proc/meminfo: memFree=29035492/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=12916580 CPUtime=1.23 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 16074 0 0 0 118 5 0 0 20 0 15 0 56156274 13226577920 22422 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3229145 22422 3731 1 0 3217919 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 12916580 [startup+1.50065 s] /proc/loadavg: 1.75 1.61 1.57 5/215 5081 /proc/meminfo: memFree=28841304/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=12916580 CPUtime=3.87 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 19837 0 0 0 377 10 0 0 20 0 15 0 56156274 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3229145 55681 3779 1 0 3217919 0 [pid=5066/tid=5068] ppid=5063 vsize=12916580 CPUtime=1.33 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 10802 0 0 0 128 5 0 0 20 0 15 0 56156281 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845692135200 139845669551428 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 56156282 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 56156282 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12916580 CPUtime=0.01 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 56156282 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12916580 CPUtime=0.01 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 56156282 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 56156284 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 56156284 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845171569440 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56156284 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845170517104 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12916580 CPUtime=0.94 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) R 5063 5066 12906 0 -1 4202560 2503 0 0 0 94 0 0 0 20 0 15 0 56156287 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845168399392 139845668601480 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12916580 CPUtime=0.97 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) R 5063 5066 12906 0 -1 4202560 2661 0 0 0 97 0 0 0 20 0 15 0 56156287 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845167346448 139845671387888 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12916580 CPUtime=0.51 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 2329 0 0 0 51 0 0 0 20 0 15 0 56156287 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56156292 13226577920 55681 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 12916580 [startup+3.10076 s] /proc/loadavg: 1.75 1.61 1.57 4/215 5082 /proc/meminfo: memFree=28698784/32770624 swapFree=0/376344 [pid=5066] ppid=5063 vsize=12920676 CPUtime=8.45 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 30962 0 0 0 813 32 0 0 20 0 15 0 56156274 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 166431 3802 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=2.75 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 13849 0 0 0 264 11 0 0 20 0 15 0 56156281 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845692137464 139845302386659 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=0.14 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 160 0 0 0 10 4 0 0 20 0 15 0 56156282 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=0.11 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 80 0 0 0 8 3 0 0 20 0 15 0 56156282 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=0.14 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 153 0 0 0 10 4 0 0 20 0 15 0 56156282 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=0.14 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 120 0 0 0 10 4 0 0 20 0 15 0 56156282 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=0.01 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 56156284 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12920676 CPUtime=2.1 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) S 5063 5066 12906 0 -1 1077944384 5139 0 0 0 209 1 0 0 20 0 15 0 56156287 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845168413296 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12920676 CPUtime=2.17 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) S 5063 5066 12906 0 -1 1077944384 4689 0 0 0 217 0 0 0 20 0 15 0 56156287 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845167360496 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12920676 CPUtime=0.8 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 5188 0 0 0 79 1 0 0 20 0 15 0 56156287 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156292 13230772224 166431 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 8.45 Current children cumulated vsize (KiB) 12920676 [startup+6.30073 s] /proc/loadavg: 1.69 1.60 1.56 6/215 5082 /proc/meminfo: memFree=27478568/32770624 swapFree=0/376336 [pid=5066] ppid=5063 vsize=12920676 CPUtime=12.23 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 33232 0 0 0 1162 61 0 0 20 0 15 0 56156274 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 520288 3802 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=5.79 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 14857 0 0 0 549 30 0 0 20 0 15 0 56156281 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845692138120 139845302386520 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=0.29 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 219 0 0 0 23 6 0 0 20 0 15 0 56156282 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=0.25 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 356 0 0 0 20 5 0 0 20 0 15 0 56156282 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=0.29 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 193 0 0 0 23 6 0 0 20 0 15 0 56156282 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=0.28 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 168 0 0 0 22 6 0 0 20 0 15 0 56156282 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=0.01 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 1016 0 0 0 1 0 0 0 20 0 15 0 56156284 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12920676 CPUtime=2.17 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) S 5063 5066 12906 0 -1 1077944384 5156 0 0 0 216 1 0 0 20 0 15 0 56156287 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845168413296 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12920676 CPUtime=2.22 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) S 5063 5066 12906 0 -1 1077944384 4696 0 0 0 222 0 0 0 20 0 15 0 56156287 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845167360496 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12920676 CPUtime=0.82 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 5199 0 0 0 81 1 0 0 20 0 15 0 56156287 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156292 13230772224 520288 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 12.23 Current children cumulated vsize (KiB) 12920676 [startup+12.7007 s] /proc/loadavg: 1.72 1.60 1.57 6/215 5082 /proc/meminfo: memFree=25543912/32770624 swapFree=0/376340 [pid=5066] ppid=5063 vsize=12920676 CPUtime=18.97 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 35434 0 0 0 1810 87 0 0 20 0 15 0 56156274 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 877984 3803 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=12.12 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 16089 0 0 0 1162 50 0 0 20 0 15 0 56156281 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845692140288 139845302387055 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=0.35 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 387 0 0 0 28 7 0 0 20 0 15 0 56156282 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=0.33 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 383 0 0 0 26 7 0 0 20 0 15 0 56156282 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=0.35 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 213 0 0 0 28 7 0 0 20 0 15 0 56156282 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=0.35 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 308 0 0 0 27 8 0 0 20 0 15 0 56156282 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=0.02 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 1609 0 0 0 2 0 0 0 20 0 15 0 56156284 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 877984 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 ################ # More data... # ################ /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 495721 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=1.34 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 1253 0 0 0 69 65 0 0 20 0 15 0 56156292 13230772224 495721 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 2213 Current children cumulated vsize (KiB) 12920676 [startup+2202.3 s] /proc/loadavg: 0.76 0.81 1.15 2/196 5309 /proc/meminfo: memFree=29522580/32770624 swapFree=0/377208 [pid=5066] ppid=5063 vsize=12920676 CPUtime=2274.92 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 374136 0 0 0 227212 280 0 0 20 0 15 0 56156274 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 477686 3829 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=2179.74 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 143872 0 0 0 217898 76 0 0 20 0 15 0 56156281 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845692139808 139845298257703 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=20.91 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 23491 0 0 0 2060 31 0 0 20 0 15 0 56156282 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=20.84 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 28443 0 0 0 2052 32 0 0 20 0 15 0 56156282 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=20.9 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 27191 0 0 0 2056 34 0 0 20 0 15 0 56156282 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=20.88 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 28195 0 0 0 2057 31 0 0 20 0 15 0 56156282 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=1.01 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 51045 0 0 0 84 17 0 0 20 0 15 0 56156284 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12920676 CPUtime=3.99 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) S 5063 5066 12906 0 -1 1077944384 26015 0 0 0 395 4 0 0 20 0 15 0 56156287 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845168413296 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12920676 CPUtime=3.96 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) S 5063 5066 12906 0 -1 1077944384 23180 0 0 0 393 3 0 0 20 0 15 0 56156287 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845167360496 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12920676 CPUtime=1.21 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 19994 0 0 0 118 3 0 0 20 0 15 0 56156287 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=1.39 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 1277 0 0 0 71 68 0 0 20 0 15 0 56156292 13230772224 477686 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 2274.92 Current children cumulated vsize (KiB) 12920676 [startup+2262.3 s] /proc/loadavg: 0.69 0.79 1.12 2/197 5312 /proc/meminfo: memFree=29609572/32770624 swapFree=0/377232 [pid=5066] ppid=5063 vsize=12920676 CPUtime=2336.54 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 376311 0 0 0 233371 283 0 0 20 0 15 0 56156274 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 455934 3829 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=2239.17 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 145400 0 0 0 223840 77 0 0 20 0 15 0 56156281 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845692139920 139845298257767 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=21.44 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 23544 0 0 0 2113 31 0 0 20 0 15 0 56156282 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=21.37 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 28576 0 0 0 2105 32 0 0 20 0 15 0 56156282 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=21.43 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 27305 0 0 0 2109 34 0 0 20 0 15 0 56156282 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=21.42 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 28342 0 0 0 2111 31 0 0 20 0 15 0 56156282 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=1.03 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 51221 0 0 0 85 18 0 0 20 0 15 0 56156284 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12920676 CPUtime=3.99 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) S 5063 5066 12906 0 -1 1077944384 26017 0 0 0 395 4 0 0 20 0 15 0 56156287 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845168413296 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12920676 CPUtime=3.96 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) S 5063 5066 12906 0 -1 1077944384 23182 0 0 0 393 3 0 0 20 0 15 0 56156287 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845167360496 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12920676 CPUtime=1.21 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 19996 0 0 0 118 3 0 0 20 0 15 0 56156287 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=1.42 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 1295 0 0 0 73 69 0 0 20 0 15 0 56156292 13230772224 455934 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 2336.54 Current children cumulated vsize (KiB) 12920676 [startup+2322.3 s] /proc/loadavg: 0.91 0.83 1.11 2/194 5314 /proc/meminfo: memFree=29696120/32770624 swapFree=0/377252 [pid=5066] ppid=5063 vsize=12920676 CPUtime=2398.1 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 378678 0 0 0 239524 286 0 0 20 0 15 0 56156274 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 435414 3829 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=2298.62 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 147030 0 0 0 229785 77 0 0 20 0 15 0 56156281 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845692139920 139845297611260 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=21.95 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 23773 0 0 0 2164 31 0 0 20 0 15 0 56156282 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=21.87 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 28669 0 0 0 2155 32 0 0 20 0 15 0 56156282 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=21.95 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 27393 0 0 0 2160 35 0 0 20 0 15 0 56156282 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=21.93 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 28468 0 0 0 2161 32 0 0 20 0 15 0 56156282 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=1.06 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 51399 0 0 0 87 19 0 0 20 0 15 0 56156284 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12920676 CPUtime=3.99 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) S 5063 5066 12906 0 -1 1077944384 26019 0 0 0 395 4 0 0 20 0 15 0 56156287 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845168413296 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12920676 CPUtime=3.96 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) S 5063 5066 12906 0 -1 1077944384 23184 0 0 0 393 3 0 0 20 0 15 0 56156287 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845167360496 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12920676 CPUtime=1.21 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 19999 0 0 0 118 3 0 0 20 0 15 0 56156287 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=1.46 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 1311 0 0 0 75 71 0 0 20 0 15 0 56156292 13230772224 435414 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 2398.1 Current children cumulated vsize (KiB) 12920676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2324.2 s] /proc/loadavg: 0.91 0.83 1.11 2/194 5314 /proc/meminfo: memFree=29702272/32770624 swapFree=0/377248 [pid=5066] ppid=5063 vsize=12920676 CPUtime=2400.06 cores=0,2,4,6 /proc/5066/stat : 5066 (java) S 5063 5066 12906 0 -1 1077944320 378853 0 0 0 239720 286 0 0 20 0 15 0 56156274 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 140722787438944 139845687901943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 /proc/5066/statm: 3230169 433875 3829 1 0 3218943 0 [pid=5066/tid=5068] ppid=5063 vsize=12920676 CPUtime=2300.5 cores=0,2,4,6 /proc/5066/task/5068/stat : 5068 (java) R 5063 5066 12906 0 -1 4202560 147151 0 0 0 229973 77 0 0 20 0 15 0 56156281 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845692139920 139845298257767 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5069] ppid=5063 vsize=12920676 CPUtime=21.97 cores=0,2,4,6 /proc/5066/task/5069/stat : 5069 (java) S 5063 5066 12906 0 -1 1077944384 23777 0 0 0 2166 31 0 0 20 0 15 0 56156282 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845624384400 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5070] ppid=5063 vsize=12920676 CPUtime=21.89 cores=0,2,4,6 /proc/5066/task/5070/stat : 5070 (java) S 5063 5066 12906 0 -1 1077944384 28671 0 0 0 2157 32 0 0 20 0 15 0 56156282 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845623331600 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5071] ppid=5063 vsize=12920676 CPUtime=21.97 cores=0,2,4,6 /proc/5066/task/5071/stat : 5071 (java) S 5063 5066 12906 0 -1 1077944384 27401 0 0 0 2162 35 0 0 20 0 15 0 56156282 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845622279312 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5072] ppid=5063 vsize=12920676 CPUtime=21.95 cores=0,2,4,6 /proc/5066/task/5072/stat : 5072 (java) S 5063 5066 12906 0 -1 1077944384 28506 0 0 0 2163 32 0 0 20 0 15 0 56156282 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845621226512 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5073] ppid=5063 vsize=12920676 CPUtime=1.06 cores=0,2,4,6 /proc/5066/task/5073/stat : 5073 (java) S 5063 5066 12906 0 -1 1077944384 51401 0 0 0 87 19 0 0 20 0 15 0 56156284 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845172623472 139845687913090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5074] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5074/stat : 5074 (java) S 5063 5066 12906 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845171569504 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5075] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5075/stat : 5075 (java) S 5063 5066 12906 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 56156284 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845170517120 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5076] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5076/stat : 5076 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845169465424 139845687920539 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5077] ppid=5063 vsize=12920676 CPUtime=3.99 cores=0,2,4,6 /proc/5066/task/5077/stat : 5077 (java) S 5063 5066 12906 0 -1 1077944384 26019 0 0 0 395 4 0 0 20 0 15 0 56156287 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845168413296 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5078] ppid=5063 vsize=12920676 CPUtime=3.96 cores=0,2,4,6 /proc/5066/task/5078/stat : 5078 (java) S 5063 5066 12906 0 -1 1077944384 23184 0 0 0 393 3 0 0 20 0 15 0 56156287 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845167360496 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5079] ppid=5063 vsize=12920676 CPUtime=1.21 cores=0,2,4,6 /proc/5066/task/5079/stat : 5079 (java) S 5063 5066 12906 0 -1 1077944384 19999 0 0 0 118 3 0 0 20 0 15 0 56156287 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845166308208 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5080] ppid=5063 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/5066/task/5080/stat : 5080 (java) S 5063 5066 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56156287 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845165255648 139845687912149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 [pid=5066/tid=5081] ppid=5063 vsize=12920676 CPUtime=1.46 cores=0,2,4,6 /proc/5066/task/5081/stat : 5081 (java) S 5063 5066 12906 0 -1 1077944384 1311 0 0 0 75 71 0 0 20 0 15 0 56156292 13230772224 433875 18446744073709551615 4194304 4196468 140722787456400 139845164202416 139845687913090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140722787463575 140722787463758 140722787463758 140722787467215 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 12920676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5066 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2324.23 CPU time (s): 2400.1 CPU user time (s): 2397.22 CPU system time (s): 2.87424 CPU usage (%): 103.264 Max. virtual memory (cumulated for all children) (KiB): 12920676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.22 system time used= 2.87424 maximum resident set size= 3867652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 379480 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69680 involuntary context switches= 4779 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.88291 second user time and 16.179 second system time The end
Begin job on node135 at 2017-08-07 23:33:36 IDJOB=4248645 IDBENCH=140591 IDSOLVER=2629 FILE ID=node135/4248645-1502142453 RUNJOBID= node135-1502100388-30767 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-46.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248645-1502142453/watcher-4248645-1502142453 -o /tmp/evaluation-result-4248645-1502142453/solver-4248645-1502142453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502100388-30767 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1650647441 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248645-1502142453.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7 RANDOM SEED=1650647441 node135.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.21 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.21 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.21 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.21 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: 29035556 kB MemAvailable: 29640696 kB Buffers: 239296 kB Cached: 652520 kB SwapCached: 0 kB Active: 2896308 kB Inactive: 401512 kB Active(anon): 2406224 kB Inactive(anon): 24948 kB Active(file): 490084 kB Inactive(file): 376564 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42628 kB Writeback: 28 kB AnonPages: 2557384 kB Mapped: 55720 kB Shmem: 25272 kB Slab: 135616 kB SReclaimable: 108656 kB SUnreclaim: 26960 kB KernelStack: 3728 kB PageTables: 10176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2958212 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2426880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61988 MiB End job on node135 at 2017-08-08 00:12:20