Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | SAT (TO) | 213 | 19983.4 | 2520.26 |
Name | StillLife/ StillLife-wastage-25_c18.xml |
MD5SUM | 633a0f5b4e603fff9205bbaeb6c03cff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 295 |
Best CPU time to get the best result obtained on this benchmark | 20050.6 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1486 |
Number of constraints | 883 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1459 |
Distribution of domain sizes | [{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}] |
Minimum variable degree | 1 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 29 |
Distribution of constraint arities | [{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}] |
Number of extensional constraints | 725 |
Number of intensional constraints | 126 |
Distribution of constraint types | [{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 617540845 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 2.30/1.16 c Parsing done, starting search... 22.27/5.72 o 190 22.27/5.75 o 191 23.04/5.87 o 192 23.81/5.99 o 193 24.69/6.06 o 194 24.69/6.07 o 195 24.69/6.09 o 196 24.69/6.09 o 197 24.69/6.10 o 198 25.47/6.11 o 199 26.18/6.20 o 200 30.99/6.88 o 201 36.83/7.61 o 202 36.83/7.62 o 203 37.62/7.70 o 204 76.59/12.69 o 205 85.35/13.77 o 206 86.95/13.92 o 207 86.95/13.94 o 208 93.31/14.76 o 209 141.90/20.87 o 210 142.70/20.99 o 211 273.26/37.31 o 212 11804.93/1488.51 o 213 19981.81/2520.11 s SATISFIABLE 19981.81/2520.11 v <instantiation> 19981.81/2520.11 v <list> 19981.81/2520.11 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z 19981.81/2520.11 v </list> 19981.81/2520.11 v <values> 19981.81/2520.11 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 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 1 1 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 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 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 1 1 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 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 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 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 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 1 1 1 1 0 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 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 0 1 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 0 1 1 2 1 2 1 2 2 2 1 2 1 1 2 1 1 2 2 1 1 2 1 1 2 1 0 0 0 1 0 0 0 1 0 2 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 2 1 2 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 2 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 2 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 24 71 115 161 207 251 297 338 361 370 379 391 408 421 428 430 437 443 444 447 452 456 460 467 473 486 498 213 19981.81/2520.11 v </values> 19981.81/2520.11 v </instantiation>
OK 213
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 (9778 MiB free) memory of node 1: 16384 MiB (12831 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308722-1534353277/watcher-4308722-1534353277 -o /tmp/evaluation-result-4308722-1534353277/solver-4308722-1534353277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534352935-28229 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 617540845 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308722-1534353277.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28375, runsolver pid=28372 [startup+0.10014 s]* /proc/loadavg: 3.23 4.75 3.08 2/199 28395 /proc/meminfo: memFree=23135788/32770624 swapFree=67108688/67108860 [pid=28375] ppid=28372 vsize=26103420 memory=31440 CPUtime=0.11 cores=0-7 /proc/28375/stat : 28375 (java) S 28372 28375 28202 0 -1 1077944320 7281 0 0 0 10 1 0 0 20 0 20 0 252890588 26729902080 7860 33554432000 4194304 4196468 140720598557104 140720598539648 140065547337463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 /proc/28375/statm: 6525855 7860 3140 1 0 6487932 0 [pid=28375/tid=28377] ppid=28372 vsize=26103420 memory=7898358754128600734 CPUtime=0.09 cores=0-7 /proc/28375/task/28377/stat : 28377 (java) R 28372 28375 28202 0 -1 4202560 5350 0 0 0 8 1 0 0 20 0 20 0 252890588 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065551560256 140065547349398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28378] ppid=28372 vsize=26103420 memory=732369792286190565 CPUtime=0 cores=0-7 /proc/28375/task/28378/stat : 28378 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065469917456 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28379] ppid=28372 vsize=26103420 memory=139653948737152 CPUtime=0 cores=0-7 /proc/28375/task/28379/stat : 28379 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065468864912 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28380] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28380/stat : 28380 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065467812368 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28381] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28381/stat : 28381 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065466759824 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28382] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28382/stat : 28382 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065465707280 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28383] ppid=28372 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/28375/task/28383/stat : 28383 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065464654736 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28384] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28384/stat : 28384 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065463602192 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28385] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28385/stat : 28385 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 7860 33554432000 4194304 4196468 140720598557104 140065462549648 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28386] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28386/stat : 28386 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890590 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064943261680 140065547348610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28387] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28387/stat : 28387 (java) S 28372 28375 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252890591 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064942207904 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28388] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28388/stat : 28388 (java) S 28372 28375 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252890591 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064941155312 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28389] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28389/stat : 28389 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064940103888 140065547356059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28390] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28390/stat : 28390 (java) S 28372 28375 28202 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064939051504 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28391] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28391/stat : 28391 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064937998960 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28392] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28392/stat : 28392 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064936946416 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28393] ppid=28372 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/28375/task/28393/stat : 28393 (java) R 28372 28375 28202 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 252890593 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064935893872 140065525967850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28394] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28394/stat : 28394 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890594 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064934840544 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28395] ppid=28372 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/28375/task/28395/stat : 28395 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890594 26729902080 7860 33554432000 4194304 4196468 140720598557104 140064933788080 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 31440 KiB [startup+0.209955 s]* /proc/loadavg: 3.23 4.75 3.08 4/199 28395 /proc/meminfo: memFree=23122456/32770624 swapFree=67108688/67108860 [pid=28375] ppid=28372 vsize=26103420 memory=43060 CPUtime=0.3 cores=0-7 /proc/28375/stat : 28375 (java) S 28372 28375 28202 0 -1 1077944320 10432 0 0 0 27 3 0 0 20 0 20 0 252890588 26729902080 10765 33554432000 4194304 4196468 140720598557104 140720598539648 140065547337463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 /proc/28375/statm: 6525855 10765 3322 1 0 6487932 0 [pid=28375/tid=28377] ppid=28372 vsize=26103420 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/28375/task/28377/stat : 28377 (java) R 28372 28375 28202 0 -1 4202560 8198 0 0 0 18 2 0 0 20 0 20 0 252890588 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065551558592 140065547359389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28378] ppid=28372 vsize=26103420 memory=288230583233151328 CPUtime=0 cores=0-7 /proc/28375/task/28378/stat : 28378 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065469917456 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28379] ppid=28372 vsize=26103420 memory=139653950098677 CPUtime=0 cores=0-7 /proc/28375/task/28379/stat : 28379 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065468864912 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28380] ppid=28372 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/28375/task/28380/stat : 28380 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065467812368 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28381] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28381/stat : 28381 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065466759824 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28382] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28382/stat : 28382 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065465707280 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28383] ppid=28372 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/28375/task/28383/stat : 28383 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065464654736 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28384] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28384/stat : 28384 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065463602192 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28385] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28385/stat : 28385 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 10765 33554432000 4194304 4196468 140720598557104 140065462549648 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28386] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28386/stat : 28386 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890590 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064943261680 140065547348610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28387] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28387/stat : 28387 (java) S 28372 28375 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252890591 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064942207904 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28388] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28388/stat : 28388 (java) S 28372 28375 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252890591 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064941155312 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28389] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28389/stat : 28389 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064940103888 140065547356059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28390] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28390/stat : 28390 (java) S 28372 28375 28202 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064939051504 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28391] ppid=28372 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/28375/task/28391/stat : 28391 (java) S 28372 28375 28202 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 252890593 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064937998960 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28392] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28392/stat : 28392 (java) S 28372 28375 28202 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064936946416 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28393] ppid=28372 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/28375/task/28393/stat : 28393 (java) R 28372 28375 28202 0 -1 4202560 298 0 0 0 6 0 0 0 20 0 20 0 252890593 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064935890808 140065526147249 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28394] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28394/stat : 28394 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890594 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064934840544 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28395] ppid=28372 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/28375/task/28395/stat : 28395 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890594 26729902080 10765 33554432000 4194304 4196468 140720598557104 140064933788080 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43060 KiB [startup+0.309245 s]* /proc/loadavg: 3.23 4.75 3.08 3/199 28395 /proc/meminfo: memFree=23119044/32770624 swapFree=67108688/67108860 [pid=28375] ppid=28372 vsize=26103420 memory=46580 CPUtime=0.42 cores=0-7 /proc/28375/stat : 28375 (java) S 28372 28375 28202 0 -1 1077944320 10860 0 0 0 39 3 0 0 20 0 20 0 252890588 26729902080 11645 33554432000 4194304 4196468 140720598557104 140720598539648 140065547337463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 /proc/28375/statm: 6525855 11645 3360 1 0 6487932 0 [pid=28375/tid=28377] ppid=28372 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/28375/task/28377/stat : 28377 (java) R 28372 28375 28202 0 -1 4202560 8532 0 0 0 27 2 0 0 20 0 20 0 252890588 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065551529144 140065547359389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28378] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28378/stat : 28378 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065469917456 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28379] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28379/stat : 28379 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065468864912 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28380] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28380/stat : 28380 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065467812368 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28381] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28381/stat : 28381 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065466759824 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28382] ppid=28372 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/28375/task/28382/stat : 28382 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065465707280 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28383] ppid=28372 vsize=26103420 memory=139653814514607 CPUtime=0 cores=0-7 /proc/28375/task/28383/stat : 28383 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065464654736 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28384] ppid=28372 vsize=26103420 memory=139653814516912 CPUtime=0 cores=0-7 /proc/28375/task/28384/stat : 28384 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065463602192 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28385] ppid=28372 vsize=26103420 memory=139653814519216 CPUtime=0 cores=0-7 /proc/28375/task/28385/stat : 28385 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26729902080 11645 33554432000 4194304 4196468 140720598557104 140065462549648 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28386] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28386/stat : 28386 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890590 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064943261680 140065547348610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28387] ppid=28372 vsize=26103420 memory=279307629045392 CPUtime=0 cores=0-7 /proc/28375/task/28387/stat : 28387 (java) S 28372 28375 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 252890591 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064942207904 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28388] ppid=28372 vsize=26103420 memory=279307629052304 CPUtime=0 cores=0-7 /proc/28375/task/28388/stat : 28388 (java) S 28372 28375 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 252890591 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064941155312 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28389] ppid=28372 vsize=26103420 memory=279307628993456 CPUtime=0 cores=0-7 /proc/28375/task/28389/stat : 28389 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064940103888 140065547356059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28390] ppid=28372 vsize=26103420 memory=279307629066128 CPUtime=0.01 cores=0-7 /proc/28375/task/28390/stat : 28390 (java) S 28372 28375 28202 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 252890593 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064939051504 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28391] ppid=28372 vsize=26103420 memory=279307629073040 CPUtime=0.01 cores=0-7 /proc/28375/task/28391/stat : 28391 (java) S 28372 28375 28202 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 252890593 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064937998960 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28392] ppid=28372 vsize=26103420 memory=279307629070736 CPUtime=0 cores=0-7 /proc/28375/task/28392/stat : 28392 (java) S 28372 28375 28202 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 252890593 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064936946416 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28393] ppid=28372 vsize=26103420 memory=279307629087296 CPUtime=0.07 cores=0-7 /proc/28375/task/28393/stat : 28393 (java) S 28372 28375 28202 0 -1 1077944384 315 0 0 0 7 0 0 0 20 0 20 0 252890593 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064935893872 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28394] ppid=28372 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28394/stat : 28394 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890594 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064934840544 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28395] ppid=28372 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/28375/task/28395/stat : 28395 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890594 26729902080 11645 33554432000 4194304 4196468 140720598557104 140064933788080 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46580 KiB [startup+0.700836 s] /proc/loadavg: 3.23 4.75 3.08 2/199 28395 /proc/meminfo: memFree=23094984/32770624 swapFree=67108688/67108860 [pid=28375] ppid=28372 vsize=26105488 memory=88020 CPUtime=0.99 cores=0-7 /proc/28375/stat : 28375 (java) S 28372 28375 28202 0 -1 1077944320 17879 0 0 0 93 6 0 0 20 0 20 0 252890588 26732019712 22005 33554432000 4194304 4196468 140720598557104 140720598539648 140065547337463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 /proc/28375/statm: 6526372 22005 3500 1 0 6488444 0 [pid=28375/tid=28377] ppid=28372 vsize=26105488 memory=6080774704390820448 CPUtime=0.67 cores=0-7 /proc/28375/task/28377/stat : 28377 (java) R 28372 28375 28202 0 -1 4202560 15032 0 0 0 63 4 0 0 20 0 20 0 252890588 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065551562960 140065531417950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28378] ppid=28372 vsize=26105488 memory=121951301459412 CPUtime=0 cores=0-7 /proc/28375/task/28378/stat : 28378 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065469917456 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28379] ppid=28372 vsize=26105488 memory=139653814545168 CPUtime=0 cores=0-7 /proc/28375/task/28379/stat : 28379 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065468864912 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28380] ppid=28372 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28380/stat : 28380 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065467812368 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28381] ppid=28372 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28381/stat : 28381 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065466759824 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28382] ppid=28372 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28382/stat : 28382 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065465707280 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28383] ppid=28372 vsize=26105488 memory=2353 CPUtime=0 cores=0-7 /proc/28375/task/28383/stat : 28383 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065464654736 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28384] ppid=28372 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28384/stat : 28384 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065463602192 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28385] ppid=28372 vsize=26105488 memory=1752 CPUtime=0 cores=0-7 /proc/28375/task/28385/stat : 28385 (java) S 28372 28375 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 252890589 26732019712 22005 33554432000 4194304 4196468 140720598557104 140065462549648 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28386] ppid=28372 vsize=26105488 memory=868 CPUtime=0 cores=0-7 /proc/28375/task/28386/stat : 28386 (java) S 28372 28375 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 252890590 26732019712 22005 33554432000 4194304 4196468 140720598557104 140064943261680 140065547348610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 ################ # More data... # ################ /proc/28375/task/28391/stat : 28391 (java) S 28372 28375 28202 0 -1 1077944384 9452 0 0 0 194 2 0 0 20 0 42 0 252890593 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064937998960 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28392] ppid=28372 vsize=27586316 memory=6791534058613427641 CPUtime=1.88 cores=0-7 /proc/28375/task/28392/stat : 28392 (java) S 28372 28375 28202 0 -1 1077944384 8080 0 0 0 187 1 0 0 20 0 42 0 252890593 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064936946416 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28393] ppid=28372 vsize=27586316 memory=3980 CPUtime=1.29 cores=0-7 /proc/28375/task/28393/stat : 28393 (java) S 28372 28375 28202 0 -1 1077944384 19287 0 0 0 126 3 0 0 20 0 42 0 252890593 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064935893872 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28394] ppid=28372 vsize=27586316 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/28375/task/28394/stat : 28394 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 252890594 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064934840544 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28395] ppid=28372 vsize=27586316 memory=7284 CPUtime=1.05 cores=0-7 /proc/28375/task/28395/stat : 28395 (java) S 28372 28375 28202 0 -1 1077944384 8556 0 0 0 47 58 0 0 20 0 42 0 252890594 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064933788080 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28396] ppid=28372 vsize=27586316 memory=804 CPUtime=0 cores=0-7 /proc/28375/task/28396/stat : 28396 (java) S 28372 28375 28202 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 42 0 252890933 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064924541728 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28397] ppid=28372 vsize=27586316 memory=4104 CPUtime=5.29 cores=0-7 /proc/28375/task/28397/stat : 28397 (java) S 28372 28375 28202 0 -1 1077944384 17032 0 0 0 276 253 0 0 20 0 42 0 252890955 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064715695264 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28398] ppid=28372 vsize=27586316 memory=3193780 CPUtime=2481.09 cores=0-7 /proc/28375/task/28398/stat : 28398 (java) R 28372 28375 28202 0 -1 4202560 138391 0 0 0 247938 171 0 0 20 0 42 0 252890972 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064712539528 140065155399716 0 4 0 16800975 0 0 0 -1 7 0 0 50 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28399] ppid=28372 vsize=27586316 memory=912 CPUtime=2477.66 cores=0-7 /proc/28375/task/28399/stat : 28399 (java) R 28372 28375 28202 0 -1 4202560 125515 0 0 0 247591 175 0 0 20 0 42 0 252890973 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064711485440 140065151710630 0 4 0 16800975 0 0 0 -1 3 0 0 48 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28400] ppid=28372 vsize=27586316 memory=4152 CPUtime=2478.4 cores=0-7 /proc/28375/task/28400/stat : 28400 (java) R 28372 28375 28202 0 -1 4202560 138367 0 0 0 247674 166 0 0 20 0 42 0 252890973 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064710432480 140065151711429 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28401] ppid=28372 vsize=27586316 memory=1408 CPUtime=2482.76 cores=0-7 /proc/28375/task/28401/stat : 28401 (java) R 28372 28375 28202 0 -1 4202560 133022 0 0 0 248107 169 0 0 20 0 42 0 252890979 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064709379896 140065151710015 0 4 0 16800975 0 0 0 -1 0 0 0 57 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28402] ppid=28372 vsize=27586316 memory=748 CPUtime=2484.42 cores=0-7 /proc/28375/task/28402/stat : 28402 (java) R 28372 28375 28202 0 -1 4202560 137573 0 0 0 248284 158 0 0 20 0 42 0 252890979 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064708326144 140065151212987 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28403] ppid=28372 vsize=27586316 memory=1220 CPUtime=0.56 cores=0-7 /proc/28375/task/28403/stat : 28403 (java) S 28372 28375 28202 0 -1 1077944384 153 0 0 0 55 1 0 0 20 0 42 0 252890979 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064707281712 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28404] ppid=28372 vsize=27586316 memory=6612 CPUtime=2481.01 cores=0-7 /proc/28375/task/28404/stat : 28404 (java) R 28372 28375 28202 0 -1 4202560 136289 0 0 0 247938 163 0 0 20 0 42 0 252890980 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064706223712 140065151300664 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28405] ppid=28372 vsize=27586316 memory=1296 CPUtime=0.54 cores=0-7 /proc/28375/task/28405/stat : 28405 (java) S 28372 28375 28202 0 -1 1077944384 157 0 0 0 51 3 0 0 20 0 42 0 252890980 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064705176848 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28406] ppid=28372 vsize=27586316 memory=4452 CPUtime=2476.19 cores=0-7 /proc/28375/task/28406/stat : 28406 (java) R 28372 28375 28202 0 -1 4202560 138360 0 0 0 247441 178 0 0 20 0 42 0 252890981 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064704116096 140065151711141 0 4 0 16800975 0 0 0 -1 6 0 0 56 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28407] ppid=28372 vsize=27586316 memory=3732 CPUtime=2480.57 cores=0-7 /proc/28375/task/28407/stat : 28407 (java) R 28372 28375 28202 0 -1 4202560 148511 0 0 0 247861 196 0 0 20 0 42 0 252890981 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064703063344 140065151709933 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28408] ppid=28372 vsize=27586316 memory=12668 CPUtime=0 cores=0-7 /proc/28375/task/28408/stat : 28408 (java) S 28372 28375 28202 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 42 0 252890982 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064702019216 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28409] ppid=28372 vsize=27586316 memory=1072 CPUtime=0 cores=0-7 /proc/28375/task/28409/stat : 28409 (java) S 28372 28375 28202 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 42 0 252891161 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064696735504 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28410] ppid=28372 vsize=27586316 memory=14888 CPUtime=0 cores=0-7 /proc/28375/task/28410/stat : 28410 (java) S 28372 28375 28202 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064695681936 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28411] ppid=28372 vsize=27586316 memory=139653815198137 CPUtime=0 cores=0-7 /proc/28375/task/28411/stat : 28411 (java) S 28372 28375 28202 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064694629168 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28412] ppid=28372 vsize=27586316 memory=139653815202495 CPUtime=0 cores=0-7 /proc/28375/task/28412/stat : 28412 (java) S 28372 28375 28202 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064693576848 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28413] ppid=28372 vsize=27586316 memory=139653815194076 CPUtime=0 cores=0-7 /proc/28375/task/28413/stat : 28413 (java) S 28372 28375 28202 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064692524304 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28414] ppid=28372 vsize=27586316 memory=924 CPUtime=0 cores=0-7 /proc/28375/task/28414/stat : 28414 (java) S 28372 28375 28202 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064691471760 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28415] ppid=28372 vsize=27586316 memory=2192 CPUtime=0 cores=0-7 /proc/28375/task/28415/stat : 28415 (java) S 28372 28375 28202 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064690419216 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28416] ppid=28372 vsize=27586316 memory=3980 CPUtime=0 cores=0-7 /proc/28375/task/28416/stat : 28416 (java) S 28372 28375 28202 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064689366672 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28417] ppid=28372 vsize=27586316 memory=1924 CPUtime=0 cores=0-7 /proc/28375/task/28417/stat : 28417 (java) S 28372 28375 28202 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 42 0 252891163 28248387584 797627 33554432000 4194304 4196468 140720598557104 140064688314128 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 Current children cumulated CPU time: 19981.8 s Current children cumulated vsize: 27586316 KiB Current children cumulated memory: 3190508 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.26 s] # the end of solver process 28375 was just reported to runsolver # cumulated CPU time of all completed processes: user=19963 s, system=20.4024 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.21 s] /proc/loadavg: 8.64 8.75 8.43 10/220 28452 /proc/meminfo: memFree=19960884/32770624 swapFree=67108688/67108860 [pid=28375] ppid=28372 vsize=27720472 memory=3191440 CPUtime=19983.2 cores=0-7 /proc/28375/stat : 28375 (java) S 28372 28375 28202 0 -1 1077944320 2733028 0 0 0 1996281 2038 0 0 20 0 44 0 252890588 28385763328 797860 33554432000 4194304 4196468 140720598557104 140720598539648 140065547337463 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 /proc/28375/statm: 6930118 797860 3633 1 0 6891669 0 [pid=28375/tid=28377] ppid=28372 vsize=27720472 memory=804 CPUtime=3.74 cores=0-7 /proc/28375/task/28377/stat : 28377 (java) S 28372 28375 28202 0 -1 1077944384 22497 0 0 0 364 10 0 0 20 0 44 0 252890588 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065551574928 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28378] ppid=28372 vsize=27720472 memory=279307629921648 CPUtime=14.57 cores=0-7 /proc/28375/task/28378/stat : 28378 (java) S 28372 28375 28202 0 -1 1077944384 168618 0 0 0 1386 71 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065469917456 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28379] ppid=28372 vsize=27720472 memory=1796 CPUtime=14.5 cores=0-7 /proc/28375/task/28379/stat : 28379 (java) S 28372 28375 28202 0 -1 1077944384 169790 0 0 0 1380 70 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065468864912 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28380] ppid=28372 vsize=27720472 memory=912 CPUtime=14.51 cores=0-7 /proc/28375/task/28380/stat : 28380 (java) S 28372 28375 28202 0 -1 1077944384 163388 0 0 0 1382 69 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065467812368 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28381] ppid=28372 vsize=27720472 memory=4152 CPUtime=14.54 cores=0-7 /proc/28375/task/28381/stat : 28381 (java) S 28372 28375 28202 0 -1 1077944384 181618 0 0 0 1383 71 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065466759824 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28382] ppid=28372 vsize=27720472 memory=1408 CPUtime=14.56 cores=0-7 /proc/28375/task/28382/stat : 28382 (java) S 28372 28375 28202 0 -1 1077944384 175526 0 0 0 1388 68 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065465707280 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28383] ppid=28372 vsize=27720472 memory=1224 CPUtime=14.54 cores=0-7 /proc/28375/task/28383/stat : 28383 (java) S 28372 28375 28202 0 -1 1077944384 166561 0 0 0 1388 66 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065464654736 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28384] ppid=28372 vsize=27720472 memory=2336 CPUtime=14.56 cores=0-7 /proc/28375/task/28384/stat : 28384 (java) S 28372 28375 28202 0 -1 1077944384 171473 0 0 0 1385 71 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065463602192 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28385] ppid=28372 vsize=27720472 memory=1752 CPUtime=14.5 cores=0-7 /proc/28375/task/28385/stat : 28385 (java) S 28372 28375 28202 0 -1 1077944384 170849 0 0 0 1380 70 0 0 20 0 44 0 252890589 28385763328 797860 33554432000 4194304 4196468 140720598557104 140065462549648 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28386] ppid=28372 vsize=27720472 memory=868 CPUtime=4.8 cores=0-7 /proc/28375/task/28386/stat : 28386 (java) R 28372 28375 28202 0 -1 1077944384 168810 0 0 0 398 82 0 0 20 0 44 0 252890590 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064943261680 140065547348610 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28387] ppid=28372 vsize=27720472 memory=1808 CPUtime=0 cores=0-7 /proc/28375/task/28387/stat : 28387 (java) S 28372 28375 28202 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 44 0 252890591 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064942207968 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28388] ppid=28372 vsize=27720472 memory=303430223234596890 CPUtime=0 cores=0-7 /proc/28375/task/28388/stat : 28388 (java) S 28372 28375 28202 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 44 0 252890591 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064941155328 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28389] ppid=28372 vsize=27720472 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/28375/task/28389/stat : 28389 (java) S 28372 28375 28202 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 44 0 252890593 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064940103888 140065547356059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28390] ppid=28372 vsize=27720472 memory=15254844273336465 CPUtime=2.02 cores=0-7 /proc/28375/task/28390/stat : 28390 (java) S 28372 28375 28202 0 -1 1077944384 6626 0 0 0 199 3 0 0 20 0 44 0 252890593 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064939051504 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28391] ppid=28372 vsize=27720472 memory=0 CPUtime=1.96 cores=0-7 /proc/28375/task/28391/stat : 28391 (java) S 28372 28375 28202 0 -1 1077944384 9678 0 0 0 194 2 0 0 20 0 44 0 252890593 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064937998720 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28392] ppid=28372 vsize=27720472 memory=0 CPUtime=1.91 cores=0-7 /proc/28375/task/28392/stat : 28392 (java) R 28372 28375 28202 0 -1 4202560 8298 0 0 0 190 1 0 0 20 0 44 0 252890593 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064936935824 140065525528409 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28393] ppid=28372 vsize=27720472 memory=0 CPUtime=1.3 cores=0-7 /proc/28375/task/28393/stat : 28393 (java) S 28372 28375 28202 0 -1 1077944384 20907 0 0 0 127 3 0 0 20 0 44 0 252890593 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064935889248 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28394] ppid=28372 vsize=27720472 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28394/stat : 28394 (java) S 28372 28375 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 252890594 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064934840544 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28395] ppid=28372 vsize=27720472 memory=0 CPUtime=1.05 cores=0-7 /proc/28375/task/28395/stat : 28395 (java) S 28372 28375 28202 0 -1 1077944384 8556 0 0 0 47 58 0 0 20 0 44 0 252890594 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064933788080 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28396] ppid=28372 vsize=27720472 memory=0 CPUtime=0 cores=0-7 /proc/28375/task/28396/stat : 28396 (java) S 28372 28375 28202 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 44 0 252890933 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064924541728 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28397] ppid=28372 vsize=27720472 memory=0 CPUtime=5.29 cores=0-7 /proc/28375/task/28397/stat : 28397 (java) S 28372 28375 28202 0 -1 1077944384 17059 0 0 0 276 253 0 0 20 0 44 0 252890955 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064715691200 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28398] ppid=28372 vsize=27720472 memory=8163 CPUtime=2481.24 cores=0-7 /proc/28375/task/28398/stat : 28398 (java) R 28372 28375 28202 0 -1 4202560 138391 0 0 0 247953 171 0 0 20 0 44 0 252890972 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064712537264 140065143928156 0 4 0 16800975 0 0 0 -1 2 0 0 50 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28399] ppid=28372 vsize=27720472 memory=0 CPUtime=2477.79 cores=0-7 /proc/28375/task/28399/stat : 28399 (java) R 28372 28375 28202 0 -1 4202560 125515 0 0 0 247604 175 0 0 20 0 44 0 252890973 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064711484800 140065151712376 0 4 0 16800975 0 0 0 -1 3 0 0 48 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28400] ppid=28372 vsize=27720472 memory=758 CPUtime=2478.57 cores=0-7 /proc/28375/task/28400/stat : 28400 (java) R 28372 28375 28202 0 -1 4202560 138367 0 0 0 247691 166 0 0 20 0 44 0 252890973 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064710433144 140065151709989 0 4 0 16800975 0 0 0 -1 7 0 0 47 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28401] ppid=28372 vsize=27720472 memory=0 CPUtime=2482.91 cores=0-7 /proc/28375/task/28401/stat : 28401 (java) R 28372 28375 28202 0 -1 4202560 133022 0 0 0 248122 169 0 0 20 0 44 0 252890979 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064709379504 140065143928426 0 4 0 16800975 0 0 0 -1 4 0 0 57 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28402] ppid=28372 vsize=27720472 memory=6791534058613427641 CPUtime=2484.56 cores=0-7 /proc/28375/task/28402/stat : 28402 (java) S 28372 28375 28202 0 -1 1077944384 137573 0 0 0 248298 158 0 0 20 0 44 0 252890979 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064708328400 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28403] ppid=28372 vsize=27720472 memory=1224 CPUtime=0.56 cores=0-7 /proc/28375/task/28403/stat : 28403 (java) S 28372 28375 28202 0 -1 1077944384 156 0 0 0 55 1 0 0 20 0 44 0 252890979 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064707281936 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28404] ppid=28372 vsize=27720472 memory=3199936 CPUtime=2481.19 cores=0-7 /proc/28375/task/28404/stat : 28404 (java) R 28372 28375 28202 0 -1 4202560 136289 0 0 0 247956 163 0 0 20 0 44 0 252890980 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064706220960 140065143927895 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28405] ppid=28372 vsize=27720472 memory=1752 CPUtime=0.56 cores=0-7 /proc/28375/task/28405/stat : 28405 (java) S 28372 28375 28202 0 -1 1077944384 494 0 0 0 53 3 0 0 20 0 44 0 252890980 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064705176848 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28406] ppid=28372 vsize=27720472 memory=868 CPUtime=2476.36 cores=0-7 /proc/28375/task/28406/stat : 28406 (java) R 28372 28375 28202 0 -1 4202560 138360 0 0 0 247458 178 0 0 20 0 44 0 252890981 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064704115968 140065151712376 0 4 0 16800975 0 0 0 -1 1 0 0 56 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28407] ppid=28372 vsize=27720472 memory=1808 CPUtime=2480.73 cores=0-7 /proc/28375/task/28407/stat : 28407 (java) R 28372 28375 28202 0 -1 4202560 148511 0 0 0 247877 196 0 0 20 0 44 0 252890981 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064703063648 140065151300828 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28408] ppid=28372 vsize=27720472 memory=1620 CPUtime=0 cores=0-7 /proc/28375/task/28408/stat : 28408 (java) S 28372 28375 28202 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 44 0 252890982 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064702019216 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28409] ppid=28372 vsize=27720472 memory=748 CPUtime=0 cores=0-7 /proc/28375/task/28409/stat : 28409 (java) S 28372 28375 28202 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 44 0 252891161 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064696735504 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28410] ppid=28372 vsize=27720472 memory=1220 CPUtime=0 cores=0-7 /proc/28375/task/28410/stat : 28410 (java) S 28372 28375 28202 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064695681936 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28411] ppid=28372 vsize=27720472 memory=279307629449568 CPUtime=0 cores=0-7 /proc/28375/task/28411/stat : 28411 (java) S 28372 28375 28202 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064694629392 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28412] ppid=28372 vsize=27720472 memory=1808 CPUtime=0.01 cores=0-7 /proc/28375/task/28412/stat : 28412 (java) R 28372 28375 28202 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064693576368 140065547347669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28413] ppid=28372 vsize=27720472 memory=1620 CPUtime=0 cores=0-7 /proc/28375/task/28413/stat : 28413 (java) S 28372 28375 28202 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064692524304 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28414] ppid=28372 vsize=27720472 memory=748 CPUtime=0.01 cores=0-7 /proc/28375/task/28414/stat : 28414 (java) S 28372 28375 28202 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064691471760 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28415] ppid=28372 vsize=27720472 memory=1220 CPUtime=0 cores=0-7 /proc/28375/task/28415/stat : 28415 (java) S 28372 28375 28202 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064690419216 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28416] ppid=28372 vsize=27720472 memory=6612 CPUtime=0 cores=0-7 /proc/28375/task/28416/stat : 28416 (java) S 28372 28375 28202 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064689366672 140065547347669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 [pid=28375/tid=28417] ppid=28372 vsize=27720472 memory=1296 CPUtime=0.01 cores=0-7 /proc/28375/task/28417/stat : 28417 (java) S 28372 28375 28202 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 44 0 252891163 28385763328 797860 33554432000 4194304 4196468 140720598557104 140064688310128 140065547348610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7061504 140720598561870 140720598562053 140720598562053 140720598564815 0 Current children cumulated CPU time: 19983.2 s Current children cumulated vsize: 27720472 KiB Current children cumulated memory: 3191440 KiB Child status: 143 Real time (s): 2520.26 CPU time (s): 19983.4 CPU user time (s): 19963 CPU system time (s): 20.4024 CPU usage (%): 792.912 Max. virtual memory (cumulated for all children) (KiB): 27720472 Max. memory (cumulated for all children) (KiB): 4030376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19963 system time used= 20.4024 maximum resident set size= 4030784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2733150 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 560416 involuntary context switches= 418718 # summary of solver processes directly reported to runsolver: # pid: 28375 # total CPU time (s): 19983.4 # total CPU user time (s): 19963 # total CPU system time (s): 20.4024 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 24.1059 second user time and 36.3649 second system time The end
Begin job on node106 at 2018-08-15 19:14:37 IDJOB=4308722 IDBENCH=141034 IDSOLVER=2793 FILE ID=node106/4308722-1534353277 RUNJOBID= node106-1534352935-28229 PBS_JOBID= 21038257 Free space on /tmp= 45856 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/StillLife/StillLife-wastage-25_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308722-1534353277/watcher-4308722-1534353277 -o /tmp/evaluation-result-4308722-1534353277/solver-4308722-1534353277 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1534352935-28229 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 617540845 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308722-1534353277.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 633a0f5b4e603fff9205bbaeb6c03cff RANDOM SEED=617540845 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 23153056 kB MemAvailable: 31891448 kB Buffers: 209936 kB Cached: 8754084 kB SwapCached: 0 kB Active: 4563604 kB Inactive: 4456812 kB Active(anon): 3240 kB Inactive(anon): 113644 kB Active(file): 4560364 kB Inactive(file): 4343168 kB Unevictable: 6968 kB Mlocked: 6968 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 35652 kB Writeback: 0 kB AnonPages: 106432 kB Mapped: 56024 kB Shmem: 57824 kB Slab: 291904 kB SReclaimable: 263320 kB SUnreclaim: 28584 kB KernelStack: 3312 kB PageTables: 5072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 51200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 45820 MiB End job on node106 at 2018-08-15 19:56:38