Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 45 | 99.2038 | 17.2562 |
Name | OpenStacks/ OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml |
MD5SUM | fc4e4ea7042e58a9368f3717c71f0857 |
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 | 70.5704 |
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-4394480-1568427205.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394480-1568427205.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 13.08/3.62 c solve instance... 21.21/4.74 o 49 24.18/5.35 o 48 30.24/7.71 o 47 31.69/7.93 o 46 32.43/8.04 o 46 35.53/8.43 o 45 99.14/17.22 s OPTIMUM FOUND 99.14/17.22 v <instantiation> 99.14/17.22 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> 99.14/17.22 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> 99.14/17.22 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 (14582 MiB free) memory of node 1: 16384 MiB (15646 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394480-1568427205/watcher-4394480-1568427205 -o /tmp/evaluation-result-4394480-1568427205/solver-4394480-1568427205 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 95350666 HOME/instance-4394480-1568427205.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15939, runsolver pid=15936 Current StackSize limit: 8192 KiB [startup+0.100129 s]* /proc/loadavg: 5.81 6.63 6.79 2/213 15960 /proc/meminfo: memFree=30941024/32770624 swapFree=66947516/67108860 [pid=15939] ppid=15936 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15939/stat : 15939 (xcsp3-exec) S 15936 15939 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418662433 115843072 364 33554432000 4194304 5098028 140724584688720 140724584686824 139856086647420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30859264 140724584690551 140724584690793 140724584690793 140724584693706 0 /proc/15939/statm: 28282 364 306 221 0 87 0 [pid=15941] ppid=15939 vsize=28227388 memory=27896 CPUtime=0.12 cores=0-7 /proc/15941/stat : 15941 (java) S 15939 15939 15751 0 -1 1077944320 5862 0 0 0 11 1 0 0 20 0 20 0 418662433 28904845312 6974 33554432000 4194304 4196468 140722844736352 140722844718896 140166890962679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 /proc/15941/statm: 7056847 6974 3162 1 0 7019032 0 [pid=15941/tid=15942] ppid=15939 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/15941/task/15942/stat : 15942 (java) R 15939 15939 15751 0 -1 4202560 3778 0 0 0 8 0 0 0 20 0 20 0 418662433 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166895194928 140166890974614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15943] ppid=15939 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/15941/task/15943/stat : 15943 (java) S 15939 15939 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166862805520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15944] ppid=15939 vsize=28227388 memory=140207459206784 CPUtime=0 cores=0-7 /proc/15941/task/15944/stat : 15944 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166441765520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15945] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15945/stat : 15945 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166440712464 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15946] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15946/stat : 15946 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166439659920 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15947] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15947/stat : 15947 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166438607888 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15948] ppid=15939 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15941/task/15948/stat : 15948 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166437555344 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15949] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15949/stat : 15949 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166436502288 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15950] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15950/stat : 15950 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 6974 33554432000 4194304 4196468 140722844736352 140166435449744 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15951] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15951/stat : 15951 (java) S 15939 15939 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418662436 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165135722736 140166890973826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15952] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15952/stat : 15952 (java) S 15939 15939 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418662436 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165134668960 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15953] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15953/stat : 15953 (java) S 15939 15939 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418662436 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165133615856 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15954] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15954/stat : 15954 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165132564432 140166890981275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15955] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15955/stat : 15955 (java) S 15939 15939 15751 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165131512560 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15956] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15956/stat : 15956 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165130460016 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15957] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15957/stat : 15957 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165129406960 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15958] ppid=15939 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/15941/task/15958/stat : 15958 (java) R 15939 15939 15751 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165128354416 140166869501052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15959] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15959/stat : 15959 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165127301600 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15960] ppid=15939 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15941/task/15960/stat : 15960 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 6974 33554432000 4194304 4196468 140722844736352 140165126249136 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29352 KiB [startup+0.210812 s]* /proc/loadavg: 5.81 6.63 6.79 4/213 15960 /proc/meminfo: memFree=30927464/32770624 swapFree=66947516/67108860 [pid=15939] ppid=15936 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15939/stat : 15939 (xcsp3-exec) S 15936 15939 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418662433 115843072 364 33554432000 4194304 5098028 140724584688720 140724584686824 139856086647420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30859264 140724584690551 140724584690793 140724584690793 140724584693706 0 /proc/15939/statm: 28282 364 306 221 0 87 0 [pid=15941] ppid=15939 vsize=28227388 memory=39240 CPUtime=0.34 cores=0-7 /proc/15941/stat : 15941 (java) S 15939 15939 15751 0 -1 1077944320 9596 0 0 0 31 3 0 0 20 0 20 0 418662433 28904845312 9810 33554432000 4194304 4196468 140722844736352 140722844718896 140166890962679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 /proc/15941/statm: 7056847 9810 3282 1 0 7019032 0 [pid=15941/tid=15942] ppid=15939 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/15941/task/15942/stat : 15942 (java) R 15939 15939 15751 0 -1 4202560 6701 0 0 0 18 1 0 0 20 0 20 0 418662433 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166895192400 140166890984605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15943] ppid=15939 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/15941/task/15943/stat : 15943 (java) S 15939 15939 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166862805520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15944] ppid=15939 vsize=28227388 memory=140207462297931 CPUtime=0 cores=0-7 /proc/15941/task/15944/stat : 15944 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166441765520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15945] ppid=15939 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15941/task/15945/stat : 15945 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166440712464 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15946] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15946/stat : 15946 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166439659920 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15947] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15947/stat : 15947 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166438607888 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15948] ppid=15939 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15941/task/15948/stat : 15948 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166437555344 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15949] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15949/stat : 15949 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166436502288 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15950] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15950/stat : 15950 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28904845312 9810 33554432000 4194304 4196468 140722844736352 140166435449744 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15951] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15951/stat : 15951 (java) S 15939 15939 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418662436 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165135722736 140166890973826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15952] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15952/stat : 15952 (java) S 15939 15939 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418662436 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165134668960 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15953] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15953/stat : 15953 (java) S 15939 15939 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418662436 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165133615856 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15954] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15954/stat : 15954 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165132564432 140166890981275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15955] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15955/stat : 15955 (java) S 15939 15939 15751 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165131512560 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15956] ppid=15939 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/15941/task/15956/stat : 15956 (java) S 15939 15939 15751 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165130460016 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15957] ppid=15939 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/15941/task/15957/stat : 15957 (java) S 15939 15939 15751 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165129406960 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15958] ppid=15939 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/15941/task/15958/stat : 15958 (java) S 15939 15939 15751 0 -1 1077944384 915 0 0 0 7 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165128354416 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15959] ppid=15939 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15959/stat : 15959 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165127301600 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15960] ppid=15939 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/15941/task/15960/stat : 15960 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662439 28904845312 9810 33554432000 4194304 4196468 140722844736352 140165126249136 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 40696 KiB [startup+0.310482 s]* /proc/loadavg: 5.81 6.63 6.79 2/213 15960 /proc/meminfo: memFree=30922240/32770624 swapFree=66947516/67108860 [pid=15939] ppid=15936 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15939/stat : 15939 (xcsp3-exec) S 15936 15939 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418662433 115843072 364 33554432000 4194304 5098028 140724584688720 140724584686824 139856086647420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30859264 140724584690551 140724584690793 140724584690793 140724584693706 0 /proc/15939/statm: 28282 364 306 221 0 87 0 [pid=15941] ppid=15939 vsize=28231644 memory=48980 CPUtime=0.52 cores=0-7 /proc/15941/stat : 15941 (java) S 15939 15939 15751 0 -1 1077944320 11102 0 0 0 48 4 0 0 20 0 20 0 418662433 28909203456 12245 33554432000 4194304 4196468 140722844736352 140722844718896 140166890962679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 /proc/15941/statm: 7057911 12245 3367 1 0 7019032 0 [pid=15941/tid=15942] ppid=15939 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/15941/task/15942/stat : 15942 (java) R 15939 15939 15751 0 -1 4202560 7796 0 0 0 27 2 0 0 20 0 20 0 418662433 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166895193792 140166875043166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15943] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15943/stat : 15943 (java) S 15939 15939 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166862805520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15944] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15944/stat : 15944 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166441765520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15945] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15945/stat : 15945 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166440712464 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15946] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15946/stat : 15946 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166439659920 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15947] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15947/stat : 15947 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166438607888 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15948] ppid=15939 vsize=28231644 memory=140207328422575 CPUtime=0 cores=0-7 /proc/15941/task/15948/stat : 15948 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166437555344 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15949] ppid=15939 vsize=28231644 memory=140207328424880 CPUtime=0 cores=0-7 /proc/15941/task/15949/stat : 15949 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166436502288 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15950] ppid=15939 vsize=28231644 memory=140207328427184 CPUtime=0 cores=0-7 /proc/15941/task/15950/stat : 15950 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28909203456 12245 33554432000 4194304 4196468 140722844736352 140166435449744 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15951] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15951/stat : 15951 (java) S 15939 15939 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418662436 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165135722736 140166890973826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15952] ppid=15939 vsize=28231644 memory=280414656868240 CPUtime=0 cores=0-7 /proc/15941/task/15952/stat : 15952 (java) S 15939 15939 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418662436 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165134668960 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15953] ppid=15939 vsize=28231644 memory=280414656865936 CPUtime=0 cores=0-7 /proc/15941/task/15953/stat : 15953 (java) S 15939 15939 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418662436 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165133615856 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15954] ppid=15939 vsize=28231644 memory=280414656872848 CPUtime=0 cores=0-7 /proc/15941/task/15954/stat : 15954 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165132564432 140166890981275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15955] ppid=15939 vsize=28231644 memory=280414656814128 CPUtime=0.01 cores=0-7 /proc/15941/task/15955/stat : 15955 (java) S 15939 15939 15751 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165131512560 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15956] ppid=15939 vsize=28231644 memory=280414656886672 CPUtime=0.02 cores=0-7 /proc/15941/task/15956/stat : 15956 (java) S 15939 15939 15751 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165130460016 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15957] ppid=15939 vsize=28231644 memory=280414656893584 CPUtime=0.03 cores=0-7 /proc/15941/task/15957/stat : 15957 (java) R 15939 15939 15751 0 -1 4202560 240 0 0 0 3 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165129387976 140166871662976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15958] ppid=15939 vsize=28231644 memory=280414656891280 CPUtime=0.12 cores=0-7 /proc/15941/task/15958/stat : 15958 (java) S 15939 15939 15751 0 -1 1077944384 1153 0 0 0 12 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165128354416 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15959] ppid=15939 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15959/stat : 15959 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165127301600 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15960] ppid=15939 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/15941/task/15960/stat : 15960 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662439 28909203456 12245 33554432000 4194304 4196468 140722844736352 140165126249136 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50436 KiB [startup+0.70101 s] /proc/loadavg: 5.81 6.63 6.79 4/213 15960 /proc/meminfo: memFree=30892772/32770624 swapFree=66947516/67108860 [pid=15939] ppid=15936 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15939/stat : 15939 (xcsp3-exec) S 15936 15939 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418662433 115843072 364 33554432000 4194304 5098028 140724584688720 140724584686824 139856086647420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30859264 140724584690551 140724584690793 140724584690793 140724584693706 0 /proc/15939/statm: 28282 364 306 221 0 87 0 [pid=15941] ppid=15939 vsize=28233768 memory=121772 CPUtime=2.05 cores=0-7 /proc/15941/stat : 15941 (java) S 15939 15939 15751 0 -1 1077944320 15461 0 0 0 199 6 0 0 20 0 20 0 418662433 28911378432 30443 33554432000 4194304 4196468 140722844736352 140722844718896 140166890962679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 /proc/15941/statm: 7058442 30443 3450 1 0 7019544 0 [pid=15941/tid=15942] ppid=15939 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/15941/task/15942/stat : 15942 (java) R 15939 15939 15751 0 -1 4202560 8503 0 0 0 65 3 0 0 20 0 20 0 418662433 28911378432 30443 33554432000 4194304 4196468 140722844736352 140166895196368 140166529558813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15943] ppid=15939 vsize=28233768 memory=140207328633712 CPUtime=0 cores=0-7 /proc/15941/task/15943/stat : 15943 (java) S 15939 15939 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418662434 28911378432 30443 33554432000 4194304 4196468 140722844736352 140166862805520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15944] ppid=15939 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/15941/task/15944/stat : 15944 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418662434 28911378432 30443 33554432000 4194304 4196468 140722844736352 140166441765520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15945] ppid=15939 vsize=28233768 memory=1200 CPUtime=0 cores=0-7 /proc/15941/task/15945/stat : 15945 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418662434 28911378432 30443 33554432000 4194304 4196468 140722844736352 140166440712464 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 ################ # More data... # ################ [pid=15941/tid=15958] ppid=15939 vsize=28768328 memory=4136 CPUtime=1.55 cores=0-7 /proc/15941/task/15958/stat : 15958 (java) R 15939 15939 15751 0 -1 1077944384 10334 0 0 0 152 3 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165128354416 140166890973826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15959] ppid=15939 vsize=28768328 memory=780 CPUtime=0 cores=0-7 /proc/15941/task/15959/stat : 15959 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165127301600 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15960] ppid=15939 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/15941/task/15960/stat : 15960 (java) S 15939 15939 15751 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165126249136 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16009] ppid=15939 vsize=28768328 memory=1720 CPUtime=6.81 cores=0-7 /proc/15941/task/16009/stat : 16009 (java) R 15939 15939 15751 0 -1 4202560 283 0 0 0 681 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164992168744 140166539526767 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16010] ppid=15939 vsize=28768328 memory=1200 CPUtime=6.77 cores=0-7 /proc/15941/task/16010/stat : 16010 (java) R 15939 15939 15751 0 -1 4202560 439 0 0 0 676 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164991115000 140166539375883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16011] ppid=15939 vsize=28768328 memory=5964 CPUtime=6.31 cores=0-7 /proc/15941/task/16011/stat : 16011 (java) R 15939 15939 15751 0 -1 4202560 1984 0 0 0 630 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164998484296 140166539375658 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16012] ppid=15939 vsize=28768328 memory=280414657779616 CPUtime=7.02 cores=0-7 /proc/15941/task/16012/stat : 16012 (java) R 15939 15939 15751 0 -1 4202560 432 0 0 0 702 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164993220608 140166541445982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16013] ppid=15939 vsize=28768328 memory=7235988639604435561 CPUtime=6.57 cores=0-7 /proc/15941/task/16013/stat : 16013 (java) R 15939 15939 15751 0 -1 4202560 246 0 0 0 656 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164997430968 140166533380663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16014] ppid=15939 vsize=28768328 memory=7594312954605888106 CPUtime=6.38 cores=0-7 /proc/15941/task/16014/stat : 16014 (java) R 15939 15939 15751 0 -1 4202560 1356 0 0 0 634 4 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164996378744 140166538553792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16015] ppid=15939 vsize=28768328 memory=7594312954605888106 CPUtime=6.69 cores=0-7 /proc/15941/task/16015/stat : 16015 (java) R 15939 15939 15751 0 -1 4202560 259 0 0 0 669 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164995325112 140166534841191 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16016] ppid=15939 vsize=28768328 memory=7091596443267716204 CPUtime=6.61 cores=0-7 /proc/15941/task/16016/stat : 16016 (java) R 15939 15939 15751 0 -1 4202560 386 0 0 0 660 1 0 0 20 0 28 0 418663278 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164994272984 140166531901062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 Current children cumulated CPU time: 95.89 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 919928 KiB [startup+16.8012 s] /proc/loadavg: 6.42 6.72 6.81 11/220 16016 /proc/meminfo: memFree=30048464/32770624 swapFree=66947516/67108860 [pid=15939] ppid=15936 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15939/stat : 15939 (xcsp3-exec) S 15936 15939 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418662433 115843072 364 33554432000 4194304 5098028 140724584688720 140724584686824 139856086647420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30859264 140724584690551 140724584690793 140724584690793 140724584693706 0 /proc/15939/statm: 28282 364 306 221 0 87 0 [pid=15941] ppid=15939 vsize=28768328 memory=918472 CPUtime=98.73 cores=0-7 /proc/15941/stat : 15941 (java) S 15939 15939 15751 0 -1 1077944320 96865 0 0 0 9747 126 0 0 20 0 28 0 418662433 29458767872 229618 33554432000 4194304 4196468 140722844736352 140722844718896 140166890962679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 /proc/15941/statm: 7192082 229618 3543 1 0 7153184 0 [pid=15941/tid=15942] ppid=15939 vsize=28768328 memory=918472 CPUtime=3.44 cores=0-7 /proc/15941/task/15942/stat : 15942 (java) S 15939 15939 15751 0 -1 1077944384 10419 0 0 0 334 10 0 0 20 0 28 0 418662433 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166895203456 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15943] ppid=15939 vsize=28768328 memory=7594312954605888106 CPUtime=0.27 cores=0-7 /proc/15941/task/15943/stat : 15943 (java) S 15939 15939 15751 0 -1 1077944384 281 0 0 0 19 8 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166862805520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15944] ppid=15939 vsize=28768328 memory=7235988639604435561 CPUtime=0.3 cores=0-7 /proc/15941/task/15944/stat : 15944 (java) S 15939 15939 15751 0 -1 1077944384 437 0 0 0 21 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166441765520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15945] ppid=15939 vsize=28768328 memory=7091596443267716206 CPUtime=0.27 cores=0-7 /proc/15941/task/15945/stat : 15945 (java) S 15939 15939 15751 0 -1 1077944384 254 0 0 0 18 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166440712464 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15946] ppid=15939 vsize=28768328 memory=7091596443267716206 CPUtime=0.27 cores=0-7 /proc/15941/task/15946/stat : 15946 (java) S 15939 15939 15751 0 -1 1077944384 345 0 0 0 18 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166439659920 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15947] ppid=15939 vsize=28768328 memory=7667770252999290466 CPUtime=0.3 cores=0-7 /proc/15941/task/15947/stat : 15947 (java) S 15939 15939 15751 0 -1 1077944384 389 0 0 0 20 10 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166438607888 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15948] ppid=15939 vsize=28768328 memory=303430223234596890 CPUtime=0.26 cores=0-7 /proc/15941/task/15948/stat : 15948 (java) S 15939 15939 15751 0 -1 1077944384 318 0 0 0 18 8 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166437555344 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15949] ppid=15939 vsize=28768328 memory=288230617509003574 CPUtime=0.3 cores=0-7 /proc/15941/task/15949/stat : 15949 (java) S 15939 15939 15751 0 -1 1077944384 431 0 0 0 21 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166436502288 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15950] ppid=15939 vsize=28768328 memory=15534115864709562 CPUtime=0.31 cores=0-7 /proc/15941/task/15950/stat : 15950 (java) S 15939 15939 15751 0 -1 1077944384 398 0 0 0 22 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166435449744 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15951] ppid=15939 vsize=28768328 memory=4104 CPUtime=0.03 cores=0-7 /proc/15941/task/15951/stat : 15951 (java) S 15939 15939 15751 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 28 0 418662436 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165135722736 140166890973826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15952] ppid=15939 vsize=28768328 memory=1808 CPUtime=0 cores=0-7 /proc/15941/task/15952/stat : 15952 (java) S 15939 15939 15751 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 418662436 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165134669024 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15953] ppid=15939 vsize=28768328 memory=924 CPUtime=0 cores=0-7 /proc/15941/task/15953/stat : 15953 (java) S 15939 15939 15751 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 418662436 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165133615872 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15954] ppid=15939 vsize=28768328 memory=4224 CPUtime=0 cores=0-7 /proc/15941/task/15954/stat : 15954 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165132564432 140166890981275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15955] ppid=15939 vsize=28768328 memory=1412 CPUtime=6.9 cores=0-7 /proc/15941/task/15955/stat : 15955 (java) S 15939 15939 15751 0 -1 1077944384 28849 0 0 0 682 8 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165131512560 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15956] ppid=15939 vsize=28768328 memory=6791534058613427641 CPUtime=6.84 cores=0-7 /proc/15941/task/15956/stat : 15956 (java) S 15939 15939 15751 0 -1 1077944384 15385 0 0 0 680 4 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165130460016 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15957] ppid=15939 vsize=28768328 memory=6656426216303648864 CPUtime=6.81 cores=0-7 /proc/15941/task/15957/stat : 15957 (java) S 15939 15939 15751 0 -1 1077944384 18240 0 0 0 676 5 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165129406960 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15958] ppid=15939 vsize=28768328 memory=7380106142448642923 CPUtime=1.55 cores=0-7 /proc/15941/task/15958/stat : 15958 (java) S 15939 15939 15751 0 -1 1077944384 10335 0 0 0 152 3 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165128354416 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15959] ppid=15939 vsize=28768328 memory=8099279071866868843 CPUtime=0 cores=0-7 /proc/15941/task/15959/stat : 15959 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165127301600 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15960] ppid=15939 vsize=28768328 memory=7013340846366745708 CPUtime=0 cores=0-7 /proc/15941/task/15960/stat : 15960 (java) S 15939 15939 15751 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165126249136 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16009] ppid=15939 vsize=28768328 memory=-7384474665255210089 CPUtime=7.08 cores=0-7 /proc/15941/task/16009/stat : 16009 (java) S 15939 15939 15751 0 -1 1077944384 288 0 0 0 708 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164992171248 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16010] ppid=15939 vsize=28768328 memory=5788930165031592000 CPUtime=6.99 cores=0-7 /proc/15941/task/16010/stat : 16010 (java) S 15939 15939 15751 0 -1 1077944384 439 0 0 0 698 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164991120208 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16011] ppid=15939 vsize=28768328 memory=7447094944682039632 CPUtime=6.59 cores=0-7 /proc/15941/task/16011/stat : 16011 (java) S 15939 15939 15751 0 -1 1077944384 2001 0 0 0 658 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164998489552 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16012] ppid=15939 vsize=28768328 memory=7739276948477997159 CPUtime=7.3 cores=0-7 /proc/15941/task/16012/stat : 16012 (java) S 15939 15939 15751 0 -1 1077944384 451 0 0 0 730 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164993226320 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16013] ppid=15939 vsize=28768328 memory=7380106142448642408 CPUtime=6.85 cores=0-7 /proc/15941/task/16013/stat : 16013 (java) S 15939 15939 15751 0 -1 1077944384 262 0 0 0 684 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164997436624 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16014] ppid=15939 vsize=28768328 memory=280414657386680 CPUtime=6.54 cores=0-7 /proc/15941/task/16014/stat : 16014 (java) S 15939 15939 15751 0 -1 1077944384 1408 0 0 0 648 6 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164996384080 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16015] ppid=15939 vsize=28768328 memory=0 CPUtime=6.99 cores=0-7 /proc/15941/task/16015/stat : 16015 (java) S 15939 15939 15751 0 -1 1077944384 260 0 0 0 699 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164995331024 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16016] ppid=15939 vsize=28768328 memory=0 CPUtime=7.4 cores=0-7 /proc/15941/task/16016/stat : 16016 (java) R 15939 15939 15751 0 -1 4202560 480 0 0 0 739 1 0 0 20 0 28 0 418663278 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164994272640 140166531859078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 Current children cumulated CPU time: 98.73 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 919928 KiB [startup+17.2012 s] /proc/loadavg: 6.42 6.72 6.81 2/220 16016 /proc/meminfo: memFree=30048216/32770624 swapFree=66947516/67108860 [pid=15939] ppid=15936 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/15939/stat : 15939 (xcsp3-exec) S 15936 15939 15751 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418662433 115843072 364 33554432000 4194304 5098028 140724584688720 140724584686824 139856086647420 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30859264 140724584690551 140724584690793 140724584690793 140724584693706 0 /proc/15939/statm: 28282 364 306 221 0 87 0 [pid=15941] ppid=15939 vsize=28768328 memory=918472 CPUtime=99.14 cores=0-7 /proc/15941/stat : 15941 (java) S 15939 15939 15751 0 -1 1077944320 97476 0 0 0 9788 126 0 0 20 0 28 0 418662433 29458767872 229618 33554432000 4194304 4196468 140722844736352 140722844718896 140166890962679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 /proc/15941/statm: 7192082 229618 3543 1 0 7153184 0 [pid=15941/tid=15942] ppid=15939 vsize=28768328 memory=500 CPUtime=3.44 cores=0-7 /proc/15941/task/15942/stat : 15942 (java) S 15939 15939 15751 0 -1 1077944384 10419 0 0 0 334 10 0 0 20 0 28 0 418662433 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166895203456 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15943] ppid=15939 vsize=28768328 memory=6791534058613427641 CPUtime=0.27 cores=0-7 /proc/15941/task/15943/stat : 15943 (java) S 15939 15939 15751 0 -1 1077944384 281 0 0 0 19 8 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166862805520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15944] ppid=15939 vsize=28768328 memory=26 CPUtime=0.3 cores=0-7 /proc/15941/task/15944/stat : 15944 (java) S 15939 15939 15751 0 -1 1077944384 437 0 0 0 21 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166441765520 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15945] ppid=15939 vsize=28768328 memory=30 CPUtime=0.27 cores=0-7 /proc/15941/task/15945/stat : 15945 (java) S 15939 15939 15751 0 -1 1077944384 254 0 0 0 18 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166440712464 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15946] ppid=15939 vsize=28768328 memory=31 CPUtime=0.27 cores=0-7 /proc/15941/task/15946/stat : 15946 (java) S 15939 15939 15751 0 -1 1077944384 345 0 0 0 18 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166439659920 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15947] ppid=15939 vsize=28768328 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/15941/task/15947/stat : 15947 (java) S 15939 15939 15751 0 -1 1077944384 389 0 0 0 20 10 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166438607888 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15948] ppid=15939 vsize=28768328 memory=303430223234596890 CPUtime=0.26 cores=0-7 /proc/15941/task/15948/stat : 15948 (java) S 15939 15939 15751 0 -1 1077944384 318 0 0 0 18 8 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166437555344 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15949] ppid=15939 vsize=28768328 memory=288230617509003574 CPUtime=0.3 cores=0-7 /proc/15941/task/15949/stat : 15949 (java) S 15939 15939 15751 0 -1 1077944384 431 0 0 0 21 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166436502288 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15950] ppid=15939 vsize=28768328 memory=15534115864709562 CPUtime=0.31 cores=0-7 /proc/15941/task/15950/stat : 15950 (java) S 15939 15939 15751 0 -1 1077944384 398 0 0 0 22 9 0 0 20 0 28 0 418662434 29458767872 229618 33554432000 4194304 4196468 140722844736352 140166435449744 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15951] ppid=15939 vsize=28768328 memory=545 CPUtime=0.03 cores=0-7 /proc/15941/task/15951/stat : 15951 (java) S 15939 15939 15751 0 -1 1077944384 921 0 0 0 2 1 0 0 20 0 28 0 418662436 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165135722736 140166890973826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15952] ppid=15939 vsize=28768328 memory=568 CPUtime=0 cores=0-7 /proc/15941/task/15952/stat : 15952 (java) S 15939 15939 15751 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 418662436 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165134669024 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15953] ppid=15939 vsize=28768328 memory=583 CPUtime=0 cores=0-7 /proc/15941/task/15953/stat : 15953 (java) S 15939 15939 15751 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 418662436 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165133615872 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15954] ppid=15939 vsize=28768328 memory=143 CPUtime=0 cores=0-7 /proc/15941/task/15954/stat : 15954 (java) S 15939 15939 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165132564432 140166890981275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15955] ppid=15939 vsize=28768328 memory=0 CPUtime=6.92 cores=0-7 /proc/15941/task/15955/stat : 15955 (java) S 15939 15939 15751 0 -1 1077944384 29401 0 0 0 684 8 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165131512560 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15956] ppid=15939 vsize=28768328 memory=0 CPUtime=6.84 cores=0-7 /proc/15941/task/15956/stat : 15956 (java) S 15939 15939 15751 0 -1 1077944384 15385 0 0 0 680 4 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165130460016 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15957] ppid=15939 vsize=28768328 memory=164 CPUtime=6.81 cores=0-7 /proc/15941/task/15957/stat : 15957 (java) S 15939 15939 15751 0 -1 1077944384 18240 0 0 0 676 5 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165129406960 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15958] ppid=15939 vsize=28768328 memory=280412240937451 CPUtime=1.55 cores=0-7 /proc/15941/task/15958/stat : 15958 (java) S 15939 15939 15751 0 -1 1077944384 10335 0 0 0 152 3 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165128354416 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15959] ppid=15939 vsize=28768328 memory=8326441112149131687 CPUtime=0 cores=0-7 /proc/15941/task/15959/stat : 15959 (java) S 15939 15939 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165127301600 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=15960] ppid=15939 vsize=28768328 memory=-8614379499087747112 CPUtime=0 cores=0-7 /proc/15941/task/15960/stat : 15960 (java) S 15939 15939 15751 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 28 0 418662439 29458767872 229618 33554432000 4194304 4196468 140722844736352 140165126249136 140166890973826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16009] ppid=15939 vsize=28768328 memory=3047711604724501878 CPUtime=7.08 cores=0-7 /proc/15941/task/16009/stat : 16009 (java) S 15939 15939 15751 0 -1 1077944384 288 0 0 0 708 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164992171248 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16010] ppid=15939 vsize=28768328 memory=6791534058613427641 CPUtime=6.99 cores=0-7 /proc/15941/task/16010/stat : 16010 (java) S 15939 15939 15751 0 -1 1077944384 439 0 0 0 698 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164991120208 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16011] ppid=15939 vsize=28768328 memory=1672 CPUtime=6.59 cores=0-7 /proc/15941/task/16011/stat : 16011 (java) S 15939 15939 15751 0 -1 1077944384 2001 0 0 0 658 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164998489552 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16012] ppid=15939 vsize=28768328 memory=796 CPUtime=7.3 cores=0-7 /proc/15941/task/16012/stat : 16012 (java) S 15939 15939 15751 0 -1 1077944384 451 0 0 0 730 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164993226320 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16013] ppid=15939 vsize=28768328 memory=1436 CPUtime=6.85 cores=0-7 /proc/15941/task/16013/stat : 16013 (java) S 15939 15939 15751 0 -1 1077944384 262 0 0 0 684 1 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164997436624 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16014] ppid=15939 vsize=28768328 memory=1984 CPUtime=6.54 cores=0-7 /proc/15941/task/16014/stat : 16014 (java) S 15939 15939 15751 0 -1 1077944384 1408 0 0 0 648 6 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164996384080 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16015] ppid=15939 vsize=28768328 memory=2424 CPUtime=6.99 cores=0-7 /proc/15941/task/16015/stat : 16015 (java) S 15939 15939 15751 0 -1 1077944384 260 0 0 0 699 0 0 0 20 0 28 0 418663277 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164995331024 140166890972885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 [pid=15941/tid=16016] ppid=15939 vsize=28768328 memory=1764 CPUtime=7.8 cores=0-7 /proc/15941/task/16016/stat : 16016 (java) R 15939 15939 15751 0 -1 4202560 537 0 0 0 779 1 0 0 20 0 28 0 418663278 29458767872 229618 33554432000 4194304 4196468 140722844736352 140164994272640 140166528779296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10575872 140722844742634 140722844742806 140722844742806 140722844745679 0 Current children cumulated CPU time: 99.14 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 919928 KiB Child status: 0 Real time (s): 17.2562 CPU time (s): 99.2038 CPU user time (s): 97.9276 CPU system time (s): 1.27612 CPU usage (%): 574.886 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 934600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 97.9276 system time used= 1.27612 maximum resident set size= 933148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99113 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6959 involuntary context switches= 2647 # summary of solver processes directly reported to runsolver: # pid: 15939 # total CPU time (s): 99.2038 # total CPU user time (s): 97.9276 # total CPU system time (s): 1.27612 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.139212 second user time and 0.274142 second system time The end
Begin job on node117 at 2019-09-14 04:12:43 IDJOB=4394480 IDBENCH=126777 IDSOLVER=2843 FILE ID=node117/4394480-1568427205 RUNJOBID= node117-1568427144-15778 PBS_JOBID= 21702295 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-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-4394480-1568427205/watcher-4394480-1568427205 -o /tmp/evaluation-result-4394480-1568427205/solver-4394480-1568427205 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 95350666 HOME/instance-4394480-1568427205.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fc4e4ea7042e58a9368f3717c71f0857 RANDOM SEED=95350666 node117.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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: 30954552 kB MemAvailable: 31867224 kB Buffers: 138044 kB Cached: 1042900 kB SwapCached: 51464 kB Active: 769312 kB Inactive: 466028 kB Active(anon): 19196 kB Inactive(anon): 58832 kB Active(file): 750116 kB Inactive(file): 407196 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947516 kB Dirty: 26292 kB Writeback: 0 kB AnonPages: 264724 kB Mapped: 33536 kB Shmem: 15436 kB Slab: 170688 kB SReclaimable: 142388 kB SUnreclaim: 28300 kB KernelStack: 3744 kB PageTables: 5540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-14 04:13:00