Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - ALNS 2017-07-26 | SAT (TO) | 467 | 250.345 | 240.032 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml |
MD5SUM | 4997da7be544d89c7d7e917a89d7c5a2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 887 |
Best CPU time to get the best result obtained on this benchmark | 1821.27 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4279 |
Number of constraints | 2384 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 4233 |
Distribution of domain sizes | [{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}] |
Minimum variable degree | 1 |
Maximum variable degree | 47 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}] |
Number of extensional constraints | 2112 |
Number of intensional constraints | 221 |
Distribution of constraint types | [{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.31/0.43 c version: 2017-07-26 0.31/0.43 c seed: 485112000 0.31/0.43 c timeout: 264 0.31/0.43 c memlimit: 11000 0.31/0.43 c nbcore: 4 0.31/0.45 c Parsing instance... 5.75/2.92 c Parsing done, starting search... 8.15/4.31 o 453 106.44/99.68 o 466 158.38/150.76 o 467 250.28/240.00 s SATISFIABLE 250.28/240.01 v <instantiation> 250.28/240.01 v <list> 250.28/240.01 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[0][44] x[0][45] 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[1][44] x[1][45] 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[2][44] x[2][45] 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[3][44] x[3][45] 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[4][44] x[4][45] 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[5][44] x[5][45] 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[6][44] x[6][45] 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[7][44] x[7][45] 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[8][44] x[8][45] 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[9][44] x[9][45] 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[10][44] x[10][45] 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[11][44] x[11][45] 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[12][44] x[12][45] 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[13][44] x[13][45] 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[14][44] x[14][45] 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[15][44] x[15][45] 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[16][44] x[16][45] 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[17][44] x[17][45] 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[18][44] x[18][45] 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[19][44] x[19][45] 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[20][44] x[20][45] 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[21][44] x[21][45] 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[22][44] x[22][45] 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[23][44] x[23][45] 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[24][44] x[24][45] 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[25][44] x[25][45] 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[26][44] x[26][45] 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[27][44] x[27][45] 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[28][44] x[28][45] 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[29][44] x[29][45] 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[30][44] x[30][45] 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[31][44] x[31][45] 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[32][44] x[32][45] 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[33][44] x[33][45] 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[34][44] x[34][45] 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[35][44] x[35][45] 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[36][44] x[36][45] 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[37][44] x[37][45] 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[38][44] x[38][45] 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[39][44] x[39][45] 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[40][44] x[40][45] 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[41][44] x[41][45] 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[42][44] x[42][45] 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] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] 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[0][44] w[0][45] 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[1][44] w[1][45] 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[2][44] w[2][45] 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[3][44] w[3][45] 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[4][44] w[4][45] 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[5][44] w[5][45] 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[6][44] w[6][45] 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[7][44] w[7][45] 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[8][44] w[8][45] 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[9][44] w[9][45] 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[10][44] w[10][45] 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[11][44] w[11][45] 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[12][44] w[12][45] 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[13][44] w[13][45] 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[14][44] w[14][45] 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[15][44] w[15][45] 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[16][44] w[16][45] 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[17][44] w[17][45] 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[18][44] w[18][45] 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[19][44] w[19][45] 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[20][44] w[20][45] 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[21][44] w[21][45] 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[22][44] w[22][45] 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[23][44] w[23][45] 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[24][44] w[24][45] 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[25][44] w[25][45] 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[26][44] w[26][45] 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[27][44] w[27][45] 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[28][44] w[28][45] 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[29][44] w[29][45] 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[30][44] w[30][45] 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[31][44] w[31][45] 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[32][44] w[32][45] 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[33][44] w[33][45] 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[34][44] w[34][45] 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[35][44] w[35][45] 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[36][44] w[36][45] 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[37][44] w[37][45] 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[38][44] w[38][45] 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[39][44] w[39][45] 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[40][44] w[40][45] 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[41][44] w[41][45] 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[42][44] w[42][45] 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] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] 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] ws[44] ws[45] z 250.28/240.01 v </list> 250.28/240.01 v <values> 250.28/240.01 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 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 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 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 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 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 0 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 1 0 0 1 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 1 2 2 2 2 2 2 2 2 1 0 0 1 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 1 1 0 1 2 2 2 2 2 2 2 2 1 1 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 0 0 1 1 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 1 0 1 0 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 0 0 2 0 1 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 0 0 2 1 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 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 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 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 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 0 1 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 1 1 2 2 1 2 2 2 2 2 1 1 2 1 1 1 1 1 1 2 1 2 1 1 2 2 1 2 1 1 2 2 1 2 1 2 2 1 1 2 1 2 2 1 1 2 1 2 1 0 1 1 2 2 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 2 2 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 2 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 2 1 2 2 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 2 2 1 1 0 0 0 0 1 1 2 2 2 2 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 2 2 2 2 0 1 0 1 0 1 2 2 2 2 2 1 1 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 2 2 2 2 2 2 1 2 0 2 0 2 2 2 2 2 2 1 1 0 1 0 0 2 1 1 0 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 1 0 0 1 2 2 2 1 2 2 2 2 2 0 2 0 2 2 2 2 2 2 1 1 0 1 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 1 0 1 2 2 2 2 0 0 1 2 2 2 2 2 2 0 0 0 0 1 1 2 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 2 2 1 0 0 2 0 2 2 1 1 0 1 2 2 2 2 2 2 2 0 1 1 0 2 2 2 2 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 2 2 2 2 1 1 0 0 0 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 2 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 2 2 2 2 0 0 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 2 2 1 1 0 1 0 2 2 2 2 2 2 1 2 2 0 1 0 2 2 2 1 2 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 2 2 1 1 1 0 0 1 2 2 2 2 2 1 0 2 2 1 1 2 1 1 2 0 1 2 2 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 2 1 1 2 2 2 0 2 0 2 1 2 0 2 0 2 1 2 2 0 0 2 2 2 2 1 0 2 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 1 2 0 0 1 0 2 1 1 0 1 2 2 2 2 1 2 2 2 0 1 0 1 1 2 2 2 2 1 1 2 2 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 2 1 1 2 2 2 2 2 2 1 1 0 0 2 2 2 2 2 2 2 0 1 0 0 0 0 1 0 1 0 2 0 0 0 0 0 2 0 2 0 0 0 0 1 0 2 1 2 0 1 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 2 1 1 0 1 0 0 2 2 1 0 0 1 2 2 2 2 2 2 2 2 1 2 1 1 2 2 2 1 0 1 1 2 1 0 1 0 0 0 0 1 0 1 0 1 2 2 1 0 1 0 1 0 1 2 2 1 1 2 1 1 2 1 2 1 2 2 2 1 1 0 1 2 2 2 1 1 2 2 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 2 0 0 1 1 1 2 2 0 0 0 0 1 0 0 0 2 2 2 0 0 1 1 1 2 2 2 2 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 0 0 0 1 1 2 2 0 0 0 0 0 1 1 2 2 1 1 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 2 2 2 0 1 0 1 1 2 0 2 0 2 1 1 2 1 2 2 2 2 0 1 2 1 1 2 2 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 0 42 126 208 291 375 458 541 626 714 802 886 968 1052 1135 1192 1215 1228 1247 1259 1272 1291 1305 1323 1334 1344 1366 1390 1422 1464 1505 1544 1587 1638 1687 1730 1774 1818 1862 1904 1948 1995 2043 2080 2107 2150 2180 467 250.28/240.01 v </values> 250.28/240.01 v </instantiation>
OK 467
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-4255843-1501625899/watcher-4255843-1501625899 -o /tmp/evaluation-result-4255843-1501625899/solver-4255843-1501625899 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15277 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 485112000 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255843-1501625899.xml pid=16827 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.36 1.39 1.52 1/173 16830 /proc/meminfo: memFree=31140848/32770624 swapFree=0/937664 [pid=16830] ppid=16827 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/16830/stat : 16830 (runsolver) D 16827 16830 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11214663 24240128 108 18446744073709551615 4194304 4338465 140725912973008 140725912970648 140319477297879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22011904 140725912981613 140725912982086 140725912982086 140725912985546 0 /proc/16830/statm: 5918 108 54 36 0 2156 0 [startup+0.100149 s] /proc/loadavg: 1.36 1.39 1.52 1/173 16830 /proc/meminfo: memFree=31140848/32770624 swapFree=0/937664 [pid=16830] ppid=16827 vsize=356952 CPUtime=0 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 1731 0 0 0 0 0 0 0 20 0 2 0 11214663 365518848 1881 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 89238 1881 1032 1 0 79216 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 356952 [startup+0.200359 s] /proc/loadavg: 1.36 1.39 1.52 1/173 16830 /proc/meminfo: memFree=31140848/32770624 swapFree=0/937664 [pid=16830] ppid=16827 vsize=13906484 CPUtime=0.05 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 5113 0 0 0 4 1 0 0 20 0 14 0 11214663 14240239616 5158 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3476621 5158 2575 1 0 3466126 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13906484 [startup+0.300288 s] /proc/loadavg: 1.36 1.39 1.52 1/173 16830 /proc/meminfo: memFree=31140848/32770624 swapFree=0/937664 [pid=16830] ppid=16827 vsize=13975920 CPUtime=0.15 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 9700 0 0 0 12 3 0 0 20 0 15 0 11214663 14311342080 9196 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3494236 9196 3379 1 0 3483023 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 13975920 [startup+0.700209 s] /proc/loadavg: 1.36 1.39 1.52 1/173 16830 /proc/meminfo: memFree=31140848/32770624 swapFree=0/937664 [pid=16830] ppid=16827 vsize=13977988 CPUtime=0.94 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 13733 0 0 0 90 4 0 0 20 0 15 0 11214663 14313459712 18087 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3494497 18087 3713 1 0 3483279 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 13977988 [startup+1.50059 s] /proc/loadavg: 1.49 1.41 1.53 6/208 16874 /proc/meminfo: memFree=30946728/32770624 swapFree=0/937732 [pid=16830] ppid=16827 vsize=13982084 CPUtime=3.31 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 24017 0 0 0 322 9 0 0 20 0 15 0 11214663 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 42823 3749 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=1.3 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 13919 0 0 0 124 6 0 0 20 0 15 0 11214673 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272622297264 140272618091677 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11214673 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11214673 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11214673 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11214673 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272163501344 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272162449008 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=0.71 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) S 16827 16830 5678 0 -1 1077944384 3031 0 0 0 71 0 0 0 20 0 15 0 11214678 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272160344176 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=0.62 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 2245 0 0 0 62 0 0 0 20 0 15 0 11214678 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=0.64 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 3433 0 0 0 63 1 0 0 20 0 15 0 11214678 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11214687 14317654016 42823 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 3.31 Current children cumulated vsize (KiB) 13982084 [startup+3.10133 s] /proc/loadavg: 1.49 1.41 1.53 3/208 16874 /proc/meminfo: memFree=30580880/32770624 swapFree=0/937732 [pid=16830] ppid=16827 vsize=13982084 CPUtime=6.35 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 32731 0 0 0 603 32 0 0 20 0 15 0 11214663 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 123638 3789 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=2.75 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 15626 0 0 0 267 8 0 0 20 0 15 0 11214673 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272622306648 140272239673024 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 252 0 0 0 7 4 0 0 20 0 15 0 11214673 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=0.13 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 328 0 0 0 8 5 0 0 20 0 15 0 11214673 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=0.13 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 230 0 0 0 8 5 0 0 20 0 15 0 11214673 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=0.13 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 1461 0 0 0 8 5 0 0 20 0 15 0 11214673 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 15 0 11214675 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=1.13 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) R 16827 16830 5678 0 -1 4202560 3700 0 0 0 113 0 0 0 20 0 15 0 11214678 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272160330200 140272599614302 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=1.06 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 3182 0 0 0 106 0 0 0 20 0 15 0 11214678 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=0.81 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 6109 0 0 0 80 1 0 0 20 0 15 0 11214678 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 11214687 14317654016 123638 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 6.35 Current children cumulated vsize (KiB) 13982084 [startup+6.30141 s] /proc/loadavg: 1.49 1.41 1.53 3/208 16874 /proc/meminfo: memFree=29749104/32770624 swapFree=0/937740 [pid=16830] ppid=16827 vsize=13982084 CPUtime=11.15 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 36385 0 0 0 1073 42 0 0 20 0 15 0 11214663 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 194189 3804 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=5.9 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 16607 0 0 0 579 11 0 0 20 0 15 0 11214673 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272622304968 140272250456643 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=0.16 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 294 0 0 0 10 6 0 0 20 0 15 0 11214673 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 374 0 0 0 11 6 0 0 20 0 15 0 11214673 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 263 0 0 0 11 6 0 0 20 0 15 0 11214673 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 1495 0 0 0 11 6 0 0 20 0 15 0 11214673 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 850 0 0 0 1 0 0 0 20 0 15 0 11214675 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=1.81 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) R 16827 16830 5678 0 -1 4202560 4855 0 0 0 181 0 0 0 20 0 15 0 11214678 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272160330056 140272602995236 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=1.71 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 3669 0 0 0 171 0 0 0 20 0 15 0 11214678 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=0.95 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 6564 0 0 0 93 2 0 0 20 0 15 0 11214678 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11214687 14317654016 194189 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 11.15 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.57 1.43 1.53 3/208 16874 /proc/meminfo: memFree=29574400/32770624 swapFree=0/937752 [pid=16830] ppid=16827 vsize=13982084 CPUtime=17.89 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 39286 0 0 0 1746 43 0 0 20 0 15 0 11214663 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 194418 3805 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=12.3 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 18101 0 0 0 1219 11 0 0 20 0 15 0 11214673 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272622304816 140272249404496 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=0.16 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 294 0 0 0 10 6 0 0 20 0 15 0 11214673 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 374 0 0 0 11 6 0 0 20 0 15 0 11214673 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 263 0 0 0 11 6 0 0 20 0 15 0 11214673 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 1495 0 0 0 11 6 0 0 20 0 15 0 11214673 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 858 0 0 0 1 0 0 0 20 0 15 0 11214675 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 194418 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 ################ # More data... # ################ /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 351260 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 11214687 14317654016 351260 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 57.28 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.73 1.52 1.56 3/209 16878 /proc/meminfo: memFree=23780708/32770624 swapFree=0/937804 [pid=16830] ppid=16827 vsize=13982084 CPUtime=109.21 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 69684 0 0 0 10800 121 0 0 20 0 15 0 11214663 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 949177 3809 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=101.61 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 29209 0 0 0 10105 56 0 0 20 0 15 0 11214673 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272622307392 140272245821784 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=0.45 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 1520 0 0 0 33 12 0 0 20 0 15 0 11214673 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=0.46 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 1236 0 0 0 33 13 0 0 20 0 15 0 11214673 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=0.47 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 708 0 0 0 34 13 0 0 20 0 15 0 11214673 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=0.47 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 2105 0 0 0 34 13 0 0 20 0 15 0 11214673 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 2747 0 0 0 3 4 0 0 20 0 15 0 11214675 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=2.35 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) S 16827 16830 5678 0 -1 1077944384 10297 0 0 0 234 1 0 0 20 0 15 0 11214678 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272160344176 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=2.12 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 7764 0 0 0 211 1 0 0 20 0 15 0 11214678 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=1.1 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 12517 0 0 0 107 3 0 0 20 0 15 0 11214678 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0.04 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 178 0 0 0 2 2 0 0 20 0 15 0 11214687 14317654016 949177 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 109.21 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.39 1.47 1.54 3/209 16880 /proc/meminfo: memFree=24348180/32770624 swapFree=0/937856 [pid=16830] ppid=16827 vsize=13982084 CPUtime=170.39 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 77883 0 0 0 16913 126 0 0 20 0 15 0 11214663 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 810346 3809 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=161.22 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 32741 0 0 0 16065 57 0 0 20 0 15 0 11214673 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272622307504 140272245078246 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=0.79 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 1724 0 0 0 67 12 0 0 20 0 15 0 11214673 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=0.81 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 1988 0 0 0 67 14 0 0 20 0 15 0 11214673 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=0.8 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 939 0 0 0 67 13 0 0 20 0 15 0 11214673 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=0.8 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 2254 0 0 0 67 13 0 0 20 0 15 0 11214673 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.1 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 2995 0 0 0 5 5 0 0 20 0 15 0 11214675 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=2.41 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) S 16827 16830 5678 0 -1 1077944384 11418 0 0 0 240 1 0 0 20 0 15 0 11214678 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272160344176 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=2.18 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 8823 0 0 0 217 1 0 0 20 0 15 0 11214678 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=1.1 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 13226 0 0 0 107 3 0 0 20 0 15 0 11214678 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0.08 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 372 0 0 0 4 4 0 0 20 0 15 0 11214687 14317654016 810346 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 170.39 Current children cumulated vsize (KiB) 13982084 [startup+222.306 s] /proc/loadavg: 1.43 1.47 1.54 3/209 16883 /proc/meminfo: memFree=24677568/32770624 swapFree=0/937884 [pid=16830] ppid=16827 vsize=13982084 CPUtime=232.09 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 86396 0 0 0 23068 141 0 0 20 0 15 0 11214663 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 792445 3809 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=220.62 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 36584 0 0 0 22005 57 0 0 20 0 15 0 11214673 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272622307392 140272245078246 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=1.35 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 2074 0 0 0 119 16 0 0 20 0 15 0 11214673 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=1.36 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 2721 0 0 0 119 17 0 0 20 0 15 0 11214673 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=1.35 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 1350 0 0 0 119 16 0 0 20 0 15 0 11214673 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=1.36 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 2615 0 0 0 120 16 0 0 20 0 15 0 11214673 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.14 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 3246 0 0 0 8 6 0 0 20 0 15 0 11214675 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=2.41 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) S 16827 16830 5678 0 -1 1077944384 11724 0 0 0 240 1 0 0 20 0 15 0 11214678 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272160344176 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=2.19 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 10177 0 0 0 218 1 0 0 20 0 15 0 11214678 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=1.1 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 14113 0 0 0 107 3 0 0 20 0 15 0 11214678 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0.11 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 389 0 0 0 6 5 0 0 20 0 15 0 11214687 14317654016 792445 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 232.09 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.48 1.48 1.54 3/209 16883 /proc/meminfo: memFree=24717448/32770624 swapFree=0/937896 [pid=16830] ppid=16827 vsize=13982084 CPUtime=250.28 cores=1,3,5,7 /proc/16830/stat : 16830 (java) S 16827 16830 5678 0 -1 1077944320 88835 0 0 0 24882 146 0 0 20 0 15 0 11214663 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140730259359888 140272618069751 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 /proc/16830/statm: 3495521 792303 3809 1 0 3484303 0 [pid=16830/tid=16832] ppid=16827 vsize=13982084 CPUtime=238.14 cores=1,3,5,7 /proc/16830/task/16832/stat : 16832 (java) R 16827 16830 5678 0 -1 4202560 37672 0 0 0 23757 57 0 0 20 0 15 0 11214673 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272622307440 140272245078246 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16833] ppid=16827 vsize=13982084 CPUtime=1.5 cores=1,3,5,7 /proc/16830/task/16833/stat : 16833 (java) S 16827 16830 5678 0 -1 1077944384 2110 0 0 0 134 16 0 0 20 0 15 0 11214673 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272560015760 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16834] ppid=16827 vsize=13982084 CPUtime=1.51 cores=1,3,5,7 /proc/16830/task/16834/stat : 16834 (java) S 16827 16830 5678 0 -1 1077944384 2766 0 0 0 133 18 0 0 20 0 15 0 11214673 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272216840464 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16835] ppid=16827 vsize=13982084 CPUtime=1.51 cores=1,3,5,7 /proc/16830/task/16835/stat : 16835 (java) S 16827 16830 5678 0 -1 1077944384 1383 0 0 0 134 17 0 0 20 0 15 0 11214673 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272215788176 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16836] ppid=16827 vsize=13982084 CPUtime=1.51 cores=1,3,5,7 /proc/16830/task/16836/stat : 16836 (java) S 16827 16830 5678 0 -1 1077944384 2647 0 0 0 134 17 0 0 20 0 15 0 11214673 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272214735376 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16837] ppid=16827 vsize=13982084 CPUtime=0.15 cores=1,3,5,7 /proc/16830/task/16837/stat : 16837 (java) S 16827 16830 5678 0 -1 1077944384 3246 0 0 0 9 6 0 0 20 0 15 0 11214675 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272164555376 140272618080898 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16838] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16838/stat : 16838 (java) S 16827 16830 5678 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272163501408 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16839] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16839/stat : 16839 (java) S 16827 16830 5678 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 11214675 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272162449024 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16840] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16840/stat : 16840 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272161397328 140272618088347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16841] ppid=16827 vsize=13982084 CPUtime=2.43 cores=1,3,5,7 /proc/16830/task/16841/stat : 16841 (java) S 16827 16830 5678 0 -1 1077944384 12848 0 0 0 242 1 0 0 20 0 15 0 11214678 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272160344176 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16842] ppid=16827 vsize=13982084 CPUtime=2.19 cores=1,3,5,7 /proc/16830/task/16842/stat : 16842 (java) S 16827 16830 5678 0 -1 1077944384 10202 0 0 0 218 1 0 0 20 0 15 0 11214678 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272159291376 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16843] ppid=16827 vsize=13982084 CPUtime=1.1 cores=1,3,5,7 /proc/16830/task/16843/stat : 16843 (java) S 16827 16830 5678 0 -1 1077944384 14167 0 0 0 107 3 0 0 20 0 15 0 11214678 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272158239088 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16844] ppid=16827 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/16830/task/16844/stat : 16844 (java) S 16827 16830 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11214678 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140272157186528 140272618079957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 [pid=16830/tid=16846] ppid=16827 vsize=13982084 CPUtime=0.12 cores=1,3,5,7 /proc/16830/task/16846/stat : 16846 (java) S 16827 16830 5678 0 -1 1077944384 391 0 0 0 6 6 0 0 20 0 15 0 11214687 14317654016 792303 18446744073709551615 4194304 4196468 140730259377344 140271526603696 140272618080898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18911232 140730259378584 140730259378763 140730259378763 140730259382223 0 Current children cumulated CPU time (s) 250.28 Current children cumulated vsize (KiB) 13982084 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 16830 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.032 CPU time (s): 250.345 CPU user time (s): 248.86 CPU system time (s): 1.4856 CPU usage (%): 104.297 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 248.86 system time used= 1.4856 maximum resident set size= 3886600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90308 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11605 involuntary context switches= 394 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.00903 second user time and 1.49137 second system time The end
Begin job on node128 at 2017-08-02 00:04:21 IDJOB=4255843 IDBENCH=115895 IDSOLVER=2638 FILE ID=node128/4255843-1501625899 RUNJOBID= node128-1501622883-15277 PBS_JOBID= Free space on /tmp= 61808 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255843-1501625899/watcher-4255843-1501625899 -o /tmp/evaluation-result-4255843-1501625899/solver-4255843-1501625899 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15277 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 485112000 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255843-1501625899.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2 RANDOM SEED=485112000 node128.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31141732 kB MemAvailable: 32033572 kB Buffers: 98176 kB Cached: 1075496 kB SwapCached: 0 kB Active: 280936 kB Inactive: 946196 kB Active(anon): 53436 kB Inactive(anon): 8532 kB Active(file): 227500 kB Inactive(file): 937664 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42372 kB Writeback: 4 kB AnonPages: 128504 kB Mapped: 29216 kB Shmem: 8872 kB Slab: 110292 kB SReclaimable: 85020 kB SUnreclaim: 25272 kB KernelStack: 3456 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 280460 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61768 MiB End job on node128 at 2017-08-02 00:08:21