Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - ALNS 2017-06-30 | SAT (TO) | 403 | 2400.1 | 2298.14 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml |
| MD5SUM | f0ae775e0a261424aab5dff09c8fa0c4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 857 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3917 |
| Number of constraints | 2192 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 3873 |
| Distribution of domain sizes | [{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 46 |
| Distribution of constraint arities | [{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}] |
| Number of extensional constraints | 1932 |
| Number of intensional constraints | 211 |
| Distribution of constraint types | [{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.27/0.28 c version: 2017-06-30 0.27/0.29 c seed: 899191335 0.27/0.29 c timeout: 2400 0.27/0.29 c memlimit: 15500 0.27/0.29 c nbcore: 8 0.44/0.31 c Parsing instance... 7.00/2.53 c Parsing done, starting search... 8.62/3.39 o 394 45.20/36.35 o 395 352.93/337.40 o 398 505.18/482.35 o 399 506.18/483.34 o 400 507.09/484.29 o 401 507.58/484.76 o 403 2400.04/2298.11 s SATISFIABLE 2400.04/2298.12 v <instantiation> 2400.04/2298.12 v <list> 2400.04/2298.12 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] z 2400.04/2298.12 v </list> 2400.04/2298.12 v <values> 2400.04/2298.12 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 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 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 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 1 2 1 1 2 1 1 2 1 2 2 2 1 2 1 2 2 1 1 2 0 0 0 0 0 2 1 1 2 2 2 2 2 2 1 2 2 1 1 1 1 2 1 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 2 2 2 0 0 1 1 0 2 0 2 1 1 1 0 0 1 0 0 0 2 0 0 2 2 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 2 1 1 1 0 0 0 0 0 1 2 2 1 0 1 0 1 0 0 0 0 2 1 1 2 2 1 1 0 0 1 2 2 2 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 2 2 2 2 0 0 0 1 1 2 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 2 0 2 2 1 2 1 2 2 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 2 1 1 2 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 2 1 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 1 2 2 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 2 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 2 0 0 0 0 0 1 0 1 0 2 2 2 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 1 1 0 0 0 0 1 1 2 0 1 0 0 0 0 0 1 2 0 0 0 1 1 0 0 0 1 1 2 1 1 0 1 0 0 0 1 1 2 2 2 2 2 2 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 2 1 0 0 1 1 1 1 0 1 0 2 2 2 0 1 0 2 0 1 0 0 1 2 1 1 2 1 1 1 0 0 0 0 0 0 0 0 1 2 1 1 1 0 1 1 0 0 0 1 0 0 1 1 2 1 1 2 2 1 2 2 2 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 1 2 1 1 2 2 2 2 0 0 1 1 0 1 0 0 1 0 1 2 1 1 0 0 1 2 2 2 2 2 2 1 2 2 0 0 0 0 0 1 0 0 0 0 1 1 2 2 2 1 1 2 1 1 0 1 1 0 1 1 0 0 2 2 1 0 0 0 1 0 2 1 1 2 2 2 2 2 1 1 0 0 1 0 0 0 1 0 0 1 1 2 1 1 0 1 2 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 2 2 2 2 2 0 1 1 0 1 0 0 1 1 1 0 1 2 2 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 2 1 2 2 2 2 1 1 2 1 0 1 1 2 1 1 2 2 2 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 2 1 1 2 0 1 0 2 2 2 2 1 2 2 1 1 2 2 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 2 1 2 1 1 0 1 1 2 1 0 1 1 2 2 2 2 1 1 2 2 2 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 2 2 1 1 1 0 1 2 2 2 0 1 1 0 0 1 1 2 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 2 2 1 1 0 0 1 1 2 2 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 2 1 1 0 1 0 0 1 0 0 0 0 0 1 1 2 2 2 1 0 1 1 1 2 2 1 1 2 0 0 0 0 0 0 0 0 0 1 0 2 1 0 1 0 2 1 1 0 0 0 0 1 2 0 0 0 0 1 1 2 2 2 2 1 1 2 2 2 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 1 0 2 2 2 2 2 2 2 2 2 0 1 0 1 0 2 1 1 0 1 1 1 0 0 0 0 0 0 0 0 2 1 1 1 1 0 1 1 1 1 0 1 1 0 2 2 2 2 1 1 2 2 2 1 1 0 1 1 2 2 2 0 0 1 2 0 0 0 1 0 0 1 0 0 1 0 2 2 0 1 0 2 0 0 1 1 0 1 1 2 2 0 0 0 1 2 1 1 0 1 1 2 2 2 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 2 2 2 2 1 2 1 1 0 1 1 1 0 1 2 1 0 2 0 1 1 0 0 1 0 2 2 2 2 2 1 1 2 1 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 1 0 0 0 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 1 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 42 128 214 300 386 472 558 644 730 816 901 982 1062 1124 1150 1166 1196 1228 1251 1281 1311 1332 1353 1374 1399 1430 1462 1503 1545 1580 1610 1645 1683 1723 1752 1774 1803 1838 1872 1913 1949 1992 2049 2084 403 2400.04/2298.12 v </values> 2400.04/2298.12 v </instantiation>
OK 403
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244825-1500694924/watcher-4244825-1500694924 -o /tmp/evaluation-result-4244825-1500694924/solver-4244825-1500694924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500683233-16019 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 899191335 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244825-1500694924.xml pid=17347 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.56 1.44 1.43 3/261 17350 /proc/meminfo: memFree=29671656/32770624 swapFree=5940/261664 [pid=17350] ppid=17347 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4757274 369864704 1925 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 90299 1925 1072 1 0 79210 0 [pid=17350/tid=17351] ppid=17347 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) S 17347 17350 15364 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4757274 369864704 1925 33554432000 4194304 4196468 140737152591696 140375797393824 140375793162882 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [startup+0.100137 s] /proc/loadavg: 1.56 1.44 1.43 3/261 17350 /proc/meminfo: memFree=29671656/32770624 swapFree=5940/261664 [pid=17350] ppid=17347 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 6098 0 0 0 8 2 0 0 20 0 20 0 4757274 13582245888 6328 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3315978 6328 2999 1 0 3303698 0 [pid=17350/tid=17351] ppid=17347 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 4172 0 0 0 7 1 0 0 20 0 20 0 4757274 13582245888 6328 33554432000 4194304 4196468 140737152591696 140375797394016 140375749787510 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13263912 [startup+0.200318 s] /proc/loadavg: 1.56 1.44 1.43 3/261 17350 /proc/meminfo: memFree=29671656/32770624 swapFree=5940/261664 [pid=17350] ppid=17347 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 8875 0 0 0 24 3 0 0 20 0 20 0 4757274 13582245888 9333 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3315978 9333 3512 1 0 3303698 0 [pid=17350/tid=17351] ppid=17347 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 6549 0 0 0 16 1 0 0 20 0 20 0 4757274 13582245888 9333 33554432000 4194304 4196468 140737152591696 140375797378928 140375793173661 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 13263912 [startup+0.300339 s] /proc/loadavg: 1.56 1.44 1.43 3/261 17350 /proc/meminfo: memFree=29671656/32770624 swapFree=5940/261664 [pid=17350] ppid=17347 vsize=13263912 CPUtime=0.44 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 10217 0 0 0 41 3 0 0 20 0 20 0 4757274 13582245888 11416 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3315978 11416 3665 1 0 3303698 0 [pid=17350/tid=17351] ppid=17347 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 7337 0 0 0 25 2 0 0 20 0 20 0 4757274 13582245888 11416 33554432000 4194304 4196468 140737152591696 140375797380208 140375777232222 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 13263912 [startup+0.700217 s] /proc/loadavg: 1.56 1.44 1.43 3/261 17350 /proc/meminfo: memFree=29671656/32770624 swapFree=5940/261664 [pid=17350] ppid=17347 vsize=13265980 CPUtime=1.56 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 13593 0 0 0 151 5 0 0 20 0 20 0 4757274 13584363520 22929 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3316495 22929 3776 1 0 3304210 0 [pid=17350/tid=17351] ppid=17347 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 8454 0 0 0 64 3 0 0 20 0 20 0 4757274 13584363520 22929 33554432000 4194304 4196468 140737152591696 140375797388048 140375793173082 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 13265980 [startup+1.50076 s] /proc/loadavg: 1.56 1.44 1.43 4/281 17370 /proc/meminfo: memFree=29563156/32770624 swapFree=5940/261676 [pid=17350] ppid=17347 vsize=13270076 CPUtime=4.29 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 28834 0 0 0 411 18 0 0 20 0 20 0 4757274 13588557824 58704 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3317519 58704 3803 1 0 3305234 0 [pid=17350/tid=17351] ppid=17347 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 11435 0 0 0 139 5 0 0 20 0 20 0 4757274 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375797383752 140375393067119 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17353] ppid=17347 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17353/stat : 17353 (java) S 17347 17350 15364 0 -1 1077944384 222 0 0 0 0 1 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375711631760 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17354] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17354/stat : 17354 (java) S 17347 17350 15364 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375710578960 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17355] ppid=17347 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17355/stat : 17355 (java) S 17347 17350 15364 0 -1 1077944384 39 0 0 0 0 1 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375709526672 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17356] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17356/stat : 17356 (java) S 17347 17350 15364 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375708473872 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17357] ppid=17347 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17357/stat : 17357 (java) S 17347 17350 15364 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375707421584 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17358] ppid=17347 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17358/stat : 17358 (java) S 17347 17350 15364 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375706368784 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17359] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17359/stat : 17359 (java) S 17347 17350 15364 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375385697424 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17360] ppid=17347 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17360/stat : 17360 (java) S 17347 17350 15364 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 4757275 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375384644624 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17361] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17361/stat : 17361 (java) S 17347 17350 15364 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 4757277 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375256066160 140375793162882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17362] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17362/stat : 17362 (java) S 17347 17350 15364 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375255012192 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17363] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17363/stat : 17363 (java) S 17347 17350 15364 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375253959808 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17364] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17364/stat : 17364 (java) S 17347 17350 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4757281 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375252908112 140375793170331 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17365] ppid=17347 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17365/stat : 17365 (java) S 17347 17350 15364 0 -1 1077944384 2620 0 0 0 61 1 0 0 20 0 20 0 4757281 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375251855984 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17366] ppid=17347 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17366/stat : 17366 (java) S 17347 17350 15364 0 -1 1077944384 2392 0 0 0 63 0 0 0 20 0 20 0 4757281 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375250803184 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17367] ppid=17347 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17367/stat : 17367 (java) S 17347 17350 15364 0 -1 1077944384 2963 0 0 0 64 0 0 0 20 0 20 0 4757281 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375249750896 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17368] ppid=17347 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17368/stat : 17368 (java) S 17347 17350 15364 0 -1 1077944384 7381 0 0 0 74 1 0 0 20 0 20 0 4757281 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375248698096 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17369] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17369/stat : 17369 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375247645024 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17370] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17370/stat : 17370 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 58704 33554432000 4194304 4196468 140737152591696 140375246592304 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 4.29 Current children cumulated vsize (KiB) 13270076 [startup+3.1008 s] /proc/loadavg: 1.51 1.44 1.42 3/281 17370 /proc/meminfo: memFree=29248360/32770624 swapFree=5940/261676 [pid=17350] ppid=17347 vsize=13270076 CPUtime=8.62 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 34083 0 0 0 758 104 0 0 20 0 20 0 4757274 13588557824 127046 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3317519 127046 3826 1 0 3305234 0 [pid=17350/tid=17351] ppid=17347 vsize=13270076 CPUtime=2.84 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 12700 0 0 0 277 7 0 0 20 0 20 0 4757274 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375797387128 140375395537473 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17353] ppid=17347 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17353/stat : 17353 (java) S 17347 17350 15364 0 -1 1077944384 1188 0 0 0 8 11 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375711631760 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17354] ppid=17347 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17354/stat : 17354 (java) S 17347 17350 15364 0 -1 1077944384 142 0 0 0 9 11 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375710578960 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17355] ppid=17347 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17355/stat : 17355 (java) S 17347 17350 15364 0 -1 1077944384 135 0 0 0 8 12 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375709526672 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17356] ppid=17347 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17356/stat : 17356 (java) S 17347 17350 15364 0 -1 1077944384 136 0 0 0 10 10 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375708473872 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17357] ppid=17347 vsize=13270076 CPUtime=0.2 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17357/stat : 17357 (java) S 17347 17350 15364 0 -1 1077944384 131 0 0 0 9 11 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375707421584 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17358] ppid=17347 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17358/stat : 17358 (java) S 17347 17350 15364 0 -1 1077944384 124 0 0 0 8 11 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375706368784 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17359] ppid=17347 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17359/stat : 17359 (java) S 17347 17350 15364 0 -1 1077944384 214 0 0 0 8 10 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375385697424 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17360] ppid=17347 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17360/stat : 17360 (java) S 17347 17350 15364 0 -1 1077944384 159 0 0 0 8 10 0 0 20 0 20 0 4757275 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375384644624 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17361] ppid=17347 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17361/stat : 17361 (java) S 17347 17350 15364 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 20 0 4757277 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375256066160 140375793162882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17362] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17362/stat : 17362 (java) S 17347 17350 15364 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375255012192 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17363] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17363/stat : 17363 (java) S 17347 17350 15364 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375253959808 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17364] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17364/stat : 17364 (java) S 17347 17350 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4757281 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375252908112 140375793170331 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17365] ppid=17347 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17365/stat : 17365 (java) S 17347 17350 15364 0 -1 1077944384 3683 0 0 0 107 1 0 0 20 0 20 0 4757281 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375251855984 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17366] ppid=17347 vsize=13270076 CPUtime=1.07 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17366/stat : 17366 (java) S 17347 17350 15364 0 -1 1077944384 2875 0 0 0 107 0 0 0 20 0 20 0 4757281 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375250803184 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17367] ppid=17347 vsize=13270076 CPUtime=1.08 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17367/stat : 17367 (java) S 17347 17350 15364 0 -1 1077944384 3127 0 0 0 107 1 0 0 20 0 20 0 4757281 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375249750896 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17368] ppid=17347 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17368/stat : 17368 (java) S 17347 17350 15364 0 -1 1077944384 7543 0 0 0 84 1 0 0 20 0 20 0 4757281 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375248698096 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17369] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17369/stat : 17369 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375247645024 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17370] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17370/stat : 17370 (java) S 17347 17350 15364 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 127046 33554432000 4194304 4196468 140737152591696 140375246592304 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 8.62 Current children cumulated vsize (KiB) 13270076 [startup+6.30079 s] /proc/loadavg: 1.51 1.44 1.42 3/281 17370 /proc/meminfo: memFree=28900612/32770624 swapFree=5940/261684 [pid=17350] ppid=17347 vsize=13270076 CPUtime=13.66 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 36219 0 0 0 1211 155 0 0 20 0 20 0 4757274 13588557824 205640 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3317519 205640 3840 1 0 3305234 0 [pid=17350/tid=17351] ppid=17347 vsize=13270076 CPUtime=5.91 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 13512 0 0 0 581 10 0 0 20 0 20 0 4757274 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375797389256 140375396465056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17353] ppid=17347 vsize=13270076 CPUtime=0.32 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17353/stat : 17353 (java) S 17347 17350 15364 0 -1 1077944384 1250 0 0 0 14 18 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375711631760 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17354] ppid=17347 vsize=13270076 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17354/stat : 17354 (java) S 17347 17350 15364 0 -1 1077944384 190 0 0 0 15 16 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375710578960 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17355] ppid=17347 vsize=13270076 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17355/stat : 17355 (java) S 17347 17350 15364 0 -1 1077944384 184 0 0 0 14 17 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375709526672 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17356] ppid=17347 vsize=13270076 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17356/stat : 17356 (java) S 17347 17350 15364 0 -1 1077944384 180 0 0 0 15 16 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375708473872 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17357] ppid=17347 vsize=13270076 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17357/stat : 17357 (java) S 17347 17350 15364 0 -1 1077944384 187 0 0 0 14 17 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375707421584 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17358] ppid=17347 vsize=13270076 CPUtime=0.32 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17358/stat : 17358 (java) S 17347 17350 15364 0 -1 1077944384 190 0 0 0 15 17 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375706368784 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17359] ppid=17347 vsize=13270076 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17359/stat : 17359 (java) S 17347 17350 15364 0 -1 1077944384 269 0 0 0 14 17 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375385697424 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17360] ppid=17347 vsize=13270076 CPUtime=0.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17360/stat : 17360 (java) S 17347 17350 15364 0 -1 1077944384 222 0 0 0 14 17 0 0 20 0 20 0 4757275 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375384644624 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17361] ppid=17347 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17361/stat : 17361 (java) S 17347 17350 15364 0 -1 1077944384 804 0 0 0 2 0 0 0 20 0 20 0 4757277 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375256066160 140375793162882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17362] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17362/stat : 17362 (java) S 17347 17350 15364 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375255012192 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17363] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17363/stat : 17363 (java) S 17347 17350 15364 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 205640 33554432000 4194304 4196468 140737152591696 140375253959808 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17364] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ /proc/17350/task/17366/stat : 17366 (java) S 17347 17350 15364 0 -1 1077944384 16821 0 0 0 199 2 0 0 20 0 20 0 4757281 13588557824 467648 33554432000 4194304 4196468 140737152591696 140375250803184 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17367] ppid=17347 vsize=13270076 CPUtime=2.11 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17367/stat : 17367 (java) S 17347 17350 15364 0 -1 1077944384 17658 0 0 0 209 2 0 0 20 0 20 0 4757281 13588557824 467648 33554432000 4194304 4196468 140737152591696 140375249750896 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17368] ppid=17347 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17368/stat : 17368 (java) S 17347 17350 15364 0 -1 1077944384 36649 0 0 0 122 3 0 0 20 0 20 0 4757281 13588557824 467648 33554432000 4194304 4196468 140737152591696 140375248698096 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17369] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17369/stat : 17369 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 467648 33554432000 4194304 4196468 140737152591696 140375247645024 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17370] ppid=17347 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17370/stat : 17370 (java) S 17347 17350 15364 0 -1 1077944384 1647 0 0 0 49 48 0 0 20 0 20 0 4757282 13588557824 467648 33554432000 4194304 4196468 140737152591696 140375246592304 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 2300.16 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 1.60 1.62 1.63 3/281 17546 /proc/meminfo: memFree=27960024/32770624 swapFree=5940/264048 [pid=17350] ppid=17347 vsize=13270076 CPUtime=2362.61 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 357678 0 0 0 235684 577 0 0 20 0 20 0 4757274 13588557824 482475 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3317519 482475 3867 1 0 3305234 0 [pid=17350/tid=17351] ppid=17347 vsize=13270076 CPUtime=2245.48 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 123949 0 0 0 224469 79 0 0 20 0 20 0 4757274 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375797389056 140375395763108 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17353] ppid=17347 vsize=13270076 CPUtime=13.39 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17353/stat : 17353 (java) S 17347 17350 15364 0 -1 1077944384 11353 0 0 0 1284 55 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375711631760 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17354] ppid=17347 vsize=13270076 CPUtime=13.52 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17354/stat : 17354 (java) S 17347 17350 15364 0 -1 1077944384 11305 0 0 0 1301 51 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375710578960 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17355] ppid=17347 vsize=13270076 CPUtime=13.38 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17355/stat : 17355 (java) S 17347 17350 15364 0 -1 1077944384 10746 0 0 0 1285 53 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375709526672 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17356] ppid=17347 vsize=13270076 CPUtime=13.36 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17356/stat : 17356 (java) S 17347 17350 15364 0 -1 1077944384 10630 0 0 0 1286 50 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375708473872 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17357] ppid=17347 vsize=13270076 CPUtime=13.47 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17357/stat : 17357 (java) S 17347 17350 15364 0 -1 1077944384 12357 0 0 0 1293 54 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375707421584 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17358] ppid=17347 vsize=13270076 CPUtime=13.31 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17358/stat : 17358 (java) S 17347 17350 15364 0 -1 1077944384 11090 0 0 0 1277 54 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375706368784 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17359] ppid=17347 vsize=13270076 CPUtime=13.47 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17359/stat : 17359 (java) S 17347 17350 15364 0 -1 1077944384 12054 0 0 0 1295 52 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375385697424 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17360] ppid=17347 vsize=13270076 CPUtime=13.34 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17360/stat : 17360 (java) S 17347 17350 15364 0 -1 1077944384 11701 0 0 0 1281 53 0 0 20 0 20 0 4757275 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375384644624 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17361] ppid=17347 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17361/stat : 17361 (java) S 17347 17350 15364 0 -1 1077944384 52510 0 0 0 95 28 0 0 20 0 20 0 4757277 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375256066160 140375793162882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17362] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17362/stat : 17362 (java) S 17347 17350 15364 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375255012192 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17363] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17363/stat : 17363 (java) S 17347 17350 15364 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375253959808 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17364] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17364/stat : 17364 (java) S 17347 17350 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4757281 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375252908112 140375793170331 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17365] ppid=17347 vsize=13270076 CPUtime=2.12 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17365/stat : 17365 (java) S 17347 17350 15364 0 -1 1077944384 15693 0 0 0 209 3 0 0 20 0 20 0 4757281 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375251855984 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17366] ppid=17347 vsize=13270076 CPUtime=2.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17366/stat : 17366 (java) S 17347 17350 15364 0 -1 1077944384 16823 0 0 0 199 2 0 0 20 0 20 0 4757281 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375250803184 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17367] ppid=17347 vsize=13270076 CPUtime=2.11 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17367/stat : 17367 (java) S 17347 17350 15364 0 -1 1077944384 17697 0 0 0 209 2 0 0 20 0 20 0 4757281 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375249750896 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17368] ppid=17347 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17368/stat : 17368 (java) S 17347 17350 15364 0 -1 1077944384 36652 0 0 0 122 3 0 0 20 0 20 0 4757281 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375248698096 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17369] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17369/stat : 17369 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375247645024 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17370] ppid=17347 vsize=13270076 CPUtime=1.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17370/stat : 17370 (java) S 17347 17350 15364 0 -1 1077944384 1665 0 0 0 51 50 0 0 20 0 20 0 4757282 13588557824 482475 33554432000 4194304 4196468 140737152591696 140375246592304 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 2362.61 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2298.1 s] /proc/loadavg: 1.66 1.64 1.64 3/281 17554 /proc/meminfo: memFree=27514892/32770624 swapFree=5940/264128 [pid=17350] ppid=17347 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 360788 0 0 0 239407 597 0 0 20 0 20 0 4757274 13588557824 502874 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3317519 502874 3867 1 0 3305234 0 [pid=17350/tid=17351] ppid=17347 vsize=13270076 CPUtime=2281 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 126078 0 0 0 228019 81 0 0 20 0 20 0 4757274 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375797389504 140375397015433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17353] ppid=17347 vsize=13270076 CPUtime=13.61 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17353/stat : 17353 (java) S 17347 17350 15364 0 -1 1077944384 11396 0 0 0 1304 57 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375711631760 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17354] ppid=17347 vsize=13270076 CPUtime=13.75 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17354/stat : 17354 (java) S 17347 17350 15364 0 -1 1077944384 11343 0 0 0 1322 53 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375710578960 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17355] ppid=17347 vsize=13270076 CPUtime=13.63 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17355/stat : 17355 (java) S 17347 17350 15364 0 -1 1077944384 10781 0 0 0 1307 56 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375709526672 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17356] ppid=17347 vsize=13270076 CPUtime=13.58 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17356/stat : 17356 (java) S 17347 17350 15364 0 -1 1077944384 10771 0 0 0 1306 52 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375708473872 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17357] ppid=17347 vsize=13270076 CPUtime=13.7 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17357/stat : 17357 (java) S 17347 17350 15364 0 -1 1077944384 12384 0 0 0 1314 56 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375707421584 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17358] ppid=17347 vsize=13270076 CPUtime=13.55 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17358/stat : 17358 (java) S 17347 17350 15364 0 -1 1077944384 11303 0 0 0 1299 56 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375706368784 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17359] ppid=17347 vsize=13270076 CPUtime=13.7 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17359/stat : 17359 (java) S 17347 17350 15364 0 -1 1077944384 12079 0 0 0 1316 54 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375385697424 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17360] ppid=17347 vsize=13270076 CPUtime=13.57 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17360/stat : 17360 (java) S 17347 17350 15364 0 -1 1077944384 11727 0 0 0 1302 55 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375384644624 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17361] ppid=17347 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17361/stat : 17361 (java) S 17347 17350 15364 0 -1 1077944384 52877 0 0 0 97 28 0 0 20 0 20 0 4757277 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375256066160 140375793162882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17362] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17362/stat : 17362 (java) S 17347 17350 15364 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375255012192 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17363] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17363/stat : 17363 (java) S 17347 17350 15364 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375253959808 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17364] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17364/stat : 17364 (java) S 17347 17350 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375252908112 140375793170331 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17365] ppid=17347 vsize=13270076 CPUtime=2.13 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17365/stat : 17365 (java) S 17347 17350 15364 0 -1 1077944384 15737 0 0 0 210 3 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375251855984 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17366] ppid=17347 vsize=13270076 CPUtime=2.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17366/stat : 17366 (java) S 17347 17350 15364 0 -1 1077944384 16825 0 0 0 199 2 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375250803184 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17367] ppid=17347 vsize=13270076 CPUtime=2.11 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17367/stat : 17367 (java) S 17347 17350 15364 0 -1 1077944384 17699 0 0 0 209 2 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375249750896 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17368] ppid=17347 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17368/stat : 17368 (java) S 17347 17350 15364 0 -1 1077944384 36654 0 0 0 122 3 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375248698096 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17369] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17369/stat : 17369 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375247645024 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17370] ppid=17347 vsize=13270076 CPUtime=1.02 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17370/stat : 17370 (java) S 17347 17350 15364 0 -1 1077944384 1681 0 0 0 51 51 0 0 20 0 20 0 4757282 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375246592304 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17350 sig 9 ??? kill -17350 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2298.1 s] /proc/loadavg: 1.66 1.64 1.64 3/281 17554 /proc/meminfo: memFree=27514892/32770624 swapFree=5940/264128 [pid=17350] ppid=17347 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14 /proc/17350/stat : 17350 (java) S 17347 17350 15364 0 -1 1077944320 360788 0 0 0 239407 597 0 0 20 0 20 0 4757274 13588557824 502874 33554432000 4194304 4196468 140737152591696 140737152574240 140375793151735 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 /proc/17350/statm: 3317519 502874 3867 1 0 3305234 0 [pid=17350/tid=17351] ppid=17347 vsize=13270076 CPUtime=2281 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17351/stat : 17351 (java) R 17347 17350 15364 0 -1 4202560 126078 0 0 0 228019 81 0 0 20 0 20 0 4757274 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375797389504 140375397015433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17353] ppid=17347 vsize=13270076 CPUtime=13.61 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17353/stat : 17353 (java) S 17347 17350 15364 0 -1 1077944384 11396 0 0 0 1304 57 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375711631760 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17354] ppid=17347 vsize=13270076 CPUtime=13.75 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17354/stat : 17354 (java) S 17347 17350 15364 0 -1 1077944384 11343 0 0 0 1322 53 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375710578960 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17355] ppid=17347 vsize=13270076 CPUtime=13.63 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17355/stat : 17355 (java) S 17347 17350 15364 0 -1 1077944384 10781 0 0 0 1307 56 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375709526672 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17356] ppid=17347 vsize=13270076 CPUtime=13.58 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17356/stat : 17356 (java) S 17347 17350 15364 0 -1 1077944384 10771 0 0 0 1306 52 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375708473872 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17357] ppid=17347 vsize=13270076 CPUtime=13.7 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17357/stat : 17357 (java) S 17347 17350 15364 0 -1 1077944384 12384 0 0 0 1314 56 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375707421584 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17358] ppid=17347 vsize=13270076 CPUtime=13.55 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17358/stat : 17358 (java) S 17347 17350 15364 0 -1 1077944384 11303 0 0 0 1299 56 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375706368784 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17359] ppid=17347 vsize=13270076 CPUtime=13.7 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17359/stat : 17359 (java) S 17347 17350 15364 0 -1 1077944384 12079 0 0 0 1316 54 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375385697424 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17360] ppid=17347 vsize=13270076 CPUtime=13.57 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17360/stat : 17360 (java) S 17347 17350 15364 0 -1 1077944384 11727 0 0 0 1302 55 0 0 20 0 20 0 4757275 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375384644624 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17361] ppid=17347 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17361/stat : 17361 (java) S 17347 17350 15364 0 -1 1077944384 52877 0 0 0 97 28 0 0 20 0 20 0 4757277 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375256066160 140375793162882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17362] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17362/stat : 17362 (java) S 17347 17350 15364 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375255012192 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17363] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17363/stat : 17363 (java) S 17347 17350 15364 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 4757278 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375253959808 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17364] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17364/stat : 17364 (java) S 17347 17350 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375252908112 140375793170331 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17365] ppid=17347 vsize=13270076 CPUtime=2.13 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17365/stat : 17365 (java) S 17347 17350 15364 0 -1 1077944384 15737 0 0 0 210 3 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375251855984 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17366] ppid=17347 vsize=13270076 CPUtime=2.01 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17366/stat : 17366 (java) S 17347 17350 15364 0 -1 1077944384 16825 0 0 0 199 2 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375250803184 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17367] ppid=17347 vsize=13270076 CPUtime=2.11 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17367/stat : 17367 (java) S 17347 17350 15364 0 -1 1077944384 17699 0 0 0 209 2 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375249750896 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17368] ppid=17347 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17368/stat : 17368 (java) S 17347 17350 15364 0 -1 1077944384 36654 0 0 0 122 3 0 0 20 0 20 0 4757281 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375248698096 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17369] ppid=17347 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17369/stat : 17369 (java) S 17347 17350 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4757282 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375247645024 140375793161941 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 [pid=17350/tid=17370] ppid=17347 vsize=13270076 CPUtime=1.02 cores=0,2,4,6,8,10,12,14 /proc/17350/task/17370/stat : 17370 (java) S 17347 17350 15364 0 -1 1077944384 1681 0 0 0 51 51 0 0 20 0 20 0 4757282 13588557824 502874 33554432000 4194304 4196468 140737152591696 140375246592304 140375793162882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12931072 140737152595088 140737152595268 140737152595268 140737152597967 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2298.14 CPU time (s): 2400.1 CPU user time (s): 2394.11 CPU system time (s): 5.98413 CPU usage (%): 104.437 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2394.12 system time used= 5.98413 maximum resident set size= 3535928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 361329 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 91844 involuntary context switches= 130189 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.844 second user time and 18.831 second system time The end
Begin job on node151 at 2017-07-22 05:42:04 IDJOB=4244825 IDBENCH=115914 IDSOLVER=2627 FILE ID=node151/4244825-1500694924 RUNJOBID= node151-1500683233-16019 PBS_JOBID= 20623037 Free space on /tmp= 61984 MiB SOLVER NAME= OscaR - ALNS 2017-06-30 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244825-1500694924/watcher-4244825-1500694924 -o /tmp/evaluation-result-4244825-1500694924/solver-4244825-1500694924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500683233-16019 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 899191335 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244825-1500694924.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=899191335 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5342.81 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5342.81 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 : 8 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 : 5342.81 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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 : 5342.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29672264 kB MemAvailable: 29936496 kB Buffers: 112380 kB Cached: 432496 kB SwapCached: 0 kB Active: 2385736 kB Inactive: 270544 kB Active(anon): 2114208 kB Inactive(anon): 8664 kB Active(file): 271528 kB Inactive(file): 261880 kB Unevictable: 5940 kB Mlocked: 5972 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42152 kB Writeback: 0 kB AnonPages: 2154368 kB Mapped: 45468 kB Shmem: 8848 kB Slab: 126224 kB SReclaimable: 93316 kB SUnreclaim: 32908 kB KernelStack: 4752 kB PageTables: 12336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2677496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2015232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61944 MiB End job on node151 at 2017-07-22 06:20:22