Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 1219 | 2521.8201 | 1156.22 |
| 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.22/0.40 c version: 2017-07-26 0.22/0.40 c seed: 88706568 0.22/0.40 c timeout: 2520 0.22/0.40 c memlimit: 11000 0.22/0.41 c nbcore: 4 0.41/0.43 c Parsing instance... 45.08/20.38 c Parsing done, starting search... 776.58/338.96 o 1224 1132.26/504.27 o 1223 1408.29/632.26 o 1222 1733.79/783.55 o 1221 2015.57/917.93 o 1220 2363.99/1080.59 o 1219 2521.51/1156.17 s SATISFIABLE 2521.51/1156.17 v <instantiation> 2521.51/1156.17 v <list> 2521.51/1156.17 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] 2521.51/1156.17 v </list> 2521.51/1156.17 v <values> 2521.51/1156.17 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 1219 1219 1219 1219 1219 1219 1219 1215 1216 1216 1216 1216 1218 1213 1213 1213 1214 1214 1215 1215 1216 1217 1215 1216 1216 1218 1215 1216 1218 1219 1214 1214 1215 1215 1216 1216 1216 1217 1217 1217 1218 1219 1216 1215 1215 1217 1217 1215 1214 1215 1219 1215 1218 1215 1216 1219 1217 1216 1216 1218 1217 1219 1217 1219 1218 1217 1218 1217 1217 1217 1218 1218 1218 1218 1219 1218 1214 1217 1214 1219 1218 1218 1216 1215 1215 1215 1219 1215 1216 1217 1219 1218 1218 1216 1217 1218 1217 1218 1217 1219 1217 1217 1218 1218 1218 1218 1219 1216 1216 1213 1214 1215 1217 1217 1217 1215 1219 1219 1219 1219 1217 1218 1219 1219 1218 1218 1219 1219 1219 1219 1219 1219 1217 1218 1219 1218 1218 1218 1219 1216 1213 1214 1216 1217 1215 1215 1216 1218 1218 1216 1219 1215 1217 1217 1217 1217 1217 1217 1217 1217 1217 1217 1217 1218 1218 1218 1218 1219 1219 1219 1219 1214 1212 1212 1213 1211 1213 1212 1213 1214 1214 1214 1218 1219 1216 1217 1214 1218 1218 1218 1218 1218 1218 1218 1219 1219 1218 1217 1219 1215 1216 1217 1214 1212 1214 1213 1216 1212 1213 1213 1214 1215 1219 1216 1216 1215 1215 1218 1219 1216 1218 1217 1213 1217 1216 1219 1219 1219 1215 1212 1210 1213 1216 1215 1214 1215 1211 1213 1214 1213 1218 1212 1213 1216 1214 1214 1215 1216 1219 1217 1218 1217 1218 1219 1217 1216 1213 1215 1214 1212 1214 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 1218 1219 1217 1216 1213 1216 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 1218 1219 1217 1216 1214 1215 1217 1212 1214 1210 1213 1210 1211 1218 1209 1215 1210 1208 1209 1209 1211 1208 1208 1210 1209 1209 1214 1210 1209 1210 1210 1211 1212 1210 1210 1218 1219 1217 1216 1214 1215 1219 1212 1215 1210 1213 1211 1211 1215 1210 1209 1208 1209 1211 1210 1209 1209 1209 1214 1209 1210 1210 1211 1210 1211 1211 1212 1213 1211 1211 1218 1219 1217 1216 1214 1217 1216 1212 1215 1210 1213 1212 1211 1209 1219 1211 1209 1215 1212 1215 1210 1210 1210 1215 1210 1211 1211 1219 1211 1214 1212 1215 1214 1212 1212 1218 1219 1217 1216 1214 1219 1214 1212 1215 1211 1213 1213 1211 1211 1210 1218 1217 1210 1214 1211 1219 1218 1210 1211 1211 1212 1215 1215 1212 1215 1213 1213 1215 1219 1218 1218 1219 1217 1216 1215 1214 1212 1212 1215 1213 1213 1219 1211 1213 1211 1210 1210 1210 1210 1212 1210 1211 1211 1212 1212 1218 1212 1212 1217 1212 1214 1218 1218 1213 1219 1219 1218 1212 1216 1215 1214 1211 1218 1216 1217 1213 1219 1212 1211 1212 1211 1211 1211 1211 1215 1211 1211 1212 1219 1213 1213 1213 1212 1213 1213 1217 1214 1215 1214 1213 1219 1218 1212 1216 1215 1214 1212 1219 1219 1217 1213 1215 1213 1215 1211 1212 1212 1213 1212 1213 1212 1212 1213 1214 1217 1214 1214 1213 1214 1219 1218 1215 1216 1215 1214 1219 1218 1213 1216 1215 1214 1212 1211 1217 1212 1213 1210 1211 1218 1212 1213 1213 1212 1213 1217 1213 1213 1214 1213 1214 1217 1215 1214 1218 1214 1219 1216 1217 1217 1215 1219 1218 1213 1216 1215 1214 1212 1213 1212 1217 1214 1212 1212 1212 1216 1219 1217 1213 1214 1214 1214 1217 1215 1215 1215 1215 1216 1217 1215 1215 1215 1219 1217 1218 1216 1219 1218 1213 1216 1215 1214 1213 1217 1214 1218 1215 1216 1213 1213 1213 1214 1214 1219 1217 1211 1218 1214 1212 1209 1219 1210 1211 1211 1212 1217 1208 1212 1213 1212 1213 1219 1218 1214 1216 1213 1214 1213 1217 1215 1213 1216 1213 1214 1214 1214 1216 1217 1214 1215 1217 1215 1216 1219 1216 1216 1218 1217 1219 1215 1218 1217 1211 1212 1215 1212 1219 1218 1214 1216 1215 1213 1219 1213 1214 1215 1213 1214 1216 1217 1215 1215 1215 1215 1216 1216 1215 1219 1217 1218 1217 1216 1217 1218 1217 1217 1216 1218 1217 1219 1218 1219 1218 1214 1216 1215 1215 1214 1213 1217 1216 1219 1213 1212 1211 1211 1212 1208 1212 1213 1214 1210 1209 1213 1210 1208 1212 1211 1217 1214 1213 1214 1211 1214 1216 1217 1219 1218 1215 1214 1215 1216 1213 1214 1214 1219 1214 1218 1215 1216 1217 1218 1219 1217 1212 1213 1219 1215 1216 1213 1216 1216 1216 1215 1219 1211 1214 1213 1212 1213 1214 1219 1218 1215 1214 1217 1218 1216 1211 1212 1214 1212 1213 1213 1217 1214 1214 1212 1217 1215 1212 1213 1216 1214 1211 1210 1212 1216 1211 1216 1210 1215 1210 1212 1213 1215 1219 1218 1215 1214 1217 1219 1218 1216 1211 1211 1211 1209 1210 1214 1213 1211 1212 1212 1213 1213 1214 1217 1215 1214 1212 1216 1215 1216 1217 1211 1217 1212 1214 1210 1212 1219 1218 1215 1215 1216 1217 1215 1211 1211 1212 1212 1212 1219 1213 1214 1216 1213 1213 1214 1216 1215 1217 1217 1212 1211 1217 1213 1214 1212 1210 1213 1217 1211 1211 1216 1219 1218 1216 1217 1219 1217 1211 1214 1213 1214 1218 1211 1210 1215 1212 1215 1209 1209 1210 1211 1212 1216 1213 1212 1217 1216 1213 1215 1214 1214 1215 1214 1213 1216 1216 1219 1218 1216 1219 1217 1216 1216 1215 1217 1210 1214 1208 1212 1209 1215 1214 1217 1214 1213 1216 1212 1211 1215 1211 1217 1214 1212 1215 1212 1211 1213 1215 1214 1213 1213 1219 1218 1217 1215 1218 1216 1214 1216 1215 1215 1217 1214 1213 1214 1212 1213 1212 1217 1216 1211 1216 1216 1215 1210 1213 1217 1214 1209 1212 1212 1217 1213 1211 1214 1211 1219 1218 1217 1216 1217 1212 1211 1210 1211 1213 1215 1214 1212 1219 1213 1217 1214 1214 1214 1215 1215 1218 1217 1214 1215 1211 1219 1215 1213 1212 1214 1214 1212 1217 1211 1219 1218 1217 1218 1212 1215 1216 1211 1212 1214 1215 1213 1214 1217 1219 1216 1215 1216 1217 1217 1214 1215 1216 1213 1213 1214 1215 1212 1215 1211 1212 1216 1219 1216 1217 1219 1218 1218 1217 1216 1213 1215 1214 1218 1217 1216 1214 1215 1215 1215 1212 1213 1217 1219 1213 1214 1214 1216 1215 1218 1219 1218 1212 1213 1217 1216 1217 1216 1217 1217 1219 1218 1219 1217 1216 1216 1212 1215 1216 1213 1212 1217 1213 1215 1218 1214 1217 1215 1215 1219 1214 1215 1218 1216 1215 1213 1214 1214 1217 1211 1214 1212 1218 1216 1219 1219 1219 1218 1217 1215 1212 1211 1218 1217 1216 1211 1212 1214 1218 1211 1214 1218 1212 1215 1216 1218 1213 1217 1216 1214 1213 1216 1213 1214 1216 1217 1216 1218 1218 1218 2521.51/1156.17 v </values> 2521.51/1156.17 v </instantiation>
OK 1219
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14131 MiB free)
memory of node 1: 16384 MiB (15572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274286-1502851689/watcher-4274286-1502851689 -o /tmp/evaluation-result-4274286-1502851689/solver-4274286-1502851689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 88706568 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274286-1502851689.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28652, runsolver pid=28649
[startup+0.100258 s]*
/proc/loadavg: 1.76 1.63 1.60 3/197 28655
/proc/meminfo: memFree=30412404/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13358552 memory=14404 CPUtime=0.01 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 3463 0 0 0 1 0 0 0 20 0 6 0 12783985 13679157248 3601 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3339638 3601 1911 1 0 3329135 0
[pid=28652/tid=28654] ppid=28649 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) R 28649 28652 2357 0 -1 4202560 2153 0 0 0 0 0 0 0 20 0 6 0 12783994 13679157248 3601 18446744073709551615 4194304 4196468 140735982977136 140547772314192 140547752158558 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12783995 13679157248 3601 18446744073709551615 4194304 4196468 140735982977136 140547710024336 140547768088277 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13358552 memory=140603793393280 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12783995 13679157248 3601 18446744073709551615 4194304 4196468 140735982977136 140547708971536 140547768088277 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12783995 13679157248 3601 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547768088277 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12783995 13679157248 3667 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14404 KiB
[startup+0.209649 s]*
/proc/loadavg: 1.76 1.63 1.60 3/209 28667
/proc/meminfo: memFree=30406368/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13973048 memory=21696 CPUtime=0.06 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 5725 0 0 0 6 0 0 0 20 0 15 0 12783985 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3493262 5424 2604 1 0 3482759 0
[pid=28652/tid=28654] ppid=28649 vsize=13973048 memory=7077796292425249400 CPUtime=0.05 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) R 28649 28652 2357 0 -1 4202560 3814 0 0 0 5 0 0 0 20 0 15 0 12783994 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140547772306848 140547760756085 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12783995 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140547710024336 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13973048 memory=140603793393280 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783995 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140547708971536 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783995 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12783995 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13973048 memory=140603793393280 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783996 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546886544240 140547768089218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12783996 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546885490208 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12783997 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546884437360 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 12783999 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546882333040 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546881280240 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13973048 memory=140603793393280 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) R 28649 28652 2357 0 -1 4202560 218 0 0 0 0 0 0 0 20 0 15 0 12783999 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546880227440 140547749727019 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13973048 memory=140603793393280 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12784005 14308401152 5424 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13973048 KiB
Current children cumulated memory: 21696 KiB
[startup+0.309935 s]*
/proc/loadavg: 1.76 1.63 1.60 3/209 28667
/proc/meminfo: memFree=30390896/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13975920 memory=38916 CPUtime=0.22 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 9970 0 0 0 20 2 0 0 20 0 15 0 12783985 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3493980 9729 3533 1 0 3482759 0
[pid=28652/tid=28654] ppid=28649 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) R 28649 28652 2357 0 -1 4202560 7702 0 0 0 13 2 0 0 20 0 15 0 12783994 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140547772305264 140547752158588 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12783995 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140547710024336 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13975920 memory=140603793400273 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783995 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140547708971536 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783995 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12783995 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12783996 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546886544240 140547768089218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12783996 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546885490208 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12783997 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546884437360 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 12783999 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546882333040 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 12783999 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546881280240 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) R 28649 28652 2357 0 -1 4202560 366 0 0 0 4 0 0 0 20 0 15 0 12783999 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546880227440 140547768099418 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12784005 14311342080 9729 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 38916 KiB
[startup+0.701662 s]
/proc/loadavg: 1.76 1.63 1.60 3/209 28667
/proc/meminfo: memFree=30377708/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13975940 memory=116008 CPUtime=1.08 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 15003 0 0 0 103 5 0 0 20 0 15 0 12783985 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3493985 29002 3723 1 0 3482759 0
[pid=28652/tid=28654] ppid=28649 vsize=13975940 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) R 28649 28652 2357 0 -1 4202560 10078 0 0 0 50 4 0 0 20 0 15 0 12783994 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140547772314928 140547768099997 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12783995 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140547710024336 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13975940 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783995 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140547708971536 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13975940 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) S 28649 28652 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12783995 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13975940 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12783995 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12783996 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546886544240 140547768089218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12783996 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546885490208 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12783997 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546884437360 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13975940 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13975940 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) R 28649 28652 2357 0 -1 4202560 1583 0 0 0 17 0 0 0 20 0 15 0 12783999 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546882319096 140547752467904 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13975940 memory=3749592432059638654 CPUtime=0.18 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) R 28649 28652 2357 0 -1 4202560 1124 0 0 0 18 0 0 0 20 0 15 0 12783999 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546881266808 140547745676593 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13975940 memory=6944656592455097440 CPUtime=0.17 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) S 28649 28652 2357 0 -1 1077944384 835 0 0 0 17 0 0 0 20 0 15 0 12783999 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546880227440 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12784005 14311362560 29002 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 116008 KiB
[startup+1.50081 s]
/proc/loadavg: 1.94 1.67 1.62 3/209 28667
/proc/meminfo: memFree=30134068/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13975940 memory=481552 CPUtime=3.63 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 17478 0 0 0 327 36 0 0 20 0 15 0 12783985 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3493985 120388 3765 1 0 3482759 0
[pid=28652/tid=28654] ppid=28649 vsize=13975940 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) R 28649 28652 2357 0 -1 4202560 10110 0 0 0 72 5 0 0 20 0 15 0 12783994 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140547772315744 140547768099997 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13975940 memory=7092437599744649280 CPUtime=0.53 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) S 28649 28652 2357 0 -1 1077944384 173 0 0 0 46 7 0 0 20 0 15 0 12783995 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140547710024336 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13975940 memory=276 CPUtime=0.52 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) S 28649 28652 2357 0 -1 1077944384 390 0 0 0 45 7 0 0 20 0 15 0 12783995 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140547708971536 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13975940 memory=6372426778310831459 CPUtime=0.53 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) S 28649 28652 2357 0 -1 1077944384 417 0 0 0 46 7 0 0 20 0 15 0 12783995 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13975940 memory=5795117241467496816 CPUtime=0.51 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 385 0 0 0 45 6 0 0 20 0 15 0 12783995 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13975940 memory=4104 CPUtime=0.01 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 12783996 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546886544240 140547768089218 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12783996 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546885490272 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13975940 memory=140603673517120 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 12783997 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546884437376 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13975940 memory=-8774313645642428999 CPUtime=0.23 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 1900 0 0 0 23 0 0 0 20 0 15 0 12783999 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546882333040 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13975940 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 1531 0 0 0 27 0 0 0 20 0 15 0 12783999 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546881280240 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13975940 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) S 28649 28652 2357 0 -1 1077944384 837 0 0 0 17 0 0 0 20 0 15 0 12783999 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546880227440 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13975940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12784005 14311362560 120388 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 3.63 s
Current children cumulated vsize: 13975940 KiB
################
# More data... #
################
[pid=28652/tid=28658] ppid=28649 vsize=13982084 memory=7095064 CPUtime=418.76 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 275775 0 0 0 41686 190 0 0 20 0 15 0 12783995 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13982084 memory=4080 CPUtime=3.74 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 24097 0 0 0 370 4 0 0 20 0 15 0 12783996 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546886544240 140547768089218 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13982084 memory=-7824251494390454890 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 12783996 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546885490272 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13982084 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 12783997 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546884437376 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13982084 memory=932 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13982084 memory=2164 CPUtime=3.38 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 19441 0 0 0 335 3 0 0 20 0 15 0 12783999 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546882333040 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13982084 memory=844 CPUtime=3.61 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 16695 0 0 0 359 2 0 0 20 0 15 0 12783999 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546881280240 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13982084 memory=3900 CPUtime=0.94 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) S 28649 28652 2357 0 -1 1077944384 13082 0 0 0 92 2 0 0 20 0 15 0 12783999 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546880227440 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13982084 memory=2804 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13982084 memory=-8412652152092201843 CPUtime=0.7 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 537 0 0 0 31 39 0 0 20 0 15 0 12784005 14317654016 1661320 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 2324.55 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 6645280 KiB
[startup+1122.3 s]
/proc/loadavg: 3.77 4.23 3.42 3/210 28886
/proc/meminfo: memFree=21026656/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13982084 memory=6535276 CPUtime=2449.24 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 1299768 0 0 0 244096 828 0 0 20 0 15 0 12783985 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3495521 1633819 3822 1 0 3484295 0
[pid=28652/tid=28654] ppid=28649 vsize=13982084 memory=288230613214036277 CPUtime=675.88 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) R 28649 28652 2357 0 -1 4202560 105944 0 0 0 67559 29 0 0 20 0 15 0 12783994 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140547772316528 140547392605546 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13982084 memory=14128948577568424 CPUtime=440.23 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) S 28649 28652 2357 0 -1 1077944384 358366 0 0 0 43824 199 0 0 20 0 15 0 12783995 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140547710024336 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13982084 memory=932 CPUtime=440.25 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) S 28649 28652 2357 0 -1 1077944384 278806 0 0 0 43835 190 0 0 20 0 15 0 12783995 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140547708971536 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13982084 memory=2164 CPUtime=440.02 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) S 28649 28652 2357 0 -1 1077944384 200711 0 0 0 43816 186 0 0 20 0 15 0 12783995 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13982084 memory=844 CPUtime=440.31 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) S 28649 28652 2357 0 -1 1077944384 278369 0 0 0 43840 191 0 0 20 0 15 0 12783995 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140547706865936 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13982084 memory=3900 CPUtime=3.75 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 24367 0 0 0 371 4 0 0 20 0 15 0 12783996 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546886544240 140547768089218 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13982084 memory=3084 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 12783996 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546885490272 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13982084 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 12783997 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546884437376 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13982084 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13982084 memory=1156 CPUtime=3.4 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 20438 0 0 0 337 3 0 0 20 0 15 0 12783999 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546882333040 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13982084 memory=3092 CPUtime=3.61 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 16798 0 0 0 359 2 0 0 20 0 15 0 12783999 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546881280240 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13982084 memory=6535276 CPUtime=0.95 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) S 28649 28652 2357 0 -1 1077944384 13960 0 0 0 93 2 0 0 20 0 15 0 12783999 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546880227440 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13982084 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13982084 memory=7512114578044973668 CPUtime=0.75 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 569 0 0 0 34 41 0 0 20 0 15 0 12784005 14317654016 1633819 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 2449.24 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 6535276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1155.8 s]
/proc/loadavg: 3.38 4.08 3.40 6/210 28887
/proc/meminfo: memFree=20959260/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13982084 memory=6531872 CPUtime=2520.29 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 1302455 0 0 0 251199 830 0 0 20 0 15 0 12783985 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3495521 1632968 3822 1 0 3484295 0
[pid=28652/tid=28654] ppid=28649 vsize=13982084 memory=6531872 CPUtime=696.81 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) S 28649 28652 2357 0 -1 1077944384 108362 0 0 0 69651 30 0 0 20 0 15 0 12783994 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547772316528 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13982084 memory=6531872 CPUtime=452.71 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) R 28649 28652 2357 0 -1 4202560 358445 0 0 0 45072 199 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547710024536 140547753122428 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13982084 memory=6531872 CPUtime=452.83 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) R 28649 28652 2357 0 -1 4202560 278883 0 0 0 45092 191 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547708971736 140547753104984 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13982084 memory=6531872 CPUtime=452.54 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) R 28649 28652 2357 0 -1 4202560 200757 0 0 0 45068 186 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547707918736 140547749703839 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13982084 memory=6531872 CPUtime=452.81 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) R 28649 28652 2357 0 -1 4202560 278428 0 0 0 45090 191 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547706866136 140547753122274 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13982084 memory=6284596 CPUtime=3.76 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 24370 0 0 0 371 5 0 0 20 0 15 0 12783996 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546886542752 140547768088277 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13982084 memory=6531872 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 12783996 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546885490272 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13982084 memory=6531872 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 12783997 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546884437376 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13982084 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546883385680 140547768096667 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13982084 memory=1732 CPUtime=3.4 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 20439 0 0 0 337 3 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546882333088 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13982084 memory=288230574492221466 CPUtime=3.61 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 16799 0 0 0 359 2 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546881280288 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13982084 memory=288230613214036277 CPUtime=0.95 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) S 28649 28652 2357 0 -1 1077944384 13961 0 0 0 93 2 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546880227200 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13982084 memory=6531872 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13982084 memory=10932 CPUtime=0.77 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 571 0 0 0 34 43 0 0 20 0 15 0 12784005 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 2520.29 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 6531872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1156.22 s]
# the end of solver process 28652 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.48 s, system=8.3369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1156.1 s]*
/proc/loadavg: 3.43 4.08 3.40 7/210 28887
/proc/meminfo: memFree=20959260/32770624 swapFree=67108860/67108860
[pid=28652] ppid=28649 vsize=13982084 memory=6531872 CPUtime=2521.51 cores=1,3,5,7
/proc/28652/stat : 28652 (java) S 28649 28652 2357 0 -1 1077944320 1302458 0 0 0 251321 830 0 0 20 0 15 0 12783985 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140735982959680 140547768078071 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
/proc/28652/statm: 3495521 1632968 3822 1 0 3484295 0
[pid=28652/tid=28654] ppid=28649 vsize=13982084 memory=-8774313645642428999 CPUtime=696.81 cores=1,3,5,7
/proc/28652/task/28654/stat : 28654 (java) S 28649 28652 2357 0 -1 1077944384 108362 0 0 0 69651 30 0 0 20 0 15 0 12783994 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547772316528 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28655] ppid=28649 vsize=13982084 memory=4324 CPUtime=453.01 cores=1,3,5,7
/proc/28652/task/28655/stat : 28655 (java) R 28649 28652 2357 0 -1 4202560 358445 0 0 0 45102 199 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547710024536 140547753122157 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28656] ppid=28649 vsize=13982084 memory=1592 CPUtime=453.14 cores=1,3,5,7
/proc/28652/task/28656/stat : 28656 (java) R 28649 28652 2357 0 -1 4202560 278883 0 0 0 45123 191 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547708971736 140547753105310 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28657] ppid=28649 vsize=13982084 memory=932 CPUtime=452.85 cores=1,3,5,7
/proc/28652/task/28657/stat : 28657 (java) R 28649 28652 2357 0 -1 4202560 200757 0 0 0 45099 186 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547707918624 140547753122395 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28658] ppid=28649 vsize=13982084 memory=2164 CPUtime=453.12 cores=1,3,5,7
/proc/28652/task/28658/stat : 28658 (java) R 28649 28652 2357 0 -1 4202560 278428 0 0 0 45121 191 0 0 20 0 15 0 12783995 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140547706866136 140547753836425 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28659] ppid=28649 vsize=13982084 memory=844 CPUtime=3.76 cores=1,3,5,7
/proc/28652/task/28659/stat : 28659 (java) S 28649 28652 2357 0 -1 1077944384 24370 0 0 0 371 5 0 0 20 0 15 0 12783996 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546886542752 140547768088277 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28660] ppid=28649 vsize=13982084 memory=3900 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28660/stat : 28660 (java) S 28649 28652 2357 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 12783996 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546885490272 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28661] ppid=28649 vsize=13982084 memory=3084 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28661/stat : 28661 (java) S 28649 28652 2357 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 12783997 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546884437376 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28662] ppid=28649 vsize=13982084 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28662/stat : 28662 (java) S 28649 28652 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546883385328 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28663] ppid=28649 vsize=13982084 memory=4072 CPUtime=3.4 cores=1,3,5,7
/proc/28652/task/28663/stat : 28663 (java) S 28649 28652 2357 0 -1 1077944384 20439 0 0 0 337 3 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546882333088 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28664] ppid=28649 vsize=13982084 memory=1156 CPUtime=3.61 cores=1,3,5,7
/proc/28652/task/28664/stat : 28664 (java) S 28649 28652 2357 0 -1 1077944384 16799 0 0 0 359 2 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546881280288 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28665] ppid=28649 vsize=13982084 memory=3092 CPUtime=0.95 cores=1,3,5,7
/proc/28652/task/28665/stat : 28665 (java) S 28649 28652 2357 0 -1 1077944384 13961 0 0 0 93 2 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546880227200 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28666] ppid=28649 vsize=13982084 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/28652/task/28666/stat : 28666 (java) S 28649 28652 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12783999 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546879174880 140547768088277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
[pid=28652/tid=28667] ppid=28649 vsize=13982084 memory=288230613214036277 CPUtime=0.77 cores=1,3,5,7
/proc/28652/task/28667/stat : 28667 (java) S 28649 28652 2357 0 -1 1077944384 571 0 0 0 34 43 0 0 20 0 15 0 12784005 14317654016 1632968 18446744073709551615 4194304 4196468 140735982977136 140546878123184 140547768089218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25374720 140735982981491 140735982981676 140735982981676 140735982985167 0
Current children cumulated CPU time: 2521.51 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 6531872 KiB
[startup+1156.21 s]*
/proc/loadavg: 3.43 4.08 3.40 3/197 28889
/proc/meminfo: memFree=27142420/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 1156.22
CPU time (s): 2521.82
CPU user time (s): 2513.48
CPU system time (s): 8.3369
CPU usage (%): 218.109
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 6645280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.48
system time used= 8.3369
maximum resident set size= 6645280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1303450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34393
involuntary context switches= 24960
# summary of solver processes directly reported to runsolver:
# pid: 28652
# total CPU time (s): 2521.82
# total CPU user time (s): 2513.48
# total CPU system time (s): 8.3369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20362 second user time and 11.6746 second system time
The end
Begin job on node129 at 2017-08-16 04:34:13 IDJOB=4274286 IDBENCH=139738 IDSOLVER=2666 FILE ID=node129/4274286-1502851689 RUNJOBID= node129-1502746532-7260 PBS_JOBID= Free space on /tmp= 61952 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s1/ChessboardColoration-int-35-35.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274286-1502851689/watcher-4274286-1502851689 -o /tmp/evaluation-result-4274286-1502851689/solver-4274286-1502851689 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7260 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 88706568 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274286-1502851689.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8013d5ca2692908d001f725061313983 RANDOM SEED=88706568 node129.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.61 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.61 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.61 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.61 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: 30417120 kB MemAvailable: 30939660 kB Buffers: 174132 kB Cached: 635148 kB SwapCached: 0 kB Active: 1499836 kB Inactive: 435168 kB Active(anon): 1126240 kB Inactive(anon): 16744 kB Active(file): 373596 kB Inactive(file): 418424 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 62636 kB Writeback: 0 kB AnonPages: 1127760 kB Mapped: 46200 kB Shmem: 17060 kB Slab: 117140 kB SReclaimable: 92708 kB SUnreclaim: 24432 kB KernelStack: 3408 kB PageTables: 11376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1675844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1058816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61912 MiB End job on node129 at 2017-08-16 04:53:30