Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 | OPT | 45 | 164.563 | 43.5331 |
Name | OpenStacks/ OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml |
MD5SUM | 00ff107c10292685d5feb35a59a49636 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 68.4885 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7600 |
Number of constraints | 7551 |
Number of domains | 17 |
Minimum domain size | 2 |
Maximum domain size | 51 |
Distribution of domain sizes | [{"size":2,"count":5100},{"size":5,"count":50},{"size":6,"count":50},{"size":19,"count":50},{"size":20,"count":50},{"size":40,"count":50},{"size":41,"count":50},{"size":42,"count":50},{"size":43,"count":50},{"size":44,"count":250},{"size":45,"count":500},{"size":46,"count":400},{"size":47,"count":500},{"size":48,"count":100},{"size":49,"count":200},{"size":50,"count":100},{"size":51,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 51 |
Distribution of variable degrees | [{"degree":2,"count":2600},{"degree":3,"count":4950},{"degree":51,"count":50}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 51 |
Distribution of constraint arities | [{"arity":2,"count":2550},{"arity":3,"count":4950},{"arity":50,"count":1},{"arity":51,"count":50}] |
Number of extensional constraints | 2500 |
Number of intensional constraints | 2500 |
Distribution of constraint types | [{"type":"extension","count":2500},{"type":"intension","count":2500},{"type":"allDifferent","count":1},{"type":"sum","count":50},{"type":"element","count":2500}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394161-1568347197.xml" -tl '2400s' -p 4 0.13/0.19 c Choco e747e1e 0.13/0.19 c [HOME/instance-4394161-1568347197.xml, -tl, 2400s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 8.09/2.71 c solve instance... 11.63/3.69 o 49 12.43/3.81 o 48 13.61/4.11 o 47 14.36/4.35 o 46 20.04/7.07 o 45 164.53/43.50 s OPTIMUM FOUND 164.53/43.50 v <instantiation> 164.53/43.50 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][30] np[0][31] np[0][32] np[0][33] np[0][34] np[0][35] np[0][36] np[0][37] np[0][38] np[0][39] np[0][40] np[0][41] np[0][42] np[0][43] np[0][44] np[0][45] np[0][46] np[0][47] np[0][48] np[0][49] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][30] np[1][31] np[1][32] np[1][33] np[1][34] np[1][35] np[1][36] np[1][37] np[1][38] np[1][39] np[1][40] np[1][41] np[1][42] np[1][43] np[1][44] np[1][45] np[1][46] np[1][47] np[1][48] np[1][49] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][30] np[2][31] np[2][32] np[2][33] np[2][34] np[2][35] np[2][36] np[2][37] np[2][38] np[2][39] np[2][40] np[2][41] np[2][42] np[2][43] np[2][44] np[2][45] np[2][46] np[2][47] np[2][48] np[2][49] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][30] np[3][31] np[3][32] np[3][33] np[3][34] np[3][35] np[3][36] np[3][37] np[3][38] np[3][39] np[3][40] np[3][41] np[3][42] np[3][43] np[3][44] np[3][45] np[3][46] np[3][47] np[3][48] np[3][49] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][30] np[4][31] np[4][32] np[4][33] np[4][34] np[4][35] np[4][36] np[4][37] np[4][38] np[4][39] np[4][40] np[4][41] np[4][42] np[4][43] np[4][44] np[4][45] np[4][46] np[4][47] np[4][48] np[4][49] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][30] np[5][31] np[5][32] np[5][33] np[5][34] np[5][35] np[5][36] np[5][37] np[5][38] np[5][39] np[5][40] np[5][41] np[5][42] np[5][43] np[5][44] np[5][45] np[5][46] np[5][47] np[5][48] np[5][49] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][30] np[6][31] np[6][32] np[6][33] np[6][34] np[6][35] np[6][36] np[6][37] np[6][38] np[6][39] np[6][40] np[6][41] np[6][42] np[6][43] np[6][44] np[6][45] np[6][46] np[6][47] np[6][48] np[6][49] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][30] np[7][31] np[7][32] np[7][33] np[7][34] np[7][35] np[7][36] np[7][37] np[7][38] np[7][39] np[7][40] np[7][41] np[7][42] np[7][43] np[7][44] np[7][45] np[7][46] np[7][47] np[7][48] np[7][49] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][30] np[8][31] np[8][32] np[8][33] np[8][34] np[8][35] np[8][36] np[8][37] np[8][38] np[8][39] np[8][40] np[8][41] np[8][42] np[8][43] np[8][44] np[8][45] np[8][46] np[8][47] np[8][48] np[8][49] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][30] np[9][31] np[9][32] np[9][33] np[9][34] np[9][35] np[9][36] np[9][37] np[9][38] np[9][39] np[9][40] np[9][41] np[9][42] np[9][43] np[9][44] np[9][45] np[9][46] np[9][47] np[9][48] np[9][49] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][30] np[10][31] np[10][32] np[10][33] np[10][34] np[10][35] np[10][36] np[10][37] np[10][38] np[10][39] np[10][40] np[10][41] np[10][42] np[10][43] np[10][44] np[10][45] np[10][46] np[10][47] np[10][48] np[10][49] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][30] np[11][31] np[11][32] np[11][33] np[11][34] np[11][35] np[11][36] np[11][37] np[11][38] np[11][39] np[11][40] np[11][41] np[11][42] np[11][43] np[11][44] np[11][45] np[11][46] np[11][47] np[11][48] np[11][49] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][30] np[12][31] np[12][32] np[12][33] np[12][34] np[12][35] np[12][36] np[12][37] np[12][38] np[12][39] np[12][40] np[12][41] np[12][42] np[12][43] np[12][44] np[12][45] np[12][46] np[12][47] np[12][48] np[12][49] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][30] np[13][31] np[13][32] np[13][33] np[13][34] np[13][35] np[13][36] np[13][37] np[13][38] np[13][39] np[13][40] np[13][41] np[13][42] np[13][43] np[13][44] np[13][45] np[13][46] np[13][47] np[13][48] np[13][49] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][30] np[14][31] np[14][32] np[14][33] np[14][34] np[14][35] np[14][36] np[14][37] np[14][38] np[14][39] np[14][40] np[14][41] np[14][42] np[14][43] np[14][44] np[14][45] np[14][46] np[14][47] np[14][48] np[14][49] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][30] np[15][31] np[15][32] np[15][33] np[15][34] np[15][35] np[15][36] np[15][37] np[15][38] np[15][39] np[15][40] np[15][41] np[15][42] np[15][43] np[15][44] np[15][45] np[15][46] np[15][47] np[15][48] np[15][49] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][30] np[16][31] np[16][32] np[16][33] np[16][34] np[16][35] np[16][36] np[16][37] np[16][38] np[16][39] np[16][40] np[16][41] np[16][42] np[16][43] np[16][44] np[16][45] np[16][46] np[16][47] np[16][48] np[16][49] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][30] np[17][31] np[17][32] np[17][33] np[17][34] np[17][35] np[17][36] np[17][37] np[17][38] np[17][39] np[17][40] np[17][41] np[17][42] np[17][43] np[17][44] np[17][45] np[17][46] np[17][47] np[17][48] np[17][49] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][30] np[18][31] np[18][32] np[18][33] np[18][34] np[18][35] np[18][36] np[18][37] np[18][38] np[18][39] np[18][40] np[18][41] np[18][42] np[18][43] np[18][44] np[18][45] np[18][46] np[18][47] np[18][48] np[18][49] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][30] np[19][31] np[19][32] np[19][33] np[19][34] np[19][35] np[19][36] np[19][37] np[19][38] np[19][39] np[19][40] np[19][41] np[19][42] np[19][43] np[19][44] np[19][45] np[19][46] np[19][47] np[19][48] np[19][49] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[20][30] np[20][31] np[20][32] np[20][33] np[20][34] np[20][35] np[20][36] np[20][37] np[20][38] np[20][39] np[20][40] np[20][41] np[20][42] np[20][43] np[20][44] np[20][45] np[20][46] np[20][47] np[20][48] np[20][49] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[21][30] np[21][31] np[21][32] np[21][33] np[21][34] np[21][35] np[21][36] np[21][37] np[21][38] np[21][39] np[21][40] np[21][41] np[21][42] np[21][43] np[21][44] np[21][45] np[21][46] np[21][47] np[21][48] np[21][49] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[22][30] np[22][31] np[22][32] np[22][33] np[22][34] np[22][35] np[22][36] np[22][37] np[22][38] np[22][39] np[22][40] np[22][41] np[22][42] np[22][43] np[22][44] np[22][45] np[22][46] np[22][47] np[22][48] np[22][49] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[23][30] np[23][31] np[23][32] np[23][33] np[23][34] np[23][35] np[23][36] np[23][37] np[23][38] np[23][39] np[23][40] np[23][41] np[23][42] np[23][43] np[23][44] np[23][45] np[23][46] np[23][47] np[23][48] np[23][49] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[24][30] np[24][31] np[24][32] np[24][33] np[24][34] np[24][35] np[24][36] np[24][37] np[24][38] np[24][39] np[24][40] np[24][41] np[24][42] np[24][43] np[24][44] np[24][45] np[24][46] np[24][47] np[24][48] np[24][49] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[25][30] np[25][31] np[25][32] np[25][33] np[25][34] np[25][35] np[25][36] np[25][37] np[25][38] np[25][39] np[25][40] np[25][41] np[25][42] np[25][43] np[25][44] np[25][45] np[25][46] np[25][47] np[25][48] np[25][49] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[26][30] np[26][31] np[26][32] np[26][33] np[26][34] np[26][35] np[26][36] np[26][37] np[26][38] np[26][39] np[26][40] np[26][41] np[26][42] np[26][43] np[26][44] np[26][45] np[26][46] np[26][47] np[26][48] np[26][49] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[27][30] np[27][31] np[27][32] np[27][33] np[27][34] np[27][35] np[27][36] np[27][37] np[27][38] np[27][39] np[27][40] np[27][41] np[27][42] np[27][43] np[27][44] np[27][45] np[27][46] np[27][47] np[27][48] np[27][49] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[28][30] np[28][31] np[28][32] np[28][33] np[28][34] np[28][35] np[28][36] np[28][37] np[28][38] np[28][39] np[28][40] np[28][41] np[28][42] np[28][43] np[28][44] np[28][45] np[28][46] np[28][47] np[28][48] np[28][49] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] np[29][30] np[29][31] np[29][32] np[29][33] np[29][34] np[29][35] np[29][36] np[29][37] np[29][38] np[29][39] np[29][40] np[29][41] np[29][42] np[29][43] np[29][44] np[29][45] np[29][46] np[29][47] np[29][48] np[29][49] np[30][0] np[30][1] np[30][2] np[30][3] np[30][4] np[30][5] np[30][6] np[30][7] np[30][8] np[30][9] np[30][10] np[30][11] np[30][12] np[30][13] np[30][14] np[30][15] np[30][16] np[30][17] np[30][18] np[30][19] np[30][20] np[30][21] np[30][22] np[30][23] np[30][24] np[30][25] np[30][26] np[30][27] np[30][28] np[30][29] np[30][30] np[30][31] np[30][32] np[30][33] np[30][34] np[30][35] np[30][36] np[30][37] np[30][38] np[30][39] np[30][40] np[30][41] np[30][42] np[30][43] np[30][44] np[30][45] np[30][46] np[30][47] np[30][48] np[30][49] np[31][0] np[31][1] np[31][2] np[31][3] np[31][4] np[31][5] np[31][6] np[31][7] np[31][8] np[31][9] np[31][10] np[31][11] np[31][12] np[31][13] np[31][14] np[31][15] np[31][16] np[31][17] np[31][18] np[31][19] np[31][20] np[31][21] np[31][22] np[31][23] np[31][24] np[31][25] np[31][26] np[31][27] np[31][28] np[31][29] np[31][30] np[31][31] np[31][32] np[31][33] np[31][34] np[31][35] np[31][36] np[31][37] np[31][38] np[31][39] np[31][40] np[31][41] np[31][42] np[31][43] np[31][44] np[31][45] np[31][46] np[31][47] np[31][48] np[31][49] np[32][0] np[32][1] np[32][2] np[32][3] np[32][4] np[32][5] np[32][6] np[32][7] np[32][8] np[32][9] np[32][10] np[32][11] np[32][12] np[32][13] np[32][14] np[32][15] np[32][16] np[32][17] np[32][18] np[32][19] np[32][20] np[32][21] np[32][22] np[32][23] np[32][24] np[32][25] np[32][26] np[32][27] np[32][28] np[32][29] np[32][30] np[32][31] np[32][32] np[32][33] np[32][34] np[32][35] np[32][36] np[32][37] np[32][38] np[32][39] np[32][40] np[32][41] np[32][42] np[32][43] np[32][44] np[32][45] np[32][46] np[32][47] np[32][48] np[32][49] np[33][0] np[33][1] np[33][2] np[33][3] np[33][4] np[33][5] np[33][6] np[33][7] np[33][8] np[33][9] np[33][10] np[33][11] np[33][12] np[33][13] np[33][14] np[33][15] np[33][16] np[33][17] np[33][18] np[33][19] np[33][20] np[33][21] np[33][22] np[33][23] np[33][24] np[33][25] np[33][26] np[33][27] np[33][28] np[33][29] np[33][30] np[33][31] np[33][32] np[33][33] np[33][34] np[33][35] np[33][36] np[33][37] np[33][38] np[33][39] np[33][40] np[33][41] np[33][42] np[33][43] np[33][44] np[33][45] np[33][46] np[33][47] np[33][48] np[33][49] np[34][0] np[34][1] np[34][2] np[34][3] np[34][4] np[34][5] np[34][6] np[34][7] np[34][8] np[34][9] np[34][10] np[34][11] np[34][12] np[34][13] np[34][14] np[34][15] np[34][16] np[34][17] np[34][18] np[34][19] np[34][20] np[34][21] np[34][22] np[34][23] np[34][24] np[34][25] np[34][26] np[34][27] np[34][28] np[34][29] np[34][30] np[34][31] np[34][32] np[34][33] np[34][34] np[34][35] np[34][36] np[34][37] np[34][38] np[34][39] np[34][40] np[34][41] np[34][42] np[34][43] np[34][44] np[34][45] np[34][46] np[34][47] np[34][48] np[34][49] np[35][0] np[35][1] np[35][2] np[35][3] np[35][4] np[35][5] np[35][6] np[35][7] np[35][8] np[35][9] np[35][10] np[35][11] np[35][12] np[35][13] np[35][14] np[35][15] np[35][16] np[35][17] np[35][18] np[35][19] np[35][20] np[35][21] np[35][22] np[35][23] np[35][24] np[35][25] np[35][26] np[35][27] np[35][28] np[35][29] np[35][30] np[35][31] np[35][32] np[35][33] np[35][34] np[35][35] np[35][36] np[35][37] np[35][38] np[35][39] np[35][40] np[35][41] np[35][42] np[35][43] np[35][44] np[35][45] np[35][46] np[35][47] np[35][48] np[35][49] np[36][0] np[36][1] np[36][2] np[36][3] np[36][4] np[36][5] np[36][6] np[36][7] np[36][8] np[36][9] np[36][10] np[36][11] np[36][12] np[36][13] np[36][14] np[36][15] np[36][16] np[36][17] np[36][18] np[36][19] np[36][20] np[36][21] np[36][22] np[36][23] np[36][24] np[36][25] np[36][26] np[36][27] np[36][28] np[36][29] np[36][30] np[36][31] np[36][32] np[36][33] np[36][34] np[36][35] np[36][36] np[36][37] np[36][38] np[36][39] np[36][40] np[36][41] np[36][42] np[36][43] np[36][44] np[36][45] np[36][46] np[36][47] np[36][48] np[36][49] np[37][0] np[37][1] np[37][2] np[37][3] np[37][4] np[37][5] np[37][6] np[37][7] np[37][8] np[37][9] np[37][10] np[37][11] np[37][12] np[37][13] np[37][14] np[37][15] np[37][16] np[37][17] np[37][18] np[37][19] np[37][20] np[37][21] np[37][22] np[37][23] np[37][24] np[37][25] np[37][26] np[37][27] np[37][28] np[37][29] np[37][30] np[37][31] np[37][32] np[37][33] np[37][34] np[37][35] np[37][36] np[37][37] np[37][38] np[37][39] np[37][40] np[37][41] np[37][42] np[37][43] np[37][44] np[37][45] np[37][46] np[37][47] np[37][48] np[37][49] np[38][0] np[38][1] np[38][2] np[38][3] np[38][4] np[38][5] np[38][6] np[38][7] np[38][8] np[38][9] np[38][10] np[38][11] np[38][12] np[38][13] np[38][14] np[38][15] np[38][16] np[38][17] np[38][18] np[38][19] np[38][20] np[38][21] np[38][22] np[38][23] np[38][24] np[38][25] np[38][26] np[38][27] np[38][28] np[38][29] np[38][30] np[38][31] np[38][32] np[38][33] np[38][34] np[38][35] np[38][36] np[38][37] np[38][38] np[38][39] np[38][40] np[38][41] np[38][42] np[38][43] np[38][44] np[38][45] np[38][46] np[38][47] np[38][48] np[38][49] np[39][0] np[39][1] np[39][2] np[39][3] np[39][4] np[39][5] np[39][6] np[39][7] np[39][8] np[39][9] np[39][10] np[39][11] np[39][12] np[39][13] np[39][14] np[39][15] np[39][16] np[39][17] np[39][18] np[39][19] np[39][20] np[39][21] np[39][22] np[39][23] np[39][24] np[39][25] np[39][26] np[39][27] np[39][28] np[39][29] np[39][30] np[39][31] np[39][32] np[39][33] np[39][34] np[39][35] np[39][36] np[39][37] np[39][38] np[39][39] np[39][40] np[39][41] np[39][42] np[39][43] np[39][44] np[39][45] np[39][46] np[39][47] np[39][48] np[39][49] np[40][0] np[40][1] np[40][2] np[40][3] np[40][4] np[40][5] np[40][6] np[40][7] np[40][8] np[40][9] np[40][10] np[40][11] np[40][12] np[40][13] np[40][14] np[40][15] np[40][16] np[40][17] np[40][18] np[40][19] np[40][20] np[40][21] np[40][22] np[40][23] np[40][24] np[40][25] np[40][26] np[40][27] np[40][28] np[40][29] np[40][30] np[40][31] np[40][32] np[40][33] np[40][34] np[40][35] np[40][36] np[40][37] np[40][38] np[40][39] np[40][40] np[40][41] np[40][42] np[40][43] np[40][44] np[40][45] np[40][46] np[40][47] np[40][48] np[40][49] np[41][0] np[41][1] np[41][2] np[41][3] np[41][4] np[41][5] np[41][6] np[41][7] np[41][8] np[41][9] np[41][10] np[41][11] np[41][12] np[41][13] np[41][14] np[41][15] np[41][16] np[41][17] np[41][18] np[41][19] np[41][20] np[41][21] np[41][22] np[41][23] np[41][24] np[41][25] np[41][26] np[41][27] np[41][28] np[41][29] np[41][30] np[41][31] np[41][32] np[41][33] np[41][34] np[41][35] np[41][36] np[41][37] np[41][38] np[41][39] np[41][40] np[41][41] np[41][42] np[41][43] np[41][44] np[41][45] np[41][46] np[41][47] np[41][48] np[41][49] np[42][0] np[42][1] np[42][2] np[42][3] np[42][4] np[42][5] np[42][6] np[42][7] np[42][8] np[42][9] np[42][10] np[42][11] np[42][12] np[42][13] np[42][14] np[42][15] np[42][16] np[42][17] np[42][18] np[42][19] np[42][20] np[42][21] np[42][22] np[42][23] np[42][24] np[42][25] np[42][26] np[42][27] np[42][28] np[42][29] np[42][30] np[42][31] np[42][32] np[42][33] np[42][34] np[42][35] np[42][36] np[42][37] np[42][38] np[42][39] np[42][40] np[42][41] np[42][42] np[42][43] np[42][44] np[42][45] np[42][46] np[42][47] np[42][48] np[42][49] np[43][0] np[43][1] np[43][2] np[43][3] np[43][4] np[43][5] np[43][6] np[43][7] np[43][8] np[43][9] np[43][10] np[43][11] np[43][12] np[43][13] np[43][14] np[43][15] np[43][16] np[43][17] np[43][18] np[43][19] np[43][20] np[43][21] np[43][22] np[43][23] np[43][24] np[43][25] np[43][26] np[43][27] np[43][28] np[43][29] np[43][30] np[43][31] np[43][32] np[43][33] np[43][34] np[43][35] np[43][36] np[43][37] np[43][38] np[43][39] np[43][40] np[43][41] np[43][42] np[43][43] np[43][44] np[43][45] np[43][46] np[43][47] np[43][48] np[43][49] np[44][0] np[44][1] np[44][2] np[44][3] np[44][4] np[44][5] np[44][6] np[44][7] np[44][8] np[44][9] np[44][10] np[44][11] np[44][12] np[44][13] np[44][14] np[44][15] np[44][16] np[44][17] np[44][18] np[44][19] np[44][20] np[44][21] np[44][22] np[44][23] np[44][24] np[44][25] np[44][26] np[44][27] np[44][28] np[44][29] np[44][30] np[44][31] np[44][32] np[44][33] np[44][34] np[44][35] np[44][36] np[44][37] np[44][38] np[44][39] np[44][40] np[44][41] np[44][42] np[44][43] np[44][44] np[44][45] np[44][46] np[44][47] np[44][48] np[44][49] np[45][0] np[45][1] np[45][2] np[45][3] np[45][4] np[45][5] np[45][6] np[45][7] np[45][8] np[45][9] np[45][10] np[45][11] np[45][12] np[45][13] np[45][14] np[45][15] np[45][16] np[45][17] np[45][18] np[45][19] np[45][20] np[45][21] np[45][22] np[45][23] np[45][24] np[45][25] np[45][26] np[45][27] np[45][28] np[45][29] np[45][30] np[45][31] np[45][32] np[45][33] np[45][34] np[45][35] np[45][36] np[45][37] np[45][38] np[45][39] np[45][40] np[45][41] np[45][42] np[45][43] np[45][44] np[45][45] np[45][46] np[45][47] np[45][48] np[45][49] np[46][0] np[46][1] np[46][2] np[46][3] np[46][4] np[46][5] np[46][6] np[46][7] np[46][8] np[46][9] np[46][10] np[46][11] np[46][12] np[46][13] np[46][14] np[46][15] np[46][16] np[46][17] np[46][18] np[46][19] np[46][20] np[46][21] np[46][22] np[46][23] np[46][24] np[46][25] np[46][26] np[46][27] np[46][28] np[46][29] np[46][30] np[46][31] np[46][32] np[46][33] np[46][34] np[46][35] np[46][36] np[46][37] np[46][38] np[46][39] np[46][40] np[46][41] np[46][42] np[46][43] np[46][44] np[46][45] np[46][46] np[46][47] np[46][48] np[46][49] np[47][0] np[47][1] np[47][2] np[47][3] np[47][4] np[47][5] np[47][6] np[47][7] np[47][8] np[47][9] np[47][10] np[47][11] np[47][12] np[47][13] np[47][14] np[47][15] np[47][16] np[47][17] np[47][18] np[47][19] np[47][20] np[47][21] np[47][22] np[47][23] np[47][24] np[47][25] np[47][26] np[47][27] np[47][28] np[47][29] np[47][30] np[47][31] np[47][32] np[47][33] np[47][34] np[47][35] np[47][36] np[47][37] np[47][38] np[47][39] np[47][40] np[47][41] np[47][42] np[47][43] np[47][44] np[47][45] np[47][46] np[47][47] np[47][48] np[47][49] np[48][0] np[48][1] np[48][2] np[48][3] np[48][4] np[48][5] np[48][6] np[48][7] np[48][8] np[48][9] np[48][10] np[48][11] np[48][12] np[48][13] np[48][14] np[48][15] np[48][16] np[48][17] np[48][18] np[48][19] np[48][20] np[48][21] np[48][22] np[48][23] np[48][24] np[48][25] np[48][26] np[48][27] np[48][28] np[48][29] np[48][30] np[48][31] np[48][32] np[48][33] np[48][34] np[48][35] np[48][36] np[48][37] np[48][38] np[48][39] np[48][40] np[48][41] np[48][42] np[48][43] np[48][44] np[48][45] np[48][46] np[48][47] np[48][48] np[48][49] np[49][0] np[49][1] np[49][2] np[49][3] np[49][4] np[49][5] np[49][6] np[49][7] np[49][8] np[49][9] np[49][10] np[49][11] np[49][12] np[49][13] np[49][14] np[49][15] np[49][16] np[49][17] np[49][18] np[49][19] np[49][20] np[49][21] np[49][22] np[49][23] np[49][24] np[49][25] np[49][26] np[49][27] np[49][28] np[49][29] np[49][30] np[49][31] np[49][32] np[49][33] np[49][34] np[49][35] np[49][36] np[49][37] np[49][38] np[49][39] np[49][40] np[49][41] np[49][42] np[49][43] np[49][44] np[49][45] np[49][46] np[49][47] np[49][48] np[49][49] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][30] r[0][31] r[0][32] r[0][33] r[0][34] r[0][35] r[0][36] r[0][37] r[0][38] r[0][39] r[0][40] r[0][41] r[0][42] r[0][43] r[0][44] r[0][45] r[0][46] r[0][47] r[0][48] r[0][49] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][30] r[1][31] r[1][32] r[1][33] r[1][34] r[1][35] r[1][36] r[1][37] r[1][38] r[1][39] r[1][40] r[1][41] r[1][42] r[1][43] r[1][44] r[1][45] r[1][46] r[1][47] r[1][48] r[1][49] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][30] r[2][31] r[2][32] r[2][33] r[2][34] r[2][35] r[2][36] r[2][37] r[2][38] r[2][39] r[2][40] r[2][41] r[2][42] r[2][43] r[2][44] r[2][45] r[2][46] r[2][47] r[2][48] r[2][49] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][30] r[3][31] r[3][32] r[3][33] r[3][34] r[3][35] r[3][36] r[3][37] r[3][38] r[3][39] r[3][40] r[3][41] r[3][42] r[3][43] r[3][44] r[3][45] r[3][46] r[3][47] r[3][48] r[3][49] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][30] r[4][31] r[4][32] r[4][33] r[4][34] r[4][35] r[4][36] r[4][37] r[4][38] r[4][39] r[4][40] r[4][41] r[4][42] r[4][43] r[4][44] r[4][45] r[4][46] r[4][47] r[4][48] r[4][49] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][30] r[5][31] r[5][32] r[5][33] r[5][34] r[5][35] r[5][36] r[5][37] r[5][38] r[5][39] r[5][40] r[5][41] r[5][42] r[5][43] r[5][44] r[5][45] r[5][46] r[5][47] r[5][48] r[5][49] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][30] r[6][31] r[6][32] r[6][33] r[6][34] r[6][35] r[6][36] r[6][37] r[6][38] r[6][39] r[6][40] r[6][41] r[6][42] r[6][43] r[6][44] r[6][45] r[6][46] r[6][47] r[6][48] r[6][49] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][30] r[7][31] r[7][32] r[7][33] r[7][34] r[7][35] r[7][36] r[7][37] r[7][38] r[7][39] r[7][40] r[7][41] r[7][42] r[7][43] r[7][44] r[7][45] r[7][46] r[7][47] r[7][48] r[7][49] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][30] r[8][31] r[8][32] r[8][33] r[8][34] r[8][35] r[8][36] r[8][37] r[8][38] r[8][39] r[8][40] r[8][41] r[8][42] r[8][43] r[8][44] r[8][45] r[8][46] r[8][47] r[8][48] r[8][49] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][30] r[9][31] r[9][32] r[9][33] r[9][34] r[9][35] r[9][36] r[9][37] r[9][38] r[9][39] r[9][40] r[9][41] r[9][42] r[9][43] r[9][44] r[9][45] r[9][46] r[9][47] r[9][48] r[9][49] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][30] r[10][31] r[10][32] r[10][33] r[10][34] r[10][35] r[10][36] r[10][37] r[10][38] r[10][39] r[10][40] r[10][41] r[10][42] r[10][43] r[10][44] r[10][45] r[10][46] r[10][47] r[10][48] r[10][49] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][30] r[11][31] r[11][32] r[11][33] r[11][34] r[11][35] r[11][36] r[11][37] r[11][38] r[11][39] r[11][40] r[11][41] r[11][42] r[11][43] r[11][44] r[11][45] r[11][46] r[11][47] r[11][48] r[11][49] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][30] r[12][31] r[12][32] r[12][33] r[12][34] r[12][35] r[12][36] r[12][37] r[12][38] r[12][39] r[12][40] r[12][41] r[12][42] r[12][43] r[12][44] r[12][45] r[12][46] r[12][47] r[12][48] r[12][49] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][30] r[13][31] r[13][32] r[13][33] r[13][34] r[13][35] r[13][36] r[13][37] r[13][38] r[13][39] r[13][40] r[13][41] r[13][42] r[13][43] r[13][44] r[13][45] r[13][46] r[13][47] r[13][48] r[13][49] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][30] r[14][31] r[14][32] r[14][33] r[14][34] r[14][35] r[14][36] r[14][37] r[14][38] r[14][39] r[14][40] r[14][41] r[14][42] r[14][43] r[14][44] r[14][45] r[14][46] r[14][47] r[14][48] r[14][49] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][30] r[15][31] r[15][32] r[15][33] r[15][34] r[15][35] r[15][36] r[15][37] r[15][38] r[15][39] r[15][40] r[15][41] r[15][42] r[15][43] r[15][44] r[15][45] r[15][46] r[15][47] r[15][48] r[15][49] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][30] r[16][31] r[16][32] r[16][33] r[16][34] r[16][35] r[16][36] r[16][37] r[16][38] r[16][39] r[16][40] r[16][41] r[16][42] r[16][43] r[16][44] r[16][45] r[16][46] r[16][47] r[16][48] r[16][49] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][30] r[17][31] r[17][32] r[17][33] r[17][34] r[17][35] r[17][36] r[17][37] r[17][38] r[17][39] r[17][40] r[17][41] r[17][42] r[17][43] r[17][44] r[17][45] r[17][46] r[17][47] r[17][48] r[17][49] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][30] r[18][31] r[18][32] r[18][33] r[18][34] r[18][35] r[18][36] r[18][37] r[18][38] r[18][39] r[18][40] r[18][41] r[18][42] r[18][43] r[18][44] r[18][45] r[18][46] r[18][47] r[18][48] r[18][49] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][30] r[19][31] r[19][32] r[19][33] r[19][34] r[19][35] r[19][36] r[19][37] r[19][38] r[19][39] r[19][40] r[19][41] r[19][42] r[19][43] r[19][44] r[19][45] r[19][46] r[19][47] r[19][48] r[19][49] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[20][30] r[20][31] r[20][32] r[20][33] r[20][34] r[20][35] r[20][36] r[20][37] r[20][38] r[20][39] r[20][40] r[20][41] r[20][42] r[20][43] r[20][44] r[20][45] r[20][46] r[20][47] r[20][48] r[20][49] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[21][30] r[21][31] r[21][32] r[21][33] r[21][34] r[21][35] r[21][36] r[21][37] r[21][38] r[21][39] r[21][40] r[21][41] r[21][42] r[21][43] r[21][44] r[21][45] r[21][46] r[21][47] r[21][48] r[21][49] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[22][30] r[22][31] r[22][32] r[22][33] r[22][34] r[22][35] r[22][36] r[22][37] r[22][38] r[22][39] r[22][40] r[22][41] r[22][42] r[22][43] r[22][44] r[22][45] r[22][46] r[22][47] r[22][48] r[22][49] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[23][30] r[23][31] r[23][32] r[23][33] r[23][34] r[23][35] r[23][36] r[23][37] r[23][38] r[23][39] r[23][40] r[23][41] r[23][42] r[23][43] r[23][44] r[23][45] r[23][46] r[23][47] r[23][48] r[23][49] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[24][30] r[24][31] r[24][32] r[24][33] r[24][34] r[24][35] r[24][36] r[24][37] r[24][38] r[24][39] r[24][40] r[24][41] r[24][42] r[24][43] r[24][44] r[24][45] r[24][46] r[24][47] r[24][48] r[24][49] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[25][30] r[25][31] r[25][32] r[25][33] r[25][34] r[25][35] r[25][36] r[25][37] r[25][38] r[25][39] r[25][40] r[25][41] r[25][42] r[25][43] r[25][44] r[25][45] r[25][46] r[25][47] r[25][48] r[25][49] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[26][30] r[26][31] r[26][32] r[26][33] r[26][34] r[26][35] r[26][36] r[26][37] r[26][38] r[26][39] r[26][40] r[26][41] r[26][42] r[26][43] r[26][44] r[26][45] r[26][46] r[26][47] r[26][48] r[26][49] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[27][30] r[27][31] r[27][32] r[27][33] r[27][34] r[27][35] r[27][36] r[27][37] r[27][38] r[27][39] r[27][40] r[27][41] r[27][42] r[27][43] r[27][44] r[27][45] r[27][46] r[27][47] r[27][48] r[27][49] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[28][30] r[28][31] r[28][32] r[28][33] r[28][34] r[28][35] r[28][36] r[28][37] r[28][38] r[28][39] r[28][40] r[28][41] r[28][42] r[28][43] r[28][44] r[28][45] r[28][46] r[28][47] r[28][48] r[28][49] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] r[29][30] r[29][31] r[29][32] r[29][33] r[29][34] r[29][35] r[29][36] r[29][37] r[29][38] r[29][39] r[29][40] r[29][41] r[29][42] r[29][43] r[29][44] r[29][45] r[29][46] r[29][47] r[29][48] r[29][49] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[30][20] r[30][21] r[30][22] r[30][23] r[30][24] r[30][25] r[30][26] r[30][27] r[30][28] r[30][29] r[30][30] r[30][31] r[30][32] r[30][33] r[30][34] r[30][35] r[30][36] r[30][37] r[30][38] r[30][39] r[30][40] r[30][41] r[30][42] r[30][43] r[30][44] r[30][45] r[30][46] r[30][47] r[30][48] r[30][49] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[31][20] r[31][21] r[31][22] r[31][23] r[31][24] r[31][25] r[31][26] r[31][27] r[31][28] r[31][29] r[31][30] r[31][31] r[31][32] r[31][33] r[31][34] r[31][35] r[31][36] r[31][37] r[31][38] r[31][39] r[31][40] r[31][41] r[31][42] r[31][43] r[31][44] r[31][45] r[31][46] r[31][47] r[31][48] r[31][49] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[32][20] r[32][21] r[32][22] r[32][23] r[32][24] r[32][25] r[32][26] r[32][27] r[32][28] r[32][29] r[32][30] r[32][31] r[32][32] r[32][33] r[32][34] r[32][35] r[32][36] r[32][37] r[32][38] r[32][39] r[32][40] r[32][41] r[32][42] r[32][43] r[32][44] r[32][45] r[32][46] r[32][47] r[32][48] r[32][49] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[33][20] r[33][21] r[33][22] r[33][23] r[33][24] r[33][25] r[33][26] r[33][27] r[33][28] r[33][29] r[33][30] r[33][31] r[33][32] r[33][33] r[33][34] r[33][35] r[33][36] r[33][37] r[33][38] r[33][39] r[33][40] r[33][41] r[33][42] r[33][43] r[33][44] r[33][45] r[33][46] r[33][47] r[33][48] r[33][49] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[34][20] r[34][21] r[34][22] r[34][23] r[34][24] r[34][25] r[34][26] r[34][27] r[34][28] r[34][29] r[34][30] r[34][31] r[34][32] r[34][33] r[34][34] r[34][35] r[34][36] r[34][37] r[34][38] r[34][39] r[34][40] r[34][41] r[34][42] r[34][43] r[34][44] r[34][45] r[34][46] r[34][47] r[34][48] r[34][49] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[35][20] r[35][21] r[35][22] r[35][23] r[35][24] r[35][25] r[35][26] r[35][27] r[35][28] r[35][29] r[35][30] r[35][31] r[35][32] r[35][33] r[35][34] r[35][35] r[35][36] r[35][37] r[35][38] r[35][39] r[35][40] r[35][41] r[35][42] r[35][43] r[35][44] r[35][45] r[35][46] r[35][47] r[35][48] r[35][49] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[36][20] r[36][21] r[36][22] r[36][23] r[36][24] r[36][25] r[36][26] r[36][27] r[36][28] r[36][29] r[36][30] r[36][31] r[36][32] r[36][33] r[36][34] r[36][35] r[36][36] r[36][37] r[36][38] r[36][39] r[36][40] r[36][41] r[36][42] r[36][43] r[36][44] r[36][45] r[36][46] r[36][47] r[36][48] r[36][49] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[37][20] r[37][21] r[37][22] r[37][23] r[37][24] r[37][25] r[37][26] r[37][27] r[37][28] r[37][29] r[37][30] r[37][31] r[37][32] r[37][33] r[37][34] r[37][35] r[37][36] r[37][37] r[37][38] r[37][39] r[37][40] r[37][41] r[37][42] r[37][43] r[37][44] r[37][45] r[37][46] r[37][47] r[37][48] r[37][49] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[38][20] r[38][21] r[38][22] r[38][23] r[38][24] r[38][25] r[38][26] r[38][27] r[38][28] r[38][29] r[38][30] r[38][31] r[38][32] r[38][33] r[38][34] r[38][35] r[38][36] r[38][37] r[38][38] r[38][39] r[38][40] r[38][41] r[38][42] r[38][43] r[38][44] r[38][45] r[38][46] r[38][47] r[38][48] r[38][49] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[39][20] r[39][21] r[39][22] r[39][23] r[39][24] r[39][25] r[39][26] r[39][27] r[39][28] r[39][29] r[39][30] r[39][31] r[39][32] r[39][33] r[39][34] r[39][35] r[39][36] r[39][37] r[39][38] r[39][39] r[39][40] r[39][41] r[39][42] r[39][43] r[39][44] r[39][45] r[39][46] r[39][47] r[39][48] r[39][49] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[40][20] r[40][21] r[40][22] r[40][23] r[40][24] r[40][25] r[40][26] r[40][27] r[40][28] r[40][29] r[40][30] r[40][31] r[40][32] r[40][33] r[40][34] r[40][35] r[40][36] r[40][37] r[40][38] r[40][39] r[40][40] r[40][41] r[40][42] r[40][43] r[40][44] r[40][45] r[40][46] r[40][47] r[40][48] r[40][49] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[41][20] r[41][21] r[41][22] r[41][23] r[41][24] r[41][25] r[41][26] r[41][27] r[41][28] r[41][29] r[41][30] r[41][31] r[41][32] r[41][33] r[41][34] r[41][35] r[41][36] r[41][37] r[41][38] r[41][39] r[41][40] r[41][41] r[41][42] r[41][43] r[41][44] r[41][45] r[41][46] r[41][47] r[41][48] r[41][49] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[42][20] r[42][21] r[42][22] r[42][23] r[42][24] r[42][25] r[42][26] r[42][27] r[42][28] r[42][29] r[42][30] r[42][31] r[42][32] r[42][33] r[42][34] r[42][35] r[42][36] r[42][37] r[42][38] r[42][39] r[42][40] r[42][41] r[42][42] r[42][43] r[42][44] r[42][45] r[42][46] r[42][47] r[42][48] r[42][49] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[43][20] r[43][21] r[43][22] r[43][23] r[43][24] r[43][25] r[43][26] r[43][27] r[43][28] r[43][29] r[43][30] r[43][31] r[43][32] r[43][33] r[43][34] r[43][35] r[43][36] r[43][37] r[43][38] r[43][39] r[43][40] r[43][41] r[43][42] r[43][43] r[43][44] r[43][45] r[43][46] r[43][47] r[43][48] r[43][49] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[44][20] r[44][21] r[44][22] r[44][23] r[44][24] r[44][25] r[44][26] r[44][27] r[44][28] r[44][29] r[44][30] r[44][31] r[44][32] r[44][33] r[44][34] r[44][35] r[44][36] r[44][37] r[44][38] r[44][39] r[44][40] r[44][41] r[44][42] r[44][43] r[44][44] r[44][45] r[44][46] r[44][47] r[44][48] r[44][49] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[45][20] r[45][21] r[45][22] r[45][23] r[45][24] r[45][25] r[45][26] r[45][27] r[45][28] r[45][29] r[45][30] r[45][31] r[45][32] r[45][33] r[45][34] r[45][35] r[45][36] r[45][37] r[45][38] r[45][39] r[45][40] r[45][41] r[45][42] r[45][43] r[45][44] r[45][45] r[45][46] r[45][47] r[45][48] r[45][49] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[46][20] r[46][21] r[46][22] r[46][23] r[46][24] r[46][25] r[46][26] r[46][27] r[46][28] r[46][29] r[46][30] r[46][31] r[46][32] r[46][33] r[46][34] r[46][35] r[46][36] r[46][37] r[46][38] r[46][39] r[46][40] r[46][41] r[46][42] r[46][43] r[46][44] r[46][45] r[46][46] r[46][47] r[46][48] r[46][49] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[47][20] r[47][21] r[47][22] r[47][23] r[47][24] r[47][25] r[47][26] r[47][27] r[47][28] r[47][29] r[47][30] r[47][31] r[47][32] r[47][33] r[47][34] r[47][35] r[47][36] r[47][37] r[47][38] r[47][39] r[47][40] r[47][41] r[47][42] r[47][43] r[47][44] r[47][45] r[47][46] r[47][47] r[47][48] r[47][49] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[48][20] r[48][21] r[48][22] r[48][23] r[48][24] r[48][25] r[48][26] r[48][27] r[48][28] r[48][29] r[48][30] r[48][31] r[48][32] r[48][33] r[48][34] r[48][35] r[48][36] r[48][37] r[48][38] r[48][39] r[48][40] r[48][41] r[48][42] r[48][43] r[48][44] r[48][45] r[48][46] r[48][47] r[48][48] r[48][49] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[49][20] r[49][21] r[49][22] r[49][23] r[49][24] r[49][25] r[49][26] r[49][27] r[49][28] r[49][29] r[49][30] r[49][31] r[49][32] r[49][33] r[49][34] r[49][35] r[49][36] r[49][37] r[49][38] r[49][39] r[49][40] r[49][41] r[49][42] r[49][43] r[49][44] r[49][45] r[49][46] r[49][47] r[49][48] r[49][49] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[0][40] o[0][41] o[0][42] o[0][43] o[0][44] o[0][45] o[0][46] o[0][47] o[0][48] o[0][49] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[1][40] o[1][41] o[1][42] o[1][43] o[1][44] o[1][45] o[1][46] o[1][47] o[1][48] o[1][49] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[2][40] o[2][41] o[2][42] o[2][43] o[2][44] o[2][45] o[2][46] o[2][47] o[2][48] o[2][49] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[3][40] o[3][41] o[3][42] o[3][43] o[3][44] o[3][45] o[3][46] o[3][47] o[3][48] o[3][49] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[4][40] o[4][41] o[4][42] o[4][43] o[4][44] o[4][45] o[4][46] o[4][47] o[4][48] o[4][49] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[5][40] o[5][41] o[5][42] o[5][43] o[5][44] o[5][45] o[5][46] o[5][47] o[5][48] o[5][49] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[6][40] o[6][41] o[6][42] o[6][43] o[6][44] o[6][45] o[6][46] o[6][47] o[6][48] o[6][49] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[7][40] o[7][41] o[7][42] o[7][43] o[7][44] o[7][45] o[7][46] o[7][47] o[7][48] o[7][49] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[8][40] o[8][41] o[8][42] o[8][43] o[8][44] o[8][45] o[8][46] o[8][47] o[8][48] o[8][49] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[9][40] o[9][41] o[9][42] o[9][43] o[9][44] o[9][45] o[9][46] o[9][47] o[9][48] o[9][49] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[10][40] o[10][41] o[10][42] o[10][43] o[10][44] o[10][45] o[10][46] o[10][47] o[10][48] o[10][49] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[11][40] o[11][41] o[11][42] o[11][43] o[11][44] o[11][45] o[11][46] o[11][47] o[11][48] o[11][49] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[12][40] o[12][41] o[12][42] o[12][43] o[12][44] o[12][45] o[12][46] o[12][47] o[12][48] o[12][49] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[13][40] o[13][41] o[13][42] o[13][43] o[13][44] o[13][45] o[13][46] o[13][47] o[13][48] o[13][49] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[14][40] o[14][41] o[14][42] o[14][43] o[14][44] o[14][45] o[14][46] o[14][47] o[14][48] o[14][49] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[15][40] o[15][41] o[15][42] o[15][43] o[15][44] o[15][45] o[15][46] o[15][47] o[15][48] o[15][49] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[16][40] o[16][41] o[16][42] o[16][43] o[16][44] o[16][45] o[16][46] o[16][47] o[16][48] o[16][49] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[17][40] o[17][41] o[17][42] o[17][43] o[17][44] o[17][45] o[17][46] o[17][47] o[17][48] o[17][49] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[18][40] o[18][41] o[18][42] o[18][43] o[18][44] o[18][45] o[18][46] o[18][47] o[18][48] o[18][49] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] o[19][40] o[19][41] o[19][42] o[19][43] o[19][44] o[19][45] o[19][46] o[19][47] o[19][48] o[19][49] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[20][30] o[20][31] o[20][32] o[20][33] o[20][34] o[20][35] o[20][36] o[20][37] o[20][38] o[20][39] o[20][40] o[20][41] o[20][42] o[20][43] o[20][44] o[20][45] o[20][46] o[20][47] o[20][48] o[20][49] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[21][30] o[21][31] o[21][32] o[21][33] o[21][34] o[21][35] o[21][36] o[21][37] o[21][38] o[21][39] o[21][40] o[21][41] o[21][42] o[21][43] o[21][44] o[21][45] o[21][46] o[21][47] o[21][48] o[21][49] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[22][30] o[22][31] o[22][32] o[22][33] o[22][34] o[22][35] o[22][36] o[22][37] o[22][38] o[22][39] o[22][40] o[22][41] o[22][42] o[22][43] o[22][44] o[22][45] o[22][46] o[22][47] o[22][48] o[22][49] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[23][30] o[23][31] o[23][32] o[23][33] o[23][34] o[23][35] o[23][36] o[23][37] o[23][38] o[23][39] o[23][40] o[23][41] o[23][42] o[23][43] o[23][44] o[23][45] o[23][46] o[23][47] o[23][48] o[23][49] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[24][30] o[24][31] o[24][32] o[24][33] o[24][34] o[24][35] o[24][36] o[24][37] o[24][38] o[24][39] o[24][40] o[24][41] o[24][42] o[24][43] o[24][44] o[24][45] o[24][46] o[24][47] o[24][48] o[24][49] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[25][30] o[25][31] o[25][32] o[25][33] o[25][34] o[25][35] o[25][36] o[25][37] o[25][38] o[25][39] o[25][40] o[25][41] o[25][42] o[25][43] o[25][44] o[25][45] o[25][46] o[25][47] o[25][48] o[25][49] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[26][30] o[26][31] o[26][32] o[26][33] o[26][34] o[26][35] o[26][36] o[26][37] o[26][38] o[26][39] o[26][40] o[26][41] o[26][42] o[26][43] o[26][44] o[26][45] o[26][46] o[26][47] o[26][48] o[26][49] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[27][30] o[27][31] o[27][32] o[27][33] o[27][34] o[27][35] o[27][36] o[27][37] o[27][38] o[27][39] o[27][40] o[27][41] o[27][42] o[27][43] o[27][44] o[27][45] o[27][46] o[27][47] o[27][48] o[27][49] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[28][30] o[28][31] o[28][32] o[28][33] o[28][34] o[28][35] o[28][36] o[28][37] o[28][38] o[28][39] o[28][40] o[28][41] o[28][42] o[28][43] o[28][44] o[28][45] o[28][46] o[28][47] o[28][48] o[28][49] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] o[29][30] o[29][31] o[29][32] o[29][33] o[29][34] o[29][35] o[29][36] o[29][37] o[29][38] o[29][39] o[29][40] o[29][41] o[29][42] o[29][43] o[29][44] o[29][45] o[29][46] o[29][47] o[29][48] o[29][49] o[30][0] o[30][1] o[30][2] o[30][3] o[30][4] o[30][5] o[30][6] o[30][7] o[30][8] o[30][9] o[30][10] o[30][11] o[30][12] o[30][13] o[30][14] o[30][15] o[30][16] o[30][17] o[30][18] o[30][19] o[30][20] o[30][21] o[30][22] o[30][23] o[30][24] o[30][25] o[30][26] o[30][27] o[30][28] o[30][29] o[30][30] o[30][31] o[30][32] o[30][33] o[30][34] o[30][35] o[30][36] o[30][37] o[30][38] o[30][39] o[30][40] o[30][41] o[30][42] o[30][43] o[30][44] o[30][45] o[30][46] o[30][47] o[30][48] o[30][49] o[31][0] o[31][1] o[31][2] o[31][3] o[31][4] o[31][5] o[31][6] o[31][7] o[31][8] o[31][9] o[31][10] o[31][11] o[31][12] o[31][13] o[31][14] o[31][15] o[31][16] o[31][17] o[31][18] o[31][19] o[31][20] o[31][21] o[31][22] o[31][23] o[31][24] o[31][25] o[31][26] o[31][27] o[31][28] o[31][29] o[31][30] o[31][31] o[31][32] o[31][33] o[31][34] o[31][35] o[31][36] o[31][37] o[31][38] o[31][39] o[31][40] o[31][41] o[31][42] o[31][43] o[31][44] o[31][45] o[31][46] o[31][47] o[31][48] o[31][49] o[32][0] o[32][1] o[32][2] o[32][3] o[32][4] o[32][5] o[32][6] o[32][7] o[32][8] o[32][9] o[32][10] o[32][11] o[32][12] o[32][13] o[32][14] o[32][15] o[32][16] o[32][17] o[32][18] o[32][19] o[32][20] o[32][21] o[32][22] o[32][23] o[32][24] o[32][25] o[32][26] o[32][27] o[32][28] o[32][29] o[32][30] o[32][31] o[32][32] o[32][33] o[32][34] o[32][35] o[32][36] o[32][37] o[32][38] o[32][39] o[32][40] o[32][41] o[32][42] o[32][43] o[32][44] o[32][45] o[32][46] o[32][47] o[32][48] o[32][49] o[33][0] o[33][1] o[33][2] o[33][3] o[33][4] o[33][5] o[33][6] o[33][7] o[33][8] o[33][9] o[33][10] o[33][11] o[33][12] o[33][13] o[33][14] o[33][15] o[33][16] o[33][17] o[33][18] o[33][19] o[33][20] o[33][21] o[33][22] o[33][23] o[33][24] o[33][25] o[33][26] o[33][27] o[33][28] o[33][29] o[33][30] o[33][31] o[33][32] o[33][33] o[33][34] o[33][35] o[33][36] o[33][37] o[33][38] o[33][39] o[33][40] o[33][41] o[33][42] o[33][43] o[33][44] o[33][45] o[33][46] o[33][47] o[33][48] o[33][49] o[34][0] o[34][1] o[34][2] o[34][3] o[34][4] o[34][5] o[34][6] o[34][7] o[34][8] o[34][9] o[34][10] o[34][11] o[34][12] o[34][13] o[34][14] o[34][15] o[34][16] o[34][17] o[34][18] o[34][19] o[34][20] o[34][21] o[34][22] o[34][23] o[34][24] o[34][25] o[34][26] o[34][27] o[34][28] o[34][29] o[34][30] o[34][31] o[34][32] o[34][33] o[34][34] o[34][35] o[34][36] o[34][37] o[34][38] o[34][39] o[34][40] o[34][41] o[34][42] o[34][43] o[34][44] o[34][45] o[34][46] o[34][47] o[34][48] o[34][49] o[35][0] o[35][1] o[35][2] o[35][3] o[35][4] o[35][5] o[35][6] o[35][7] o[35][8] o[35][9] o[35][10] o[35][11] o[35][12] o[35][13] o[35][14] o[35][15] o[35][16] o[35][17] o[35][18] o[35][19] o[35][20] o[35][21] o[35][22] o[35][23] o[35][24] o[35][25] o[35][26] o[35][27] o[35][28] o[35][29] o[35][30] o[35][31] o[35][32] o[35][33] o[35][34] o[35][35] o[35][36] o[35][37] o[35][38] o[35][39] o[35][40] o[35][41] o[35][42] o[35][43] o[35][44] o[35][45] o[35][46] o[35][47] o[35][48] o[35][49] o[36][0] o[36][1] o[36][2] o[36][3] o[36][4] o[36][5] o[36][6] o[36][7] o[36][8] o[36][9] o[36][10] o[36][11] o[36][12] o[36][13] o[36][14] o[36][15] o[36][16] o[36][17] o[36][18] o[36][19] o[36][20] o[36][21] o[36][22] o[36][23] o[36][24] o[36][25] o[36][26] o[36][27] o[36][28] o[36][29] o[36][30] o[36][31] o[36][32] o[36][33] o[36][34] o[36][35] o[36][36] o[36][37] o[36][38] o[36][39] o[36][40] o[36][41] o[36][42] o[36][43] o[36][44] o[36][45] o[36][46] o[36][47] o[36][48] o[36][49] o[37][0] o[37][1] o[37][2] o[37][3] o[37][4] o[37][5] o[37][6] o[37][7] o[37][8] o[37][9] o[37][10] o[37][11] o[37][12] o[37][13] o[37][14] o[37][15] o[37][16] o[37][17] o[37][18] o[37][19] o[37][20] o[37][21] o[37][22] o[37][23] o[37][24] o[37][25] o[37][26] o[37][27] o[37][28] o[37][29] o[37][30] o[37][31] o[37][32] o[37][33] o[37][34] o[37][35] o[37][36] o[37][37] o[37][38] o[37][39] o[37][40] o[37][41] o[37][42] o[37][43] o[37][44] o[37][45] o[37][46] o[37][47] o[37][48] o[37][49] o[38][0] o[38][1] o[38][2] o[38][3] o[38][4] o[38][5] o[38][6] o[38][7] o[38][8] o[38][9] o[38][10] o[38][11] o[38][12] o[38][13] o[38][14] o[38][15] o[38][16] o[38][17] o[38][18] o[38][19] o[38][20] o[38][21] o[38][22] o[38][23] o[38][24] o[38][25] o[38][26] o[38][27] o[38][28] o[38][29] o[38][30] o[38][31] o[38][32] o[38][33] o[38][34] o[38][35] o[38][36] o[38][37] o[38][38] o[38][39] o[38][40] o[38][41] o[38][42] o[38][43] o[38][44] o[38][45] o[38][46] o[38][47] o[38][48] o[38][49] o[39][0] o[39][1] o[39][2] o[39][3] o[39][4] o[39][5] o[39][6] o[39][7] o[39][8] o[39][9] o[39][10] o[39][11] o[39][12] o[39][13] o[39][14] o[39][15] o[39][16] o[39][17] o[39][18] o[39][19] o[39][20] o[39][21] o[39][22] o[39][23] o[39][24] o[39][25] o[39][26] o[39][27] o[39][28] o[39][29] o[39][30] o[39][31] o[39][32] o[39][33] o[39][34] o[39][35] o[39][36] o[39][37] o[39][38] o[39][39] o[39][40] o[39][41] o[39][42] o[39][43] o[39][44] o[39][45] o[39][46] o[39][47] o[39][48] o[39][49] o[40][0] o[40][1] o[40][2] o[40][3] o[40][4] o[40][5] o[40][6] o[40][7] o[40][8] o[40][9] o[40][10] o[40][11] o[40][12] o[40][13] o[40][14] o[40][15] o[40][16] o[40][17] o[40][18] o[40][19] o[40][20] o[40][21] o[40][22] o[40][23] o[40][24] o[40][25] o[40][26] o[40][27] o[40][28] o[40][29] o[40][30] o[40][31] o[40][32] o[40][33] o[40][34] o[40][35] o[40][36] o[40][37] o[40][38] o[40][39] o[40][40] o[40][41] o[40][42] o[40][43] o[40][44] o[40][45] o[40][46] o[40][47] o[40][48] o[40][49] o[41][0] o[41][1] o[41][2] o[41][3] o[41][4] o[41][5] o[41][6] o[41][7] o[41][8] o[41][9] o[41][10] o[41][11] o[41][12] o[41][13] o[41][14] o[41][15] o[41][16] o[41][17] o[41][18] o[41][19] o[41][20] o[41][21] o[41][22] o[41][23] o[41][24] o[41][25] o[41][26] o[41][27] o[41][28] o[41][29] o[41][30] o[41][31] o[41][32] o[41][33] o[41][34] o[41][35] o[41][36] o[41][37] o[41][38] o[41][39] o[41][40] o[41][41] o[41][42] o[41][43] o[41][44] o[41][45] o[41][46] o[41][47] o[41][48] o[41][49] o[42][0] o[42][1] o[42][2] o[42][3] o[42][4] o[42][5] o[42][6] o[42][7] o[42][8] o[42][9] o[42][10] o[42][11] o[42][12] o[42][13] o[42][14] o[42][15] o[42][16] o[42][17] o[42][18] o[42][19] o[42][20] o[42][21] o[42][22] o[42][23] o[42][24] o[42][25] o[42][26] o[42][27] o[42][28] o[42][29] o[42][30] o[42][31] o[42][32] o[42][33] o[42][34] o[42][35] o[42][36] o[42][37] o[42][38] o[42][39] o[42][40] o[42][41] o[42][42] o[42][43] o[42][44] o[42][45] o[42][46] o[42][47] o[42][48] o[42][49] o[43][0] o[43][1] o[43][2] o[43][3] o[43][4] o[43][5] o[43][6] o[43][7] o[43][8] o[43][9] o[43][10] o[43][11] o[43][12] o[43][13] o[43][14] o[43][15] o[43][16] o[43][17] o[43][18] o[43][19] o[43][20] o[43][21] o[43][22] o[43][23] o[43][24] o[43][25] o[43][26] o[43][27] o[43][28] o[43][29] o[43][30] o[43][31] o[43][32] o[43][33] o[43][34] o[43][35] o[43][36] o[43][37] o[43][38] o[43][39] o[43][40] o[43][41] o[43][42] o[43][43] o[43][44] o[43][45] o[43][46] o[43][47] o[43][48] o[43][49] o[44][0] o[44][1] o[44][2] o[44][3] o[44][4] o[44][5] o[44][6] o[44][7] o[44][8] o[44][9] o[44][10] o[44][11] o[44][12] o[44][13] o[44][14] o[44][15] o[44][16] o[44][17] o[44][18] o[44][19] o[44][20] o[44][21] o[44][22] o[44][23] o[44][24] o[44][25] o[44][26] o[44][27] o[44][28] o[44][29] o[44][30] o[44][31] o[44][32] o[44][33] o[44][34] o[44][35] o[44][36] o[44][37] o[44][38] o[44][39] o[44][40] o[44][41] o[44][42] o[44][43] o[44][44] o[44][45] o[44][46] o[44][47] o[44][48] o[44][49] o[45][0] o[45][1] o[45][2] o[45][3] o[45][4] o[45][5] o[45][6] o[45][7] o[45][8] o[45][9] o[45][10] o[45][11] o[45][12] o[45][13] o[45][14] o[45][15] o[45][16] o[45][17] o[45][18] o[45][19] o[45][20] o[45][21] o[45][22] o[45][23] o[45][24] o[45][25] o[45][26] o[45][27] o[45][28] o[45][29] o[45][30] o[45][31] o[45][32] o[45][33] o[45][34] o[45][35] o[45][36] o[45][37] o[45][38] o[45][39] o[45][40] o[45][41] o[45][42] o[45][43] o[45][44] o[45][45] o[45][46] o[45][47] o[45][48] o[45][49] o[46][0] o[46][1] o[46][2] o[46][3] o[46][4] o[46][5] o[46][6] o[46][7] o[46][8] o[46][9] o[46][10] o[46][11] o[46][12] o[46][13] o[46][14] o[46][15] o[46][16] o[46][17] o[46][18] o[46][19] o[46][20] o[46][21] o[46][22] o[46][23] o[46][24] o[46][25] o[46][26] o[46][27] o[46][28] o[46][29] o[46][30] o[46][31] o[46][32] o[46][33] o[46][34] o[46][35] o[46][36] o[46][37] o[46][38] o[46][39] o[46][40] o[46][41] o[46][42] o[46][43] o[46][44] o[46][45] o[46][46] o[46][47] o[46][48] o[46][49] o[47][0] o[47][1] o[47][2] o[47][3] o[47][4] o[47][5] o[47][6] o[47][7] o[47][8] o[47][9] o[47][10] o[47][11] o[47][12] o[47][13] o[47][14] o[47][15] o[47][16] o[47][17] o[47][18] o[47][19] o[47][20] o[47][21] o[47][22] o[47][23] o[47][24] o[47][25] o[47][26] o[47][27] o[47][28] o[47][29] o[47][30] o[47][31] o[47][32] o[47][33] o[47][34] o[47][35] o[47][36] o[47][37] o[47][38] o[47][39] o[47][40] o[47][41] o[47][42] o[47][43] o[47][44] o[47][45] o[47][46] o[47][47] o[47][48] o[47][49] o[48][0] o[48][1] o[48][2] o[48][3] o[48][4] o[48][5] o[48][6] o[48][7] o[48][8] o[48][9] o[48][10] o[48][11] o[48][12] o[48][13] o[48][14] o[48][15] o[48][16] o[48][17] o[48][18] o[48][19] o[48][20] o[48][21] o[48][22] o[48][23] o[48][24] o[48][25] o[48][26] o[48][27] o[48][28] o[48][29] o[48][30] o[48][31] o[48][32] o[48][33] o[48][34] o[48][35] o[48][36] o[48][37] o[48][38] o[48][39] o[48][40] o[48][41] o[48][42] o[48][43] o[48][44] o[48][45] o[48][46] o[48][47] o[48][48] o[48][49] o[49][0] o[49][1] o[49][2] o[49][3] o[49][4] o[49][5] o[49][6] o[49][7] o[49][8] o[49][9] o[49][10] o[49][11] o[49][12] o[49][13] o[49][14] o[49][15] o[49][16] o[49][17] o[49][18] o[49][19] o[49][20] o[49][21] o[49][22] o[49][23] o[49][24] o[49][25] o[49][26] o[49][27] o[49][28] o[49][29] o[49][30] o[49][31] o[49][32] o[49][33] o[49][34] o[49][35] o[49][36] o[49][37] o[49][38] o[49][39] o[49][40] o[49][41] o[49][42] o[49][43] o[49][44] o[49][45] o[49][46] o[49][47] o[49][48] o[49][49] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] so[40] so[41] so[42] so[43] so[44] so[45] so[46] so[47] so[48] so[49] </list> 164.53/43.51 v <values>0 5 2 11 13 15 16 18 20 22 23 25 26 27 29 36 38 40 42 46 47 49 1 3 6 9 10 12 17 24 30 32 33 34 35 39 41 43 45 48 4 8 14 19 31 7 28 37 21 44 0 1 2 3 4 5 6 7 8 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 45 45 46 1 2 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 45 46 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 39 40 41 42 43 44 45 45 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 6 7 8 9 10 11 12 13 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 43 44 45 46 1 2 3 4 5 5 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 16 16 17 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 6 7 7 8 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 20 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 42 43 44 45 1 2 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 39 40 41 41 42 43 44 45 46 1 2 3 4 5 6 7 7 8 9 10 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 42 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 47 48 49 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 44 45 46 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 15 16 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 1 2 2 3 4 5 6 7 8 9 10 11 12 13 13 14 14 15 16 17 18 19 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 44 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 5 5 5 5 5 0 1 2 3 4 5 6 7 8 9 10 11 11 11 12 13 13 14 15 15 15 16 17 18 19 20 21 22 22 23 24 25 26 27 28 29 30 30 30 30 31 32 33 33 34 35 36 37 38 39 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 5 6 7 8 9 10 11 11 12 13 14 15 15 16 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 44 1 2 2 3 4 5 6 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 15 16 17 18 19 20 20 21 22 23 24 25 26 27 28 28 28 29 30 31 32 33 34 34 34 35 35 36 36 37 38 39 40 41 1 2 2 3 4 5 6 7 8 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 39 40 41 42 42 43 44 1 2 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 45 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 24 24 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 37 38 39 40 41 41 41 42 43 44 45 1 2 3 4 5 5 5 6 6 6 7 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 23 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 0 1 2 3 4 5 6 7 8 8 8 9 10 11 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 33 34 35 36 37 38 39 40 41 42 43 1 2 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 16 17 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 36 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 18 18 18 18 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 19 20 21 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 45 45 46 47 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 38 39 40 41 42 43 43 1 2 3 3 4 5 6 7 7 8 9 10 11 12 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 31 31 32 33 33 34 35 36 37 37 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 3 4 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 43 43 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 40 41 42 43 44 44 1 2 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 17 18 19 20 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 1 1 2 3 4 4 5 5 6 7 8 9 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 43 44 45 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 43 44 45 46 47 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 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 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 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 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 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 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 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 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 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 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 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 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 39 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 39 </values> 164.53/43.51 v </instantiation>
OK 45
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (12834 MiB free) memory of node 1: 16384 MiB (13548 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394161-1568347197/watcher-4394161-1568347197 -o /tmp/evaluation-result-4394161-1568347197/solver-4394161-1568347197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 238290766 HOME/instance-4394161-1568347197.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=18045, runsolver pid=18042 [startup+0.100059 s]* /proc/loadavg: 5.37 6.58 4.79 4/233 18061 /proc/meminfo: memFree=27000472/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15144768 memory=29112 CPUtime=0.13 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 5737 0 0 0 12 1 0 0 20 0 15 0 410726007 15508242432 7278 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3786192 7278 3114 1 0 3748377 0 [pid=18047/tid=18048] ppid=18045 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 3663 0 0 0 9 0 0 0 20 0 15 0 410726007 15508242432 7278 33554432000 4194304 4196468 140733672196800 140592179151216 140591811865819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) R 18045 18045 17600 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) R 18045 18045 17600 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0.01 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15508242432 7278 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 30564 KiB [startup+0.21172 s]* /proc/loadavg: 5.37 6.58 4.79 3/233 18061 /proc/meminfo: memFree=26987228/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15144768 memory=40848 CPUtime=0.34 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 9416 0 0 0 32 2 0 0 20 0 15 0 410726007 15508242432 10212 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3786192 10212 3301 1 0 3748377 0 [pid=18047/tid=18048] ppid=18045 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 6580 0 0 0 19 1 0 0 20 0 15 0 410726007 15508242432 10212 33554432000 4194304 4196468 140733672196800 140592179154640 140592159004028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15144768 memory=3472474972060169888 CPUtime=0 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15144768 memory=0 CPUtime=0.02 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15144768 memory=-1 CPUtime=0.02 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15144768 memory=140048684070528 CPUtime=0.08 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 693 0 0 0 8 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15144768 memory=-1 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15144768 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15508242432 10212 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 42300 KiB [startup+0.311656 s]* /proc/loadavg: 5.37 6.58 4.79 3/233 18061 /proc/meminfo: memFree=26982492/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15149024 memory=46636 CPUtime=0.52 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 10517 0 0 0 49 3 0 0 20 0 15 0 410726007 15512600576 11659 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3787256 11659 3323 1 0 3748377 0 [pid=18047/tid=18048] ppid=18045 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 7605 0 0 0 28 2 0 0 20 0 15 0 410726007 15512600576 11659 33554432000 4194304 4196468 140733672196800 140592179155200 140592161193680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410726010 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15149024 memory=0 CPUtime=0.04 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 266 0 0 0 4 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) R 18045 18045 17600 0 -1 4202560 759 0 0 0 12 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591042201840 140592174944858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15149024 memory=0 CPUtime=0 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15512600576 11659 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262152 KiB Current children cumulated memory: 48088 KiB [startup+0.701616 s] /proc/loadavg: 5.37 6.58 4.79 6/233 18061 /proc/meminfo: memFree=26956128/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15151148 memory=98372 CPUtime=1.69 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 14241 0 0 0 164 5 0 0 20 0 15 0 410726007 15514775552 24593 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3787787 24593 3434 1 0 3748889 0 [pid=18047/tid=18048] ppid=18045 vsize=15151148 memory=0 CPUtime=0.67 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) R 18045 18045 17600 0 -1 4202560 8349 0 0 0 64 3 0 0 20 0 15 0 410726007 15514775552 24593 33554432000 4194304 4196468 140733672196800 140592179157160 140591815105286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15151148 memory=45184 CPUtime=0 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15151148 memory=984 CPUtime=0 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15151148 memory=2020 CPUtime=0 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15151148 memory=1432 CPUtime=0 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410726008 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15151148 memory=776 CPUtime=0 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410726010 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15151148 memory=660 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410726010 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591047464352 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15151148 memory=1556 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410726010 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591046411760 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15151148 memory=9588 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15151148 memory=1712 CPUtime=0.31 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) R 18045 18045 17600 0 -1 4202560 1575 0 0 0 31 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591044295280 140592158420281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15151148 memory=5972 CPUtime=0.33 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) R 18045 18045 17600 0 -1 4202560 1420 0 0 0 33 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591043238632 140592156116651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15151148 memory=4164 CPUtime=0.34 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 1590 0 0 0 34 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15151148 memory=1056 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410726013 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15151148 memory=2828 CPUtime=0 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410726014 15514775552 24593 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 1.69 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 99824 KiB [startup+1.50162 s] /proc/loadavg: 5.37 6.58 4.79 6/233 18061 /proc/meminfo: memFree=26874780/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=140048549083409 CPUtime=34.72 cores=4-7 /proc/18047/task/18082/stat : 18082 (java) R 18045 18045 17600 0 -1 4202560 1547 0 0 0 3472 0 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591027972792 140591820980757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=280097098715296 CPUtime=34.19 cores=4-7 /proc/18047/task/18083/stat : 18083 (java) R 18045 18045 17600 0 -1 4202560 3943 0 0 0 3415 4 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591029026656 140591821059147 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=8243114992657236051 CPUtime=34.37 cores=4-7 /proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1168 0 0 0 3437 0 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591025871368 140591819161296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=288286688357385055 CPUtime=34.05 cores=4-7 /proc/18047/task/18085/stat : 18085 (java) R 18045 18045 17600 0 -1 4202560 1217 0 0 0 3405 0 0 0 20 0 19 0 410726715 15789518848 189100 33554432000 4194304 4196468 140733672196800 140591026921520 140591821050772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 160.62 s Current children cumulated vsize: 15532580 KiB Current children cumulated memory: 757852 KiB [startup+43.2016 s] /proc/loadavg: 5.03 6.30 4.78 6/237 18097 /proc/meminfo: memFree=26258912/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15419452 memory=784064 CPUtime=163.81 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 78193 0 0 0 16338 43 0 0 20 0 19 0 410726007 15789518848 196016 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3854863 196016 3548 1 0 3815965 0 [pid=18047/tid=18048] ppid=18045 vsize=15419452 memory=756400 CPUtime=2.63 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) S 18045 18045 17600 0 -1 1077944384 11745 0 0 0 256 7 0 0 20 0 19 0 410726007 15789518848 196016 33554432000 4194304 4196468 140733672196800 140592179164288 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15419452 memory=1452 CPUtime=0.2 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 572 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15419452 memory=731692 CPUtime=0.2 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15419452 memory=1452 CPUtime=0.18 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1427 0 0 0 13 5 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15419452 memory=3624 CPUtime=0.2 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 1785 0 0 0 16 4 0 0 20 0 19 0 410726008 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15419452 memory=45184 CPUtime=0.03 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 1315 0 0 0 2 1 0 0 20 0 19 0 410726010 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15419452 memory=984 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591047464416 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591046411776 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15419452 memory=756400 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15419452 memory=1444 CPUtime=5.6 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 21480 0 0 0 557 3 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15419452 memory=1764 CPUtime=5.49 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 16704 0 0 0 548 1 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15419452 memory=1452 CPUtime=1.21 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 11059 0 0 0 119 2 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15419452 memory=756400 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15419452 memory=984 CPUtime=0.03 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=2020 CPUtime=35.5 cores=4-7 /proc/18047/task/18082/stat : 18082 (java) R 18045 18045 17600 0 -1 4202560 1548 0 0 0 3550 0 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591027972792 140591821058883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=1432 CPUtime=34.99 cores=4-7 /proc/18047/task/18083/stat : 18083 (java) R 18045 18045 17600 0 -1 4202560 4498 0 0 0 3495 4 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591029026656 140591815817860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=1452 CPUtime=35.17 cores=4-7 /proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1170 0 0 0 3517 0 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591025868200 140591821058742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=756400 CPUtime=34.85 cores=4-7 /proc/18047/task/18085/stat : 18085 (java) R 18045 18045 17600 0 -1 4202560 1217 0 0 0 3485 0 0 0 20 0 19 0 410726715 15789518848 196016 33554432000 4194304 4196468 140733672196800 140591026920896 140591820979725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 163.81 s Current children cumulated vsize: 15532580 KiB Current children cumulated memory: 785516 KiB [startup+43.401 s] /proc/loadavg: 5.03 6.30 4.78 6/237 18097 /proc/meminfo: memFree=26258912/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15419452 memory=792256 CPUtime=164.43 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 78224 0 0 0 16400 43 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3854863 198064 3548 1 0 3815965 0 [pid=18047/tid=18048] ppid=18045 vsize=15419452 memory=16200244861 CPUtime=2.63 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) S 18045 18045 17600 0 -1 1077944384 11745 0 0 0 256 7 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140592179164288 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15419452 memory=6791534058613427641 CPUtime=0.2 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 572 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15419452 memory=7013046241623959919 CPUtime=0.2 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15419452 memory=7307760355955337570 CPUtime=0.18 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1427 0 0 0 13 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15419452 memory=7307760355955337570 CPUtime=0.2 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 1785 0 0 0 16 4 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15419452 memory=7450478124797027945 CPUtime=0.03 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 1315 0 0 0 2 1 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15419452 memory=7379537669403076928 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591047464416 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15419452 memory=7379537669403076928 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591046411776 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15419452 memory=7379537669403076928 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15419452 memory=7450478124797027945 CPUtime=5.6 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 21480 0 0 0 557 3 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15419452 memory=7665499679901704809 CPUtime=5.49 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 16704 0 0 0 548 1 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15419452 memory=7665239142639167333 CPUtime=1.21 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 11059 0 0 0 119 2 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15419452 memory=7665239142639167333 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15419452 memory=4164 CPUtime=0.03 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=1056 CPUtime=35.64 cores=4-7 /proc/18047/task/18082/stat : 18082 (java) S 18045 18045 17600 0 -1 1077944384 1565 0 0 0 3564 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591027977600 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=2828 CPUtime=35.13 cores=4-7 /proc/18047/task/18083/stat : 18083 (java) S 18045 18045 17600 0 -1 1077944384 4506 0 0 0 3509 4 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591029031888 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=1176 CPUtime=35.37 cores=4-7 /proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1170 0 0 0 3537 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591025868200 140591821059051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=980 CPUtime=34.99 cores=4-7 /proc/18047/task/18085/stat : 18085 (java) S 18045 18045 17600 0 -1 1077944384 1223 0 0 0 3499 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591026926800 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 164.43 s Current children cumulated vsize: 15532580 KiB Current children cumulated memory: 793708 KiB [startup+43.501 s] /proc/loadavg: 5.03 6.30 4.78 6/237 18097 /proc/meminfo: memFree=26258912/32770688 swapFree=66919992/67108860 [pid=18045] ppid=18042 vsize=113128 memory=1452 CPUtime=0 cores=4-7 /proc/18045/stat : 18045 (xcsp3-exec) S 18042 18045 17600 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410726007 115843072 363 33554432000 4194304 5098028 140732032391376 140732032389480 140487307764348 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19529728 140732032394107 140732032394349 140732032394349 140732032397258 0 /proc/18045/statm: 28282 363 304 221 0 87 0 [pid=18047] ppid=18045 vsize=15419452 memory=792256 CPUtime=164.53 cores=4-7 /proc/18047/stat : 18047 (java) S 18045 18045 17600 0 -1 1077944320 78224 0 0 0 16410 43 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140733672179344 140592174923511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 /proc/18047/statm: 3854863 198064 3548 1 0 3815965 0 [pid=18047/tid=18048] ppid=18045 vsize=15419452 memory=1452 CPUtime=2.63 cores=4-7 /proc/18047/task/18048/stat : 18048 (java) S 18045 18045 17600 0 -1 1077944384 11745 0 0 0 256 7 0 0 20 0 19 0 410726007 15789518848 198064 33554432000 4194304 4196468 140733672196800 140592179164288 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18049] ppid=18045 vsize=15419452 memory=20 CPUtime=0.2 cores=4-7 /proc/18047/task/18049/stat : 18049 (java) S 18045 18045 17600 0 -1 1077944384 572 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591766886672 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18050] ppid=18045 vsize=15419452 memory=765428 CPUtime=0.2 cores=4-7 /proc/18047/task/18050/stat : 18050 (java) S 18045 18045 17600 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591765834128 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18051] ppid=18045 vsize=15419452 memory=0 CPUtime=0.18 cores=4-7 /proc/18047/task/18051/stat : 18051 (java) S 18045 18045 17600 0 -1 1077944384 1427 0 0 0 13 5 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591764781584 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18052] ppid=18045 vsize=15419452 memory=0 CPUtime=0.2 cores=4-7 /proc/18047/task/18052/stat : 18052 (java) S 18045 18045 17600 0 -1 1077944384 1785 0 0 0 16 4 0 0 20 0 19 0 410726008 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591763729040 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18053] ppid=18045 vsize=15419452 memory=776 CPUtime=0.03 cores=4-7 /proc/18047/task/18053/stat : 18053 (java) S 18045 18045 17600 0 -1 1077944384 1315 0 0 0 2 1 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591048518128 140592174934658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18054] ppid=18045 vsize=15419452 memory=660 CPUtime=0 cores=4-7 /proc/18047/task/18054/stat : 18054 (java) S 18045 18045 17600 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591047464416 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18055] ppid=18045 vsize=15419452 memory=1452 CPUtime=0 cores=4-7 /proc/18047/task/18055/stat : 18055 (java) S 18045 18045 17600 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410726010 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591046411776 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18056] ppid=18045 vsize=15419452 memory=756400 CPUtime=0 cores=4-7 /proc/18047/task/18056/stat : 18056 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591045360336 140592174942107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18057] ppid=18045 vsize=15419452 memory=18 CPUtime=5.6 cores=4-7 /proc/18047/task/18057/stat : 18057 (java) S 18045 18045 17600 0 -1 1077944384 21480 0 0 0 557 3 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591044306928 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18058] ppid=18045 vsize=15419452 memory=2 CPUtime=5.49 cores=4-7 /proc/18047/task/18058/stat : 18058 (java) S 18045 18045 17600 0 -1 1077944384 16704 0 0 0 548 1 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591043254384 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18059] ppid=18045 vsize=15419452 memory=1176 CPUtime=1.21 cores=4-7 /proc/18047/task/18059/stat : 18059 (java) S 18045 18045 17600 0 -1 1077944384 11059 0 0 0 119 2 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591042201840 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18060] ppid=18045 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=4-7 /proc/18047/task/18060/stat : 18060 (java) S 18045 18045 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410726013 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591041149536 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18061] ppid=18045 vsize=15419452 memory=56 CPUtime=0.03 cores=4-7 /proc/18047/task/18061/stat : 18061 (java) S 18045 18045 17600 0 -1 1077944384 474 0 0 0 3 0 0 0 20 0 19 0 410726014 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591040097072 140592174934658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18082] ppid=18045 vsize=15419452 memory=6944656592455097440 CPUtime=35.64 cores=4-7 /proc/18047/task/18082/stat : 18082 (java) S 18045 18045 17600 0 -1 1077944384 1565 0 0 0 3564 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591027977600 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18083] ppid=18045 vsize=15419452 memory=1452 CPUtime=35.13 cores=4-7 /proc/18047/task/18083/stat : 18083 (java) S 18045 18045 17600 0 -1 1077944384 4506 0 0 0 3509 4 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591029031888 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18084] ppid=18045 vsize=15419452 memory=303430223234596890 CPUtime=35.47 cores=4-7 /proc/18047/task/18084/stat : 18084 (java) R 18045 18045 17600 0 -1 4202560 1170 0 0 0 3547 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591025868200 140591821050043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 [pid=18047/tid=18085] ppid=18045 vsize=15419452 memory=1452 CPUtime=34.99 cores=4-7 /proc/18047/task/18085/stat : 18085 (java) S 18045 18045 17600 0 -1 1077944384 1223 0 0 0 3499 0 0 0 20 0 19 0 410726715 15789518848 198064 33554432000 4194304 4196468 140733672196800 140591026926800 140592174933717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30650368 140733672203247 140733672203418 140733672203418 140733672206287 0 Current children cumulated CPU time: 164.53 s Current children cumulated vsize: 15532580 KiB Current children cumulated memory: 793708 KiB Child status: 0 Real time (s): 43.5331 CPU time (s): 164.563 CPU user time (s): 164.113 CPU system time (s): 0.449542 CPU usage (%): 378.019 Max. virtual memory (cumulated for all children) (KiB): 15532580 Max. memory (cumulated for all children) (KiB): 793708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 164.113 system time used= 0.449542 maximum resident set size= 796192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79297 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4899 involuntary context switches= 2745 # summary of solver processes directly reported to runsolver: # pid: 18045 # total CPU time (s): 164.563 # total CPU user time (s): 164.113 # total CPU system time (s): 0.449542 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.314774 second user time and 0.60136 second system time The end
Begin job on node120 at 2011-12-14 12:20:19 IDJOB=4394161 IDBENCH=140457 IDSOLVER=2842 FILE ID=node120/4394161-1568347197 RUNJOBID= node120-1323860857-17632 PBS_JOBID= 21701167 Free space on /tmp= 59128 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394161-1568347197/watcher-4394161-1568347197 -o /tmp/evaluation-result-4394161-1568347197/solver-4394161-1568347197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 238290766 HOME/instance-4394161-1568347197.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00ff107c10292685d5feb35a59a49636 RANDOM SEED=238290766 node120.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 : 2667.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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.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.49 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 : 2667.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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27016528 kB MemAvailable: 31085160 kB Buffers: 157852 kB Cached: 4204552 kB SwapCached: 77548 kB Active: 2026220 kB Inactive: 3149452 kB Active(anon): 736192 kB Inactive(anon): 126960 kB Active(file): 1290028 kB Inactive(file): 3022492 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26504 kB Writeback: 0 kB AnonPages: 786080 kB Mapped: 60548 kB Shmem: 41008 kB Slab: 172832 kB SReclaimable: 143896 kB SUnreclaim: 28936 kB KernelStack: 4064 kB PageTables: 7624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 2558632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 671744 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59100 MiB End job on node120 at 2011-12-14 12:21:03