Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 1167 | 253.93401 | 240.041 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml |
| MD5SUM | f189c1eeae9c695eff92bc09b1867153 |
| 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 | 240.11099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2401 |
| Number of constraints | 18424 |
| Number of domains | 1 |
| Minimum domain size | 1176 |
| Maximum domain size | 1176 |
| Distribution of domain sizes | [{"size":1176,"count":1176}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":0,"count":1225},{"degree":48,"count":1176}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":18424}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 18424 |
| Distribution of constraint types | [{"type":"intension","count":18424}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.22/0.38 c version: 2017-07-26 0.22/0.39 c seed: 2002154394 0.22/0.39 c timeout: 264 0.22/0.39 c memlimit: 11000 0.22/0.39 c nbcore: 4 0.41/0.41 c Parsing instance... 6.78/2.50 c Parsing done, starting search... 33.07/26.24 o 1175 58.93/50.73 o 1174 84.39/75.33 o 1173 109.75/99.91 o 1172 134.82/124.34 o 1171 159.85/148.68 o 1170 184.97/173.07 o 1169 210.08/197.43 o 1168 235.38/222.02 o 1167 253.89/240.00 s SATISFIABLE 253.89/240.01 v <instantiation> 253.89/240.01 v <list> 253.89/240.01 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[0][47] x[0][48] 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[1][47] x[1][48] 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[2][47] x[2][48] 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[3][47] x[3][48] 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[4][47] x[4][48] 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[5][47] x[5][48] 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[6][47] x[6][48] 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[7][47] x[7][48] 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[8][47] x[8][48] 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[9][47] x[9][48] 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[10][47] x[10][48] 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[11][47] x[11][48] 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[12][47] x[12][48] 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[13][47] x[13][48] 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[14][47] x[14][48] 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[15][47] x[15][48] 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[16][47] x[16][48] 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[17][47] x[17][48] 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[18][47] x[18][48] 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[19][47] x[19][48] 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[20][47] x[20][48] 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[21][47] x[21][48] 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[22][47] x[22][48] 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[23][47] x[23][48] 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[24][47] x[24][48] 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[25][47] x[25][48] 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[26][47] x[26][48] 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[27][47] x[27][48] 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[28][47] x[28][48] 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[29][47] x[29][48] 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[30][47] x[30][48] 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[31][47] x[31][48] 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[32][47] x[32][48] 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[33][47] x[33][48] 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[34][47] x[34][48] 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[35][47] x[35][48] 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[36][47] x[36][48] 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[37][47] x[37][48] 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[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48] 253.89/240.01 v </list> 253.89/240.01 v <values> 253.89/240.01 v 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1167 1166 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1159 1160 1161 1162 1163 1164 1165 1166 1167 1160 1161 1162 1163 1164 1165 1166 1167 1161 1162 1163 1164 1165 1166 1167 1162 1163 1164 1165 1166 1167 1163 1164 1165 1166 1167 1164 1165 1166 1167 1165 1166 1167 1166 1167 1167 253.89/240.01 v </values> 253.89/240.01 v </instantiation>
OK 1167
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-4256222-1501995033/watcher-4256222-1501995033 -o /tmp/evaluation-result-4256222-1501995033/solver-4256222-1501995033 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501986126-20441 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2002154394 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256222-1501995033.xml pid=28261 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.89 1.66 1.61 3/199 28264 /proc/meminfo: memFree=27434012/32770624 swapFree=0/330888 [pid=28264] ppid=28261 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/28264/stat : 28264 (runsolver) D 28261 28264 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 99156519 24240128 107 18446744073709551615 4194304 4338465 140737320612368 140737320610008 140091988337367 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 31141888 140737320616044 140737320616524 140737320616524 140737320619978 0 /proc/28264/statm: 5918 107 54 36 0 2156 0 [startup+0.100198 s] /proc/loadavg: 1.89 1.66 1.61 3/199 28264 /proc/meminfo: memFree=27434012/32770624 swapFree=0/330888 [pid=28264] ppid=28261 vsize=13358552 CPUtime=0.01 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 3508 0 0 0 1 0 0 0 20 0 6 0 99156519 13679157248 3666 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3339638 3666 1912 1 0 3329135 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13358552 [startup+0.200463 s] /proc/loadavg: 1.89 1.66 1.61 3/199 28264 /proc/meminfo: memFree=27434012/32770624 swapFree=0/330888 [pid=28264] ppid=28261 vsize=13973048 CPUtime=0.07 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 5796 0 0 0 6 1 0 0 20 0 15 0 99156519 14308401152 6010 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3493980 6010 2601 1 0 3482759 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13973048 [startup+0.300288 s] /proc/loadavg: 1.89 1.66 1.61 3/199 28264 /proc/meminfo: memFree=27434012/32770624 swapFree=0/330888 [pid=28264] ppid=28261 vsize=13975920 CPUtime=0.22 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 10043 0 0 0 20 2 0 0 20 0 15 0 99156519 14311342080 9790 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3493980 9790 3531 1 0 3482759 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 13975920 [startup+0.700879 s] /proc/loadavg: 1.89 1.66 1.61 3/199 28264 /proc/meminfo: memFree=27434012/32770624 swapFree=0/330888 [pid=28264] ppid=28261 vsize=13977988 CPUtime=1.16 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 16200 0 0 0 111 5 0 0 20 0 15 0 99156519 14313459712 24120 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3494497 24120 3727 1 0 3483271 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 13977988 [startup+1.50884 s] /proc/loadavg: 1.89 1.66 1.61 5/214 28279 /proc/meminfo: memFree=27226612/32770624 swapFree=0/330904 [pid=28264] ppid=28261 vsize=13977988 CPUtime=3.89 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 18668 0 0 0 376 13 0 0 20 0 15 0 99156519 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3494497 58094 3784 1 0 3483271 0 [pid=28264/tid=28266] ppid=28261 vsize=13977988 CPUtime=1.32 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) S 28261 28264 12039 0 -1 1077944384 10662 0 0 0 126 6 0 0 20 0 15 0 99156527 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139549625472 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13977988 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) R 28261 28264 12039 0 -1 4202560 34 0 0 0 1 1 0 0 20 0 15 0 99156528 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139538490686 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13977988 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) R 28261 28264 12039 0 -1 4202560 36 0 0 0 1 1 0 0 20 0 15 0 99156528 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139530418704 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13977988 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) R 28261 28264 12039 0 -1 4202560 33 0 0 0 1 1 0 0 20 0 15 0 99156528 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139538487675 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13977988 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) R 28261 28264 12039 0 -1 4202560 40 0 0 0 1 1 0 0 20 0 15 0 99156528 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139484179416 140139538490694 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 99156529 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139091317664 140139545401045 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99156529 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139090265120 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99156530 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139089212272 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13977988 CPUtime=0.93 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 2206 0 0 0 93 0 0 0 20 0 15 0 99156532 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139087096096 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13977988 CPUtime=0.94 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 2084 0 0 0 94 0 0 0 20 0 15 0 99156532 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139086047280 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13977988 CPUtime=0.53 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 2121 0 0 0 53 0 0 0 20 0 15 0 99156532 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14313459712 58094 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) R 28261 28264 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99156537 14313459712 58606 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 13977988 [startup+3.10088 s] /proc/loadavg: 1.89 1.66 1.61 5/214 28279 /proc/meminfo: memFree=27051592/32770624 swapFree=0/330904 [pid=28264] ppid=28261 vsize=13982084 CPUtime=8.75 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 29917 0 0 0 841 34 0 0 20 0 15 0 99156519 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 160743 3804 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=2.77 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 14005 0 0 0 266 11 0 0 20 0 15 0 99156527 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139549626088 140139172282116 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 249 0 0 0 10 5 0 0 20 0 15 0 99156528 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 195 0 0 0 10 4 0 0 20 0 15 0 99156528 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 212 0 0 0 9 5 0 0 20 0 15 0 99156528 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 130 0 0 0 9 4 0 0 20 0 15 0 99156528 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 99156529 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13982084 CPUtime=2.28 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 4762 0 0 0 227 1 0 0 20 0 15 0 99156532 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139087108976 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13982084 CPUtime=2.22 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 3457 0 0 0 222 0 0 0 20 0 15 0 99156532 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139086056176 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13982084 CPUtime=0.84 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 5326 0 0 0 84 0 0 0 20 0 15 0 99156532 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99156537 14317654016 160743 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 8.75 Current children cumulated vsize (KiB) 13982084 [startup+6.30065 s] /proc/loadavg: 1.98 1.68 1.62 3/214 28279 /proc/meminfo: memFree=26148504/32770624 swapFree=0/330908 [pid=28264] ppid=28261 vsize=13982084 CPUtime=12.5 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 33585 0 0 0 1189 61 0 0 20 0 15 0 99156519 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 497179 3804 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=5.82 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 16405 0 0 0 552 30 0 0 20 0 15 0 99156527 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139549626808 140139172375438 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=0.3 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 354 0 0 0 22 8 0 0 20 0 15 0 99156528 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=0.28 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 340 0 0 0 22 6 0 0 20 0 15 0 99156528 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=0.29 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 246 0 0 0 22 7 0 0 20 0 15 0 99156528 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=0.27 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 277 0 0 0 21 6 0 0 20 0 15 0 99156528 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 1026 0 0 0 2 0 0 0 20 0 15 0 99156529 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13982084 CPUtime=2.34 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 4772 0 0 0 233 1 0 0 20 0 15 0 99156532 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139087108976 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13982084 CPUtime=2.27 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 3465 0 0 0 227 0 0 0 20 0 15 0 99156532 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139086056176 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13982084 CPUtime=0.85 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 5332 0 0 0 85 0 0 0 20 0 15 0 99156532 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99156537 14317654016 497179 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.82 1.65 1.61 3/214 28280 /proc/meminfo: memFree=23890348/32770624 swapFree=0/330908 [pid=28264] ppid=28261 vsize=13982084 CPUtime=19.28 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 36291 0 0 0 1838 90 0 0 20 0 15 0 99156519 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 891826 3805 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=12.12 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 17635 0 0 0 1160 52 0 0 20 0 15 0 99156527 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139549629312 140139172375873 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=0.38 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 629 0 0 0 29 9 0 0 20 0 15 0 99156528 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=0.37 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 558 0 0 0 29 8 0 0 20 0 15 0 99156528 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=0.36 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 379 0 0 0 28 8 0 0 20 0 15 0 99156528 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=0.36 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 355 0 0 0 28 8 0 0 20 0 15 0 99156528 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 1776 0 0 0 2 0 0 0 20 0 15 0 99156529 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 891826 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 ################ # More data... # ################ /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 964564 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 15 0 99156537 14317654016 964564 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 59.35 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.39 1.55 1.58 2/193 28329 /proc/meminfo: memFree=27819112/32770624 swapFree=0/330896 [pid=28264] ppid=28261 vsize=13982084 CPUtime=112.24 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 67662 0 0 0 11103 121 0 0 20 0 15 0 99156519 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 932526 3805 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=100.84 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 30219 0 0 0 10026 58 0 0 20 0 15 0 99156527 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139549629552 140139165395944 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 2625 0 0 0 106 15 0 0 20 0 15 0 99156528 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=1.2 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 2321 0 0 0 108 12 0 0 20 0 15 0 99156528 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=1.2 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 1503 0 0 0 106 14 0 0 20 0 15 0 99156528 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=1.18 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 1916 0 0 0 105 13 0 0 20 0 15 0 99156528 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 2664 0 0 0 4 1 0 0 20 0 15 0 99156529 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13982084 CPUtime=2.78 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 8980 0 0 0 277 1 0 0 20 0 15 0 99156532 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139087108976 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13982084 CPUtime=2.71 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 7242 0 0 0 271 0 0 0 20 0 15 0 99156532 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139086056176 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13982084 CPUtime=0.92 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 8731 0 0 0 91 1 0 0 20 0 15 0 99156532 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0.05 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 87 0 0 0 2 3 0 0 20 0 15 0 99156537 14317654016 932526 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 112.24 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.14 1.45 1.54 2/192 28331 /proc/meminfo: memFree=27602116/32770624 swapFree=0/330920 [pid=28264] ppid=28261 vsize=13982084 CPUtime=173.94 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 76544 0 0 0 17260 134 0 0 20 0 15 0 99156519 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 987077 3805 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=160.26 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 34579 0 0 0 15963 63 0 0 20 0 15 0 99156527 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139549629552 140139165306728 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=1.76 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 3386 0 0 0 159 17 0 0 20 0 15 0 99156528 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=1.75 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 3195 0 0 0 161 14 0 0 20 0 15 0 99156528 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=1.75 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 1919 0 0 0 160 15 0 0 20 0 15 0 99156528 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=1.73 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 2344 0 0 0 158 15 0 0 20 0 15 0 99156528 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.07 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 3072 0 0 0 5 2 0 0 20 0 15 0 99156529 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13982084 CPUtime=2.79 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 9836 0 0 0 278 1 0 0 20 0 15 0 99156532 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139087108976 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13982084 CPUtime=2.73 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 7888 0 0 0 273 0 0 0 20 0 15 0 99156532 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139086056176 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13982084 CPUtime=0.92 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 8839 0 0 0 91 1 0 0 20 0 15 0 99156532 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 112 0 0 0 4 5 0 0 20 0 15 0 99156537 14317654016 987077 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 173.94 Current children cumulated vsize (KiB) 13982084 [startup+222.307 s] /proc/loadavg: 0.94 1.34 1.50 2/192 28333 /proc/meminfo: memFree=27508988/32770624 swapFree=0/330948 [pid=28264] ppid=28261 vsize=13982084 CPUtime=235.69 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 84105 0 0 0 23421 148 0 0 20 0 15 0 99156519 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 1010336 3805 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=219.66 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 39112 0 0 0 21902 64 0 0 20 0 15 0 99156527 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139549629552 140139165306602 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=2.33 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 3802 0 0 0 213 20 0 0 20 0 15 0 99156528 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=2.31 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 3702 0 0 0 215 16 0 0 20 0 15 0 99156528 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=2.32 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 2126 0 0 0 214 18 0 0 20 0 15 0 99156528 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=2.3 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 2774 0 0 0 213 17 0 0 20 0 15 0 99156528 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 3121 0 0 0 7 2 0 0 20 0 15 0 99156529 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13982084 CPUtime=2.8 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 10316 0 0 0 279 1 0 0 20 0 15 0 99156532 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139087108976 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13982084 CPUtime=2.75 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 8244 0 0 0 274 1 0 0 20 0 15 0 99156532 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139086056176 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13982084 CPUtime=0.92 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 9413 0 0 0 91 1 0 0 20 0 15 0 99156532 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0.11 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 121 0 0 0 5 6 0 0 20 0 15 0 99156537 14317654016 1010336 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 235.69 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 0.88 1.30 1.48 2/196 28348 /proc/meminfo: memFree=27517100/32770624 swapFree=0/330956 [pid=28264] ppid=28261 vsize=13982084 CPUtime=253.89 cores=0,2,4,6 /proc/28264/stat : 28264 (java) S 28261 28264 12039 0 -1 1077944320 90293 0 0 0 25238 151 0 0 20 0 15 0 99156519 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140734316582704 140139545390839 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 /proc/28264/statm: 3495521 1007506 3805 1 0 3484295 0 [pid=28264/tid=28266] ppid=28261 vsize=13982084 CPUtime=237.18 cores=0,2,4,6 /proc/28264/task/28266/stat : 28266 (java) R 28261 28264 12039 0 -1 4202560 43166 0 0 0 23654 64 0 0 20 0 15 0 99156527 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139549629440 140139165396033 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28267] ppid=28261 vsize=13982084 CPUtime=2.49 cores=0,2,4,6 /proc/28264/task/28267/stat : 28267 (java) S 28261 28264 12039 0 -1 1077944384 4087 0 0 0 229 20 0 0 20 0 15 0 99156528 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139487337616 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28268] ppid=28261 vsize=13982084 CPUtime=2.47 cores=0,2,4,6 /proc/28264/task/28268/stat : 28268 (java) S 28261 28264 12039 0 -1 1077944384 4294 0 0 0 230 17 0 0 20 0 15 0 99156528 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139486284816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28269] ppid=28261 vsize=13982084 CPUtime=2.48 cores=0,2,4,6 /proc/28264/task/28269/stat : 28269 (java) S 28261 28264 12039 0 -1 1077944384 2495 0 0 0 230 18 0 0 20 0 15 0 99156528 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139485232016 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28270] ppid=28261 vsize=13982084 CPUtime=2.47 cores=0,2,4,6 /proc/28264/task/28270/stat : 28270 (java) S 28261 28264 12039 0 -1 1077944384 3352 0 0 0 229 18 0 0 20 0 15 0 99156528 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139484179216 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28271] ppid=28261 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/28264/task/28271/stat : 28271 (java) S 28261 28264 12039 0 -1 1077944384 3407 0 0 0 8 2 0 0 20 0 15 0 99156529 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139091319152 140139545401986 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28272] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28272/stat : 28272 (java) S 28261 28264 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 99156529 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139090265184 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28273] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28273/stat : 28273 (java) S 28261 28264 12039 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 99156530 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139089212288 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28274] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28274/stat : 28274 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139088160592 140139545409435 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28275] ppid=28261 vsize=13982084 CPUtime=2.8 cores=0,2,4,6 /proc/28264/task/28275/stat : 28275 (java) S 28261 28264 12039 0 -1 1077944384 10318 0 0 0 279 1 0 0 20 0 15 0 99156532 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139087108976 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28276] ppid=28261 vsize=13982084 CPUtime=2.75 cores=0,2,4,6 /proc/28264/task/28276/stat : 28276 (java) S 28261 28264 12039 0 -1 1077944384 8246 0 0 0 274 1 0 0 20 0 15 0 99156532 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139086056176 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28277] ppid=28261 vsize=13982084 CPUtime=0.92 cores=0,2,4,6 /proc/28264/task/28277/stat : 28277 (java) S 28261 28264 12039 0 -1 1077944384 9415 0 0 0 91 1 0 0 20 0 15 0 99156532 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139085003376 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28278] ppid=28261 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/28264/task/28278/stat : 28278 (java) S 28261 28264 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99156532 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139083950816 140139545401045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 [pid=28264/tid=28279] ppid=28261 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/28264/task/28279/stat : 28279 (java) S 28261 28264 12039 0 -1 1077944384 139 0 0 0 6 7 0 0 20 0 15 0 99156537 14317654016 1007506 18446744073709551615 4194304 4196468 140734316600160 140139082898096 140139545401986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24326144 140734316605847 140734316606033 140734316606033 140734316609487 0 Current children cumulated CPU time (s) 253.89 Current children cumulated vsize (KiB) 13982084 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 28264 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.041 CPU time (s): 253.934 CPU user time (s): 252.4 CPU system time (s): 1.53378 CPU usage (%): 105.788 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 252.4 system time used= 1.53378 maximum resident set size= 4092688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91860 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9496 involuntary context switches= 679 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.970473 second user time and 1.6464 second system time The end
Begin job on node132 at 2017-08-06 06:36:12 IDJOB=4256222 IDBENCH=140594 IDSOLVER=2639 FILE ID=node132/4256222-1501995033 RUNJOBID= node132-1501986126-20441 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256222-1501995033/watcher-4256222-1501995033 -o /tmp/evaluation-result-4256222-1501995033/solver-4256222-1501995033 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501986126-20441 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2002154394 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256222-1501995033.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153 RANDOM SEED=2002154394 node132.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.74 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.74 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.74 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.74 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: 27434308 kB MemAvailable: 27925516 kB Buffers: 194408 kB Cached: 597176 kB SwapCached: 0 kB Active: 4541664 kB Inactive: 363516 kB Active(anon): 4115176 kB Inactive(anon): 32628 kB Active(file): 426488 kB Inactive(file): 330888 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 43108 kB Writeback: 0 kB AnonPages: 4114148 kB Mapped: 61052 kB Shmem: 33468 kB Slab: 126368 kB SReclaimable: 99332 kB SUnreclaim: 27036 kB KernelStack: 3520 kB PageTables: 13020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4852460 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3971072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61988 MiB End job on node132 at 2017-08-06 06:40:13