Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 1220 | 2400.1299 | 1078.95 |
| Name | ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml |
| MD5SUM | 8013d5ca2692908d001f725061313983 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 33 |
| Best CPU time to get the best result obtained on this benchmark | 3312.9099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1225 |
| Number of constraints | 354026 |
| Number of domains | 1 |
| Minimum domain size | 1225 |
| Maximum domain size | 1225 |
| Distribution of domain sizes | [{"size":1225,"count":1225}] |
| Minimum variable degree | 1158 |
| Maximum variable degree | 1158 |
| Distribution of variable degrees | [{"degree":1158,"count":1225}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 1225 |
| Distribution of constraint arities | [{"arity":4,"count":354025},{"arity":1225,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 354025 |
| Distribution of constraint types | [{"type":"intension","count":354025},{"type":"lex","count":1}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.24/0.38 c version: 2017-06-30 0.24/0.38 c seed: 614076877 0.24/0.38 c timeout: 2400 0.24/0.38 c memlimit: 15500 0.24/0.38 c nbcore: 4 0.43/0.40 c Parsing instance... 39.37/18.67 c Parsing done, starting search... 732.21/329.23 o 1224 1126.12/504.92 o 1223 1437.36/643.21 o 1222 1776.53/796.71 o 1221 2086.51/938.67 o 1220 2400.05/1078.90 s SATISFIABLE 2400.05/1078.91 v <instantiation> 2400.05/1078.91 v <list> 2400.05/1078.91 v x[0][0] 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[1][0] x[1][1] 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[2][0] x[2][1] x[2][2] 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[3][0] x[3][1] x[3][2] x[3][3] 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[4][0] x[4][1] x[4][2] x[4][3] x[4][4] 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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] 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[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] 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[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] 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[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] 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[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] 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[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] 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[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] 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[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] 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[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] 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[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] 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[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] 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[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] 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[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] 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[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] 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[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] 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[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] 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[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] 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[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] 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[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] 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[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] 2400.05/1078.91 v </list> 2400.05/1078.91 v <values> 2400.05/1078.91 v 1214 1214 1214 1214 1214 1215 1216 1216 1216 1216 1216 1216 1216 1216 1216 1217 1217 1217 1217 1218 1218 1218 1218 1219 1219 1219 1219 1219 1220 1220 1220 1220 1220 1220 1220 1216 1217 1217 1217 1217 1218 1214 1214 1214 1214 1215 1216 1217 1218 1220 1215 1216 1216 1218 1216 1217 1218 1219 1214 1215 1215 1216 1216 1217 1217 1218 1218 1218 1219 1220 1217 1218 1218 1218 1218 1216 1215 1215 1216 1220 1217 1218 1218 1220 1218 1218 1216 1217 1218 1217 1217 1220 1218 1218 1218 1220 1219 1220 1219 1219 1219 1219 1220 1219 1215 1217 1219 1219 1219 1220 1220 1220 1220 1220 1218 1220 1220 1220 1218 1220 1220 1220 1220 1220 1220 1220 1219 1220 1220 1218 1219 1220 1220 1219 1220 1217 1217 1216 1218 1218 1218 1218 1220 1220 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1219 1220 1220 1220 1218 1215 1217 1216 1217 1217 1216 1216 1218 1219 1216 1220 1216 1217 1217 1217 1217 1217 1217 1217 1217 1217 1217 1217 1218 1218 1218 1218 1219 1220 1220 1217 1215 1216 1213 1219 1215 1214 1219 1215 1215 1220 1219 1218 1220 1219 1217 1216 1218 1218 1218 1218 1218 1218 1218 1219 1220 1220 1215 1217 1215 1216 1217 1214 1213 1215 1217 1217 1217 1214 1219 1216 1214 1220 1217 1216 1219 1217 1219 1217 1220 1218 1216 1216 1217 1218 1219 1220 1220 1216 1214 1212 1212 1214 1215 1218 1213 1214 1218 1214 1215 1214 1216 1218 1217 1218 1215 1216 1216 1220 1218 1217 1218 1219 1218 1217 1216 1213 1220 1214 1212 1215 1210 1212 1209 1211 1209 1215 1209 1208 1213 1207 1215 1208 1208 1207 1208 1207 1208 1208 1208 1209 1209 1208 1209 1210 1208 1208 1219 1218 1217 1216 1213 1220 1214 1212 1215 1210 1213 1209 1211 1210 1209 1214 1209 1207 1208 1208 1212 1209 1208 1209 1208 1208 1209 1209 1208 1214 1209 1210 1211 1209 1209 1219 1218 1217 1216 1214 1215 1220 1212 1214 1210 1213 1210 1211 1220 1209 1215 1210 1208 1209 1209 1211 1208 1208 1210 1209 1209 1214 1210 1209 1210 1210 1211 1212 1210 1210 1219 1218 1217 1216 1214 1215 1220 1212 1215 1210 1213 1211 1211 1215 1210 1209 1208 1209 1212 1210 1209 1209 1209 1214 1209 1210 1210 1211 1210 1211 1211 1212 1213 1211 1211 1219 1218 1217 1216 1214 1219 1218 1212 1215 1210 1213 1212 1211 1209 1220 1211 1209 1215 1214 1213 1210 1210 1210 1215 1210 1211 1211 1214 1211 1214 1212 1215 1214 1212 1212 1219 1218 1217 1216 1214 1220 1214 1212 1215 1211 1213 1213 1211 1211 1210 1215 1210 1210 1215 1211 1215 1218 1210 1211 1211 1212 1215 1215 1212 1215 1213 1213 1215 1215 1213 1219 1218 1217 1216 1215 1214 1212 1212 1215 1213 1213 1220 1211 1213 1211 1210 1211 1210 1210 1212 1210 1211 1211 1212 1212 1220 1212 1212 1220 1212 1214 1214 1216 1213 1214 1219 1218 1217 1216 1215 1214 1212 1218 1216 1220 1213 1220 1212 1211 1212 1211 1212 1211 1211 1219 1211 1211 1212 1213 1213 1213 1213 1213 1213 1213 1215 1215 1217 1215 1220 1219 1218 1217 1216 1215 1214 1212 1219 1220 1212 1213 1216 1213 1212 1211 1212 1213 1212 1212 1217 1212 1212 1213 1214 1214 1214 1214 1214 1214 1219 1218 1216 1220 1216 1215 1219 1218 1217 1216 1215 1214 1213 1212 1212 1212 1213 1210 1211 1218 1212 1213 1216 1213 1213 1214 1213 1213 1214 1219 1216 1218 1220 1215 1215 1214 1219 1217 1220 1217 1216 1219 1218 1217 1216 1215 1214 1213 1213 1212 1220 1214 1212 1212 1212 1216 1214 1214 1214 1214 1215 1214 1219 1215 1215 1219 1216 1220 1216 1216 1215 1216 1219 1218 1220 1217 1219 1218 1217 1216 1215 1214 1213 1220 1213 1220 1215 1217 1213 1213 1213 1216 1217 1218 1219 1211 1215 1214 1212 1209 1220 1210 1211 1212 1212 1211 1208 1212 1213 1212 1213 1219 1218 1217 1216 1215 1214 1213 1220 1214 1213 1216 1213 1214 1214 1214 1217 1218 1215 1216 1216 1216 1216 1219 1216 1217 1220 1217 1219 1219 1218 1220 1211 1212 1214 1212 1219 1218 1217 1216 1215 1214 1214 1213 1213 1218 1213 1214 1216 1215 1215 1215 1215 1216 1217 1218 1219 1217 1217 1217 1220 1219 1218 1220 1218 1216 1217 1218 1219 1219 1220 1219 1218 1217 1216 1215 1215 1214 1213 1220 1216 1219 1213 1212 1211 1211 1212 1208 1214 1213 1214 1210 1209 1213 1210 1208 1220 1211 1212 1214 1213 1214 1211 1215 1218 1220 1219 1218 1217 1216 1215 1216 1213 1215 1214 1215 1218 1215 1215 1216 1217 1219 1220 1217 1214 1213 1218 1215 1216 1213 1215 1217 1216 1217 1220 1211 1212 1213 1212 1213 1214 1219 1218 1217 1216 1215 1218 1220 1216 1212 1214 1212 1213 1213 1217 1214 1214 1212 1219 1215 1212 1213 1212 1214 1211 1214 1212 1211 1213 1220 1210 1211 1210 1212 1213 1214 1219 1218 1217 1216 1215 1220 1219 1217 1211 1213 1211 1209 1210 1214 1213 1211 1212 1212 1213 1213 1214 1220 1214 1214 1212 1215 1215 1213 1220 1211 1214 1212 1214 1210 1212 1219 1218 1217 1216 1216 1217 1216 1211 1211 1212 1212 1212 1219 1213 1214 1213 1213 1215 1214 1215 1215 1215 1220 1214 1211 1220 1213 1212 1215 1210 1213 1220 1211 1211 1215 1219 1218 1217 1216 1219 1220 1217 1215 1214 1211 1212 1211 1210 1220 1212 1212 1211 1214 1211 1213 1213 1214 1214 1212 1220 1215 1213 1214 1215 1215 1215 1214 1213 1220 1218 1219 1218 1217 1219 1220 1216 1216 1215 1218 1217 1215 1219 1212 1211 1215 1216 1214 1215 1216 1214 1213 1212 1213 1213 1214 1220 1212 1215 1212 1211 1213 1216 1214 1214 1216 1219 1219 1220 1218 1220 1218 1217 1216 1215 1215 1215 1214 1213 1219 1212 1214 1217 1213 1216 1213 1217 1217 1216 1211 1213 1216 1218 1217 1220 1218 1214 1212 1212 1211 1215 1219 1220 1218 1217 1220 1216 1214 1210 1211 1219 1215 1212 1213 1214 1216 1217 1214 1216 1215 1218 1216 1220 1217 1215 1220 1218 1214 1217 1215 1218 1218 1220 1216 1216 1214 1219 1220 1218 1220 1214 1215 1218 1211 1212 1214 1215 1213 1214 1216 1217 1216 1219 1218 1217 1220 1217 1215 1215 1213 1217 1216 1215 1212 1218 1216 1215 1214 1220 1218 1212 1219 1220 1219 1217 1216 1213 1215 1214 1216 1217 1218 1214 1215 1215 1219 1216 1214 1218 1220 1215 1216 1214 1216 1213 1218 1220 1219 1216 1214 1218 1217 1218 1217 1220 1219 1220 1219 1217 1218 1220 1213 1215 1216 1217 1213 1218 1214 1213 1220 1214 1216 1215 1216 1215 1218 1214 1215 1219 1216 1216 1215 1219 1212 1216 1213 1211 1215 1219 1218 1220 1220 1220 1220 1217 1213 1213 1211 1214 1218 1211 1211 1212 1214 1217 1212 1218 1216 1217 1213 1219 1214 1217 1215 1216 1219 1215 1217 1215 1218 1220 1216 1216 1218 1219 1219 2400.05/1078.91 v </values> 2400.05/1078.91 v </instantiation>
OK 1220
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-4249345-1502085222/watcher-4249345-1502085222 -o /tmp/evaluation-result-4249345-1502085222/solver-4249345-1502085222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15256 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 614076877 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4249345-1502085222.xml pid=18582 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.93 1.85 1.85 3/198 18585 /proc/meminfo: memFree=27405380/32770624 swapFree=0/341892 [pid=18585] ppid=18582 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/18585/stat : 18585 (runsolver) D 18582 18585 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56337476 24240128 106 18446744073709551615 4194304 4338465 140723778508256 140723778505896 139679691567831 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 31522816 140723778515046 140723778515529 140723778515529 140723778518986 0 /proc/18585/statm: 5918 106 53 36 0 2156 0 [startup+0.100073 s] /proc/loadavg: 1.93 1.85 1.85 3/198 18585 /proc/meminfo: memFree=27405380/32770624 swapFree=0/341892 [pid=18585] ppid=18582 vsize=12297144 CPUtime=0 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 3375 0 0 0 0 0 0 0 20 0 6 0 56337476 12592275456 3532 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3074286 3532 1899 1 0 3063783 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12297144 [startup+0.200251 s] /proc/loadavg: 1.93 1.85 1.85 3/198 18585 /proc/meminfo: memFree=27405380/32770624 swapFree=0/341892 [pid=18585] ppid=18582 vsize=12914512 CPUtime=0.07 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 6798 0 0 0 6 1 0 0 20 0 15 0 56337476 13224460288 7013 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3228628 7013 3330 1 0 3217407 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12914512 [startup+0.300837 s] /proc/loadavg: 1.93 1.85 1.85 3/198 18585 /proc/meminfo: memFree=27405380/32770624 swapFree=0/341892 [pid=18585] ppid=18582 vsize=12914512 CPUtime=0.24 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 10328 0 0 0 21 3 0 0 20 0 15 0 56337476 13224460288 9609 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3228628 9609 3554 1 0 3217407 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 12914512 [startup+0.700797 s] /proc/loadavg: 1.93 1.85 1.85 3/198 18585 /proc/meminfo: memFree=27405380/32770624 swapFree=0/341892 [pid=18585] ppid=18582 vsize=12914532 CPUtime=1.15 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 15294 0 0 0 109 6 0 0 20 0 15 0 56337476 13224480768 31834 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3228633 31834 3724 1 0 3217407 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 12914532 [startup+1.5015 s] /proc/loadavg: 1.93 1.85 1.85 6/213 18600 /proc/meminfo: memFree=27029712/32770624 swapFree=0/341876 [pid=18585] ppid=18582 vsize=12914532 CPUtime=3.59 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 17346 0 0 0 315 44 0 0 20 0 15 0 56337476 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3228633 120614 3764 1 0 3217407 0 [pid=18585/tid=18587] ppid=18582 vsize=12914532 CPUtime=0.82 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) R 18582 18585 25100 0 -1 4202560 10252 0 0 0 77 5 0 0 20 0 15 0 56337484 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859913496688 139859909280925 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12914532 CPUtime=0.51 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) S 18582 18585 25100 0 -1 1077944384 554 0 0 0 42 9 0 0 20 0 15 0 56337485 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12914532 CPUtime=0.5 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) S 18582 18585 25100 0 -1 1077944384 402 0 0 0 42 8 0 0 20 0 15 0 56337485 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859844689040 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12914532 CPUtime=0.52 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) S 18582 18585 25100 0 -1 1077944384 372 0 0 0 43 9 0 0 20 0 15 0 56337485 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859843635984 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12914532 CPUtime=0.52 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 252 0 0 0 43 9 0 0 20 0 15 0 56337485 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859842583440 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12914532 CPUtime=0.01 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 56337486 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859393419504 139859909270146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 56337487 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 56337487 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12914532 CPUtime=0.21 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 1407 0 0 0 21 0 0 0 20 0 15 0 56337489 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12914532 CPUtime=0.25 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 1592 0 0 0 25 0 0 0 20 0 15 0 56337489 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12914532 CPUtime=0.17 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 790 0 0 0 17 0 0 0 20 0 15 0 56337489 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 56337494 13224480768 120614 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 12914532 [startup+3.10059 s] /proc/loadavg: 1.93 1.85 1.85 6/213 18600 /proc/meminfo: memFree=26560044/32770624 swapFree=0/341876 [pid=18585] ppid=18582 vsize=12914532 CPUtime=9.08 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 18610 0 0 0 829 79 0 0 20 0 15 0 56337476 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3228633 220450 3768 1 0 3217407 0 [pid=18585/tid=18587] ppid=18582 vsize=12914532 CPUtime=1.08 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) S 18582 18585 25100 0 -1 1077944384 10311 0 0 0 101 7 0 0 20 0 15 0 56337484 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859913496592 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12914532 CPUtime=1.82 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) R 18582 18585 25100 0 -1 4202560 692 0 0 0 164 18 0 0 20 0 15 0 56337485 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859845741704 139859901887207 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12914532 CPUtime=1.82 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) R 18582 18585 25100 0 -1 4202560 699 0 0 0 165 17 0 0 20 0 15 0 56337485 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859844688848 139859901887207 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12914532 CPUtime=1.84 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) R 18582 18585 25100 0 -1 4202560 562 0 0 0 167 17 0 0 20 0 15 0 56337485 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859843636184 139859894256955 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12914532 CPUtime=1.82 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 752 0 0 0 165 17 0 0 20 0 15 0 56337485 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859842583248 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12914532 CPUtime=0.01 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 56337486 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859393418048 139859909269205 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 56337487 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 56337487 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12914532 CPUtime=0.21 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 1407 0 0 0 21 0 0 0 20 0 15 0 56337489 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12914532 CPUtime=0.25 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 1592 0 0 0 25 0 0 0 20 0 15 0 56337489 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12914532 CPUtime=0.17 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 790 0 0 0 17 0 0 0 20 0 15 0 56337489 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12914532 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337494 13224480768 220450 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 9.08 Current children cumulated vsize (KiB) 12914532 [startup+6.30067 s] /proc/loadavg: 2.01 1.86 1.85 3/213 18600 /proc/meminfo: memFree=26287896/32770624 swapFree=0/341864 [pid=18585] ppid=18582 vsize=12916580 CPUtime=16.84 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 29396 0 0 0 1578 106 0 0 20 0 15 0 56337476 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3229145 308444 3799 1 0 3217919 0 [pid=18585/tid=18587] ppid=18582 vsize=12916580 CPUtime=3.07 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) R 18582 18585 25100 0 -1 4202560 13000 0 0 0 298 9 0 0 20 0 15 0 56337484 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859913495584 139859523363657 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12916580 CPUtime=2.95 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) S 18582 18585 25100 0 -1 1077944384 908 0 0 0 271 24 0 0 20 0 15 0 56337485 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12916580 CPUtime=2.97 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) S 18582 18585 25100 0 -1 1077944384 1084 0 0 0 274 23 0 0 20 0 15 0 56337485 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859844689040 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12916580 CPUtime=3.01 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) S 18582 18585 25100 0 -1 1077944384 1460 0 0 0 279 22 0 0 20 0 15 0 56337485 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859843635984 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12916580 CPUtime=2.99 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 1107 0 0 0 275 24 0 0 20 0 15 0 56337485 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859842583440 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12916580 CPUtime=0.03 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 2121 0 0 0 3 0 0 0 20 0 15 0 56337486 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859393419504 139859909270146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 56337487 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 56337487 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12916580 CPUtime=0.72 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 3292 0 0 0 72 0 0 0 20 0 15 0 56337489 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12916580 CPUtime=0.75 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 3407 0 0 0 75 0 0 0 20 0 15 0 56337489 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12916580 CPUtime=0.28 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 1613 0 0 0 28 0 0 0 20 0 15 0 56337489 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 56337494 13226577920 308444 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 16.84 Current children cumulated vsize (KiB) 12916580 [startup+12.7007 s] /proc/loadavg: 2.17 1.90 1.86 6/213 18601 /proc/meminfo: memFree=25377180/32770624 swapFree=0/341848 [pid=18585] ppid=18582 vsize=12916580 CPUtime=28.9 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 41402 0 0 0 2675 215 0 0 20 0 15 0 56337476 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3229145 532901 3815 1 0 3217919 0 [pid=18585/tid=18587] ppid=18582 vsize=12916580 CPUtime=8.41 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) R 18582 18585 25100 0 -1 4202560 15261 0 0 0 831 10 0 0 20 0 15 0 56337484 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859913496240 139859525211207 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12916580 CPUtime=3.95 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) S 18582 18585 25100 0 -1 1077944384 1746 0 0 0 344 51 0 0 20 0 15 0 56337485 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12916580 CPUtime=3.98 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) S 18582 18585 25100 0 -1 1077944384 2919 0 0 0 349 49 0 0 20 0 15 0 56337485 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859844689040 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12916580 CPUtime=4.02 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) S 18582 18585 25100 0 -1 1077944384 2758 0 0 0 354 48 0 0 20 0 15 0 56337485 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859843635984 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12916580 CPUtime=4 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 1776 0 0 0 350 50 0 0 20 0 15 0 56337485 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859842583440 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12916580 CPUtime=0.04 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 2653 0 0 0 4 0 0 0 20 0 15 0 56337486 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859393419504 139859909270146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 56337487 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 56337487 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12916580 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13226577920 532901 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 ################ # More data... # ################ /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13230772224 1557779 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12920676 CPUtime=0.58 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 483 0 0 0 33 25 0 0 20 0 15 0 56337494 13230772224 1557779 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 2094.66 Current children cumulated vsize (KiB) 12920676 [startup+1002.3 s] /proc/loadavg: 2.54 3.50 3.16 3/214 18975 /proc/meminfo: memFree=21813764/32770624 swapFree=0/342396 [pid=18585] ppid=18582 vsize=12920676 CPUtime=2231.93 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 1714865 0 0 0 222399 794 0 0 20 0 15 0 56337476 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3230169 1554401 3821 1 0 3218943 0 [pid=18585/tid=18587] ppid=18582 vsize=12920676 CPUtime=590.72 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) R 18582 18585 25100 0 -1 4202560 304538 0 0 0 59039 33 0 0 20 0 15 0 56337484 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859913497488 139859522784823 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12920676 CPUtime=407.49 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) S 18582 18585 25100 0 -1 1077944384 345328 0 0 0 40560 189 0 0 20 0 15 0 56337485 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12920676 CPUtime=407.73 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) S 18582 18585 25100 0 -1 1077944384 376037 0 0 0 40582 191 0 0 20 0 15 0 56337485 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859844689040 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12920676 CPUtime=407.39 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) S 18582 18585 25100 0 -1 1077944384 280542 0 0 0 40570 169 0 0 20 0 15 0 56337485 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859843635984 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12920676 CPUtime=407.35 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 337108 0 0 0 40549 186 0 0 20 0 15 0 56337485 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859842583440 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12920676 CPUtime=2.37 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 16029 0 0 0 234 3 0 0 20 0 15 0 56337486 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859393419504 139859909270146 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12920676 CPUtime=3.59 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 18502 0 0 0 357 2 0 0 20 0 15 0 56337489 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12920676 CPUtime=3.61 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 21063 0 0 0 359 2 0 0 20 0 15 0 56337489 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12920676 CPUtime=0.96 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 13775 0 0 0 94 2 0 0 20 0 15 0 56337489 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12920676 CPUtime=0.63 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 514 0 0 0 36 27 0 0 20 0 15 0 56337494 13230772224 1554401 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 2231.93 Current children cumulated vsize (KiB) 12920676 [startup+1062.3 s] /proc/loadavg: 2.50 3.30 3.11 6/214 18977 /proc/meminfo: memFree=21776760/32770624 swapFree=0/342416 [pid=18585] ppid=18582 vsize=12920676 CPUtime=2365.44 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 1748212 0 0 0 235744 800 0 0 20 0 15 0 56337476 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3230169 1583227 3821 1 0 3218943 0 [pid=18585/tid=18587] ppid=18582 vsize=12920676 CPUtime=626.11 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) S 18582 18585 25100 0 -1 1077944384 307212 0 0 0 62578 33 0 0 20 0 15 0 56337484 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859913497456 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12920676 CPUtime=432.04 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) R 18582 18585 25100 0 -1 4202560 359656 0 0 0 43013 191 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859890906542 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12920676 CPUtime=432.15 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) R 18582 18585 25100 0 -1 4202560 376198 0 0 0 43024 191 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859844686560 139859894303091 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12920676 CPUtime=431.94 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) R 18582 18585 25100 0 -1 4202560 280814 0 0 0 43025 169 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859843633664 139859894303323 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12920676 CPUtime=431.86 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) R 18582 18585 25100 0 -1 4202560 351835 0 0 0 42997 189 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859842583328 139859894303109 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12920676 CPUtime=2.38 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 16037 0 0 0 235 3 0 0 20 0 15 0 56337486 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859393418016 139859909269205 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12920676 CPUtime=3.59 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 18505 0 0 0 357 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12920676 CPUtime=3.61 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 21064 0 0 0 359 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12920676 CPUtime=0.97 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 14940 0 0 0 95 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12920676 CPUtime=0.68 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 522 0 0 0 39 29 0 0 20 0 15 0 56337494 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 2365.44 Current children cumulated vsize (KiB) 12920676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1078.9 s] /proc/loadavg: 2.55 3.27 3.10 3/214 18977 /proc/meminfo: memFree=21785492/32770624 swapFree=0/342408 [pid=18585] ppid=18582 vsize=12920676 CPUtime=2400.05 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 1797901 0 0 0 239203 802 0 0 20 0 15 0 56337476 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3230169 1583227 3821 1 0 3218943 0 [pid=18585/tid=18587] ppid=18582 vsize=12920676 CPUtime=636.69 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) R 18582 18585 25100 0 -1 4202560 307910 0 0 0 63635 34 0 0 20 0 15 0 56337484 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859913497344 139859522784823 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12920676 CPUtime=438.07 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) S 18582 18585 25100 0 -1 1077944384 360838 0 0 0 43616 191 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12920676 CPUtime=438.13 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) S 18582 18585 25100 0 -1 1077944384 392141 0 0 0 43621 192 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859844689040 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12920676 CPUtime=437.95 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) S 18582 18585 25100 0 -1 1077944384 296933 0 0 0 43626 169 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859843635984 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12920676 CPUtime=437.86 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 367294 0 0 0 43597 189 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859842583440 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12920676 CPUtime=2.38 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 16271 0 0 0 235 3 0 0 20 0 15 0 56337486 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859393419504 139859909270146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12920676 CPUtime=3.59 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 18510 0 0 0 357 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12920676 CPUtime=3.61 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 21070 0 0 0 359 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12920676 CPUtime=0.97 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 14947 0 0 0 95 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12920676 CPUtime=0.69 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 558 0 0 0 40 29 0 0 20 0 15 0 56337494 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 12920676 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18585 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1078.9 s] /proc/loadavg: 2.55 3.27 3.10 3/214 18977 /proc/meminfo: memFree=21785492/32770624 swapFree=0/342408 [pid=18585] ppid=18582 vsize=12920676 CPUtime=2400.05 cores=0,2,4,6 /proc/18585/stat : 18585 (java) S 18582 18585 25100 0 -1 1077944320 1797901 0 0 0 239203 802 0 0 20 0 15 0 56337476 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 140724314089456 139859909258999 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 /proc/18585/statm: 3230169 1583227 3821 1 0 3218943 0 [pid=18585/tid=18587] ppid=18582 vsize=12920676 CPUtime=636.69 cores=0,2,4,6 /proc/18585/task/18587/stat : 18587 (java) R 18582 18585 25100 0 -1 4202560 307910 0 0 0 63635 34 0 0 20 0 15 0 56337484 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859913497344 139859522784823 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18588] ppid=18582 vsize=12920676 CPUtime=438.07 cores=0,2,4,6 /proc/18585/task/18588/stat : 18588 (java) S 18582 18585 25100 0 -1 1077944384 360838 0 0 0 43616 191 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859845741584 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18589] ppid=18582 vsize=12920676 CPUtime=438.13 cores=0,2,4,6 /proc/18585/task/18589/stat : 18589 (java) S 18582 18585 25100 0 -1 1077944384 392141 0 0 0 43621 192 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859844689040 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18590] ppid=18582 vsize=12920676 CPUtime=437.95 cores=0,2,4,6 /proc/18585/task/18590/stat : 18590 (java) S 18582 18585 25100 0 -1 1077944384 296933 0 0 0 43626 169 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859843635984 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18591] ppid=18582 vsize=12920676 CPUtime=437.86 cores=0,2,4,6 /proc/18585/task/18591/stat : 18591 (java) S 18582 18585 25100 0 -1 1077944384 367294 0 0 0 43597 189 0 0 20 0 15 0 56337485 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859842583440 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18592] ppid=18582 vsize=12920676 CPUtime=2.38 cores=0,2,4,6 /proc/18585/task/18592/stat : 18592 (java) S 18582 18585 25100 0 -1 1077944384 16271 0 0 0 235 3 0 0 20 0 15 0 56337486 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859393419504 139859909270146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18593] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18593/stat : 18593 (java) S 18582 18585 25100 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859392365792 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18594] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18594/stat : 18594 (java) S 18582 18585 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 56337487 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859391312640 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18595] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18595/stat : 18595 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859390261200 139859909277595 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18596] ppid=18582 vsize=12920676 CPUtime=3.59 cores=0,2,4,6 /proc/18585/task/18596/stat : 18596 (java) S 18582 18585 25100 0 -1 1077944384 18510 0 0 0 357 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859389209328 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18597] ppid=18582 vsize=12920676 CPUtime=3.61 cores=0,2,4,6 /proc/18585/task/18597/stat : 18597 (java) S 18582 18585 25100 0 -1 1077944384 21070 0 0 0 359 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859388156784 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18598] ppid=18582 vsize=12920676 CPUtime=0.97 cores=0,2,4,6 /proc/18585/task/18598/stat : 18598 (java) S 18582 18585 25100 0 -1 1077944384 14947 0 0 0 95 2 0 0 20 0 15 0 56337489 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859387103728 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18599] ppid=18582 vsize=12920676 CPUtime=0 cores=0,2,4,6 /proc/18585/task/18599/stat : 18599 (java) S 18582 18585 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 56337490 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859386051424 139859909269205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 [pid=18585/tid=18600] ppid=18582 vsize=12920676 CPUtime=0.69 cores=0,2,4,6 /proc/18585/task/18600/stat : 18600 (java) S 18582 18585 25100 0 -1 1077944384 558 0 0 0 40 29 0 0 20 0 15 0 56337494 13230772224 1583227 18446744073709551615 4194304 4196468 140724314106912 139859384998448 139859909270146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33726464 140724314112404 140724314112590 140724314112590 140724314116047 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 12920676 Child status: 143 Real time (s): 1078.95 CPU time (s): 2400.13 CPU user time (s): 2392.06 CPU system time (s): 8.07068 CPU usage (%): 222.45 Max. virtual memory (cumulated for all children) (KiB): 12920676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2392.06 system time used= 8.07068 maximum resident set size= 6339104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1799691 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33166 involuntary context switches= 27897 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.88685 second user time and 5.94859 second system time The end
Begin job on node133 at 2017-08-07 07:39:35 IDJOB=4249345 IDBENCH=139738 IDSOLVER=2628 FILE ID=node133/4249345-1502085222 RUNJOBID= node133-1502065585-15256 PBS_JOBID= Free space on /tmp= 61968 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-35-35.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249345-1502085222/watcher-4249345-1502085222 -o /tmp/evaluation-result-4249345-1502085222/solver-4249345-1502085222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15256 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 614076877 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4249345-1502085222.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8013d5ca2692908d001f725061313983 RANDOM SEED=614076877 node133.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.17 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.17 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.17 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.17 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: 27405516 kB MemAvailable: 28015392 kB Buffers: 218620 kB Cached: 681052 kB SwapCached: 0 kB Active: 4566464 kB Inactive: 367072 kB Active(anon): 4034008 kB Inactive(anon): 24920 kB Active(file): 532456 kB Inactive(file): 342152 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 62220 kB Writeback: 0 kB AnonPages: 4031352 kB Mapped: 55304 kB Shmem: 25276 kB Slab: 128760 kB SReclaimable: 102208 kB SUnreclaim: 26552 kB KernelStack: 3504 kB PageTables: 12820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4591296 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3866624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61928 MiB End job on node133 at 2017-08-07 07:57:34