Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 45 | 433.295 | 56.4855 |
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404921-1569013946.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404921-1569013946.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 12.18/3.37 c solve instance... 20.92/4.51 o 49 22.39/4.71 o 48 24.80/5.06 o 47 27.06/5.38 o 46 29.39/5.66 o 45 433.20/56.45 s OPTIMUM FOUND 433.20/56.45 v <instantiation> 433.20/56.45 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> 433.20/56.45 v <values>0 2 5 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 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 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 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 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 1 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 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 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 1 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 1 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 2 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 1 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 2 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 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 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 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 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 0 1 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 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 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 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 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 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 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 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 0 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 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 1 0 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> 433.20/56.45 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: 16374 MiB (13268 MiB free) memory of node 1: 16384 MiB (11786 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404921-1569013946/watcher-4404921-1569013946 -o /tmp/evaluation-result-4404921-1569013946/solver-4404921-1569013946 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1280711948 HOME/instance-4404921-1569013946.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30772, runsolver pid=30769 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 9.09 8.51 8.31 2/211 30793 /proc/meminfo: memFree=25638448/32770624 swapFree=66986244/67108860 [pid=30772] ppid=30769 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30772/stat : 30772 (xcsp3-exec) S 30769 30772 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477651455 115843072 363 33554432000 4194304 5098028 140736358693008 140736358691112 139701354562172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21565440 140736358699899 140736358700142 140736358700142 140736358703050 0 /proc/30772/statm: 28282 363 304 221 0 87 0 [pid=30774] ppid=30772 vsize=28227396 memory=30080 CPUtime=0.12 cores=0-7 /proc/30774/stat : 30774 (java) S 30772 30772 26041 0 -1 1077944320 5997 0 0 0 11 1 0 0 20 0 20 0 477651455 28904853504 7520 33554432000 4194304 4196468 140722260049104 140722260031648 140339446095607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 /proc/30774/statm: 7056849 7520 3122 1 0 7019032 0 [pid=30774/tid=30775] ppid=30772 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/30774/task/30775/stat : 30775 (java) R 30772 30772 26041 0 -1 4202560 3901 0 0 0 8 1 0 0 20 0 20 0 477651455 28904853504 7520 33554432000 4194304 4196468 140722260049104 140339450321520 140339446107542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30776] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30776/stat : 30776 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338997877136 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30777] ppid=30772 vsize=28227396 memory=139860229896880 CPUtime=0 cores=0-7 /proc/30774/task/30777/stat : 30777 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338996824336 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30778] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30778/stat : 30778 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338995772048 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30779] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30779/stat : 30779 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338994719248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30780] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30780/stat : 30780 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338993666960 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30781] ppid=30772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30774/task/30781/stat : 30781 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338992614160 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30782] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30782/stat : 30782 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338991561872 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30783] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30783/stat : 30783 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 7520 33554432000 4194304 4196468 140722260049104 140338990509072 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30784] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30784/stat : 30784 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651458 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337843079280 140339446106754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30785] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30785/stat : 30785 (java) S 30772 30772 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477651458 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337842025248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30786] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30786/stat : 30786 (java) S 30772 30772 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477651458 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337840972912 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30787] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30787/stat : 30787 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337839921232 140339446114203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30788] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30788/stat : 30788 (java) S 30772 30772 26041 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337838869104 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30789] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30789/stat : 30789 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337837816304 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30790] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30790/stat : 30790 (java) S 30772 30772 26041 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337836764016 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30791] ppid=30772 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30774/task/30791/stat : 30791 (java) R 30772 30772 26041 0 -1 4202560 363 0 0 0 1 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337835711216 140339430355478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30792] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30792/stat : 30792 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337834658144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30793] ppid=30772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30774/task/30793/stat : 30793 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 7520 33554432000 4194304 4196468 140722260049104 140337833605424 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31532 KiB [startup+0.210395 s]* /proc/loadavg: 9.09 8.51 8.31 2/211 30793 /proc/meminfo: memFree=25625760/32770624 swapFree=66986244/67108860 [pid=30772] ppid=30769 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30772/stat : 30772 (xcsp3-exec) S 30769 30772 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477651455 115843072 363 33554432000 4194304 5098028 140736358693008 140736358691112 139701354562172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21565440 140736358699899 140736358700142 140736358700142 140736358703050 0 /proc/30772/statm: 28282 363 304 221 0 87 0 [pid=30774] ppid=30772 vsize=28227396 memory=41444 CPUtime=0.33 cores=0-7 /proc/30774/stat : 30774 (java) S 30772 30772 26041 0 -1 1077944320 9561 0 0 0 30 3 0 0 20 0 20 0 477651455 28904853504 10361 33554432000 4194304 4196468 140722260049104 140722260031648 140339446095607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 /proc/30774/statm: 7056849 10361 3305 1 0 7019032 0 [pid=30774/tid=30775] ppid=30772 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30774/task/30775/stat : 30775 (java) R 30772 30772 26041 0 -1 4202560 6715 0 0 0 18 2 0 0 20 0 20 0 477651455 28904853504 10361 33554432000 4194304 4196468 140722260049104 140339450326848 140339446107542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30776] ppid=30772 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/30774/task/30776/stat : 30776 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338997877136 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30777] ppid=30772 vsize=28227396 memory=288370236381587072 CPUtime=0 cores=0-7 /proc/30774/task/30777/stat : 30777 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338996824336 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30778] ppid=30772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30774/task/30778/stat : 30778 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338995772048 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30779] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30779/stat : 30779 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338994719248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30780] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30780/stat : 30780 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338993666960 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30781] ppid=30772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30774/task/30781/stat : 30781 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338992614160 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30782] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30782/stat : 30782 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338991561872 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30783] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30783/stat : 30783 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28904853504 10361 33554432000 4194304 4196468 140722260049104 140338990509072 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30784] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30784/stat : 30784 (java) S 30772 30772 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477651458 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337843079280 140339446106754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30785] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30785/stat : 30785 (java) S 30772 30772 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477651458 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337842025248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30786] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30786/stat : 30786 (java) S 30772 30772 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477651458 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337840972912 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30787] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30787/stat : 30787 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337839921232 140339446114203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30788] ppid=30772 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30774/task/30788/stat : 30788 (java) S 30772 30772 26041 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337838869104 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30789] ppid=30772 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30774/task/30789/stat : 30789 (java) S 30772 30772 26041 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337837816304 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30790] ppid=30772 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30774/task/30790/stat : 30790 (java) S 30772 30772 26041 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337836764016 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30791] ppid=30772 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/30774/task/30791/stat : 30791 (java) R 30772 30772 26041 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337835711024 140339425050197 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30792] ppid=30772 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30792/stat : 30792 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337834658144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30793] ppid=30772 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30774/task/30793/stat : 30793 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651461 28904853504 10361 33554432000 4194304 4196468 140722260049104 140337833605424 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42896 KiB [startup+0.309789 s]* /proc/loadavg: 9.09 8.51 8.31 2/211 30793 /proc/meminfo: memFree=25619220/32770624 swapFree=66986244/67108860 [pid=30772] ppid=30769 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30772/stat : 30772 (xcsp3-exec) S 30769 30772 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477651455 115843072 363 33554432000 4194304 5098028 140736358693008 140736358691112 139701354562172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21565440 140736358699899 140736358700142 140736358700142 140736358703050 0 /proc/30772/statm: 28282 363 304 221 0 87 0 [pid=30774] ppid=30772 vsize=28231652 memory=49808 CPUtime=0.51 cores=0-7 /proc/30774/stat : 30774 (java) S 30772 30772 26041 0 -1 1077944320 10881 0 0 0 47 4 0 0 20 0 20 0 477651455 28909211648 12452 33554432000 4194304 4196468 140722260049104 140722260031648 140339446095607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 /proc/30774/statm: 7057913 12452 3349 1 0 7019032 0 [pid=30774/tid=30775] ppid=30772 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/30774/task/30775/stat : 30775 (java) R 30772 30772 26041 0 -1 4202560 7779 0 0 0 27 3 0 0 20 0 20 0 477651455 28909211648 12452 33554432000 4194304 4196468 140722260049104 140339450326720 140339430176094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30776] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30776/stat : 30776 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338997877136 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30777] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30777/stat : 30777 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338996824336 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30778] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30778/stat : 30778 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338995772048 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30779] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30779/stat : 30779 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338994719248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30780] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30780/stat : 30780 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338993666960 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30781] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30781/stat : 30781 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338992614160 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30782] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30782/stat : 30782 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338991561872 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30783] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30783/stat : 30783 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28909211648 12452 33554432000 4194304 4196468 140722260049104 140338990509072 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30784] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30784/stat : 30784 (java) S 30772 30772 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477651458 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337843079280 140339446106754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30785] ppid=30772 vsize=28231652 memory=279720214338944 CPUtime=0 cores=0-7 /proc/30774/task/30785/stat : 30785 (java) S 30772 30772 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477651458 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337842025248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30786] ppid=30772 vsize=28231652 memory=279720214343552 CPUtime=0 cores=0-7 /proc/30774/task/30786/stat : 30786 (java) S 30772 30772 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477651458 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337840972912 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30787] ppid=30772 vsize=28231652 memory=279720214348160 CPUtime=0 cores=0-7 /proc/30774/task/30787/stat : 30787 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337839921232 140339446114203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30788] ppid=30772 vsize=28231652 memory=279720214352768 CPUtime=0.01 cores=0-7 /proc/30774/task/30788/stat : 30788 (java) S 30772 30772 26041 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337838869104 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30789] ppid=30772 vsize=28231652 memory=279720214357376 CPUtime=0.03 cores=0-7 /proc/30774/task/30789/stat : 30789 (java) R 30772 30772 26041 0 -1 4202560 262 0 0 0 3 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337837816304 140339432150576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30790] ppid=30772 vsize=28231652 memory=279720214361984 CPUtime=0.02 cores=0-7 /proc/30774/task/30790/stat : 30790 (java) S 30772 30772 26041 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337836764016 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30791] ppid=30772 vsize=28231652 memory=279720214366592 CPUtime=0.12 cores=0-7 /proc/30774/task/30791/stat : 30791 (java) S 30772 30772 26041 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337835711216 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30792] ppid=30772 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30792/stat : 30792 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337834658144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30793] ppid=30772 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30774/task/30793/stat : 30793 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651461 28909211648 12452 33554432000 4194304 4196468 140722260049104 140337833605424 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51260 KiB [startup+0.70095 s] /proc/loadavg: 9.09 8.51 8.31 4/211 30793 /proc/meminfo: memFree=25590252/32770624 swapFree=66986244/67108860 [pid=30772] ppid=30769 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30772/stat : 30772 (xcsp3-exec) S 30769 30772 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477651455 115843072 363 33554432000 4194304 5098028 140736358693008 140736358691112 139701354562172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21565440 140736358699899 140736358700142 140736358700142 140736358703050 0 /proc/30772/statm: 28282 363 304 221 0 87 0 [pid=30774] ppid=30772 vsize=28233776 memory=126756 CPUtime=2.04 cores=0-7 /proc/30774/stat : 30774 (java) S 30772 30772 26041 0 -1 1077944320 15714 0 0 0 195 9 0 0 20 0 20 0 477651455 28911386624 31689 33554432000 4194304 4196468 140722260049104 140722260031648 140339446095607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 /proc/30774/statm: 7058444 31689 3453 1 0 7019544 0 [pid=30774/tid=30775] ppid=30772 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/30774/task/30775/stat : 30775 (java) R 30772 30772 26041 0 -1 4202560 8477 0 0 0 62 6 0 0 20 0 20 0 477651455 28911386624 31689 33554432000 4194304 4196468 140722260049104 140339450329600 140339446107542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30776] ppid=30772 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30776/stat : 30776 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28911386624 31689 33554432000 4194304 4196468 140722260049104 140338997877136 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30777] ppid=30772 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30774/task/30777/stat : 30777 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477651456 28911386624 31689 33554432000 4194304 4196468 140722260049104 140338996824336 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30778] ppid=30772 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/30774/task/30778/stat : 30778 (java) S 30772 30772 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477651456 28911386624 31689 33554432000 4194304 4196468 140722260049104 140338995772048 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 ################ # More data... # ################ [pid=30774/tid=30791] ppid=30772 vsize=28768336 memory=1440 CPUtime=1.21 cores=0-7 /proc/30774/task/30791/stat : 30791 (java) S 30772 30772 26041 0 -1 1077944384 8578 0 0 0 118 3 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337835711216 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30792] ppid=30772 vsize=28768336 memory=912 CPUtime=0 cores=0-7 /proc/30774/task/30792/stat : 30792 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337834658144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30793] ppid=30772 vsize=28768336 memory=1984 CPUtime=0.01 cores=0-7 /proc/30774/task/30793/stat : 30793 (java) S 30772 30772 26041 0 -1 1077944384 815 0 0 0 1 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337833605424 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30834] ppid=30772 vsize=28768336 memory=2480 CPUtime=48.25 cores=0-7 /proc/30774/task/30834/stat : 30834 (java) R 30772 30772 26041 0 -1 4202560 989 0 0 0 4824 1 0 0 20 0 28 0 477652021 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337820183352 140339090851678 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30835] ppid=30772 vsize=28768336 memory=25 CPUtime=49.32 cores=0-7 /proc/30774/task/30835/stat : 30835 (java) R 30772 30772 26041 0 -1 4202560 900 0 0 0 4932 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337822289768 140339093295696 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30836] ppid=30772 vsize=28768336 memory=25 CPUtime=48.93 cores=0-7 /proc/30774/task/30836/stat : 30836 (java) R 30772 30772 26041 0 -1 4202560 1812 0 0 0 4892 1 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337814921368 140339090851865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30837] ppid=30772 vsize=28768336 memory=2 CPUtime=48.93 cores=0-7 /proc/30774/task/30837/stat : 30837 (java) R 30772 30772 26041 0 -1 4202560 6828 0 0 0 4874 19 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337819132072 140339086337652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30838] ppid=30772 vsize=28768336 memory=0 CPUtime=49.01 cores=0-7 /proc/30774/task/30838/stat : 30838 (java) R 30772 30772 26041 0 -1 4202560 1014 0 0 0 4901 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337821237736 140339092817520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30839] ppid=30772 vsize=28768336 memory=0 CPUtime=49.07 cores=0-7 /proc/30774/task/30839/stat : 30839 (java) R 30772 30772 26041 0 -1 4202560 929 0 0 0 4907 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337817026696 140339092009213 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30840] ppid=30772 vsize=28768336 memory=0 CPUtime=49.25 cores=0-7 /proc/30774/task/30840/stat : 30840 (java) R 30772 30772 26041 0 -1 4202560 675 0 0 0 4925 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337815973432 140339090851825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30841] ppid=30772 vsize=28768336 memory=465 CPUtime=48.96 cores=0-7 /proc/30774/task/30841/stat : 30841 (java) R 30772 30772 26041 0 -1 4202560 835 0 0 0 4896 0 0 0 20 0 28 0 477652024 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337818078416 140339090851884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 Current children cumulated CPU time: 424.63 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1424368 KiB [startup+56.0017 s]* /proc/loadavg: 8.63 8.50 8.32 10/219 30844 /proc/meminfo: memFree=24241920/32770624 swapFree=66986244/67108860 [pid=30772] ppid=30769 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30772/stat : 30772 (xcsp3-exec) S 30769 30772 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477651455 115843072 363 33554432000 4194304 5098028 140736358693008 140736358691112 139701354562172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21565440 140736358699899 140736358700142 140736358700142 140736358703050 0 /proc/30772/statm: 28282 363 304 221 0 87 0 [pid=30774] ppid=30772 vsize=28768336 memory=1422916 CPUtime=431.09 cores=0-7 /proc/30774/stat : 30774 (java) S 30772 30772 26041 0 -1 1077944320 85194 0 0 0 42969 140 0 0 20 0 28 0 477651455 29458776064 355729 33554432000 4194304 4196468 140722260049104 140722260031648 140339446095607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 /proc/30774/statm: 7192084 355729 3543 1 0 7153184 0 [pid=30774/tid=30775] ppid=30772 vsize=28768336 memory=8317482817917895235 CPUtime=3.18 cores=0-7 /proc/30774/task/30775/stat : 30775 (java) S 30772 30772 26041 0 -1 1077944384 10236 0 0 0 305 13 0 0 20 0 28 0 477651455 29458776064 355729 33554432000 4194304 4196468 140722260049104 140339450336384 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30776] ppid=30772 vsize=28768336 memory=16105866208016137 CPUtime=0.33 cores=0-7 /proc/30774/task/30776/stat : 30776 (java) S 30772 30772 26041 0 -1 1077944384 378 0 0 0 22 11 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338997877136 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30777] ppid=30772 vsize=28768336 memory=1564 CPUtime=0.3 cores=0-7 /proc/30774/task/30777/stat : 30777 (java) S 30772 30772 26041 0 -1 1077944384 897 0 0 0 20 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338996824336 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30778] ppid=30772 vsize=28768336 memory=924 CPUtime=0.28 cores=0-7 /proc/30774/task/30778/stat : 30778 (java) S 30772 30772 26041 0 -1 1077944384 868 0 0 0 19 9 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338995772048 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30779] ppid=30772 vsize=28768336 memory=1680 CPUtime=0.3 cores=0-7 /proc/30774/task/30779/stat : 30779 (java) S 30772 30772 26041 0 -1 1077944384 353 0 0 0 20 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338994719248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30780] ppid=30772 vsize=28768336 memory=1440 CPUtime=0.28 cores=0-7 /proc/30774/task/30780/stat : 30780 (java) S 30772 30772 26041 0 -1 1077944384 274 0 0 0 19 9 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338993666960 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30781] ppid=30772 vsize=28768336 memory=912 CPUtime=0.28 cores=0-7 /proc/30774/task/30781/stat : 30781 (java) S 30772 30772 26041 0 -1 1077944384 282 0 0 0 18 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338992614160 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30782] ppid=30772 vsize=28768336 memory=1984 CPUtime=0.31 cores=0-7 /proc/30774/task/30782/stat : 30782 (java) S 30772 30772 26041 0 -1 1077944384 605 0 0 0 21 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338991561872 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30783] ppid=30772 vsize=28768336 memory=2480 CPUtime=0.3 cores=0-7 /proc/30774/task/30783/stat : 30783 (java) S 30772 30772 26041 0 -1 1077944384 1356 0 0 0 20 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338990509072 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30784] ppid=30772 vsize=28768336 memory=1768 CPUtime=0.02 cores=0-7 /proc/30774/task/30784/stat : 30784 (java) S 30772 30772 26041 0 -1 1077944384 1972 0 0 0 2 0 0 0 20 0 28 0 477651458 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337843079280 140339446106754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30785] ppid=30772 vsize=28768336 memory=1112 CPUtime=0 cores=0-7 /proc/30774/task/30785/stat : 30785 (java) S 30772 30772 26041 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477651458 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337842025312 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30786] ppid=30772 vsize=28768336 memory=5916 CPUtime=0 cores=0-7 /proc/30774/task/30786/stat : 30786 (java) S 30772 30772 26041 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 477651458 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337840972928 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30787] ppid=30772 vsize=28768336 memory=7552 CPUtime=0 cores=0-7 /proc/30774/task/30787/stat : 30787 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337839921232 140339446114203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30788] ppid=30772 vsize=28768336 memory=2832 CPUtime=4.69 cores=0-7 /proc/30774/task/30788/stat : 30788 (java) S 30772 30772 26041 0 -1 1077944384 16872 0 0 0 464 5 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337838869104 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30789] ppid=30772 vsize=28768336 memory=1084 CPUtime=4.27 cores=0-7 /proc/30774/task/30789/stat : 30789 (java) S 30772 30772 26041 0 -1 1077944384 12555 0 0 0 424 3 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337837816304 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30790] ppid=30772 vsize=28768336 memory=14012 CPUtime=4.23 cores=0-7 /proc/30774/task/30790/stat : 30790 (java) S 30772 30772 26041 0 -1 1077944384 12781 0 0 0 421 2 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337836764016 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30791] ppid=30772 vsize=28768336 memory=14048 CPUtime=1.21 cores=0-7 /proc/30774/task/30791/stat : 30791 (java) S 30772 30772 26041 0 -1 1077944384 8578 0 0 0 118 3 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337835711216 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30792] ppid=30772 vsize=28768336 memory=29764 CPUtime=0 cores=0-7 /proc/30774/task/30792/stat : 30792 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337834658144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30793] ppid=30772 vsize=28768336 memory=2120 CPUtime=0.01 cores=0-7 /proc/30774/task/30793/stat : 30793 (java) S 30772 30772 26041 0 -1 1077944384 818 0 0 0 1 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337833605424 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30834] ppid=30772 vsize=28768336 memory=532 CPUtime=49.04 cores=0-7 /proc/30774/task/30834/stat : 30834 (java) R 30772 30772 26041 0 -1 4202560 989 0 0 0 4903 1 0 0 20 0 28 0 477652021 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337820183352 140339090852278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30835] ppid=30772 vsize=28768336 memory=1564 CPUtime=50.13 cores=0-7 /proc/30774/task/30835/stat : 30835 (java) R 30772 30772 26041 0 -1 4202560 900 0 0 0 5013 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337822289768 140339090851456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30836] ppid=30772 vsize=28768336 memory=1452 CPUtime=49.74 cores=0-7 /proc/30774/task/30836/stat : 30836 (java) R 30772 30772 26041 0 -1 4202560 1812 0 0 0 4973 1 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337814921368 140339090851446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30837] ppid=30772 vsize=28768336 memory=1452 CPUtime=49.74 cores=0-7 /proc/30774/task/30837/stat : 30837 (java) R 30772 30772 26041 0 -1 4202560 6867 0 0 0 4955 19 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337819132072 140339092009108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30838] ppid=30772 vsize=28768336 memory=1422780 CPUtime=49.82 cores=0-7 /proc/30774/task/30838/stat : 30838 (java) R 30772 30772 26041 0 -1 4202560 1014 0 0 0 4982 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337821237736 140339092007600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30839] ppid=30772 vsize=28768336 memory=7552 CPUtime=49.88 cores=0-7 /proc/30774/task/30839/stat : 30839 (java) R 30772 30772 26041 0 -1 4202560 929 0 0 0 4988 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337817026696 140339090851456 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30840] ppid=30772 vsize=28768336 memory=2832 CPUtime=50.06 cores=0-7 /proc/30774/task/30840/stat : 30840 (java) R 30772 30772 26041 0 -1 4202560 675 0 0 0 5006 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337815973432 140339092009174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30841] ppid=30772 vsize=28768336 memory=1084 CPUtime=49.77 cores=0-7 /proc/30774/task/30841/stat : 30841 (java) R 30772 30772 26041 0 -1 4202560 835 0 0 0 4977 0 0 0 20 0 28 0 477652024 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337818078416 140339092007593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 Current children cumulated CPU time: 431.09 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1424368 KiB [startup+56.4012 s] /proc/loadavg: 8.63 8.50 8.32 10/219 30844 /proc/meminfo: memFree=24241920/32770624 swapFree=66986244/67108860 [pid=30772] ppid=30769 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30772/stat : 30772 (xcsp3-exec) S 30769 30772 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477651455 115843072 363 33554432000 4194304 5098028 140736358693008 140736358691112 139701354562172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21565440 140736358699899 140736358700142 140736358700142 140736358703050 0 /proc/30772/statm: 28282 363 304 221 0 87 0 [pid=30774] ppid=30772 vsize=28768336 memory=1422916 CPUtime=433.2 cores=0-7 /proc/30774/stat : 30774 (java) S 30772 30772 26041 0 -1 1077944320 85884 0 0 0 43180 140 0 0 20 0 28 0 477651455 29458776064 355729 33554432000 4194304 4196468 140722260049104 140722260031648 140339446095607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 /proc/30774/statm: 7192084 355729 3543 1 0 7153184 0 [pid=30774/tid=30775] ppid=30772 vsize=28768336 memory=8978309881829228953 CPUtime=3.18 cores=0-7 /proc/30774/task/30775/stat : 30775 (java) S 30772 30772 26041 0 -1 1077944384 10236 0 0 0 305 13 0 0 20 0 28 0 477651455 29458776064 355729 33554432000 4194304 4196468 140722260049104 140339450336384 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30776] ppid=30772 vsize=28768336 memory=6791534058613427641 CPUtime=0.33 cores=0-7 /proc/30774/task/30776/stat : 30776 (java) S 30772 30772 26041 0 -1 1077944384 378 0 0 0 22 11 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338997877136 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30777] ppid=30772 vsize=28768336 memory=0 CPUtime=0.3 cores=0-7 /proc/30774/task/30777/stat : 30777 (java) S 30772 30772 26041 0 -1 1077944384 897 0 0 0 20 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338996824336 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30778] ppid=30772 vsize=28768336 memory=469 CPUtime=0.28 cores=0-7 /proc/30774/task/30778/stat : 30778 (java) S 30772 30772 26041 0 -1 1077944384 868 0 0 0 19 9 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338995772048 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30779] ppid=30772 vsize=28768336 memory=427 CPUtime=0.3 cores=0-7 /proc/30774/task/30779/stat : 30779 (java) S 30772 30772 26041 0 -1 1077944384 353 0 0 0 20 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338994719248 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30780] ppid=30772 vsize=28768336 memory=423 CPUtime=0.28 cores=0-7 /proc/30774/task/30780/stat : 30780 (java) S 30772 30772 26041 0 -1 1077944384 274 0 0 0 19 9 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338993666960 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30781] ppid=30772 vsize=28768336 memory=1452 CPUtime=0.28 cores=0-7 /proc/30774/task/30781/stat : 30781 (java) S 30772 30772 26041 0 -1 1077944384 282 0 0 0 18 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338992614160 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30782] ppid=30772 vsize=28768336 memory=1422916 CPUtime=0.31 cores=0-7 /proc/30774/task/30782/stat : 30782 (java) S 30772 30772 26041 0 -1 1077944384 605 0 0 0 21 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338991561872 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30783] ppid=30772 vsize=28768336 memory=5916 CPUtime=0.3 cores=0-7 /proc/30774/task/30783/stat : 30783 (java) S 30772 30772 26041 0 -1 1077944384 1356 0 0 0 20 10 0 0 20 0 28 0 477651456 29458776064 355729 33554432000 4194304 4196468 140722260049104 140338990509072 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30784] ppid=30772 vsize=28768336 memory=7552 CPUtime=0.02 cores=0-7 /proc/30774/task/30784/stat : 30784 (java) S 30772 30772 26041 0 -1 1077944384 1974 0 0 0 2 0 0 0 20 0 28 0 477651458 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337843079280 140339446106754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30785] ppid=30772 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/30774/task/30785/stat : 30785 (java) S 30772 30772 26041 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 477651458 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337842025312 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30786] ppid=30772 vsize=28768336 memory=1084 CPUtime=0 cores=0-7 /proc/30774/task/30786/stat : 30786 (java) S 30772 30772 26041 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 477651458 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337840972928 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30787] ppid=30772 vsize=28768336 memory=14012 CPUtime=0 cores=0-7 /proc/30774/task/30787/stat : 30787 (java) S 30772 30772 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337839921232 140339446114203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30788] ppid=30772 vsize=28768336 memory=14048 CPUtime=4.69 cores=0-7 /proc/30774/task/30788/stat : 30788 (java) S 30772 30772 26041 0 -1 1077944384 16874 0 0 0 464 5 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337838869104 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30789] ppid=30772 vsize=28768336 memory=29764 CPUtime=4.27 cores=0-7 /proc/30774/task/30789/stat : 30789 (java) S 30772 30772 26041 0 -1 1077944384 12557 0 0 0 424 3 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337837816304 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30790] ppid=30772 vsize=28768336 memory=2120 CPUtime=4.23 cores=0-7 /proc/30774/task/30790/stat : 30790 (java) S 30772 30772 26041 0 -1 1077944384 12783 0 0 0 421 2 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337836764016 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30791] ppid=30772 vsize=28768336 memory=532 CPUtime=1.21 cores=0-7 /proc/30774/task/30791/stat : 30791 (java) S 30772 30772 26041 0 -1 1077944384 8793 0 0 0 118 3 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337835711216 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30792] ppid=30772 vsize=28768336 memory=1412 CPUtime=0 cores=0-7 /proc/30774/task/30792/stat : 30792 (java) S 30772 30772 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337834658144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30793] ppid=30772 vsize=28768336 memory=3284 CPUtime=0.01 cores=0-7 /proc/30774/task/30793/stat : 30793 (java) S 30772 30772 26041 0 -1 1077944384 820 0 0 0 1 0 0 0 20 0 28 0 477651461 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337833605424 140339446106754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30834] ppid=30772 vsize=28768336 memory=1452 CPUtime=49.28 cores=0-7 /proc/30774/task/30834/stat : 30834 (java) S 30772 30772 26041 0 -1 1077944384 1058 0 0 0 4927 1 0 0 20 0 28 0 477652021 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337820188288 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30835] ppid=30772 vsize=28768336 memory=1422916 CPUtime=50.37 cores=0-7 /proc/30774/task/30835/stat : 30835 (java) S 30772 30772 26041 0 -1 1077944384 945 0 0 0 5037 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337822294992 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30836] ppid=30772 vsize=28768336 memory=1164 CPUtime=49.98 cores=0-7 /proc/30774/task/30836/stat : 30836 (java) S 30772 30772 26041 0 -1 1077944384 1933 0 0 0 4997 1 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337814926672 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30837] ppid=30772 vsize=28768336 memory=8317482817917895235 CPUtime=49.98 cores=0-7 /proc/30774/task/30837/stat : 30837 (java) S 30772 30772 26041 0 -1 1077944384 6948 0 0 0 4979 19 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337819137232 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30838] ppid=30772 vsize=28768336 memory=-7044947687518736987 CPUtime=50.07 cores=0-7 /proc/30774/task/30838/stat : 30838 (java) S 30772 30772 26041 0 -1 1077944384 1050 0 0 0 5007 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337821242960 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30839] ppid=30772 vsize=28768336 memory=-7452725505408194905 CPUtime=50.13 cores=0-7 /proc/30774/task/30839/stat : 30839 (java) S 30772 30772 26041 0 -1 1077944384 983 0 0 0 5013 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337817032144 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30840] ppid=30772 vsize=28768336 memory=-6436896590679005792 CPUtime=50.3 cores=0-7 /proc/30774/task/30840/stat : 30840 (java) S 30772 30772 26041 0 -1 1077944384 717 0 0 0 5030 0 0 0 20 0 28 0 477652022 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337815978832 140339446105813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 [pid=30774/tid=30841] ppid=30772 vsize=28768336 memory=-6007362509463994004 CPUtime=50.16 cores=0-7 /proc/30774/task/30841/stat : 30841 (java) R 30772 30772 26041 0 -1 4202560 852 0 0 0 5016 0 0 0 20 0 28 0 477652024 29458776064 355729 33554432000 4194304 4196468 140722260049104 140337818078416 140339090851698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7405568 140722260050928 140722260051099 140722260051099 140722260053967 0 Current children cumulated CPU time: 433.2 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1424368 KiB Child status: 0 Real time (s): 56.4855 CPU time (s): 433.295 CPU user time (s): 431.87 CPU system time (s): 1.42454 CPU usage (%): 767.09 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 1424368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 431.87 system time used= 1.42454 maximum resident set size= 1422920 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87665 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7254 involuntary context switches= 5678 # summary of solver processes directly reported to runsolver: # pid: 30772 # total CPU time (s): 433.295 # total CPU user time (s): 431.87 # total CPU system time (s): 1.42454 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.577855 second user time and 0.65844 second system time The end
Begin job on node104 at 2019-09-20 22:02:05 IDJOB=4404921 IDBENCH=140457 IDSOLVER=2866 FILE ID=node104/4404921-1569013946 RUNJOBID= node104-1569000410-26068 PBS_JOBID= 21704740 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404921-1569013946/watcher-4404921-1569013946 -o /tmp/evaluation-result-4404921-1569013946/solver-4404921-1569013946 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1280711948 HOME/instance-4404921-1569013946.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 00ff107c10292685d5feb35a59a49636 RANDOM SEED=1280711948 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25656520 kB MemAvailable: 31830860 kB Buffers: 46216 kB Cached: 6202444 kB SwapCached: 22652 kB Active: 3123372 kB Inactive: 3151828 kB Active(anon): 2592 kB Inactive(anon): 73140 kB Active(file): 3120780 kB Inactive(file): 3078688 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26484 kB Writeback: 0 kB AnonPages: 141688 kB Mapped: 52300 kB Shmem: 40708 kB Slab: 432892 kB SReclaimable: 403332 kB SUnreclaim: 29560 kB KernelStack: 3712 kB PageTables: 4580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-20 22:03:01