Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - ALNS 2017-07-26 | SAT (TO) | 1162 | 255.386 | 240.048 |
| 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.23/0.38 c version: 2017-07-26 0.23/0.38 c seed: 934216855 0.23/0.38 c timeout: 264 0.23/0.38 c memlimit: 11000 0.23/0.38 c nbcore: 4 0.41/0.41 c Parsing instance... 6.65/2.49 c Parsing done, starting search... 32.42/26.12 o 1175 170.17/157.08 o 1162 255.32/240.01 s SATISFIABLE 255.32/240.01 v <instantiation> 255.32/240.01 v <list> 255.32/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] 255.32/240.01 v </list> 255.32/240.01 v <values> 255.32/240.01 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 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1154 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1155 1156 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1156 1157 1158 1159 1160 1161 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1157 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1158 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1159 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1160 1161 1162 1 1 1 1 1 1 1 1 1 1 1 1 1 1161 1162 1 1 1 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 3 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 7 8 8 8 8 8 8 8 9 9 9 9 9 9 10 10 10 10 10 11 11 11 11 12 12 12 13 13 14 255.32/240.01 v </values> 255.32/240.01 v </instantiation>
OK 1162
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-4255725-1501991614/watcher-4255725-1501991614 -o /tmp/evaluation-result-4255725-1501991614/solver-4255725-1501991614 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node126-1501979806-2839 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 934216855 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255725-1501991614.xml pid=10868 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.50 1.66 1.67 3/194 10871 /proc/meminfo: memFree=27781776/32770624 swapFree=0/295112 [pid=10871] ppid=10868 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/10871/stat : 10871 (runsolver) D 10868 10871 2453 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 1357289 24240128 108 18446744073709551615 4194304 4338465 140720802959040 140720802956680 140502234829527 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37875712 140720802967671 140720802968143 140720802968143 140720802971594 0 /proc/10871/statm: 5918 108 54 36 0 2156 0 [startup+0.100127 s] /proc/loadavg: 1.50 1.66 1.67 3/194 10871 /proc/meminfo: memFree=27781776/32770624 swapFree=0/295112 [pid=10871] ppid=10868 vsize=356952 CPUtime=0 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 1740 0 0 0 0 0 0 0 20 0 2 0 1357289 365518848 1890 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 89238 1890 1043 1 0 79208 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 356952 [startup+0.200355 s] /proc/loadavg: 1.50 1.66 1.67 3/194 10871 /proc/meminfo: memFree=27781776/32770624 swapFree=0/295112 [pid=10871] ppid=10868 vsize=13975920 CPUtime=0.07 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 6361 0 0 0 6 1 0 0 20 0 15 0 1357289 14311342080 6562 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3493980 6562 3217 1 0 3482759 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13975920 [startup+0.300298 s] /proc/loadavg: 1.50 1.66 1.67 3/194 10871 /proc/meminfo: memFree=27781776/32770624 swapFree=0/295112 [pid=10871] ppid=10868 vsize=13975920 CPUtime=0.23 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 9928 0 0 0 20 3 0 0 20 0 15 0 1357289 14311342080 9732 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3493980 9732 3560 1 0 3482759 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 13975920 [startup+0.700261 s] /proc/loadavg: 1.50 1.66 1.67 3/194 10871 /proc/meminfo: memFree=27781776/32770624 swapFree=0/295112 [pid=10871] ppid=10868 vsize=13977988 CPUtime=1.16 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 16063 0 0 0 112 4 0 0 20 0 15 0 1357289 14313459712 23920 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3494497 23920 3727 1 0 3483271 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 13977988 [startup+1.50061 s] /proc/loadavg: 1.50 1.66 1.67 5/209 10886 /proc/meminfo: memFree=27580828/32770624 swapFree=0/295280 [pid=10871] ppid=10868 vsize=13977988 CPUtime=3.75 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 18475 0 0 0 366 9 0 0 20 0 15 0 1357289 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3494497 55451 3782 1 0 3483271 0 [pid=10871/tid=10873] ppid=10868 vsize=13977988 CPUtime=1.32 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 10625 0 0 0 127 5 0 0 20 0 15 0 1357299 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140055039803616 140054677748871 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 1357299 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13977988 CPUtime=0.01 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 1357299 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13977988 CPUtime=0.01 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 1357299 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13977988 CPUtime=0.01 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 1357299 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 1357301 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054513018272 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 1357301 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054511965680 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13977988 CPUtime=0.89 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) R 10868 10871 2453 0 -1 4202560 2266 0 0 0 89 0 0 0 20 0 15 0 1357304 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054509852624 140055019968750 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13977988 CPUtime=0.88 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) R 10868 10871 2453 0 -1 4202560 1775 0 0 0 88 0 0 0 20 0 15 0 1357304 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054508795616 140055016749758 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13977988 CPUtime=0.54 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 2261 0 0 0 54 0 0 0 20 0 15 0 1357304 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13977988 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357307 14313459712 55451 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 3.75 Current children cumulated vsize (KiB) 13977988 [startup+3.10061 s] /proc/loadavg: 1.50 1.66 1.67 6/209 10886 /proc/meminfo: memFree=27398488/32770624 swapFree=0/295288 [pid=10871] ppid=10868 vsize=13982084 CPUtime=8.28 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 27264 0 0 0 792 36 0 0 20 0 15 0 1357289 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 170765 3804 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=2.77 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 14043 0 0 0 267 10 0 0 20 0 15 0 1357299 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140055039809112 140054682324345 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=0.12 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 210 0 0 0 8 4 0 0 20 0 15 0 1357299 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 166 0 0 0 10 5 0 0 20 0 15 0 1357299 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 153 0 0 0 8 5 0 0 20 0 15 0 1357299 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 256 0 0 0 9 4 0 0 20 0 15 0 1357299 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 1357301 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13982084 CPUtime=2.01 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) S 10868 10871 2453 0 -1 1077944384 3067 0 0 0 201 0 0 0 20 0 15 0 1357304 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054509860848 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13982084 CPUtime=2.06 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) S 10868 10871 2453 0 -1 1077944384 3473 0 0 0 203 3 0 0 20 0 15 0 1357304 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054508808304 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13982084 CPUtime=0.81 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 4313 0 0 0 80 1 0 0 20 0 15 0 1357304 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357307 14317654016 170765 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 8.28 Current children cumulated vsize (KiB) 13982084 [startup+6.30062 s] /proc/loadavg: 1.46 1.65 1.67 3/209 10886 /proc/meminfo: memFree=26515188/32770624 swapFree=0/295296 [pid=10871] ppid=10868 vsize=13982084 CPUtime=11.96 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 30912 0 0 0 1130 66 0 0 20 0 15 0 1357289 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 513745 3804 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=5.81 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 16448 0 0 0 552 29 0 0 20 0 15 0 1357299 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140055039808200 140054682324345 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=0.27 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 346 0 0 0 20 7 0 0 20 0 15 0 1357299 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=0.29 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 302 0 0 0 22 7 0 0 20 0 15 0 1357299 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=0.28 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 212 0 0 0 21 7 0 0 20 0 15 0 1357299 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=0.28 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 351 0 0 0 21 7 0 0 20 0 15 0 1357299 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 1026 0 0 0 2 0 0 0 20 0 15 0 1357301 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13982084 CPUtime=2.02 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) S 10868 10871 2453 0 -1 1077944384 3069 0 0 0 202 0 0 0 20 0 15 0 1357304 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054509860848 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13982084 CPUtime=2.09 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) S 10868 10871 2453 0 -1 1077944384 3476 0 0 0 206 3 0 0 20 0 15 0 1357304 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054508808304 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13982084 CPUtime=0.81 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 4313 0 0 0 80 1 0 0 20 0 15 0 1357304 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357307 14317654016 513745 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 11.96 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.34 1.62 1.66 3/209 10886 /proc/meminfo: memFree=24275520/32770624 swapFree=0/295300 [pid=10871] ppid=10868 vsize=13982084 CPUtime=18.71 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 33554 0 0 0 1780 91 0 0 20 0 15 0 1357289 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 890667 3804 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=12.12 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 17724 0 0 0 1163 49 0 0 20 0 15 0 1357299 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140055039810368 140054682324248 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=0.35 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 373 0 0 0 27 8 0 0 20 0 15 0 1357299 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=0.38 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 514 0 0 0 29 9 0 0 20 0 15 0 1357299 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=0.36 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 430 0 0 0 28 8 0 0 20 0 15 0 1357299 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=0.37 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 492 0 0 0 28 9 0 0 20 0 15 0 1357299 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.02 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 1778 0 0 0 2 0 0 0 20 0 15 0 1357301 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 890667 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 ################ # More data... # ################ /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 1013715 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0.06 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 294 0 0 0 3 3 0 0 20 0 15 0 1357307 14317654016 1013715 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 113.08 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 0.68 1.27 1.53 2/189 10953 /proc/meminfo: memFree=27704656/32770624 swapFree=0/295416 [pid=10871] ppid=10868 vsize=13982084 CPUtime=175.57 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 84354 0 0 0 17428 129 0 0 20 0 15 0 1357289 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 1022147 3813 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=159.96 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 39350 0 0 0 15940 56 0 0 20 0 15 0 1357299 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140055039809936 140054677181247 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=2.05 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 2413 0 0 0 191 14 0 0 20 0 15 0 1357299 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=2.07 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 2411 0 0 0 192 15 0 0 20 0 15 0 1357299 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=2.05 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 1738 0 0 0 191 14 0 0 20 0 15 0 1357299 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=2.05 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 3941 0 0 0 190 15 0 0 20 0 15 0 1357299 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.06 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 2722 0 0 0 6 0 0 0 20 0 15 0 1357301 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13982084 CPUtime=3.15 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) S 10868 10871 2453 0 -1 1077944384 11627 0 0 0 314 1 0 0 20 0 15 0 1357304 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054509860848 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13982084 CPUtime=2.88 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) S 10868 10871 2453 0 -1 1077944384 8555 0 0 0 284 4 0 0 20 0 15 0 1357304 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054508808304 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13982084 CPUtime=1.1 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 9878 0 0 0 108 2 0 0 20 0 15 0 1357304 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 323 0 0 0 5 5 0 0 20 0 15 0 1357307 14317654016 1022147 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 175.57 Current children cumulated vsize (KiB) 13982084 [startup+222.301 s] /proc/loadavg: 0.64 1.16 1.47 2/189 10955 /proc/meminfo: memFree=27915176/32770624 swapFree=0/295468 [pid=10871] ppid=10868 vsize=13982084 CPUtime=237.13 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 93359 0 0 0 23580 133 0 0 20 0 15 0 1357289 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 969306 3813 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=219.48 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 42908 0 0 0 21892 56 0 0 20 0 15 0 1357299 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140055039809824 140054677181534 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=2.49 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 2719 0 0 0 235 14 0 0 20 0 15 0 1357299 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=2.51 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 2929 0 0 0 236 15 0 0 20 0 15 0 1357299 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=2.49 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 2403 0 0 0 235 14 0 0 20 0 15 0 1357299 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=2.49 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 5015 0 0 0 234 15 0 0 20 0 15 0 1357299 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.08 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 2986 0 0 0 7 1 0 0 20 0 15 0 1357301 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13982084 CPUtime=3.25 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) S 10868 10871 2453 0 -1 1077944384 13186 0 0 0 323 2 0 0 20 0 15 0 1357304 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054509860848 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13982084 CPUtime=2.97 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) S 10868 10871 2453 0 -1 1077944384 9497 0 0 0 293 4 0 0 20 0 15 0 1357304 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054508808304 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13982084 CPUtime=1.1 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 9971 0 0 0 108 2 0 0 20 0 15 0 1357304 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0.14 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 349 0 0 0 7 7 0 0 20 0 15 0 1357307 14317654016 969306 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 237.13 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.006 s] /proc/loadavg: 0.74 1.15 1.46 2/189 10956 /proc/meminfo: memFree=27960088/32770624 swapFree=0/295484 [pid=10871] ppid=10868 vsize=13982084 CPUtime=255.32 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 95059 0 0 0 25399 133 0 0 20 0 15 0 1357289 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 958148 3813 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=237.02 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 44423 0 0 0 23645 57 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140055039809936 140054682234122 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=2.65 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 2762 0 0 0 251 14 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=2.67 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 2978 0 0 0 252 15 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=2.66 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 2448 0 0 0 252 14 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=2.66 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 5060 0 0 0 251 15 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 2989 0 0 0 8 1 0 0 20 0 15 0 1357301 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13982084 CPUtime=3.25 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) S 10868 10871 2453 0 -1 1077944384 13186 0 0 0 323 2 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054509860848 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13982084 CPUtime=2.97 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) S 10868 10871 2453 0 -1 1077944384 9497 0 0 0 293 4 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054508808304 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13982084 CPUtime=1.1 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 9971 0 0 0 108 2 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 349 0 0 0 8 7 0 0 20 0 15 0 1357307 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 255.32 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 10871 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.006 s] /proc/loadavg: 0.74 1.15 1.46 2/189 10956 /proc/meminfo: memFree=27960088/32770624 swapFree=0/295484 [pid=10871] ppid=10868 vsize=13982084 CPUtime=255.32 cores=0,2,4,6 /proc/10871/stat : 10871 (java) S 10868 10871 2453 0 -1 1077944320 95059 0 0 0 25399 133 0 0 20 0 15 0 1357289 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140734088053664 140055035571959 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 /proc/10871/statm: 3495521 958148 3813 1 0 3484295 0 [pid=10871/tid=10873] ppid=10868 vsize=13982084 CPUtime=237.02 cores=0,2,4,6 /proc/10871/task/10873/stat : 10873 (java) R 10868 10871 2453 0 -1 4202560 44423 0 0 0 23645 57 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140055039809936 140054682234122 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10874] ppid=10868 vsize=13982084 CPUtime=2.65 cores=0,2,4,6 /proc/10871/task/10874/stat : 10874 (java) S 10868 10871 2453 0 -1 1077944384 2762 0 0 0 251 14 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054992537872 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10875] ppid=10868 vsize=13982084 CPUtime=2.67 cores=0,2,4,6 /proc/10871/task/10875/stat : 10875 (java) S 10868 10871 2453 0 -1 1077944384 2978 0 0 0 252 15 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054634883472 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10876] ppid=10868 vsize=13982084 CPUtime=2.66 cores=0,2,4,6 /proc/10871/task/10876/stat : 10876 (java) S 10868 10871 2453 0 -1 1077944384 2448 0 0 0 252 14 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054633830928 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10877] ppid=10868 vsize=13982084 CPUtime=2.66 cores=0,2,4,6 /proc/10871/task/10877/stat : 10877 (java) S 10868 10871 2453 0 -1 1077944384 5060 0 0 0 251 15 0 0 20 0 15 0 1357299 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054632778384 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10878] ppid=10868 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/10871/task/10878/stat : 10878 (java) S 10868 10871 2453 0 -1 1077944384 2989 0 0 0 8 1 0 0 20 0 15 0 1357301 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054514072048 140055035583106 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10879] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10879/stat : 10879 (java) S 10868 10871 2453 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054513018336 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10880] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10880/stat : 10880 (java) S 10868 10871 2453 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 1357301 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054511965696 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10881] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10881/stat : 10881 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054510914256 140055035590555 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10882] ppid=10868 vsize=13982084 CPUtime=3.25 cores=0,2,4,6 /proc/10871/task/10882/stat : 10882 (java) S 10868 10871 2453 0 -1 1077944384 13186 0 0 0 323 2 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054509860848 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10883] ppid=10868 vsize=13982084 CPUtime=2.97 cores=0,2,4,6 /proc/10871/task/10883/stat : 10883 (java) S 10868 10871 2453 0 -1 1077944384 9497 0 0 0 293 4 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054508808304 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10884] ppid=10868 vsize=13982084 CPUtime=1.1 cores=0,2,4,6 /proc/10871/task/10884/stat : 10884 (java) S 10868 10871 2453 0 -1 1077944384 9971 0 0 0 108 2 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054507755760 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10885] ppid=10868 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/10871/task/10885/stat : 10885 (java) S 10868 10871 2453 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 1357304 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054506703456 140055035582165 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 [pid=10871/tid=10886] ppid=10868 vsize=13982084 CPUtime=0.15 cores=0,2,4,6 /proc/10871/task/10886/stat : 10886 (java) S 10868 10871 2453 0 -1 1077944384 349 0 0 0 8 7 0 0 20 0 15 0 1357307 14317654016 958148 18446744073709551615 4194304 4196468 140734088071120 140054505650992 140055035583106 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7786496 140734088077729 140734088077908 140734088077908 140734088081359 0 Current children cumulated CPU time (s) 255.32 Current children cumulated vsize (KiB) 13982084 Child status: 143 Real time (s): 240.048 CPU time (s): 255.386 CPU user time (s): 254.025 CPU system time (s): 1.36097 CPU usage (%): 106.39 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 254.025 system time used= 1.36097 maximum resident set size= 4111160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97069 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= 10579 involuntary context switches= 537 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.07633 second user time and 1.4652 second system time The end
Begin job on node126 at 2017-08-06 05:39:37 IDJOB=4255725 IDBENCH=140594 IDSOLVER=2638 FILE ID=node126/4255725-1501991614 RUNJOBID= node126-1501979806-2839 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255725-1501991614/watcher-4255725-1501991614 -o /tmp/evaluation-result-4255725-1501991614/solver-4255725-1501991614 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node126-1501979806-2839 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 934216855 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255725-1501991614.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153 RANDOM SEED=934216855 node126.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.81 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.81 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.81 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.81 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: 27782040 kB MemAvailable: 28065444 kB Buffers: 99616 kB Cached: 465956 kB SwapCached: 0 kB Active: 4273680 kB Inactive: 303644 kB Active(anon): 4012568 kB Inactive(anon): 8532 kB Active(file): 261112 kB Inactive(file): 295112 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 43272 kB Writeback: 0 kB AnonPages: 4011992 kB Mapped: 42624 kB Shmem: 8868 kB Slab: 110696 kB SReclaimable: 86032 kB SUnreclaim: 24664 kB KernelStack: 3424 kB PageTables: 12668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4707452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3885056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61988 MiB End job on node126 at 2017-08-06 05:43:37