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-08-22 | SAT (TO) | 242 | 19958.4 | 2520.1699 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 373 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.30/0.25 c version: 2017-08-22 0.30/0.25 c seed: 171808863 0.30/0.25 c timeout: 20160 0.30/0.25 c memlimit: 22000 0.30/0.25 c nbcore: 8 0.30/0.28 c Parsing instance... 2.09/0.81 c Parsing done, starting search... 22.21/5.70 o 190 22.21/5.74 o 191 23.04/5.81 o 192 23.04/5.87 o 193 23.73/5.93 o 205 23.73/5.93 o 206 24.48/6.07 o 207 25.27/6.11 o 208 25.27/6.12 o 209 25.27/6.17 o 214 25.27/6.17 o 215 25.27/6.17 o 216 25.27/6.19 o 217 25.97/6.23 o 218 25.97/6.23 o 219 25.97/6.29 o 220 25.97/6.29 o 221 28.37/6.53 o 222 28.37/6.54 o 223 29.17/6.61 o 224 29.97/6.71 o 225 32.42/7.09 o 226 48.81/9.17 o 227 496.20/65.34 o 228 932.19/120.09 o 229 936.86/120.63 o 230 936.86/120.64 o 231 936.86/120.69 o 232 1069.94/137.31 o 233 1111.38/142.58 o 234 1116.96/143.27 o 235 1191.82/152.65 o 236 2867.69/362.91 o 237 14110.28/1781.94 o 238 14132.51/1784.75 o 239 15137.95/1911.89 o 240 15450.83/1951.31 o 241 18023.53/2276.67 o 242 19957.37/2520.11 s SATISFIABLE 19957.37/2520.12 v <instantiation> 19957.37/2520.12 v <list> 19957.37/2520.12 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z 19957.37/2520.12 v </list> 19957.37/2520.12 v <values> 19957.37/2520.12 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 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 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 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 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 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 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 1 1 1 2 1 1 2 1 1 2 2 1 1 2 2 1 1 0 1 2 2 2 1 1 0 1 2 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 2 0 0 1 1 2 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 2 2 0 0 0 1 1 1 2 1 2 1 0 0 0 1 0 0 0 1 2 0 0 0 0 0 0 0 2 2 0 2 0 1 1 1 1 2 2 2 0 1 0 0 0 1 0 0 2 1 1 0 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 2 1 1 0 0 0 1 0 1 1 1 1 0 1 1 2 2 0 0 1 1 1 0 1 0 0 1 0 1 2 1 1 0 1 0 0 1 0 2 1 0 0 0 1 2 0 2 0 2 2 0 0 0 0 1 1 0 1 1 2 0 0 0 1 0 0 1 0 1 1 0 1 1 0 2 0 2 2 2 2 1 1 1 1 0 1 0 1 2 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 2 1 1 2 1 1 2 1 0 1 0 1 2 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 1 1 1 0 1 0 1 2 1 0 0 0 2 1 1 1 0 0 1 1 0 0 2 2 1 0 1 0 0 0 2 1 1 0 1 1 0 2 1 1 2 2 2 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 2 1 1 2 0 0 0 0 2 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 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 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 2 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 2 2 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 2 0 0 1 2 1 1 0 1 0 0 0 0 0 1 0 0 1 2 1 0 0 0 0 1 0 0 0 1 0 1 0 1 2 1 0 0 0 2 0 1 1 0 1 1 0 1 2 2 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 27 83 139 191 228 246 260 280 304 325 345 370 389 406 427 451 465 473 477 483 490 497 509 521 533 548 562 583 598 242 19957.37/2520.12 v </values> 19957.37/2520.12 v </instantiation>
OK 242
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 (9571 MiB free)
memory of node 1: 16384 MiB (9277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285022-1503411710/watcher-4285022-1503411710 -o /tmp/evaluation-result-4285022-1503411710/solver-4285022-1503411710 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503403283-28119 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 171808863 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285022-1503411710.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
solver pid=28618, runsolver pid=28615
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 8.65 8.72 8.76 2/198 28638
/proc/meminfo: memFree=19282944/32770624 swapFree=67108860/67108860
[pid=28618] ppid=28615 vsize=26000852 memory=32344 CPUtime=0.12 cores=0-7
/proc/28618/stat : 28618 (java) S 28615 28618 28092 0 -1 1077944320 8484 0 0 0 10 2 0 0 20 0 20 0 174258576 26624872448 8086 33554432000 4194304 4196468 140727152520912 140727152503456 140045922418423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
/proc/28618/statm: 6500213 8086 3412 1 0 6487932 0
[pid=28618/tid=28620] ppid=28615 vsize=26000852 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28618/task/28620/stat : 28620 (java) R 28615 28618 28092 0 -1 4202560 6433 0 0 0 7 1 0 0 20 0 20 0 174258576 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045926615568 140045906498910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28621] ppid=28615 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28618/task/28621/stat : 28621 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045875039120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28622] ppid=28615 vsize=26000852 memory=140172449187456 CPUtime=0 cores=0-7
/proc/28618/task/28622/stat : 28622 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045873986320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28623] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28623/stat : 28623 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045872934032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28624] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28624/stat : 28624 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045871881232 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28625] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28625/stat : 28625 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045870827920 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28626] ppid=28615 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/28618/task/28626/stat : 28626 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045869775120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28627] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28627/stat : 28627 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045868722832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28628] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28628/stat : 28628 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 8086 33554432000 4194304 4196468 140727152520912 140045867670032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28629] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28629/stat : 28629 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258579 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044374317680 140045922429570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28630] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28630/stat : 28630 (java) S 28615 28618 28092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174258579 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044373263648 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28631] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28631/stat : 28631 (java) S 28615 28618 28092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174258579 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044372211312 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28632] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28632/stat : 28632 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044371159632 140045922437019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28633] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28633/stat : 28633 (java) S 28615 28618 28092 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044370106480 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28634] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28634/stat : 28634 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044369053680 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28635] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28635/stat : 28635 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044368001392 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28636] ppid=28615 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/28618/task/28636/stat : 28636 (java) S 28615 28618 28092 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044366948592 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28637] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28637/stat : 28637 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044365896544 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28638] ppid=28615 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/28618/task/28638/stat : 28638 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 8086 33554432000 4194304 4196468 140727152520912 140044364843824 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32344 KiB
[startup+0.209975 s]*
/proc/loadavg: 8.65 8.72 8.76 3/198 28638
/proc/meminfo: memFree=19274416/32770624 swapFree=67108860/67108860
[pid=28618] ppid=28615 vsize=26000852 memory=41232 CPUtime=0.3 cores=0-7
/proc/28618/stat : 28618 (java) S 28615 28618 28092 0 -1 1077944320 9489 0 0 0 27 3 0 0 20 0 20 0 174258576 26624872448 10308 33554432000 4194304 4196468 140727152520912 140727152503456 140045922418423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
/proc/28618/statm: 6500213 10308 3606 1 0 6487932 0
[pid=28618/tid=28620] ppid=28615 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/28618/task/28620/stat : 28620 (java) R 28615 28618 28092 0 -1 4202560 7066 0 0 0 17 2 0 0 20 0 20 0 174258576 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045926643504 140045906498910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28621] ppid=28615 vsize=26000852 memory=3210 CPUtime=0 cores=0-7
/proc/28618/task/28621/stat : 28621 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045875039120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28622] ppid=28615 vsize=26000852 memory=3474730194190632608 CPUtime=0 cores=0-7
/proc/28618/task/28622/stat : 28622 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045873986320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28623] ppid=28615 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/28618/task/28623/stat : 28623 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045872934032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28624] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28624/stat : 28624 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045871881232 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28625] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28625/stat : 28625 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045870827920 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28626] ppid=28615 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/28618/task/28626/stat : 28626 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045869775120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28627] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28627/stat : 28627 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045868722832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28628] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28628/stat : 28628 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624872448 10308 33554432000 4194304 4196468 140727152520912 140045867670032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28629] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28629/stat : 28629 (java) S 28615 28618 28092 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174258579 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044374317680 140045922429570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28630] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28630/stat : 28630 (java) S 28615 28618 28092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174258579 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044373263648 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28631] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28631/stat : 28631 (java) S 28615 28618 28092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174258579 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044372211312 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28632] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28632/stat : 28632 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044371159632 140045922437019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28633] ppid=28615 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/28618/task/28633/stat : 28633 (java) S 28615 28618 28092 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044370106480 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28634] ppid=28615 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/28618/task/28634/stat : 28634 (java) R 28615 28618 28092 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044369053680 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28635] ppid=28615 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/28618/task/28635/stat : 28635 (java) R 28615 28618 28092 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044368001392 140045922429570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28636] ppid=28615 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/28618/task/28636/stat : 28636 (java) R 28615 28618 28092 0 -1 4202560 391 0 0 0 5 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044366948592 140045922430358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28637] ppid=28615 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28637/stat : 28637 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044365896544 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28638] ppid=28615 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/28618/task/28638/stat : 28638 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624872448 10308 33554432000 4194304 4196468 140727152520912 140044364843824 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41232 KiB
[startup+0.309437 s]*
/proc/loadavg: 8.65 8.72 8.76 2/198 28638
/proc/meminfo: memFree=19267344/32770624 swapFree=67108860/67108860
[pid=28618] ppid=28615 vsize=26000872 memory=49412 CPUtime=0.48 cores=0-7
/proc/28618/stat : 28618 (java) S 28615 28618 28092 0 -1 1077944320 10658 0 0 0 45 3 0 0 20 0 20 0 174258576 26624892928 12353 33554432000 4194304 4196468 140727152520912 140727152503456 140045922418423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
/proc/28618/statm: 6500218 12353 3687 1 0 6487932 0
[pid=28618/tid=28620] ppid=28615 vsize=26000872 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/28618/task/28620/stat : 28620 (java) R 28615 28618 28092 0 -1 4202560 7732 0 0 0 26 2 0 0 20 0 20 0 174258576 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045926640672 140045906498940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28621] ppid=28615 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28621/stat : 28621 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045875039120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28622] ppid=28615 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28622/stat : 28622 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045873986320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28623] ppid=28615 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28623/stat : 28623 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045872934032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28624] ppid=28615 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28624/stat : 28624 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045871881232 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28625] ppid=28615 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/28618/task/28625/stat : 28625 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045870827920 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28626] ppid=28615 vsize=26000872 memory=140172297597871 CPUtime=0 cores=0-7
/proc/28618/task/28626/stat : 28626 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045869775120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28627] ppid=28615 vsize=26000872 memory=140172297600176 CPUtime=0 cores=0-7
/proc/28618/task/28627/stat : 28627 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045868722832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28628] ppid=28615 vsize=26000872 memory=140172297602480 CPUtime=0 cores=0-7
/proc/28618/task/28628/stat : 28628 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26624892928 12353 33554432000 4194304 4196468 140727152520912 140045867670032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28629] ppid=28615 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28629/stat : 28629 (java) S 28615 28618 28092 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174258579 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044374317680 140045922429570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28630] ppid=28615 vsize=26000872 memory=280344595211920 CPUtime=0 cores=0-7
/proc/28618/task/28630/stat : 28630 (java) S 28615 28618 28092 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 174258579 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044373263648 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28631] ppid=28615 vsize=26000872 memory=280344595218832 CPUtime=0 cores=0-7
/proc/28618/task/28631/stat : 28631 (java) S 28615 28618 28092 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 174258579 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044372211312 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28632] ppid=28615 vsize=26000872 memory=280344595160112 CPUtime=0 cores=0-7
/proc/28618/task/28632/stat : 28632 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044371159632 140045922437019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28633] ppid=28615 vsize=26000872 memory=280344595232656 CPUtime=0.02 cores=0-7
/proc/28618/task/28633/stat : 28633 (java) S 28615 28618 28092 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044370106480 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28634] ppid=28615 vsize=26000872 memory=280344595239568 CPUtime=0.03 cores=0-7
/proc/28618/task/28634/stat : 28634 (java) S 28615 28618 28092 0 -1 1077944384 216 0 0 0 3 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044369053680 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28635] ppid=28615 vsize=26000872 memory=280344595237264 CPUtime=0.03 cores=0-7
/proc/28618/task/28635/stat : 28635 (java) S 28615 28618 28092 0 -1 1077944384 226 0 0 0 3 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044368001392 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28636] ppid=28615 vsize=26000872 memory=280344595253872 CPUtime=0.08 cores=0-7
/proc/28618/task/28636/stat : 28636 (java) S 28615 28618 28092 0 -1 1077944384 512 0 0 0 8 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044366948592 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28637] ppid=28615 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28637/stat : 28637 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044365896544 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28638] ppid=28615 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/28618/task/28638/stat : 28638 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258582 26624892928 12353 33554432000 4194304 4196468 140727152520912 140044364843824 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49412 KiB
[startup+0.700789 s]
/proc/loadavg: 8.65 8.72 8.76 4/198 28638
/proc/meminfo: memFree=19252952/32770624 swapFree=67108860/67108860
[pid=28618] ppid=28615 vsize=26002920 memory=89544 CPUtime=1.64 cores=0-7
/proc/28618/stat : 28618 (java) S 28615 28618 28092 0 -1 1077944320 15005 0 0 0 158 6 0 0 20 0 20 0 174258576 26626990080 22386 33554432000 4194304 4196468 140727152520912 140727152503456 140045922418423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
/proc/28618/statm: 6500730 22386 3781 1 0 6488444 0
[pid=28618/tid=28620] ppid=28615 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/28618/task/28620/stat : 28620 (java) R 28615 28618 28092 0 -1 4202560 8652 0 0 0 64 3 0 0 20 0 20 0 174258576 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045926654288 140045922439770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28621] ppid=28615 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28621/stat : 28621 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045875039120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28622] ppid=28615 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28622/stat : 28622 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045873986320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28623] ppid=28615 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28623/stat : 28623 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045872934032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28624] ppid=28615 vsize=26002920 memory=1720 CPUtime=0 cores=0-7
/proc/28618/task/28624/stat : 28624 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045871881232 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28625] ppid=28615 vsize=26002920 memory=1004 CPUtime=0 cores=0-7
/proc/28618/task/28625/stat : 28625 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045870827920 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28626] ppid=28615 vsize=26002920 memory=1436 CPUtime=0 cores=0-7
/proc/28618/task/28626/stat : 28626 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045869775120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28627] ppid=28615 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/28618/task/28627/stat : 28627 (java) S 28615 28618 28092 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045868722832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28628] ppid=28615 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/28618/task/28628/stat : 28628 (java) S 28615 28618 28092 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 174258577 26626990080 22386 33554432000 4194304 4196468 140727152520912 140045867670032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28629] ppid=28615 vsize=26002920 memory=4040 CPUtime=0 cores=0-7
/proc/28618/task/28629/stat : 28629 (java) S 28615 28618 28092 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 174258579 26626990080 22386 33554432000 4194304 4196468 140727152520912 140044374317680 140045922429570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
################
# More data... #
################
/proc/28618/task/28641/stat : 28641 (java) R 28615 28618 28092 0 -1 4202560 95993 0 0 0 247649 129 0 0 20 0 46 0 174258963 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044348246408 140045559445272 0 4 0 16800975 0 0 0 -1 0 0 0 45 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28642] ppid=28615 vsize=27745908 memory=797947 CPUtime=2477.35 cores=0-7
/proc/28618/task/28642/stat : 28642 (java) R 28615 28618 28092 0 -1 4202560 92141 0 0 0 247600 135 0 0 20 0 46 0 174258963 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044347196448 140045555507552 0 4 0 16800975 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28643] ppid=28615 vsize=27745908 memory=-9178176116494409632 CPUtime=2480.76 cores=0-7
/proc/28618/task/28643/stat : 28643 (java) R 28615 28618 28092 0 -1 4202560 96571 0 0 0 247928 148 0 0 20 0 46 0 174258963 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044346141336 140045548617939 0 4 0 16800975 0 0 0 -1 3 0 0 51 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28644] ppid=28615 vsize=27745908 memory=4137287014106042739 CPUtime=2481.56 cores=0-7
/proc/28618/task/28644/stat : 28644 (java) R 28615 28618 28092 0 -1 4202560 92903 0 0 0 248011 145 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044345089352 140045549446346 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28645] ppid=28615 vsize=27745908 memory=-7966001967256141664 CPUtime=2481.16 cores=0-7
/proc/28618/task/28645/stat : 28645 (java) R 28615 28618 28092 0 -1 4202560 93939 0 0 0 247993 123 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044344035984 140045555955175 0 4 0 16800975 0 0 0 -1 7 0 0 50 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28646] ppid=28615 vsize=27745908 memory=1399103955520229747 CPUtime=2481.12 cores=0-7
/proc/28618/task/28646/stat : 28646 (java) R 28615 28618 28092 0 -1 4202560 90671 0 0 0 247976 136 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044342984264 140045559445086 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28647] ppid=28615 vsize=27745908 memory=6945782492362334265 CPUtime=0.48 cores=0-7
/proc/28618/task/28647/stat : 28647 (java) S 28615 28618 28092 0 -1 1077944384 73 0 0 0 47 1 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044341937712 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28648] ppid=28615 vsize=27745908 memory=6944656592455360608 CPUtime=0.49 cores=0-7
/proc/28618/task/28648/stat : 28648 (java) S 28615 28618 28092 0 -1 1077944384 246 0 0 0 48 1 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044340885136 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28649] ppid=28615 vsize=27745908 memory=7682475212697334586 CPUtime=2478.22 cores=0-7
/proc/28618/task/28649/stat : 28649 (java) R 28615 28618 28092 0 -1 4202560 92603 0 0 0 247673 149 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044339825288 140045555508024 0 4 0 16800975 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28650] ppid=28615 vsize=27745908 memory=8764446273926488160 CPUtime=2481.62 cores=0-7
/proc/28618/task/28650/stat : 28650 (java) R 28615 28618 28092 0 -1 4202560 90913 0 0 0 248020 142 0 0 20 0 46 0 174258966 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044338772488 140045555508072 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28651] ppid=28615 vsize=27745908 memory=7234301988616629600 CPUtime=0 cores=0-7
/proc/28618/task/28651/stat : 28651 (java) S 28615 28618 28092 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 46 0 174259060 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044337726736 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28652] ppid=28615 vsize=27745908 memory=7522249790280002912 CPUtime=0 cores=0-7
/proc/28618/task/28652/stat : 28652 (java) S 28615 28618 28092 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 46 0 174259060 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044336673936 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28653] ppid=28615 vsize=27745908 memory=7161960720578735456 CPUtime=0 cores=0-7
/proc/28618/task/28653/stat : 28653 (java) S 28615 28618 28092 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 46 0 174259148 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044333487632 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28654] ppid=28615 vsize=27745908 memory=303430223234596890 CPUtime=0 cores=0-7
/proc/28618/task/28654/stat : 28654 (java) S 28615 28618 28092 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 46 0 174259150 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044332434832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28655] ppid=28615 vsize=27745908 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/28618/task/28655/stat : 28655 (java) S 28615 28618 28092 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 174259152 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044331382320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28656] ppid=28615 vsize=27745908 memory=797947 CPUtime=0 cores=0-7
/proc/28618/task/28656/stat : 28656 (java) S 28615 28618 28092 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 46 0 174259154 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044330329744 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28657] ppid=28615 vsize=27745908 memory=18292 CPUtime=0 cores=0-7
/proc/28618/task/28657/stat : 28657 (java) S 28615 28618 28092 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 46 0 174259155 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044329276432 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28658] ppid=28615 vsize=27745908 memory=1792 CPUtime=0 cores=0-7
/proc/28618/task/28658/stat : 28658 (java) S 28615 28618 28092 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 174259157 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044328223408 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28659] ppid=28615 vsize=27745908 memory=648 CPUtime=0 cores=0-7
/proc/28618/task/28659/stat : 28659 (java) S 28615 28618 28092 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 46 0 174259158 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044327171344 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28660] ppid=28615 vsize=27745908 memory=1236 CPUtime=0 cores=0-7
/proc/28618/task/28660/stat : 28660 (java) S 28615 28618 28092 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 174259159 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044326118416 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28661] ppid=28615 vsize=27745908 memory=960 CPUtime=0 cores=0-7
/proc/28618/task/28661/stat : 28661 (java) S 28615 28618 28092 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 46 0 174259159 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044325066128 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28662] ppid=28615 vsize=27745908 memory=2424 CPUtime=0 cores=0-7
/proc/28618/task/28662/stat : 28662 (java) S 28615 28618 28092 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 46 0 174259169 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044324013456 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28663] ppid=28615 vsize=27745908 memory=2236 CPUtime=0 cores=0-7
/proc/28618/task/28663/stat : 28663 (java) S 28615 28618 28092 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 174259171 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044322961168 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28664] ppid=28615 vsize=27745908 memory=4084 CPUtime=0 cores=0-7
/proc/28618/task/28664/stat : 28664 (java) S 28615 28618 28092 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 174259178 28411809792 1204359 33554432000 4194304 4196468 140727152520912 140044141618608 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
Current children cumulated CPU time: 19957.4 s
Current children cumulated vsize: 27745908 KiB
Current children cumulated memory: 4817436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.17 s]
# the end of solver process 28618 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19941.1 s, system=17.3396 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.13 s]
/proc/loadavg: 8.68 8.75 8.78 10/224 28696
/proc/meminfo: memFree=14485732/32770624 swapFree=67108860/67108860
[pid=28618] ppid=28615 vsize=27879036 memory=4817660 CPUtime=19958.3 cores=0-7
/proc/28618/stat : 28618 (java) S 28615 28618 28092 0 -1 1077944320 2172320 0 0 0 1994103 1731 0 0 20 0 46 0 174258576 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140727152503456 140045922418423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
/proc/28618/statm: 6969759 1204415 3876 1 0 6956952 0
[pid=28618/tid=28620] ppid=28615 vsize=27879036 memory=140176744154751 CPUtime=3.72 cores=0-7
/proc/28618/task/28620/stat : 28620 (java) S 28615 28618 28092 0 -1 1077944384 14810 0 0 0 361 11 0 0 20 0 46 0 174258576 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045926656128 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28621] ppid=28615 vsize=27879036 memory=4817948 CPUtime=11.52 cores=0-7
/proc/28618/task/28621/stat : 28621 (java) S 28615 28618 28092 0 -1 1077944384 148438 0 0 0 1084 68 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045875039120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28622] ppid=28615 vsize=27879036 memory=4819488 CPUtime=11.59 cores=0-7
/proc/28618/task/28622/stat : 28622 (java) S 28615 28618 28092 0 -1 1077944384 139729 0 0 0 1089 70 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045873986320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28623] ppid=28615 vsize=27879036 memory=4820000 CPUtime=11.59 cores=0-7
/proc/28618/task/28623/stat : 28623 (java) S 28615 28618 28092 0 -1 1077944384 148745 0 0 0 1088 71 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045872934032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28624] ppid=28615 vsize=27879036 memory=1165 CPUtime=11.64 cores=0-7
/proc/28618/task/28624/stat : 28624 (java) S 28615 28618 28092 0 -1 1077944384 144395 0 0 0 1096 68 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045871881232 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28625] ppid=28615 vsize=27879036 memory=642 CPUtime=11.59 cores=0-7
/proc/28618/task/28625/stat : 28625 (java) S 28615 28618 28092 0 -1 1077944384 150658 0 0 0 1084 75 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045870827920 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28626] ppid=28615 vsize=27879036 memory=6791534058613427641 CPUtime=11.63 cores=0-7
/proc/28618/task/28626/stat : 28626 (java) S 28615 28618 28092 0 -1 1077944384 142574 0 0 0 1090 73 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045869775120 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28627] ppid=28615 vsize=27879036 memory=960 CPUtime=11.58 cores=0-7
/proc/28618/task/28627/stat : 28627 (java) S 28615 28618 28092 0 -1 1077944384 142975 0 0 0 1086 72 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045868722832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28628] ppid=28615 vsize=27879036 memory=18292 CPUtime=11.7 cores=0-7
/proc/28618/task/28628/stat : 28628 (java) S 28615 28618 28092 0 -1 1077944384 132135 0 0 0 1097 73 0 0 20 0 46 0 174258577 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140045867670032 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28629] ppid=28615 vsize=27879036 memory=1792 CPUtime=6.44 cores=0-7
/proc/28618/task/28629/stat : 28629 (java) R 28615 28618 28092 0 -1 1077944384 171297 0 0 0 582 62 0 0 20 0 46 0 174258579 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044374317680 140045922429570 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28630] ppid=28615 vsize=27879036 memory=280344596269192 CPUtime=0 cores=0-7
/proc/28618/task/28630/stat : 28630 (java) S 28615 28618 28092 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 174258579 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044373263712 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28631] ppid=28615 vsize=27879036 memory=8101247189090653289 CPUtime=0 cores=0-7
/proc/28618/task/28631/stat : 28631 (java) S 28615 28618 28092 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 174258579 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044372211328 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28632] ppid=28615 vsize=27879036 memory=10088 CPUtime=0 cores=0-7
/proc/28618/task/28632/stat : 28632 (java) R 28615 28618 28092 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 46 0 174258582 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044371159632 140045922437019 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28633] ppid=28615 vsize=27879036 memory=1948 CPUtime=2.04 cores=0-7
/proc/28618/task/28633/stat : 28633 (java) S 28615 28618 28092 0 -1 1077944384 10406 0 0 0 202 2 0 0 20 0 46 0 174258582 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044370106480 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28634] ppid=28615 vsize=27879036 memory=280344599521888 CPUtime=2.08 cores=0-7
/proc/28618/task/28634/stat : 28634 (java) R 28615 28618 28092 0 -1 1077944384 10130 0 0 0 206 2 0 0 20 0 46 0 174258582 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044369053776 140045922428629 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28635] ppid=28615 vsize=27879036 memory=6082767058416062546 CPUtime=1.78 cores=0-7
/proc/28618/task/28635/stat : 28635 (java) S 28615 28618 28092 0 -1 1077944384 9035 0 0 0 177 1 0 0 20 0 46 0 174258582 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044368001392 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28636] ppid=28615 vsize=27879036 memory=140172299364008 CPUtime=1.24 cores=0-7
/proc/28618/task/28636/stat : 28636 (java) S 28615 28618 28092 0 -1 1077944384 29367 0 0 0 118 6 0 0 20 0 46 0 174258582 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044366948592 140045922429570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28637] ppid=28615 vsize=27879036 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/28618/task/28637/stat : 28637 (java) S 28615 28618 28092 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 174258582 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044365896544 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28639] ppid=28615 vsize=27879036 memory=1 CPUtime=0 cores=0-7
/proc/28618/task/28639/stat : 28639 (java) S 28615 28618 28092 0 -1 1077944384 845 0 0 0 0 0 0 0 20 0 46 0 174258942 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044352456096 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28640] ppid=28615 vsize=27879036 memory=247 CPUtime=5.36 cores=0-7
/proc/28618/task/28640/stat : 28640 (java) R 28615 28618 28092 0 -1 1077944384 18161 0 0 0 299 237 0 0 20 0 46 0 174258953 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044351403552 140045922429570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28641] ppid=28615 vsize=27879036 memory=4820516 CPUtime=2477.9 cores=0-7
/proc/28618/task/28641/stat : 28641 (java) R 28615 28618 28092 0 -1 4202560 96011 0 0 0 247661 129 0 0 20 0 46 0 174258963 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044348246408 140045559445505 0 4 0 16800975 0 0 0 -1 0 0 0 45 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28642] ppid=28615 vsize=27879036 memory=4132 CPUtime=2477.47 cores=0-7
/proc/28618/task/28642/stat : 28642 (java) R 28615 28618 28092 0 -1 4202560 92153 0 0 0 247612 135 0 0 20 0 46 0 174258963 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044347196448 140045555509252 0 4 0 16800975 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28643] ppid=28615 vsize=27879036 memory=4819488 CPUtime=2480.88 cores=0-7
/proc/28618/task/28643/stat : 28643 (java) R 28615 28618 28092 0 -1 4202560 96587 0 0 0 247940 148 0 0 20 0 46 0 174258963 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044346141336 140045555260205 0 4 0 16800975 0 0 0 -1 3 0 0 51 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28644] ppid=28615 vsize=27879036 memory=4836932 CPUtime=2481.67 cores=0-7
/proc/28618/task/28644/stat : 28644 (java) R 28615 28618 28092 0 -1 4202560 92917 0 0 0 248022 145 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044345089352 140045554548300 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28645] ppid=28615 vsize=27879036 memory=2332 CPUtime=2481.28 cores=0-7
/proc/28618/task/28645/stat : 28645 (java) R 28615 28618 28092 0 -1 4202560 93953 0 0 0 248005 123 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044344035984 140045554548300 0 4 0 16800975 0 0 0 -1 7 0 0 50 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28646] ppid=28615 vsize=27879036 memory=1292 CPUtime=2481.24 cores=0-7
/proc/28618/task/28646/stat : 28646 (java) R 28615 28618 28092 0 -1 4202560 90683 0 0 0 247988 136 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044342984264 140045555509376 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28647] ppid=28615 vsize=27879036 memory=4817948 CPUtime=0.48 cores=0-7
/proc/28618/task/28647/stat : 28647 (java) S 28615 28618 28092 0 -1 1077944384 73 0 0 0 47 1 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044341937712 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28648] ppid=28615 vsize=27879036 memory=4040 CPUtime=0.49 cores=0-7
/proc/28618/task/28648/stat : 28648 (java) S 28615 28618 28092 0 -1 1077944384 246 0 0 0 48 1 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044340885136 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28649] ppid=28615 vsize=27879036 memory=27432 CPUtime=2478.34 cores=0-7
/proc/28618/task/28649/stat : 28649 (java) R 28615 28618 28092 0 -1 4202560 92615 0 0 0 247685 149 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044339825288 140045555509102 0 4 0 16800975 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28650] ppid=28615 vsize=27879036 memory=1152 CPUtime=2481.74 cores=0-7
/proc/28618/task/28650/stat : 28650 (java) R 28615 28618 28092 0 -1 4202560 90933 0 0 0 248032 142 0 0 20 0 46 0 174258966 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044338772488 140045552645516 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28651] ppid=28615 vsize=27879036 memory=4544 CPUtime=0 cores=0-7
/proc/28618/task/28651/stat : 28651 (java) S 28615 28618 28092 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 46 0 174259060 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044337726736 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28652] ppid=28615 vsize=27879036 memory=4818464 CPUtime=0 cores=0-7
/proc/28618/task/28652/stat : 28652 (java) S 28615 28618 28092 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 46 0 174259060 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044336673936 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28653] ppid=28615 vsize=27879036 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28618/task/28653/stat : 28653 (java) S 28615 28618 28092 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 46 0 174259148 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044333487632 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28654] ppid=28615 vsize=27879036 memory=48468 CPUtime=0 cores=0-7
/proc/28618/task/28654/stat : 28654 (java) S 28615 28618 28092 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 46 0 174259150 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044332434832 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28655] ppid=28615 vsize=27879036 memory=2332 CPUtime=0 cores=0-7
/proc/28618/task/28655/stat : 28655 (java) S 28615 28618 28092 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 174259152 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044331382320 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28656] ppid=28615 vsize=27879036 memory=55853989 CPUtime=0 cores=0-7
/proc/28618/task/28656/stat : 28656 (java) S 28615 28618 28092 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 46 0 174259154 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044330329744 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28657] ppid=28615 vsize=27879036 memory=0 CPUtime=0 cores=0-7
/proc/28618/task/28657/stat : 28657 (java) S 28615 28618 28092 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 46 0 174259155 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044329276432 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28658] ppid=28615 vsize=27879036 memory=55 CPUtime=0 cores=0-7
/proc/28618/task/28658/stat : 28658 (java) S 28615 28618 28092 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 174259157 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044328223408 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28659] ppid=28615 vsize=27879036 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28618/task/28659/stat : 28659 (java) S 28615 28618 28092 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 46 0 174259158 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044327171344 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28660] ppid=28615 vsize=27879036 memory=4823080 CPUtime=0 cores=0-7
/proc/28618/task/28660/stat : 28660 (java) S 28615 28618 28092 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 174259159 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044326118416 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28661] ppid=28615 vsize=27879036 memory=4821028 CPUtime=0 cores=0-7
/proc/28618/task/28661/stat : 28661 (java) S 28615 28618 28092 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 46 0 174259159 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044325066128 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28662] ppid=28615 vsize=27879036 memory=4616 CPUtime=0 cores=0-7
/proc/28618/task/28662/stat : 28662 (java) S 28615 28618 28092 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 46 0 174259169 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044324013456 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28663] ppid=28615 vsize=27879036 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28618/task/28663/stat : 28663 (java) S 28615 28618 28092 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 174259171 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044322961168 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
[pid=28618/tid=28664] ppid=28615 vsize=27879036 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/28618/task/28664/stat : 28664 (java) S 28615 28618 28092 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 174259178 28548132864 1204415 33554432000 4194304 4196468 140727152520912 140044141618608 140045922428629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12046336 140727152526434 140727152526619 140727152526619 140727152529359 0
Current children cumulated CPU time: 19958.3 s
Current children cumulated vsize: 27879036 KiB
Current children cumulated memory: 4817660 KiB
Child status: 143
Real time (s): 2520.17
CPU time (s): 19958.4
CPU user time (s): 19941.1
CPU system time (s): 17.3396
CPU usage (%): 791.948
Max. virtual memory (cumulated for all children) (KiB): 27879036
Max. memory (cumulated for all children) (KiB): 5182812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19941.1
system time used= 17.3396
maximum resident set size= 5183096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2172381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 607152
involuntary context switches= 425593
# summary of solver processes directly reported to runsolver:
# pid: 28618
# total CPU time (s): 19958.4
# total CPU user time (s): 19941.1
# total CPU system time (s): 17.3396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.3912 second user time and 34.0656 second system time
The end
Begin job on node112 at 2017-08-22 16:07:29 IDJOB=4285022 IDBENCH=115900 IDSOLVER=2681 FILE ID=node112/4285022-1503411710 RUNJOBID= node112-1503403283-28119 PBS_JOBID= 20632112 Free space on /tmp= 60712 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285022-1503411710/watcher-4285022-1503411710 -o /tmp/evaluation-result-4285022-1503411710/solver-4285022-1503411710 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503403283-28119 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 171808863 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285022-1503411710.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=171808863 node112.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.24 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.24 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.24 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.24 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: 19302232 kB MemAvailable: 31946980 kB Buffers: 266072 kB Cached: 12660000 kB SwapCached: 0 kB Active: 2285820 kB Inactive: 10692408 kB Active(anon): 3884 kB Inactive(anon): 92572 kB Active(file): 2281936 kB Inactive(file): 10599836 kB Unevictable: 7844 kB Mlocked: 7844 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42392 kB Writeback: 8 kB AnonPages: 59612 kB Mapped: 54616 kB Shmem: 41608 kB Slab: 184880 kB SReclaimable: 157624 kB SUnreclaim: 27256 kB KernelStack: 3248 kB PageTables: 4540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 60672 MiB End job on node112 at 2017-08-22 16:49:30