Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 243 | 19993.301 | 2520.1399 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml |
| MD5SUM | f7605bb50abdbd05cc6d9fedf17196d1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 398 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1831 |
| Number of constraints | 1072 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1801 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}] |
| Number of extensional constraints | 896 |
| Number of intensional constraints | 141 |
| Distribution of constraint types | [{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.29/0.25 c version: 2017-07-26 0.29/0.25 c seed: 1149235572 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 11000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 2.13/0.82 c Parsing done, starting search... 23.42/6.18 o 221 23.42/6.20 o 222 24.91/6.35 o 226 24.91/6.36 o 227 24.91/6.36 o 228 25.69/6.42 o 229 25.69/6.44 o 230 25.69/6.46 o 231 80.24/13.31 o 232 174.19/25.13 o 233 197.29/28.11 o 234 256.20/35.46 o 235 677.72/88.36 o 236 677.72/88.40 o 237 940.71/121.39 o 238 1085.73/139.51 o 239 1294.56/165.77 o 240 2056.28/261.34 o 241 3474.27/439.37 o 242 14299.66/1802.42 o 243 19992.33/2520.10 s SATISFIABLE 19992.33/2520.10 v <instantiation> 19992.33/2520.10 v <list> 19992.33/2520.10 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] z 19992.33/2520.10 v </list> 19992.33/2520.10 v <values> 19992.33/2520.10 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 2 1 2 2 2 1 2 1 1 2 1 1 2 1 1 2 2 1 2 1 1 2 1 1 2 1 2 1 0 0 0 1 0 2 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 2 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 2 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 2 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 2 1 0 1 1 2 0 1 0 2 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 2 1 1 0 1 0 1 0 0 1 0 1 2 0 0 0 2 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 2 0 0 1 1 2 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 2 2 1 1 0 1 0 2 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 28 86 144 202 260 318 376 434 480 500 512 523 535 551 564 571 575 577 579 582 587 592 603 620 636 649 663 675 693 708 243 19992.33/2520.10 v </values> 19992.33/2520.10 v </instantiation>
OK 243
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 (14257 MiB free)
memory of node 1: 16384 MiB (14160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275213-1502669270/watcher-4275213-1502669270 -o /tmp/evaluation-result-4275213-1502669270/solver-4275213-1502669270 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502668412-21724 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1149235572 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275213-1502669270.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21741, runsolver pid=21738
[startup+0.100137 s]*
/proc/loadavg: 8.35 8.62 8.75 1/199 21761
/proc/meminfo: memFree=29082092/32770624 swapFree=67108860/67108860
[pid=21741] ppid=21738 vsize=14325320 memory=33540 CPUtime=0.13 cores=0-7
/proc/21741/stat : 21741 (java) S 21738 21741 21697 0 -1 1077944320 8292 0 0 0 11 2 0 0 20 0 20 0 100015129 14669127680 8385 33554432000 4194304 4196468 140727208356032 140727208338576 139845817532151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
/proc/21741/statm: 3581330 8385 3412 1 0 3569050 0
[pid=21741/tid=21743] ppid=21738 vsize=14325320 memory=8184618805443336859 CPUtime=0.09 cores=0-7
/proc/21741/task/21743/stat : 21743 (java) R 21738 21741 21697 0 -1 4202560 6230 0 0 0 8 1 0 0 20 0 20 0 100015129 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845821748848 139845817554077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21744] ppid=21738 vsize=14325320 memory=732370781041437669 CPUtime=0 cores=0-7
/proc/21741/task/21744/stat : 21744 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845747620368 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21745] ppid=21738 vsize=14325320 memory=140642703984256 CPUtime=0 cores=0-7
/proc/21741/task/21745/stat : 21745 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845411977872 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21746] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21746/stat : 21746 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845410924816 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21747] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21747/stat : 21747 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845409872272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21748] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21748/stat : 21748 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845408820240 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21749] ppid=21738 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21741/task/21749/stat : 21749 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845407767696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21750] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21750/stat : 21750 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845406714640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21751] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21751/stat : 21751 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845405662096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21752] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21752/stat : 21752 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015131 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845006514416 139845817543298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21753] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21753/stat : 21753 (java) S 21738 21741 21697 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100015132 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845005460640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21754] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21754/stat : 21754 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100015132 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845004407536 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21755] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21755/stat : 21755 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015134 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845003356112 139845817550747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21756] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21756/stat : 21756 (java) S 21738 21741 21697 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 100015134 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845002304240 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21757] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21757/stat : 21757 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015134 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845001251696 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21758] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21758/stat : 21758 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015134 14669127680 8385 33554432000 4194304 4196468 140727208356032 139845000198640 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21759] ppid=21738 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/21741/task/21759/stat : 21759 (java) S 21738 21741 21697 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 20 0 100015134 14669127680 8385 33554432000 4194304 4196468 140727208356032 139844999146096 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21760] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21760/stat : 21760 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015135 14669127680 8385 33554432000 4194304 4196468 140727208356032 139844998093280 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21761] ppid=21738 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21741/task/21761/stat : 21761 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015135 14669127680 8385 33554432000 4194304 4196468 140727208356032 139844997040816 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33540 KiB
[startup+0.210313 s]*
/proc/loadavg: 8.35 8.62 8.75 3/199 21761
/proc/meminfo: memFree=29072504/32770624 swapFree=67108860/67108860
[pid=21741] ppid=21738 vsize=14325320 memory=42684 CPUtime=0.29 cores=0-7
/proc/21741/stat : 21741 (java) S 21738 21741 21697 0 -1 1077944320 9258 0 0 0 27 2 0 0 20 0 20 0 100015129 14669127680 10671 33554432000 4194304 4196468 140727208356032 140727208338576 139845817532151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
/proc/21741/statm: 3581330 10671 3591 1 0 3569050 0
[pid=21741/tid=21743] ppid=21738 vsize=14325320 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/21741/task/21743/stat : 21743 (java) R 21738 21741 21697 0 -1 4202560 6856 0 0 0 18 1 0 0 20 0 20 0 100015129 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845821743520 139845801612638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21744] ppid=21738 vsize=14325320 memory=288230596084498767 CPUtime=0 cores=0-7
/proc/21741/task/21744/stat : 21744 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845747620368 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21745] ppid=21738 vsize=14325320 memory=140642704458696 CPUtime=0 cores=0-7
/proc/21741/task/21745/stat : 21745 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845411977872 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21746] ppid=21738 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21741/task/21746/stat : 21746 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845410924816 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21747] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21747/stat : 21747 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845409872272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21748] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21748/stat : 21748 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845408820240 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21749] ppid=21738 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21741/task/21749/stat : 21749 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845407767696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21750] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21750/stat : 21750 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845406714640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21751] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21751/stat : 21751 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845405662096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21752] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21752/stat : 21752 (java) S 21738 21741 21697 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100015131 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845006514416 139845817543298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21753] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21753/stat : 21753 (java) S 21738 21741 21697 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100015132 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845005460640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21754] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21754/stat : 21754 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100015132 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845004407536 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21755] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21755/stat : 21755 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015134 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845003356112 139845817550747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21756] ppid=21738 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21741/task/21756/stat : 21756 (java) S 21738 21741 21697 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 100015134 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845002304240 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21757] ppid=21738 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21741/task/21757/stat : 21757 (java) S 21738 21741 21697 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 100015134 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845001251696 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21758] ppid=21738 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/21741/task/21758/stat : 21758 (java) S 21738 21741 21697 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 100015134 14669127680 10671 33554432000 4194304 4196468 140727208356032 139845000198640 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21759] ppid=21738 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/21741/task/21759/stat : 21759 (java) R 21738 21741 21697 0 -1 4202560 400 0 0 0 5 0 0 0 20 0 20 0 100015134 14669127680 10671 33554432000 4194304 4196468 140727208356032 139844999146096 139845817553498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21760] ppid=21738 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21760/stat : 21760 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015135 14669127680 10671 33554432000 4194304 4196468 140727208356032 139844998093280 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21761] ppid=21738 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/21741/task/21761/stat : 21761 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015135 14669127680 10671 33554432000 4194304 4196468 140727208356032 139844997040816 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42684 KiB
[startup+0.309803 s]*
/proc/loadavg: 8.35 8.62 8.75 2/199 21761
/proc/meminfo: memFree=29064376/32770624 swapFree=67108860/67108860
[pid=21741] ppid=21738 vsize=14325340 memory=50628 CPUtime=0.48 cores=0-7
/proc/21741/stat : 21741 (java) S 21738 21741 21697 0 -1 1077944320 10486 0 0 0 45 3 0 0 20 0 20 0 100015129 14669148160 12657 33554432000 4194304 4196468 140727208356032 140727208338576 139845817532151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
/proc/21741/statm: 3581335 12657 3721 1 0 3569050 0
[pid=21741/tid=21743] ppid=21738 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21741/task/21743/stat : 21743 (java) R 21738 21741 21697 0 -1 4202560 7598 0 0 0 27 2 0 0 20 0 20 0 100015129 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845821755088 139845817554077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21744] ppid=21738 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21744/stat : 21744 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845747620368 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21745] ppid=21738 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21745/stat : 21745 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845411977872 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21746] ppid=21738 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21746/stat : 21746 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845410924816 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21747] ppid=21738 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21747/stat : 21747 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845409872272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21748] ppid=21738 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/21741/task/21748/stat : 21748 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845408820240 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21749] ppid=21738 vsize=14325340 memory=140642596516783 CPUtime=0 cores=0-7
/proc/21741/task/21749/stat : 21749 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845407767696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21750] ppid=21738 vsize=14325340 memory=140642596519088 CPUtime=0 cores=0-7
/proc/21741/task/21750/stat : 21750 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845406714640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21751] ppid=21738 vsize=14325340 memory=140642596521392 CPUtime=0 cores=0-7
/proc/21741/task/21751/stat : 21751 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845405662096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21752] ppid=21738 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21752/stat : 21752 (java) S 21738 21741 21697 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100015131 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845006514416 139845817543298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21753] ppid=21738 vsize=14325340 memory=281285193049744 CPUtime=0 cores=0-7
/proc/21741/task/21753/stat : 21753 (java) S 21738 21741 21697 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 100015132 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845005460640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21754] ppid=21738 vsize=14325340 memory=281285193056656 CPUtime=0 cores=0-7
/proc/21741/task/21754/stat : 21754 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 100015132 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845004407536 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21755] ppid=21738 vsize=14325340 memory=281285192997936 CPUtime=0 cores=0-7
/proc/21741/task/21755/stat : 21755 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015134 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845003356112 139845817550747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21756] ppid=21738 vsize=14325340 memory=281285193070480 CPUtime=0.03 cores=0-7
/proc/21741/task/21756/stat : 21756 (java) S 21738 21741 21697 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 20 0 100015134 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845002304240 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21757] ppid=21738 vsize=14325340 memory=281285193077392 CPUtime=0.02 cores=0-7
/proc/21741/task/21757/stat : 21757 (java) S 21738 21741 21697 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 100015134 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845001251696 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21758] ppid=21738 vsize=14325340 memory=281285193075088 CPUtime=0.03 cores=0-7
/proc/21741/task/21758/stat : 21758 (java) S 21738 21741 21697 0 -1 1077944384 254 0 0 0 3 0 0 0 20 0 20 0 100015134 14669148160 12657 33554432000 4194304 4196468 140727208356032 139845000198640 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21759] ppid=21738 vsize=14325340 memory=281285193091648 CPUtime=0.08 cores=0-7
/proc/21741/task/21759/stat : 21759 (java) R 21738 21741 21697 0 -1 4202560 451 0 0 0 8 0 0 0 20 0 20 0 100015134 14669148160 12657 33554432000 4194304 4196468 140727208356032 139844999146096 139845809769278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21760] ppid=21738 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21760/stat : 21760 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015135 14669148160 12657 33554432000 4194304 4196468 140727208356032 139844998093280 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21761] ppid=21738 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/21741/task/21761/stat : 21761 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015135 14669148160 12657 33554432000 4194304 4196468 140727208356032 139844997040816 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50628 KiB
[startup+0.70095 s]
/proc/loadavg: 8.35 8.62 8.75 4/199 21761
/proc/meminfo: memFree=29048640/32770624 swapFree=67108860/67108860
[pid=21741] ppid=21738 vsize=14327388 memory=89320 CPUtime=1.67 cores=0-7
/proc/21741/stat : 21741 (java) S 21738 21741 21697 0 -1 1077944320 14475 0 0 0 162 5 0 0 20 0 20 0 100015129 14671245312 22330 33554432000 4194304 4196468 140727208356032 140727208338576 139845817532151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
/proc/21741/statm: 3581847 22330 3780 1 0 3569562 0
[pid=21741/tid=21743] ppid=21738 vsize=14327388 memory=5937785416221807201 CPUtime=0.67 cores=0-7
/proc/21741/task/21743/stat : 21743 (java) R 21738 21741 21697 0 -1 4202560 8512 0 0 0 64 3 0 0 20 0 20 0 100015129 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845821768208 139845427080941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21744] ppid=21738 vsize=14327388 memory=93458488404480 CPUtime=0 cores=0-7
/proc/21741/task/21744/stat : 21744 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845747620368 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21745] ppid=21738 vsize=14327388 memory=140642596540710 CPUtime=0 cores=0-7
/proc/21741/task/21745/stat : 21745 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845411977872 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21746] ppid=21738 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21746/stat : 21746 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845410924816 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21747] ppid=21738 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21747/stat : 21747 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845409872272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21748] ppid=21738 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21748/stat : 21748 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845408820240 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21749] ppid=21738 vsize=14327388 memory=2353 CPUtime=0 cores=0-7
/proc/21741/task/21749/stat : 21749 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845407767696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21750] ppid=21738 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/21741/task/21750/stat : 21750 (java) S 21738 21741 21697 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845406714640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21751] ppid=21738 vsize=14327388 memory=1728 CPUtime=0 cores=0-7
/proc/21741/task/21751/stat : 21751 (java) S 21738 21741 21697 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 100015130 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845405662096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21752] ppid=21738 vsize=14327388 memory=1420 CPUtime=0 cores=0-7
/proc/21741/task/21752/stat : 21752 (java) S 21738 21741 21697 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 100015131 14671245312 22330 33554432000 4194304 4196468 140727208356032 139845006514416 139845817543298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
################
# More data... #
################
/proc/21741/task/21761/stat : 21761 (java) S 21738 21741 21697 0 -1 1077944384 5527 0 0 0 39 65 0 0 20 0 45 0 100015135 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844997040816 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21762] ppid=21738 vsize=16001764 memory=2340 CPUtime=0 cores=0-7
/proc/21741/task/21762/stat : 21762 (java) S 21738 21741 21697 0 -1 1077944384 715 0 0 0 0 0 0 0 20 0 45 0 100015519 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844984656416 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21763] ppid=21738 vsize=16001764 memory=1236 CPUtime=5.22 cores=0-7
/proc/21741/task/21763/stat : 21763 (java) R 21738 21741 21697 0 -1 1077944384 14271 0 0 0 260 262 0 0 20 0 45 0 100015530 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844983604128 139845817543298 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21764] ppid=21738 vsize=16001764 memory=2240 CPUtime=2483.52 cores=0-7
/proc/21741/task/21764/stat : 21764 (java) R 21738 21741 21697 0 -1 4202560 78948 0 0 0 248231 121 0 0 20 0 45 0 100015539 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844980451696 139845436869137 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21765] ppid=21738 vsize=16001764 memory=4128 CPUtime=2480.62 cores=0-7
/proc/21741/task/21765/stat : 21765 (java) R 21738 21741 21697 0 -1 4202560 77532 0 0 0 247940 122 0 0 20 0 45 0 100015540 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844979395632 139845436871205 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21766] ppid=21738 vsize=16001764 memory=1572 CPUtime=0.5 cores=0-7
/proc/21741/task/21766/stat : 21766 (java) S 21738 21741 21697 0 -1 1077944384 268 0 0 0 48 2 0 0 20 0 45 0 100015540 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844978349440 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21767] ppid=21738 vsize=16001764 memory=6791534058613427641 CPUtime=2485.98 cores=0-7
/proc/21741/task/21767/stat : 21767 (java) R 21738 21741 21697 0 -1 4202560 74519 0 0 0 248489 109 0 0 20 0 45 0 100015542 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844977290336 139845436617849 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21768] ppid=21738 vsize=16001764 memory=-7003737579269690708 CPUtime=2478.86 cores=0-7
/proc/21741/task/21768/stat : 21768 (java) R 21738 21741 21697 0 -1 4202560 75864 0 0 0 247756 130 0 0 20 0 45 0 100015542 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844976237760 139845436869212 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21769] ppid=21738 vsize=16001764 memory=840 CPUtime=2476.75 cores=0-7
/proc/21741/task/21769/stat : 21769 (java) R 21738 21741 21697 0 -1 4202560 75970 0 0 0 247557 118 0 0 20 0 45 0 100015543 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844975184736 139845433890752 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21770] ppid=21738 vsize=16001764 memory=4108 CPUtime=2485.12 cores=0-7
/proc/21741/task/21770/stat : 21770 (java) R 21738 21741 21697 0 -1 4202560 77653 0 0 0 248387 125 0 0 20 0 45 0 100015543 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844974134936 139845437185287 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21771] ppid=21738 vsize=16001764 memory=1692 CPUtime=0 cores=0-7
/proc/21741/task/21771/stat : 21771 (java) S 21738 21741 21697 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 45 0 100015543 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844973085696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21772] ppid=21738 vsize=16001764 memory=912 CPUtime=2482.73 cores=0-7
/proc/21741/task/21772/stat : 21772 (java) R 21738 21741 21697 0 -1 4202560 74806 0 0 0 248154 119 0 0 20 0 45 0 100015543 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844972027144 139845435899301 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21773] ppid=21738 vsize=16001764 memory=3888 CPUtime=0 cores=0-7
/proc/21741/task/21773/stat : 21773 (java) S 21738 21741 21697 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 45 0 100015543 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844970980912 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21774] ppid=21738 vsize=16001764 memory=1152 CPUtime=2481.86 cores=0-7
/proc/21741/task/21774/stat : 21774 (java) R 21738 21741 21697 0 -1 4202560 71995 0 0 0 248068 118 0 0 20 0 45 0 100015642 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844969921480 139845438049438 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21775] ppid=21738 vsize=16001764 memory=4592 CPUtime=0 cores=0-7
/proc/21741/task/21775/stat : 21775 (java) S 21738 21741 21697 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 45 0 100015643 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844968875520 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21776] ppid=21738 vsize=16001764 memory=3501660 CPUtime=0 cores=0-7
/proc/21741/task/21776/stat : 21776 (java) S 21738 21741 21697 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 100015643 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844967822464 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21777] ppid=21738 vsize=16001764 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21741/task/21777/stat : 21777 (java) S 21738 21741 21697 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 45 0 100015747 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844964635904 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21778] ppid=21738 vsize=16001764 memory=15872 CPUtime=0 cores=0-7
/proc/21741/task/21778/stat : 21778 (java) S 21738 21741 21697 0 -1 1077944384 648 0 0 0 0 0 0 0 20 0 45 0 100015747 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844963582848 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21779] ppid=21738 vsize=16001764 memory=18448 CPUtime=0 cores=0-7
/proc/21741/task/21779/stat : 21779 (java) S 21738 21741 21697 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 100015748 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844962530096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21780] ppid=21738 vsize=16001764 memory=16232 CPUtime=0 cores=0-7
/proc/21741/task/21780/stat : 21780 (java) S 21738 21741 21697 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 45 0 100015748 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844961478272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21781] ppid=21738 vsize=16001764 memory=4044 CPUtime=0 cores=0-7
/proc/21741/task/21781/stat : 21781 (java) S 21738 21741 21697 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 45 0 100015748 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844960425520 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21782] ppid=21738 vsize=16001764 memory=1792 CPUtime=0 cores=0-7
/proc/21741/task/21782/stat : 21782 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 100015765 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844959372464 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21783] ppid=21738 vsize=16001764 memory=636 CPUtime=0 cores=0-7
/proc/21741/task/21783/stat : 21783 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 100015765 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844958319920 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21784] ppid=21738 vsize=16001764 memory=956 CPUtime=0 cores=0-7
/proc/21741/task/21784/stat : 21784 (java) S 21738 21741 21697 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 45 0 100015765 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844957267072 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21785] ppid=21738 vsize=16001764 memory=2340 CPUtime=0 cores=0-7
/proc/21741/task/21785/stat : 21785 (java) S 21738 21741 21697 0 -1 1077944384 995 0 0 0 0 0 0 0 20 0 45 0 100015766 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844956214528 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21786] ppid=21738 vsize=16001764 memory=1236 CPUtime=0 cores=0-7
/proc/21741/task/21786/stat : 21786 (java) S 21738 21741 21697 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 45 0 100015767 16385806336 874645 33554432000 4194304 4196468 140727208356032 139844955161472 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
Current children cumulated CPU time: 19992.3 s
Current children cumulated vsize: 16001764 KiB
Current children cumulated memory: 3498580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.14 s]
# the end of solver process 21741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19978.1 s, system=15.1871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.13 s]
/proc/loadavg: 8.62 8.65 8.73 10/223 21850
/proc/meminfo: memFree=25601444/32770624 swapFree=67108860/67108860
[pid=21741] ppid=21738 vsize=16134892 memory=3498708 CPUtime=19993.2 cores=0-7
/proc/21741/stat : 21741 (java) S 21738 21741 21697 0 -1 1077944320 1598459 0 0 0 1997808 1516 0 0 20 0 44 0 100015129 16522129408 874677 33554432000 4194304 4196468 140727208356032 140727208338576 139845817532151 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
/proc/21741/statm: 4033723 874677 3876 1 0 4020917 0
[pid=21741/tid=21743] ppid=21738 vsize=16134892 memory=3499604 CPUtime=3.96 cores=0-7
/proc/21741/task/21743/stat : 21743 (java) S 21738 21741 21697 0 -1 1077944384 15405 0 0 0 386 10 0 0 20 0 44 0 100015129 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845821769856 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21744] ppid=21738 vsize=16134892 memory=3498580 CPUtime=14.22 cores=0-7
/proc/21741/task/21744/stat : 21744 (java) S 21738 21741 21697 0 -1 1077944384 97443 0 0 0 1367 55 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845747620368 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21745] ppid=21738 vsize=16134892 memory=3611976 CPUtime=14.35 cores=0-7
/proc/21741/task/21745/stat : 21745 (java) S 21738 21741 21697 0 -1 1077944384 100985 0 0 0 1373 62 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845411977872 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21746] ppid=21738 vsize=16134892 memory=6791534058613427641 CPUtime=14.43 cores=0-7
/proc/21741/task/21746/stat : 21746 (java) S 21738 21741 21697 0 -1 1077944384 95209 0 0 0 1380 63 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845410924816 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21747] ppid=21738 vsize=16134892 memory=15872 CPUtime=14.37 cores=0-7
/proc/21741/task/21747/stat : 21747 (java) S 21738 21741 21697 0 -1 1077944384 102447 0 0 0 1377 60 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845409872272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21748] ppid=21738 vsize=16134892 memory=3501660 CPUtime=14.32 cores=0-7
/proc/21741/task/21748/stat : 21748 (java) S 21738 21741 21697 0 -1 1077944384 96841 0 0 0 1373 59 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845408820240 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21749] ppid=21738 vsize=16134892 memory=3503712 CPUtime=14.35 cores=0-7
/proc/21741/task/21749/stat : 21749 (java) S 21738 21741 21697 0 -1 1077944384 97703 0 0 0 1374 61 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845407767696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21750] ppid=21738 vsize=16134892 memory=57 CPUtime=14.23 cores=0-7
/proc/21741/task/21750/stat : 21750 (java) S 21738 21741 21697 0 -1 1077944384 103466 0 0 0 1365 58 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845406714640 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21751] ppid=21738 vsize=16134892 memory=281285194934952 CPUtime=14.27 cores=0-7
/proc/21741/task/21751/stat : 21751 (java) S 21738 21741 21697 0 -1 1077944384 99644 0 0 0 1373 54 0 0 20 0 44 0 100015130 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845405662096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21752] ppid=21738 vsize=16134892 memory=1152 CPUtime=4.26 cores=0-7
/proc/21741/task/21752/stat : 21752 (java) R 21738 21741 21697 0 -1 4202560 108097 0 0 0 363 63 0 0 20 0 44 0 100015131 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845006514416 139845810249303 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21753] ppid=21738 vsize=16134892 memory=4592 CPUtime=0 cores=0-7
/proc/21741/task/21753/stat : 21753 (java) S 21738 21741 21697 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 44 0 100015132 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845005460704 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21754] ppid=21738 vsize=16134892 memory=3513972 CPUtime=0 cores=0-7
/proc/21741/task/21754/stat : 21754 (java) S 21738 21741 21697 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 44 0 100015132 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845004407552 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21756] ppid=21738 vsize=16134892 memory=8552 CPUtime=1.87 cores=0-7
/proc/21741/task/21756/stat : 21756 (java) S 21738 21741 21697 0 -1 1077944384 8039 0 0 0 184 3 0 0 20 0 44 0 100015134 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845002304240 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21757] ppid=21738 vsize=16134892 memory=1224 CPUtime=2.11 cores=0-7
/proc/21741/task/21757/stat : 21757 (java) S 21738 21741 21697 0 -1 1077944384 9192 0 0 0 209 2 0 0 20 0 44 0 100015134 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845001251696 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21758] ppid=21738 vsize=16134892 memory=6791534058613427641 CPUtime=1.93 cores=0-7
/proc/21741/task/21758/stat : 21758 (java) S 21738 21741 21697 0 -1 1077944384 8509 0 0 0 191 2 0 0 20 0 44 0 100015134 16522129408 874677 33554432000 4194304 4196468 140727208356032 139845000198640 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21759] ppid=21738 vsize=16134892 memory=1236 CPUtime=1.2 cores=0-7
/proc/21741/task/21759/stat : 21759 (java) S 21738 21741 21697 0 -1 1077944384 23483 0 0 0 115 5 0 0 20 0 44 0 100015134 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844999146096 139845817543298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21760] ppid=21738 vsize=16134892 memory=2240 CPUtime=0 cores=0-7
/proc/21741/task/21760/stat : 21760 (java) S 21738 21741 21697 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 100015135 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844998093280 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21762] ppid=21738 vsize=16134892 memory=1420 CPUtime=0 cores=0-7
/proc/21741/task/21762/stat : 21762 (java) S 21738 21741 21697 0 -1 1077944384 715 0 0 0 0 0 0 0 20 0 44 0 100015519 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844984656416 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21763] ppid=21738 vsize=16134892 memory=11032 CPUtime=5.22 cores=0-7
/proc/21741/task/21763/stat : 21763 (java) S 21738 21741 21697 0 -1 1077944384 14272 0 0 0 260 262 0 0 20 0 44 0 100015530 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844983603824 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21764] ppid=21738 vsize=16134892 memory=187 CPUtime=2483.64 cores=0-7
/proc/21741/task/21764/stat : 21764 (java) S 21738 21741 21697 0 -1 1077944384 78948 0 0 0 248243 121 0 0 20 0 44 0 100015539 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844980449120 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21765] ppid=21738 vsize=16134892 memory=211 CPUtime=2480.73 cores=0-7
/proc/21741/task/21765/stat : 21765 (java) S 21738 21741 21697 0 -1 1077944384 77532 0 0 0 247951 122 0 0 20 0 44 0 100015540 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844979395504 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21766] ppid=21738 vsize=16134892 memory=192 CPUtime=0.5 cores=0-7
/proc/21741/task/21766/stat : 21766 (java) S 21738 21741 21697 0 -1 1077944384 268 0 0 0 48 2 0 0 20 0 44 0 100015540 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844978349440 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21767] ppid=21738 vsize=16134892 memory=164 CPUtime=2486.09 cores=0-7
/proc/21741/task/21767/stat : 21767 (java) R 21738 21741 21697 0 -1 4202560 74519 0 0 0 248500 109 0 0 20 0 44 0 100015542 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844977290472 139845434298934 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21768] ppid=21738 vsize=16134892 memory=6944656592387989600 CPUtime=2478.97 cores=0-7
/proc/21741/task/21768/stat : 21768 (java) S 21738 21741 21697 0 -1 1077944384 75864 0 0 0 247767 130 0 0 20 0 44 0 100015542 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844976236976 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21769] ppid=21738 vsize=16134892 memory=6944652177228980320 CPUtime=2476.86 cores=0-7
/proc/21741/task/21769/stat : 21769 (java) S 21738 21741 21697 0 -1 1077944384 75970 0 0 0 247568 118 0 0 20 0 44 0 100015543 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844975185216 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21770] ppid=21738 vsize=16134892 memory=0 CPUtime=2485.22 cores=0-7
/proc/21741/task/21770/stat : 21770 (java) S 21738 21741 21697 0 -1 1077944384 77653 0 0 0 248397 125 0 0 20 0 44 0 100015543 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844974131536 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21771] ppid=21738 vsize=16134892 memory=3502172 CPUtime=0 cores=0-7
/proc/21741/task/21771/stat : 21771 (java) S 21738 21741 21697 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 44 0 100015543 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844973085696 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21772] ppid=21738 vsize=16134892 memory=4140 CPUtime=2482.84 cores=0-7
/proc/21741/task/21772/stat : 21772 (java) S 21738 21741 21697 0 -1 1077944384 74806 0 0 0 248165 119 0 0 20 0 44 0 100015543 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844972026992 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21773] ppid=21738 vsize=16134892 memory=28684 CPUtime=0 cores=0-7
/proc/21741/task/21773/stat : 21773 (java) S 21738 21741 21697 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 44 0 100015543 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844970980912 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21774] ppid=21738 vsize=16134892 memory=1292 CPUtime=2481.97 cores=0-7
/proc/21741/task/21774/stat : 21774 (java) S 21738 21741 21697 0 -1 1077944384 71995 0 0 0 248079 118 0 0 20 0 44 0 100015642 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844969921392 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21775] ppid=21738 vsize=16134892 memory=3498580 CPUtime=0 cores=0-7
/proc/21741/task/21775/stat : 21775 (java) S 21738 21741 21697 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 44 0 100015643 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844968875520 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21776] ppid=21738 vsize=16134892 memory=3498580 CPUtime=0 cores=0-7
/proc/21741/task/21776/stat : 21776 (java) S 21738 21741 21697 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 44 0 100015643 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844967822464 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21777] ppid=21738 vsize=16134892 memory=1224 CPUtime=0 cores=0-7
/proc/21741/task/21777/stat : 21777 (java) S 21738 21741 21697 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 44 0 100015747 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844964635904 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21778] ppid=21738 vsize=16134892 memory=792 CPUtime=0 cores=0-7
/proc/21741/task/21778/stat : 21778 (java) S 21738 21741 21697 0 -1 1077944384 648 0 0 0 0 0 0 0 20 0 44 0 100015747 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844963582848 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21779] ppid=21738 vsize=16134892 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/21741/task/21779/stat : 21779 (java) S 21738 21741 21697 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 44 0 100015748 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844962530096 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21780] ppid=21738 vsize=16134892 memory=5296 CPUtime=0 cores=0-7
/proc/21741/task/21780/stat : 21780 (java) S 21738 21741 21697 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 44 0 100015748 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844961478272 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21781] ppid=21738 vsize=16134892 memory=1196 CPUtime=0 cores=0-7
/proc/21741/task/21781/stat : 21781 (java) S 21738 21741 21697 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 44 0 100015748 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844960425520 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21782] ppid=21738 vsize=16134892 memory=4612 CPUtime=0 cores=0-7
/proc/21741/task/21782/stat : 21782 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 44 0 100015765 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844959372464 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21783] ppid=21738 vsize=16134892 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21741/task/21783/stat : 21783 (java) S 21738 21741 21697 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 44 0 100015765 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844958319920 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21784] ppid=21738 vsize=16134892 memory=3533980 CPUtime=0 cores=0-7
/proc/21741/task/21784/stat : 21784 (java) S 21738 21741 21697 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 44 0 100015765 16522129408 874677 33554432000 4194304 4196468 140727208356032 139844957267072 139845817542357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21785] ppid=21738 vsize=16134892 memory=4140 CPUtime=0 cores=0-7
/proc/21741/task/21785/stat : 21785 (java) S 21738 21741 21697 0 -1 1077944384 995 0 0 0 0 0 0 0 20 0 44 0 100015766 16522129408 874680 33554432000 4194304 4196468 140727208356032 139844956214528 139845817542357 256 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
[pid=21741/tid=21786] ppid=21738 vsize=16134892 memory=28684 CPUtime=0 cores=0-7
/proc/21741/task/21786/stat : 21786 (java) R 21738 21741 21697 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 100015767 16522129408 874701 33554432000 4194304 4196468 140727208356032 139844955161472 139845817542357 256 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18665472 140727208363105 140727208363291 140727208363291 140727208366031 0
Current children cumulated CPU time: 19993.2 s
Current children cumulated vsize: 16134892 KiB
Current children cumulated memory: 3498708 KiB
Child status: 143
Real time (s): 2520.14
CPU time (s): 19993.3
CPU user time (s): 19978.1
CPU system time (s): 15.1871
CPU usage (%): 793.338
Max. virtual memory (cumulated for all children) (KiB): 16134892
Max. memory (cumulated for all children) (KiB): 4316808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19978.1
system time used= 15.1871
maximum resident set size= 4316840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1598496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516458
involuntary context switches= 419855
# summary of solver processes directly reported to runsolver:
# pid: 21741
# total CPU time (s): 19993.3
# total CPU user time (s): 19978.1
# total CPU system time (s): 15.1871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.3929 second user time and 34.4888 second system time
The end
Begin job on node107 at 2017-08-14 01:53:32 IDJOB=4275213 IDBENCH=115904 IDSOLVER=2668 FILE ID=node107/4275213-1502669270 RUNJOBID= node107-1502668412-21724 PBS_JOBID= 20628968 Free space on /tmp= 61660 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275213-1502669270/watcher-4275213-1502669270 -o /tmp/evaluation-result-4275213-1502669270/solver-4275213-1502669270 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502668412-21724 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1149235572 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275213-1502669270.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=1149235572 node107.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.84 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.84 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.84 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.84 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: 29099976 kB MemAvailable: 31988388 kB Buffers: 180404 kB Cached: 2996048 kB SwapCached: 0 kB Active: 570120 kB Inactive: 2658136 kB Active(anon): 54716 kB Inactive(anon): 24972 kB Active(file): 515404 kB Inactive(file): 2633164 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42144 kB Writeback: 0 kB AnonPages: 58276 kB Mapped: 43720 kB Shmem: 25228 kB Slab: 136872 kB SReclaimable: 111356 kB SUnreclaim: 25516 kB KernelStack: 3104 kB PageTables: 4648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 322952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61620 MiB End job on node107 at 2017-08-14 02:35:32