Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 5 | 251.914 | 252.018 |
Name | TemplateDesign/ TemplateDesign-m1s-magazine_c18.xml |
MD5SUM | 90ad9fa5946247c0fa0335207c2f2744 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 252.15 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5100 |
Number of constraints | 2650 |
Number of domains | 27 |
Minimum domain size | 2 |
Maximum domain size | 445 |
Distribution of domain sizes | [{"size":2,"count":50},{"size":41,"count":2500},{"size":55,"count":50},{"size":58,"count":50},{"size":60,"count":50},{"size":66,"count":50},{"size":93,"count":50},{"size":99,"count":50},{"size":110,"count":100},{"size":115,"count":50},{"size":121,"count":50},{"size":150,"count":50},{"size":154,"count":150},{"size":165,"count":400},{"size":184,"count":50},{"size":187,"count":100},{"size":214,"count":100},{"size":220,"count":150},{"size":231,"count":100},{"size":247,"count":50},{"size":253,"count":150},{"size":275,"count":400},{"size":291,"count":50},{"size":297,"count":100},{"size":406,"count":50},{"size":412,"count":100},{"size":445,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 51 |
Distribution of variable degrees | [{"degree":2,"count":5050},{"degree":51,"count":50}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":50},{"arity":3,"count":2500},{"arity":50,"count":100}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 2500 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":2500},{"type":"sum","count":100}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 2.69/2.78 o 6 28.28/28.38 o 5 251.89/252.01 s SATISFIABLE 251.89/252.01 v <instantiation type="solution"> 251.89/252.01 v <list> d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] npt[0] npt[1] npt[2] npt[3] npt[4] npt[5] npt[6] npt[7] npt[8] npt[9] npt[10] npt[11] npt[12] npt[13] npt[14] npt[15] npt[16] npt[17] npt[18] npt[19] npt[20] npt[21] npt[22] npt[23] npt[24] npt[25] npt[26] npt[27] npt[28] npt[29] npt[30] npt[31] npt[32] npt[33] npt[34] npt[35] npt[36] npt[37] npt[38] npt[39] npt[40] npt[41] npt[42] npt[43] npt[44] npt[45] npt[46] npt[47] npt[48] npt[49] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] nptv[0][0] nptv[0][1] nptv[0][2] nptv[0][3] nptv[0][4] nptv[0][5] nptv[0][6] nptv[0][7] nptv[0][8] nptv[0][9] nptv[0][10] nptv[0][11] nptv[0][12] nptv[0][13] nptv[0][14] nptv[0][15] nptv[0][16] nptv[0][17] nptv[0][18] nptv[0][19] nptv[0][20] nptv[0][21] nptv[0][22] nptv[0][23] nptv[0][24] nptv[0][25] nptv[0][26] nptv[0][27] nptv[0][28] nptv[0][29] nptv[0][30] nptv[0][31] nptv[0][32] nptv[0][33] nptv[0][34] nptv[0][35] nptv[0][36] nptv[0][37] nptv[0][38] nptv[0][39] nptv[0][40] nptv[0][41] nptv[0][42] nptv[0][43] nptv[0][44] nptv[0][45] nptv[0][46] nptv[0][47] nptv[0][48] nptv[0][49] nptv[1][0] nptv[1][1] nptv[1][2] nptv[1][3] nptv[1][4] nptv[1][5] nptv[1][6] nptv[1][7] nptv[1][8] nptv[1][9] nptv[1][10] nptv[1][11] nptv[1][12] nptv[1][13] nptv[1][14] nptv[1][15] nptv[1][16] nptv[1][17] nptv[1][18] nptv[1][19] nptv[1][20] nptv[1][21] nptv[1][22] nptv[1][23] nptv[1][24] nptv[1][25] nptv[1][26] nptv[1][27] nptv[1][28] nptv[1][29] nptv[1][30] nptv[1][31] nptv[1][32] nptv[1][33] nptv[1][34] nptv[1][35] nptv[1][36] nptv[1][37] nptv[1][38] nptv[1][39] nptv[1][40] nptv[1][41] nptv[1][42] nptv[1][43] nptv[1][44] nptv[1][45] nptv[1][46] nptv[1][47] nptv[1][48] nptv[1][49] nptv[2][0] nptv[2][1] nptv[2][2] nptv[2][3] nptv[2][4] nptv[2][5] nptv[2][6] nptv[2][7] nptv[2][8] nptv[2][9] nptv[2][10] nptv[2][11] nptv[2][12] nptv[2][13] nptv[2][14] nptv[2][15] nptv[2][16] nptv[2][17] nptv[2][18] nptv[2][19] nptv[2][20] nptv[2][21] nptv[2][22] nptv[2][23] nptv[2][24] nptv[2][25] nptv[2][26] nptv[2][27] nptv[2][28] nptv[2][29] nptv[2][30] nptv[2][31] nptv[2][32] nptv[2][33] nptv[2][34] nptv[2][35] nptv[2][36] nptv[2][37] nptv[2][38] nptv[2][39] nptv[2][40] nptv[2][41] nptv[2][42] nptv[2][43] nptv[2][44] nptv[2][45] nptv[2][46] nptv[2][47] nptv[2][48] nptv[2][49] nptv[3][0] nptv[3][1] nptv[3][2] nptv[3][3] nptv[3][4] nptv[3][5] nptv[3][6] nptv[3][7] nptv[3][8] nptv[3][9] nptv[3][10] nptv[3][11] nptv[3][12] nptv[3][13] nptv[3][14] nptv[3][15] nptv[3][16] nptv[3][17] nptv[3][18] nptv[3][19] nptv[3][20] nptv[3][21] nptv[3][22] nptv[3][23] nptv[3][24] nptv[3][25] nptv[3][26] nptv[3][27] nptv[3][28] nptv[3][29] nptv[3][30] nptv[3][31] nptv[3][32] nptv[3][33] nptv[3][34] nptv[3][35] nptv[3][36] nptv[3][37] nptv[3][38] nptv[3][39] nptv[3][40] nptv[3][41] nptv[3][42] nptv[3][43] nptv[3][44] nptv[3][45] nptv[3][46] nptv[3][47] nptv[3][48] nptv[3][49] nptv[4][0] nptv[4][1] nptv[4][2] nptv[4][3] nptv[4][4] nptv[4][5] nptv[4][6] nptv[4][7] nptv[4][8] nptv[4][9] nptv[4][10] nptv[4][11] nptv[4][12] nptv[4][13] nptv[4][14] nptv[4][15] nptv[4][16] nptv[4][17] nptv[4][18] nptv[4][19] nptv[4][20] nptv[4][21] nptv[4][22] nptv[4][23] nptv[4][24] nptv[4][25] nptv[4][26] nptv[4][27] nptv[4][28] nptv[4][29] nptv[4][30] nptv[4][31] nptv[4][32] nptv[4][33] nptv[4][34] nptv[4][35] nptv[4][36] nptv[4][37] nptv[4][38] nptv[4][39] nptv[4][40] nptv[4][41] nptv[4][42] nptv[4][43] nptv[4][44] nptv[4][45] nptv[4][46] nptv[4][47] nptv[4][48] nptv[4][49] nptv[5][0] nptv[5][1] nptv[5][2] nptv[5][3] nptv[5][4] nptv[5][5] nptv[5][6] nptv[5][7] nptv[5][8] nptv[5][9] nptv[5][10] nptv[5][11] nptv[5][12] nptv[5][13] nptv[5][14] nptv[5][15] nptv[5][16] nptv[5][17] nptv[5][18] nptv[5][19] nptv[5][20] nptv[5][21] nptv[5][22] nptv[5][23] nptv[5][24] nptv[5][25] nptv[5][26] nptv[5][27] nptv[5][28] nptv[5][29] nptv[5][30] nptv[5][31] nptv[5][32] nptv[5][33] nptv[5][34] nptv[5][35] nptv[5][36] nptv[5][37] nptv[5][38] nptv[5][39] nptv[5][40] nptv[5][41] nptv[5][42] nptv[5][43] nptv[5][44] nptv[5][45] nptv[5][46] nptv[5][47] nptv[5][48] nptv[5][49] nptv[6][0] nptv[6][1] nptv[6][2] nptv[6][3] nptv[6][4] nptv[6][5] nptv[6][6] nptv[6][7] nptv[6][8] nptv[6][9] nptv[6][10] nptv[6][11] nptv[6][12] nptv[6][13] nptv[6][14] nptv[6][15] nptv[6][16] nptv[6][17] nptv[6][18] nptv[6][19] nptv[6][20] nptv[6][21] nptv[6][22] nptv[6][23] nptv[6][24] nptv[6][25] nptv[6][26] nptv[6][27] nptv[6][28] nptv[6][29] nptv[6][30] nptv[6][31] nptv[6][32] nptv[6][33] nptv[6][34] nptv[6][35] nptv[6][36] nptv[6][37] nptv[6][38] nptv[6][39] nptv[6][40] nptv[6][41] nptv[6][42] nptv[6][43] nptv[6][44] nptv[6][45] nptv[6][46] nptv[6][47] nptv[6][48] nptv[6][49] nptv[7][0] nptv[7][1] nptv[7][2] nptv[7][3] nptv[7][4] nptv[7][5] nptv[7][6] nptv[7][7] nptv[7][8] nptv[7][9] nptv[7][10] nptv[7][11] nptv[7][12] nptv[7][13] nptv[7][14] nptv[7][15] nptv[7][16] nptv[7][17] nptv[7][18] nptv[7][19] nptv[7][20] nptv[7][21] nptv[7][22] nptv[7][23] nptv[7][24] nptv[7][25] nptv[7][26] nptv[7][27] nptv[7][28] nptv[7][29] nptv[7][30] nptv[7][31] nptv[7][32] nptv[7][33] nptv[7][34] nptv[7][35] nptv[7][36] nptv[7][37] nptv[7][38] nptv[7][39] nptv[7][40] nptv[7][41] nptv[7][42] nptv[7][43] nptv[7][44] nptv[7][45] nptv[7][46] nptv[7][47] nptv[7][48] nptv[7][49] nptv[8][0] nptv[8][1] nptv[8][2] nptv[8][3] nptv[8][4] nptv[8][5] nptv[8][6] nptv[8][7] nptv[8][8] nptv[8][9] nptv[8][10] nptv[8][11] nptv[8][12] nptv[8][13] nptv[8][14] nptv[8][15] nptv[8][16] nptv[8][17] nptv[8][18] nptv[8][19] nptv[8][20] nptv[8][21] nptv[8][22] nptv[8][23] nptv[8][24] nptv[8][25] nptv[8][26] nptv[8][27] nptv[8][28] nptv[8][29] nptv[8][30] nptv[8][31] nptv[8][32] nptv[8][33] nptv[8][34] nptv[8][35] nptv[8][36] nptv[8][37] nptv[8][38] nptv[8][39] nptv[8][40] nptv[8][41] nptv[8][42] nptv[8][43] nptv[8][44] nptv[8][45] nptv[8][46] nptv[8][47] nptv[8][48] nptv[8][49] nptv[9][0] nptv[9][1] nptv[9][2] nptv[9][3] nptv[9][4] nptv[9][5] nptv[9][6] nptv[9][7] nptv[9][8] nptv[9][9] nptv[9][10] nptv[9][11] nptv[9][12] nptv[9][13] nptv[9][14] nptv[9][15] nptv[9][16] nptv[9][17] nptv[9][18] nptv[9][19] nptv[9][20] nptv[9][21] nptv[9][22] nptv[9][23] nptv[9][24] nptv[9][25] nptv[9][26] nptv[9][27] nptv[9][28] nptv[9][29] nptv[9][30] nptv[9][31] nptv[9][32] nptv[9][33] nptv[9][34] nptv[9][35] nptv[9][36] nptv[9][37] nptv[9][38] nptv[9][39] nptv[9][40] nptv[9][41] nptv[9][42] nptv[9][43] nptv[9][44] nptv[9][45] nptv[9][46] nptv[9][47] nptv[9][48] nptv[9][49] nptv[10][0] nptv[10][1] nptv[10][2] nptv[10][3] nptv[10][4] nptv[10][5] nptv[10][6] nptv[10][7] nptv[10][8] nptv[10][9] nptv[10][10] nptv[10][11] nptv[10][12] nptv[10][13] nptv[10][14] nptv[10][15] nptv[10][16] nptv[10][17] nptv[10][18] nptv[10][19] nptv[10][20] nptv[10][21] nptv[10][22] nptv[10][23] nptv[10][24] nptv[10][25] nptv[10][26] nptv[10][27] nptv[10][28] nptv[10][29] nptv[10][30] nptv[10][31] nptv[10][32] nptv[10][33] nptv[10][34] nptv[10][35] nptv[10][36] nptv[10][37] nptv[10][38] nptv[10][39] nptv[10][40] nptv[10][41] nptv[10][42] nptv[10][43] nptv[10][44] nptv[10][45] nptv[10][46] nptv[10][47] nptv[10][48] nptv[10][49] nptv[11][0] nptv[11][1] nptv[11][2] nptv[11][3] nptv[11][4] nptv[11][5] nptv[11][6] nptv[11][7] nptv[11][8] nptv[11][9] nptv[11][10] nptv[11][11] nptv[11][12] nptv[11][13] nptv[11][14] nptv[11][15] nptv[11][16] nptv[11][17] nptv[11][18] nptv[11][19] nptv[11][20] nptv[11][21] nptv[11][22] nptv[11][23] nptv[11][24] nptv[11][25] nptv[11][26] nptv[11][27] nptv[11][28] nptv[11][29] nptv[11][30] nptv[11][31] nptv[11][32] nptv[11][33] nptv[11][34] nptv[11][35] nptv[11][36] nptv[11][37] nptv[11][38] nptv[11][39] nptv[11][40] nptv[11][41] nptv[11][42] nptv[11][43] nptv[11][44] nptv[11][45] nptv[11][46] nptv[11][47] nptv[11][48] nptv[11][49] nptv[12][0] nptv[12][1] nptv[12][2] nptv[12][3] nptv[12][4] nptv[12][5] nptv[12][6] nptv[12][7] nptv[12][8] nptv[12][9] nptv[12][10] nptv[12][11] nptv[12][12] nptv[12][13] nptv[12][14] nptv[12][15] nptv[12][16] nptv[12][17] nptv[12][18] nptv[12][19] nptv[12][20] nptv[12][21] nptv[12][22] nptv[12][23] nptv[12][24] nptv[12][25] nptv[12][26] nptv[12][27] nptv[12][28] nptv[12][29] nptv[12][30] nptv[12][31] nptv[12][32] nptv[12][33] nptv[12][34] nptv[12][35] nptv[12][36] nptv[12][37] nptv[12][38] nptv[12][39] nptv[12][40] nptv[12][41] nptv[12][42] nptv[12][43] nptv[12][44] nptv[12][45] nptv[12][46] nptv[12][47] nptv[12][48] nptv[12][49] nptv[13][0] nptv[13][1] nptv[13][2] nptv[13][3] nptv[13][4] nptv[13][5] nptv[13][6] nptv[13][7] nptv[13][8] nptv[13][9] nptv[13][10] nptv[13][11] nptv[13][12] nptv[13][13] nptv[13][14] nptv[13][15] nptv[13][16] nptv[13][17] nptv[13][18] nptv[13][19] nptv[13][20] nptv[13][21] nptv[13][22] nptv[13][23] nptv[13][24] nptv[13][25] nptv[13][26] nptv[13][27] nptv[13][28] nptv[13][29] nptv[13][30] nptv[13][31] nptv[13][32] nptv[13][33] nptv[13][34] nptv[13][35] nptv[13][36] nptv[13][37] nptv[13][38] nptv[13][39] nptv[13][40] nptv[13][41] nptv[13][42] nptv[13][43] nptv[13][44] nptv[13][45] nptv[13][46] nptv[13][47] nptv[13][48] nptv[13][49] nptv[14][0] nptv[14][1] nptv[14][2] nptv[14][3] nptv[14][4] nptv[14][5] nptv[14][6] nptv[14][7] nptv[14][8] nptv[14][9] nptv[14][10] nptv[14][11] nptv[14][12] nptv[14][13] nptv[14][14] nptv[14][15] nptv[14][16] nptv[14][17] nptv[14][18] nptv[14][19] nptv[14][20] nptv[14][21] nptv[14][22] nptv[14][23] nptv[14][24] nptv[14][25] nptv[14][26] nptv[14][27] nptv[14][28] nptv[14][29] nptv[14][30] nptv[14][31] nptv[14][32] nptv[14][33] nptv[14][34] nptv[14][35] nptv[14][36] nptv[14][37] nptv[14][38] nptv[14][39] nptv[14][40] nptv[14][41] nptv[14][42] nptv[14][43] nptv[14][44] nptv[14][45] nptv[14][46] nptv[14][47] nptv[14][48] nptv[14][49] nptv[15][0] nptv[15][1] nptv[15][2] nptv[15][3] nptv[15][4] nptv[15][5] nptv[15][6] nptv[15][7] nptv[15][8] nptv[15][9] nptv[15][10] nptv[15][11] nptv[15][12] nptv[15][13] nptv[15][14] nptv[15][15] nptv[15][16] nptv[15][17] nptv[15][18] nptv[15][19] nptv[15][20] nptv[15][21] nptv[15][22] nptv[15][23] nptv[15][24] nptv[15][25] nptv[15][26] nptv[15][27] nptv[15][28] nptv[15][29] nptv[15][30] nptv[15][31] nptv[15][32] nptv[15][33] nptv[15][34] nptv[15][35] nptv[15][36] nptv[15][37] nptv[15][38] nptv[15][39] nptv[15][40] nptv[15][41] nptv[15][42] nptv[15][43] nptv[15][44] nptv[15][45] nptv[15][46] nptv[15][47] nptv[15][48] nptv[15][49] nptv[16][0] nptv[16][1] nptv[16][2] nptv[16][3] nptv[16][4] nptv[16][5] nptv[16][6] nptv[16][7] nptv[16][8] nptv[16][9] nptv[16][10] nptv[16][11] nptv[16][12] nptv[16][13] nptv[16][14] nptv[16][15] nptv[16][16] nptv[16][17] nptv[16][18] nptv[16][19] nptv[16][20] nptv[16][21] nptv[16][22] nptv[16][23] nptv[16][24] nptv[16][25] nptv[16][26] nptv[16][27] nptv[16][28] nptv[16][29] nptv[16][30] nptv[16][31] nptv[16][32] nptv[16][33] nptv[16][34] nptv[16][35] nptv[16][36] nptv[16][37] nptv[16][38] nptv[16][39] nptv[16][40] nptv[16][41] nptv[16][42] nptv[16][43] nptv[16][44] nptv[16][45] nptv[16][46] nptv[16][47] nptv[16][48] nptv[16][49] nptv[17][0] nptv[17][1] nptv[17][2] nptv[17][3] nptv[17][4] nptv[17][5] nptv[17][6] nptv[17][7] nptv[17][8] nptv[17][9] nptv[17][10] nptv[17][11] nptv[17][12] nptv[17][13] nptv[17][14] nptv[17][15] nptv[17][16] nptv[17][17] nptv[17][18] nptv[17][19] nptv[17][20] nptv[17][21] nptv[17][22] nptv[17][23] nptv[17][24] nptv[17][25] nptv[17][26] nptv[17][27] nptv[17][28] nptv[17][29] nptv[17][30] nptv[17][31] nptv[17][32] nptv[17][33] nptv[17][34] nptv[17][35] nptv[17][36] nptv[17][37] nptv[17][38] nptv[17][39] nptv[17][40] nptv[17][41] nptv[17][42] nptv[17][43] nptv[17][44] nptv[17][45] nptv[17][46] nptv[17][47] nptv[17][48] nptv[17][49] nptv[18][0] nptv[18][1] nptv[18][2] nptv[18][3] nptv[18][4] nptv[18][5] nptv[18][6] nptv[18][7] nptv[18][8] nptv[18][9] nptv[18][10] nptv[18][11] nptv[18][12] nptv[18][13] nptv[18][14] nptv[18][15] nptv[18][16] nptv[18][17] nptv[18][18] nptv[18][19] nptv[18][20] nptv[18][21] nptv[18][22] nptv[18][23] nptv[18][24] nptv[18][25] nptv[18][26] nptv[18][27] nptv[18][28] nptv[18][29] nptv[18][30] nptv[18][31] nptv[18][32] nptv[18][33] nptv[18][34] nptv[18][35] nptv[18][36] nptv[18][37] nptv[18][38] nptv[18][39] nptv[18][40] nptv[18][41] nptv[18][42] nptv[18][43] nptv[18][44] nptv[18][45] nptv[18][46] nptv[18][47] nptv[18][48] nptv[18][49] nptv[19][0] nptv[19][1] nptv[19][2] nptv[19][3] nptv[19][4] nptv[19][5] nptv[19][6] nptv[19][7] nptv[19][8] nptv[19][9] nptv[19][10] nptv[19][11] nptv[19][12] nptv[19][13] nptv[19][14] nptv[19][15] nptv[19][16] nptv[19][17] nptv[19][18] nptv[19][19] nptv[19][20] nptv[19][21] nptv[19][22] nptv[19][23] nptv[19][24] nptv[19][25] nptv[19][26] nptv[19][27] nptv[19][28] nptv[19][29] nptv[19][30] nptv[19][31] nptv[19][32] nptv[19][33] nptv[19][34] nptv[19][35] nptv[19][36] nptv[19][37] nptv[19][38] nptv[19][39] nptv[19][40] nptv[19][41] nptv[19][42] nptv[19][43] nptv[19][44] nptv[19][45] nptv[19][46] nptv[19][47] nptv[19][48] nptv[19][49] nptv[20][0] nptv[20][1] nptv[20][2] nptv[20][3] nptv[20][4] nptv[20][5] nptv[20][6] nptv[20][7] nptv[20][8] nptv[20][9] nptv[20][10] nptv[20][11] nptv[20][12] nptv[20][13] nptv[20][14] nptv[20][15] nptv[20][16] nptv[20][17] nptv[20][18] nptv[20][19] nptv[20][20] nptv[20][21] nptv[20][22] nptv[20][23] nptv[20][24] nptv[20][25] nptv[20][26] nptv[20][27] nptv[20][28] nptv[20][29] nptv[20][30] nptv[20][31] nptv[20][32] nptv[20][33] nptv[20][34] nptv[20][35] nptv[20][36] nptv[20][37] nptv[20][38] nptv[20][39] nptv[20][40] nptv[20][41] nptv[20][42] nptv[20][43] nptv[20][44] nptv[20][45] nptv[20][46] nptv[20][47] nptv[20][48] nptv[20][49] nptv[21][0] nptv[21][1] nptv[21][2] nptv[21][3] nptv[21][4] nptv[21][5] nptv[21][6] nptv[21][7] nptv[21][8] nptv[21][9] nptv[21][10] nptv[21][11] nptv[21][12] nptv[21][13] nptv[21][14] nptv[21][15] nptv[21][16] nptv[21][17] nptv[21][18] nptv[21][19] nptv[21][20] nptv[21][21] nptv[21][22] nptv[21][23] nptv[21][24] nptv[21][25] nptv[21][26] nptv[21][27] nptv[21][28] nptv[21][29] nptv[21][30] nptv[21][31] nptv[21][32] nptv[21][33] nptv[21][34] nptv[21][35] nptv[21][36] nptv[21][37] nptv[21][38] nptv[21][39] nptv[21][40] nptv[21][41] nptv[21][42] nptv[21][43] nptv[21][44] nptv[21][45] nptv[21][46] nptv[21][47] nptv[21][48] nptv[21][49] nptv[22][0] nptv[22][1] nptv[22][2] nptv[22][3] nptv[22][4] nptv[22][5] nptv[22][6] nptv[22][7] nptv[22][8] nptv[22][9] nptv[22][10] nptv[22][11] nptv[22][12] nptv[22][13] nptv[22][14] nptv[22][15] nptv[22][16] nptv[22][17] nptv[22][18] nptv[22][19] nptv[22][20] nptv[22][21] nptv[22][22] nptv[22][23] nptv[22][24] nptv[22][25] nptv[22][26] nptv[22][27] nptv[22][28] nptv[22][29] nptv[22][30] nptv[22][31] nptv[22][32] nptv[22][33] nptv[22][34] nptv[22][35] nptv[22][36] nptv[22][37] nptv[22][38] nptv[22][39] nptv[22][40] nptv[22][41] nptv[22][42] nptv[22][43] nptv[22][44] nptv[22][45] nptv[22][46] nptv[22][47] nptv[22][48] nptv[22][49] nptv[23][0] nptv[23][1] nptv[23][2] nptv[23][3] nptv[23][4] nptv[23][5] nptv[23][6] nptv[23][7] nptv[23][8] nptv[23][9] nptv[23][10] nptv[23][11] nptv[23][12] nptv[23][13] nptv[23][14] nptv[23][15] nptv[23][16] nptv[23][17] nptv[23][18] nptv[23][19] nptv[23][20] nptv[23][21] nptv[23][22] nptv[23][23] nptv[23][24] nptv[23][25] nptv[23][26] nptv[23][27] nptv[23][28] nptv[23][29] nptv[23][30] nptv[23][31] nptv[23][32] nptv[23][33] nptv[23][34] nptv[23][35] nptv[23][36] nptv[23][37] nptv[23][38] nptv[23][39] nptv[23][40] nptv[23][41] nptv[23][42] nptv[23][43] nptv[23][44] nptv[23][45] nptv[23][46] nptv[23][47] nptv[23][48] nptv[23][49] nptv[24][0] nptv[24][1] nptv[24][2] nptv[24][3] nptv[24][4] nptv[24][5] nptv[24][6] nptv[24][7] nptv[24][8] nptv[24][9] nptv[24][10] nptv[24][11] nptv[24][12] nptv[24][13] nptv[24][14] nptv[24][15] nptv[24][16] nptv[24][17] nptv[24][18] nptv[24][19] nptv[24][20] nptv[24][21] nptv[24][22] nptv[24][23] nptv[24][24] nptv[24][25] nptv[24][26] nptv[24][27] nptv[24][28] nptv[24][29] nptv[24][30] nptv[24][31] nptv[24][32] nptv[24][33] nptv[24][34] nptv[24][35] nptv[24][36] nptv[24][37] nptv[24][38] nptv[24][39] nptv[24][40] nptv[24][41] nptv[24][42] nptv[24][43] nptv[24][44] nptv[24][45] nptv[24][46] nptv[24][47] nptv[24][48] nptv[24][49] nptv[25][0] nptv[25][1] nptv[25][2] nptv[25][3] nptv[25][4] nptv[25][5] nptv[25][6] nptv[25][7] nptv[25][8] nptv[25][9] nptv[25][10] nptv[25][11] nptv[25][12] nptv[25][13] nptv[25][14] nptv[25][15] nptv[25][16] nptv[25][17] nptv[25][18] nptv[25][19] nptv[25][20] nptv[25][21] nptv[25][22] nptv[25][23] nptv[25][24] nptv[25][25] nptv[25][26] nptv[25][27] nptv[25][28] nptv[25][29] nptv[25][30] nptv[25][31] nptv[25][32] nptv[25][33] nptv[25][34] nptv[25][35] nptv[25][36] nptv[25][37] nptv[25][38] nptv[25][39] nptv[25][40] nptv[25][41] nptv[25][42] nptv[25][43] nptv[25][44] nptv[25][45] nptv[25][46] nptv[25][47] nptv[25][48] nptv[25][49] nptv[26][0] nptv[26][1] nptv[26][2] nptv[26][3] nptv[26][4] nptv[26][5] nptv[26][6] nptv[26][7] nptv[26][8] nptv[26][9] nptv[26][10] nptv[26][11] nptv[26][12] nptv[26][13] nptv[26][14] nptv[26][15] nptv[26][16] nptv[26][17] nptv[26][18] nptv[26][19] nptv[26][20] nptv[26][21] nptv[26][22] nptv[26][23] nptv[26][24] nptv[26][25] nptv[26][26] nptv[26][27] nptv[26][28] nptv[26][29] nptv[26][30] nptv[26][31] nptv[26][32] nptv[26][33] nptv[26][34] nptv[26][35] nptv[26][36] nptv[26][37] nptv[26][38] nptv[26][39] nptv[26][40] nptv[26][41] nptv[26][42] nptv[26][43] nptv[26][44] nptv[26][45] nptv[26][46] nptv[26][47] nptv[26][48] nptv[26][49] nptv[27][0] nptv[27][1] nptv[27][2] nptv[27][3] nptv[27][4] nptv[27][5] nptv[27][6] nptv[27][7] nptv[27][8] nptv[27][9] nptv[27][10] nptv[27][11] nptv[27][12] nptv[27][13] nptv[27][14] nptv[27][15] nptv[27][16] nptv[27][17] nptv[27][18] nptv[27][19] nptv[27][20] nptv[27][21] nptv[27][22] nptv[27][23] nptv[27][24] nptv[27][25] nptv[27][26] nptv[27][27] nptv[27][28] nptv[27][29] nptv[27][30] nptv[27][31] nptv[27][32] nptv[27][33] nptv[27][34] nptv[27][35] nptv[27][36] nptv[27][37] nptv[27][38] nptv[27][39] nptv[27][40] nptv[27][41] nptv[27][42] nptv[27][43] nptv[27][44] nptv[27][45] nptv[27][46] nptv[27][47] nptv[27][48] nptv[27][49] nptv[28][0] nptv[28][1] nptv[28][2] nptv[28][3] nptv[28][4] nptv[28][5] nptv[28][6] nptv[28][7] nptv[28][8] nptv[28][9] nptv[28][10] nptv[28][11] nptv[28][12] nptv[28][13] nptv[28][14] nptv[28][15] nptv[28][16] nptv[28][17] nptv[28][18] nptv[28][19] nptv[28][20] nptv[28][21] nptv[28][22] nptv[28][23] nptv[28][24] nptv[28][25] nptv[28][26] nptv[28][27] nptv[28][28] nptv[28][29] nptv[28][30] nptv[28][31] nptv[28][32] nptv[28][33] nptv[28][34] nptv[28][35] nptv[28][36] nptv[28][37] nptv[28][38] nptv[28][39] nptv[28][40] nptv[28][41] nptv[28][42] nptv[28][43] nptv[28][44] nptv[28][45] nptv[28][46] nptv[28][47] nptv[28][48] nptv[28][49] nptv[29][0] nptv[29][1] nptv[29][2] nptv[29][3] nptv[29][4] nptv[29][5] nptv[29][6] nptv[29][7] nptv[29][8] nptv[29][9] nptv[29][10] nptv[29][11] nptv[29][12] nptv[29][13] nptv[29][14] nptv[29][15] nptv[29][16] nptv[29][17] nptv[29][18] nptv[29][19] nptv[29][20] nptv[29][21] nptv[29][22] nptv[29][23] nptv[29][24] nptv[29][25] nptv[29][26] nptv[29][27] nptv[29][28] nptv[29][29] nptv[29][30] nptv[29][31] nptv[29][32] nptv[29][33] nptv[29][34] nptv[29][35] nptv[29][36] nptv[29][37] nptv[29][38] nptv[29][39] nptv[29][40] nptv[29][41] nptv[29][42] nptv[29][43] nptv[29][44] nptv[29][45] nptv[29][46] nptv[29][47] nptv[29][48] nptv[29][49] nptv[30][0] nptv[30][1] nptv[30][2] nptv[30][3] nptv[30][4] nptv[30][5] nptv[30][6] nptv[30][7] nptv[30][8] nptv[30][9] nptv[30][10] nptv[30][11] nptv[30][12] nptv[30][13] nptv[30][14] nptv[30][15] nptv[30][16] nptv[30][17] nptv[30][18] nptv[30][19] nptv[30][20] nptv[30][21] nptv[30][22] nptv[30][23] nptv[30][24] nptv[30][25] nptv[30][26] nptv[30][27] nptv[30][28] nptv[30][29] nptv[30][30] nptv[30][31] nptv[30][32] nptv[30][33] nptv[30][34] nptv[30][35] nptv[30][36] nptv[30][37] nptv[30][38] nptv[30][39] nptv[30][40] nptv[30][41] nptv[30][42] nptv[30][43] nptv[30][44] nptv[30][45] nptv[30][46] nptv[30][47] nptv[30][48] nptv[30][49] nptv[31][0] nptv[31][1] nptv[31][2] nptv[31][3] nptv[31][4] nptv[31][5] nptv[31][6] nptv[31][7] nptv[31][8] nptv[31][9] nptv[31][10] nptv[31][11] nptv[31][12] nptv[31][13] nptv[31][14] nptv[31][15] nptv[31][16] nptv[31][17] nptv[31][18] nptv[31][19] nptv[31][20] nptv[31][21] nptv[31][22] nptv[31][23] nptv[31][24] nptv[31][25] nptv[31][26] nptv[31][27] nptv[31][28] nptv[31][29] nptv[31][30] nptv[31][31] nptv[31][32] nptv[31][33] nptv[31][34] nptv[31][35] nptv[31][36] nptv[31][37] nptv[31][38] nptv[31][39] nptv[31][40] nptv[31][41] nptv[31][42] nptv[31][43] nptv[31][44] nptv[31][45] nptv[31][46] nptv[31][47] nptv[31][48] nptv[31][49] nptv[32][0] nptv[32][1] nptv[32][2] nptv[32][3] nptv[32][4] nptv[32][5] nptv[32][6] nptv[32][7] nptv[32][8] nptv[32][9] nptv[32][10] nptv[32][11] nptv[32][12] nptv[32][13] nptv[32][14] nptv[32][15] nptv[32][16] nptv[32][17] nptv[32][18] nptv[32][19] nptv[32][20] nptv[32][21] nptv[32][22] nptv[32][23] nptv[32][24] nptv[32][25] nptv[32][26] nptv[32][27] nptv[32][28] nptv[32][29] nptv[32][30] nptv[32][31] nptv[32][32] nptv[32][33] nptv[32][34] nptv[32][35] nptv[32][36] nptv[32][37] nptv[32][38] nptv[32][39] nptv[32][40] nptv[32][41] nptv[32][42] nptv[32][43] nptv[32][44] nptv[32][45] nptv[32][46] nptv[32][47] nptv[32][48] nptv[32][49] nptv[33][0] nptv[33][1] nptv[33][2] nptv[33][3] nptv[33][4] nptv[33][5] nptv[33][6] nptv[33][7] nptv[33][8] nptv[33][9] nptv[33][10] nptv[33][11] nptv[33][12] nptv[33][13] nptv[33][14] nptv[33][15] nptv[33][16] nptv[33][17] nptv[33][18] nptv[33][19] nptv[33][20] nptv[33][21] nptv[33][22] nptv[33][23] nptv[33][24] nptv[33][25] nptv[33][26] nptv[33][27] nptv[33][28] nptv[33][29] nptv[33][30] nptv[33][31] nptv[33][32] nptv[33][33] nptv[33][34] nptv[33][35] nptv[33][36] nptv[33][37] nptv[33][38] nptv[33][39] nptv[33][40] nptv[33][41] nptv[33][42] nptv[33][43] nptv[33][44] nptv[33][45] nptv[33][46] nptv[33][47] nptv[33][48] nptv[33][49] nptv[34][0] nptv[34][1] nptv[34][2] nptv[34][3] nptv[34][4] nptv[34][5] nptv[34][6] nptv[34][7] nptv[34][8] nptv[34][9] nptv[34][10] nptv[34][11] nptv[34][12] nptv[34][13] nptv[34][14] nptv[34][15] nptv[34][16] nptv[34][17] nptv[34][18] nptv[34][19] nptv[34][20] nptv[34][21] nptv[34][22] nptv[34][23] nptv[34][24] nptv[34][25] nptv[34][26] nptv[34][27] nptv[34][28] nptv[34][29] nptv[34][30] nptv[34][31] nptv[34][32] nptv[34][33] nptv[34][34] nptv[34][35] nptv[34][36] nptv[34][37] nptv[34][38] nptv[34][39] nptv[34][40] nptv[34][41] nptv[34][42] nptv[34][43] nptv[34][44] nptv[34][45] nptv[34][46] nptv[34][47] nptv[34][48] nptv[34][49] nptv[35][0] nptv[35][1] nptv[35][2] nptv[35][3] nptv[35][4] nptv[35][5] nptv[35][6] nptv[35][7] nptv[35][8] nptv[35][9] nptv[35][10] nptv[35][11] nptv[35][12] nptv[35][13] nptv[35][14] nptv[35][15] nptv[35][16] nptv[35][17] nptv[35][18] nptv[35][19] nptv[35][20] nptv[35][21] nptv[35][22] nptv[35][23] nptv[35][24] nptv[35][25] nptv[35][26] nptv[35][27] nptv[35][28] nptv[35][29] nptv[35][30] nptv[35][31] nptv[35][32] nptv[35][33] nptv[35][34] nptv[35][35] nptv[35][36] nptv[35][37] nptv[35][38] nptv[35][39] nptv[35][40] nptv[35][41] nptv[35][42] nptv[35][43] nptv[35][44] nptv[35][45] nptv[35][46] nptv[35][47] nptv[35][48] nptv[35][49] nptv[36][0] nptv[36][1] nptv[36][2] nptv[36][3] nptv[36][4] nptv[36][5] nptv[36][6] nptv[36][7] nptv[36][8] nptv[36][9] nptv[36][10] nptv[36][11] nptv[36][12] nptv[36][13] nptv[36][14] nptv[36][15] nptv[36][16] nptv[36][17] nptv[36][18] nptv[36][19] nptv[36][20] nptv[36][21] nptv[36][22] nptv[36][23] nptv[36][24] nptv[36][25] nptv[36][26] nptv[36][27] nptv[36][28] nptv[36][29] nptv[36][30] nptv[36][31] nptv[36][32] nptv[36][33] nptv[36][34] nptv[36][35] nptv[36][36] nptv[36][37] nptv[36][38] nptv[36][39] nptv[36][40] nptv[36][41] nptv[36][42] nptv[36][43] nptv[36][44] nptv[36][45] nptv[36][46] nptv[36][47] nptv[36][48] nptv[36][49] nptv[37][0] nptv[37][1] nptv[37][2] nptv[37][3] nptv[37][4] nptv[37][5] nptv[37][6] nptv[37][7] nptv[37][8] nptv[37][9] nptv[37][10] nptv[37][11] nptv[37][12] nptv[37][13] nptv[37][14] nptv[37][15] nptv[37][16] nptv[37][17] nptv[37][18] nptv[37][19] nptv[37][20] nptv[37][21] nptv[37][22] nptv[37][23] nptv[37][24] nptv[37][25] nptv[37][26] nptv[37][27] nptv[37][28] nptv[37][29] nptv[37][30] nptv[37][31] nptv[37][32] nptv[37][33] nptv[37][34] nptv[37][35] nptv[37][36] nptv[37][37] nptv[37][38] nptv[37][39] nptv[37][40] nptv[37][41] nptv[37][42] nptv[37][43] nptv[37][44] nptv[37][45] nptv[37][46] nptv[37][47] nptv[37][48] nptv[37][49] nptv[38][0] nptv[38][1] nptv[38][2] nptv[38][3] nptv[38][4] nptv[38][5] nptv[38][6] nptv[38][7] nptv[38][8] nptv[38][9] nptv[38][10] nptv[38][11] nptv[38][12] nptv[38][13] nptv[38][14] nptv[38][15] nptv[38][16] nptv[38][17] nptv[38][18] nptv[38][19] nptv[38][20] nptv[38][21] nptv[38][22] nptv[38][23] nptv[38][24] nptv[38][25] nptv[38][26] nptv[38][27] nptv[38][28] nptv[38][29] nptv[38][30] nptv[38][31] nptv[38][32] nptv[38][33] nptv[38][34] nptv[38][35] nptv[38][36] nptv[38][37] nptv[38][38] nptv[38][39] nptv[38][40] nptv[38][41] nptv[38][42] nptv[38][43] nptv[38][44] nptv[38][45] nptv[38][46] nptv[38][47] nptv[38][48] nptv[38][49] nptv[39][0] nptv[39][1] nptv[39][2] nptv[39][3] nptv[39][4] nptv[39][5] nptv[39][6] nptv[39][7] nptv[39][8] nptv[39][9] nptv[39][10] nptv[39][11] nptv[39][12] nptv[39][13] nptv[39][14] nptv[39][15] nptv[39][16] nptv[39][17] nptv[39][18] nptv[39][19] nptv[39][20] nptv[39][21] nptv[39][22] nptv[39][23] nptv[39][24] nptv[39][25] nptv[39][26] nptv[39][27] nptv[39][28] nptv[39][29] nptv[39][30] nptv[39][31] nptv[39][32] nptv[39][33] nptv[39][34] nptv[39][35] nptv[39][36] nptv[39][37] nptv[39][38] nptv[39][39] nptv[39][40] nptv[39][41] nptv[39][42] nptv[39][43] nptv[39][44] nptv[39][45] nptv[39][46] nptv[39][47] nptv[39][48] nptv[39][49] nptv[40][0] nptv[40][1] nptv[40][2] nptv[40][3] nptv[40][4] nptv[40][5] nptv[40][6] nptv[40][7] nptv[40][8] nptv[40][9] nptv[40][10] nptv[40][11] nptv[40][12] nptv[40][13] nptv[40][14] nptv[40][15] nptv[40][16] nptv[40][17] nptv[40][18] nptv[40][19] nptv[40][20] nptv[40][21] nptv[40][22] nptv[40][23] nptv[40][24] nptv[40][25] nptv[40][26] nptv[40][27] nptv[40][28] nptv[40][29] nptv[40][30] nptv[40][31] nptv[40][32] nptv[40][33] nptv[40][34] nptv[40][35] nptv[40][36] nptv[40][37] nptv[40][38] nptv[40][39] nptv[40][40] nptv[40][41] nptv[40][42] nptv[40][43] nptv[40][44] nptv[40][45] nptv[40][46] nptv[40][47] nptv[40][48] nptv[40][49] nptv[41][0] nptv[41][1] nptv[41][2] nptv[41][3] nptv[41][4] nptv[41][5] nptv[41][6] nptv[41][7] nptv[41][8] nptv[41][9] nptv[41][10] nptv[41][11] nptv[41][12] nptv[41][13] nptv[41][14] nptv[41][15] nptv[41][16] nptv[41][17] nptv[41][18] nptv[41][19] nptv[41][20] nptv[41][21] nptv[41][22] nptv[41][23] nptv[41][24] nptv[41][25] nptv[41][26] nptv[41][27] nptv[41][28] nptv[41][29] nptv[41][30] nptv[41][31] nptv[41][32] nptv[41][33] nptv[41][34] nptv[41][35] nptv[41][36] nptv[41][37] nptv[41][38] nptv[41][39] nptv[41][40] nptv[41][41] nptv[41][42] nptv[41][43] nptv[41][44] nptv[41][45] nptv[41][46] nptv[41][47] nptv[41][48] nptv[41][49] nptv[42][0] nptv[42][1] nptv[42][2] nptv[42][3] nptv[42][4] nptv[42][5] nptv[42][6] nptv[42][7] nptv[42][8] nptv[42][9] nptv[42][10] nptv[42][11] nptv[42][12] nptv[42][13] nptv[42][14] nptv[42][15] nptv[42][16] nptv[42][17] nptv[42][18] nptv[42][19] nptv[42][20] nptv[42][21] nptv[42][22] nptv[42][23] nptv[42][24] nptv[42][25] nptv[42][26] nptv[42][27] nptv[42][28] nptv[42][29] nptv[42][30] nptv[42][31] nptv[42][32] nptv[42][33] nptv[42][34] nptv[42][35] nptv[42][36] nptv[42][37] nptv[42][38] nptv[42][39] nptv[42][40] nptv[42][41] nptv[42][42] nptv[42][43] nptv[42][44] nptv[42][45] nptv[42][46] nptv[42][47] nptv[42][48] nptv[42][49] nptv[43][0] nptv[43][1] nptv[43][2] nptv[43][3] nptv[43][4] nptv[43][5] nptv[43][6] nptv[43][7] nptv[43][8] nptv[43][9] nptv[43][10] nptv[43][11] nptv[43][12] nptv[43][13] nptv[43][14] nptv[43][15] nptv[43][16] nptv[43][17] nptv[43][18] nptv[43][19] nptv[43][20] nptv[43][21] nptv[43][22] nptv[43][23] nptv[43][24] nptv[43][25] nptv[43][26] nptv[43][27] nptv[43][28] nptv[43][29] nptv[43][30] nptv[43][31] nptv[43][32] nptv[43][33] nptv[43][34] nptv[43][35] nptv[43][36] nptv[43][37] nptv[43][38] nptv[43][39] nptv[43][40] nptv[43][41] nptv[43][42] nptv[43][43] nptv[43][44] nptv[43][45] nptv[43][46] nptv[43][47] nptv[43][48] nptv[43][49] nptv[44][0] nptv[44][1] nptv[44][2] nptv[44][3] nptv[44][4] nptv[44][5] nptv[44][6] nptv[44][7] nptv[44][8] nptv[44][9] nptv[44][10] nptv[44][11] nptv[44][12] nptv[44][13] nptv[44][14] nptv[44][15] nptv[44][16] nptv[44][17] nptv[44][18] nptv[44][19] nptv[44][20] nptv[44][21] nptv[44][22] nptv[44][23] nptv[44][24] nptv[44][25] nptv[44][26] nptv[44][27] nptv[44][28] nptv[44][29] nptv[44][30] nptv[44][31] nptv[44][32] nptv[44][33] nptv[44][34] nptv[44][35] nptv[44][36] nptv[44][37] nptv[44][38] nptv[44][39] nptv[44][40] nptv[44][41] nptv[44][42] nptv[44][43] nptv[44][44] nptv[44][45] nptv[44][46] nptv[44][47] nptv[44][48] nptv[44][49] nptv[45][0] nptv[45][1] nptv[45][2] nptv[45][3] nptv[45][4] nptv[45][5] nptv[45][6] nptv[45][7] nptv[45][8] nptv[45][9] nptv[45][10] nptv[45][11] nptv[45][12] nptv[45][13] nptv[45][14] nptv[45][15] nptv[45][16] nptv[45][17] nptv[45][18] nptv[45][19] nptv[45][20] nptv[45][21] nptv[45][22] nptv[45][23] nptv[45][24] nptv[45][25] nptv[45][26] nptv[45][27] nptv[45][28] nptv[45][29] nptv[45][30] nptv[45][31] nptv[45][32] nptv[45][33] nptv[45][34] nptv[45][35] nptv[45][36] nptv[45][37] nptv[45][38] nptv[45][39] nptv[45][40] nptv[45][41] nptv[45][42] nptv[45][43] nptv[45][44] nptv[45][45] nptv[45][46] nptv[45][47] nptv[45][48] nptv[45][49] nptv[46][0] nptv[46][1] nptv[46][2] nptv[46][3] nptv[46][4] nptv[46][5] nptv[46][6] nptv[46][7] nptv[46][8] nptv[46][9] nptv[46][10] nptv[46][11] nptv[46][12] nptv[46][13] nptv[46][14] nptv[46][15] nptv[46][16] nptv[46][17] nptv[46][18] nptv[46][19] nptv[46][20] nptv[46][21] nptv[46][22] nptv[46][23] nptv[46][24] nptv[46][25] nptv[46][26] nptv[46][27] nptv[46][28] nptv[46][29] nptv[46][30] nptv[46][31] nptv[46][32] nptv[46][33] nptv[46][34] nptv[46][35] nptv[46][36] nptv[46][37] nptv[46][38] nptv[46][39] nptv[46][40] nptv[46][41] nptv[46][42] nptv[46][43] nptv[46][44] nptv[46][45] nptv[46][46] nptv[46][47] nptv[46][48] nptv[46][49] nptv[47][0] nptv[47][1] nptv[47][2] nptv[47][3] nptv[47][4] nptv[47][5] nptv[47][6] nptv[47][7] nptv[47][8] nptv[47][9] nptv[47][10] nptv[47][11] nptv[47][12] nptv[47][13] nptv[47][14] nptv[47][15] nptv[47][16] nptv[47][17] nptv[47][18] nptv[47][19] nptv[47][20] nptv[47][21] nptv[47][22] nptv[47][23] nptv[47][24] nptv[47][25] nptv[47][26] nptv[47][27] nptv[47][28] nptv[47][29] nptv[47][30] nptv[47][31] nptv[47][32] nptv[47][33] nptv[47][34] nptv[47][35] nptv[47][36] nptv[47][37] nptv[47][38] nptv[47][39] nptv[47][40] nptv[47][41] nptv[47][42] nptv[47][43] nptv[47][44] nptv[47][45] nptv[47][46] nptv[47][47] nptv[47][48] nptv[47][49] nptv[48][0] nptv[48][1] nptv[48][2] nptv[48][3] nptv[48][4] nptv[48][5] nptv[48][6] nptv[48][7] nptv[48][8] nptv[48][9] nptv[48][10] nptv[48][11] nptv[48][12] nptv[48][13] nptv[48][14] nptv[48][15] nptv[48][16] nptv[48][17] nptv[48][18] nptv[48][19] nptv[48][20] nptv[48][21] nptv[48][22] nptv[48][23] nptv[48][24] nptv[48][25] nptv[48][26] nptv[48][27] nptv[48][28] nptv[48][29] nptv[48][30] nptv[48][31] nptv[48][32] nptv[48][33] nptv[48][34] nptv[48][35] nptv[48][36] nptv[48][37] nptv[48][38] nptv[48][39] nptv[48][40] nptv[48][41] nptv[48][42] nptv[48][43] nptv[48][44] nptv[48][45] nptv[48][46] nptv[48][47] nptv[48][48] nptv[48][49] nptv[49][0] nptv[49][1] nptv[49][2] nptv[49][3] nptv[49][4] nptv[49][5] nptv[49][6] nptv[49][7] nptv[49][8] nptv[49][9] nptv[49][10] nptv[49][11] nptv[49][12] nptv[49][13] nptv[49][14] nptv[49][15] nptv[49][16] nptv[49][17] nptv[49][18] nptv[49][19] nptv[49][20] nptv[49][21] nptv[49][22] nptv[49][23] nptv[49][24] nptv[49][25] nptv[49][26] nptv[49][27] nptv[49][28] nptv[49][29] nptv[49][30] nptv[49][31] nptv[49][32] nptv[49][33] nptv[49][34] nptv[49][35] nptv[49][36] nptv[49][37] nptv[49][38] nptv[49][39] nptv[49][40] nptv[49][41] nptv[49][42] nptv[49][43] nptv[49][44] nptv[49][45] nptv[49][46] nptv[49][47] nptv[49][48] nptv[49][49] </list> 251.89/252.01 v <values> 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 5 0 0 0 0 0 2 3 5 7 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 2 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 2 2 2 2 3 3 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 2 2 0 0 0 0 0 4 4 4 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 9 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 2 0 0 0 0 3 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 6 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 2 2 3 3 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 2 2 2 2 0 0 0 1 0 4 4 4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 6 5 6 6 6 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 36 0 0 0 0 0 143 0 0 0 0 0 0 0 0 0 17 0 29 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 108 108 108 0 0 0 0 0 0 0 0 0 0 0 0 0 0 180 0 0 180 0 0 0 0 0 72 108 180 252 0 0 0 0 0 0 0 0 0 144 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 143 143 143 143 143 0 143 143 143 143 143 143 143 0 143 143 0 143 143 143 143 0 143 143 0 0 143 143 143 143 143 143 143 143 286 143 286 286 286 429 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 51 0 0 0 0 0 0 0 0 0 0 0 0 0 153 17 17 0 17 0 0 0 0 17 0 0 0 0 0 0 204 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 102 34 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 58 58 87 87 0 0 0 116 0 0 0 0 0 0 0 0 0 0 0 0 29 0 0 58 29 58 58 58 58 0 0 0 29 0 116 116 116 0 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 20 0 0 0 20 0 20 20 0 0 20 0 0 0 0 0 0 0 0 0 40 0 0 0 0 120 100 120 120 120 0 0 0 0 80 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 251.89/252.01 v </instantiation>
OK 5
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 (5675 MiB free) memory of node 1: 16384 MiB (9593 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312625-1534699786/watcher-4312625-1534699786 -o /tmp/evaluation-result-4312625-1534699786/solver-4312625-1534699786 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534699008-9698 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 844466051 HOME/instance-4312625-1534699786.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10374, runsolver pid=10371 [startup+0.100112 s]* /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=15534936/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=45040 memory=19616 CPUtime=0.09 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 5173 0 0 0 9 0 0 0 20 0 1 0 287541740 46120960 4904 33554432000 4194304 7499544 140721618195088 140721618192088 140059367468005 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 11260 4904 743 807 0 4251 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 45040 KiB Current children cumulated memory: 19616 KiB [startup+0.209769 s]* /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=15434476/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=48472 memory=23048 CPUtime=0.21 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 6041 0 0 0 20 1 0 0 20 0 1 0 287541740 49635328 5762 33554432000 4194304 7499544 140721618195088 140721618192088 140059367468005 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 12118 5762 743 807 0 5109 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 48472 KiB Current children cumulated memory: 23048 KiB [startup+0.309317 s]* /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=15426848/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=51776 memory=26216 CPUtime=0.31 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 6844 0 0 0 30 1 0 0 20 0 1 0 287541740 53018624 6554 33554432000 4194304 7499544 140721618195088 140721618192088 4563992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 12944 6554 743 807 0 5935 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 51776 KiB Current children cumulated memory: 26216 KiB [startup+0.700306 s] /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=15185912/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=65096 memory=39604 CPUtime=0.69 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 10319 0 0 0 67 2 0 0 20 0 1 0 287541740 66658304 9901 33554432000 4194304 7499544 140721618195088 140721618192088 4564160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 16274 9901 743 807 0 9265 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 65096 KiB Current children cumulated memory: 39604 KiB [startup+1.50036 s] /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=14814424/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=135912 memory=110668 CPUtime=1.49 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 28155 0 0 0 145 4 0 0 20 0 1 0 287541740 139173888 27667 33554432000 4194304 7499544 140721618195088 140721618189160 4258061 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 33978 27667 787 807 0 26969 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 135912 KiB Current children cumulated memory: 110668 KiB [startup+3.10993 s] /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=12819360/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=205356 memory=180152 CPUtime=3.1 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 79582 0 0 0 301 9 0 0 20 0 1 0 287541740 210284544 45038 33554432000 4194304 7499544 140721618195088 140721618189528 4258023 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 51339 45038 789 807 0 44330 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 205356 KiB Current children cumulated memory: 180152 KiB [startup+6.30038 s] /proc/loadavg: 2.01 1.93 1.22 3/191 10375 /proc/meminfo: memFree=10945068/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=372744 memory=347608 CPUtime=6.29 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 185780 0 0 0 612 17 0 0 20 0 1 0 287541740 381689856 86902 33554432000 4194304 7499544 140721618195088 140721618189528 5573412 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 93186 86902 789 807 0 86177 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 372744 KiB Current children cumulated memory: 347608 KiB [startup+12.7003 s] /proc/loadavg: 2.01 1.93 1.23 3/191 10375 /proc/meminfo: memFree=8153676/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=386472 memory=361088 CPUtime=12.69 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 235781 0 0 0 1249 20 0 0 20 0 1 0 287541740 395747328 90272 33554432000 4194304 7499544 140721618195088 140721618189160 4405034 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 96618 90272 789 807 0 89609 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 386472 KiB Current children cumulated memory: 361088 KiB [startup+25.5004 s] /proc/loadavg: 1.93 1.92 1.23 3/192 10444 /proc/meminfo: memFree=23772820/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=436632 memory=411476 CPUtime=25.49 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 383152 0 0 0 2520 29 0 0 20 0 1 0 287541740 447111168 102869 33554432000 4194304 7499544 140721618195088 140721618189160 4258008 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 109158 102869 789 807 0 102149 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 436632 KiB Current children cumulated memory: 411476 KiB [startup+51.1103 s] /proc/loadavg: 1.96 1.92 1.25 3/192 10444 /proc/meminfo: memFree=23771320/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=439272 memory=414240 CPUtime=51.08 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 413740 0 0 0 5078 30 0 0 20 0 1 0 287541740 449814528 103560 33554432000 4194304 7499544 140721618195088 140721618189160 4249975 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 109818 103560 789 807 0 102809 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 439272 KiB Current children cumulated memory: 414240 KiB [startup+102.3 s] /proc/loadavg: 1.98 1.93 1.29 3/192 10445 /proc/meminfo: memFree=23750664/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=459864 memory=434672 CPUtime=102.25 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 543445 0 0 0 10187 38 0 0 20 0 1 0 287541740 470900736 108668 33554432000 4194304 7499544 140721618195088 140721618189160 4249975 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 114966 108668 789 807 0 107957 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 459864 KiB Current children cumulated memory: 434672 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.95 1.34 3/192 10446 /proc/meminfo: memFree=23750560/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=459864 memory=434812 CPUtime=162.22 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 583081 0 0 0 16183 39 0 0 20 0 1 0 287541740 470900736 108703 33554432000 4194304 7499544 140721618195088 140721618189160 4249975 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 114966 108703 789 807 0 107957 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 459864 KiB Current children cumulated memory: 434812 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.96 1.38 3/191 10447 /proc/meminfo: memFree=23735760/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=474780 memory=449564 CPUtime=222.2 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 631510 0 0 0 22178 42 0 0 20 0 1 0 287541740 486174720 112391 33554432000 4194304 7499544 140721618195088 140721618189160 4258023 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 118695 112391 789 807 0 111686 0 Current children cumulated CPU time: 222.2 s Current children cumulated vsize: 474780 KiB Current children cumulated memory: 449564 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 1.96 1.40 3/191 10447 /proc/meminfo: memFree=23729636/32770624 swapFree=67108852/67108860 [pid=10374] ppid=10371 vsize=480852 memory=455656 CPUtime=251.89 cores=1,3,5,7 /proc/10374/stat : 10374 (MistralXCSP) R 10371 10374 9666 0 -1 4202496 633416 0 0 0 25147 42 0 0 20 0 1 0 287541740 492392448 113914 33554432000 4194304 7499544 140721618195088 140721618189160 4405007 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19058688 140721618203763 140721618203912 140721618203912 140721618206665 0 /proc/10374/statm: 120213 113914 789 807 0 113204 0 Current children cumulated CPU time: 251.89 s Current children cumulated vsize: 480852 KiB Current children cumulated memory: 455656 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.018 s] # the end of solver process 10374 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.479 s, system=0.435011 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.018 CPU time (s): 251.914 CPU user time (s): 251.479 CPU system time (s): 0.435011 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (KiB): 480852 Max. memory (cumulated for all children) (KiB): 455656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.479 system time used= 0.435011 maximum resident set size= 455792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 633446 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 165 involuntary context switches= 123 # summary of solver processes directly reported to runsolver: # pid: 10374 # total CPU time (s): 251.914 # total CPU user time (s): 251.479 # total CPU system time (s): 0.435011 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.06042 second user time and 2.07577 second system time The end
Begin job on node133 at 2018-08-19 19:29:46 IDJOB=4312625 IDBENCH=141352 IDSOLVER=2801 FILE ID=node133/4312625-1534699786 RUNJOBID= node133-1534699008-9698 PBS_JOBID= 21038720 Free space on /tmp= 55208 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/TemplateDesign/TemplateDesign-m1s-magazine_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312625-1534699786/watcher-4312625-1534699786 -o /tmp/evaluation-result-4312625-1534699786/solver-4312625-1534699786 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534699008-9698 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 844466051 HOME/instance-4312625-1534699786.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90ad9fa5946247c0fa0335207c2f2744 RANDOM SEED=844466051 node133.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.24 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.24 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.24 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.24 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: 15665652 kB MemAvailable: 23389844 kB Buffers: 214920 kB Cached: 7799568 kB SwapCached: 4 kB Active: 13033612 kB Inactive: 3534908 kB Active(anon): 8534416 kB Inactive(anon): 88472 kB Active(file): 4499196 kB Inactive(file): 3446436 kB Unevictable: 7068 kB Mlocked: 7068 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 6064 kB Writeback: 0 kB AnonPages: 8428204 kB Mapped: 22956 kB Shmem: 66200 kB Slab: 217636 kB SReclaimable: 188792 kB SUnreclaim: 28844 kB KernelStack: 3632 kB PageTables: 21548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8895648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4874240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 55204 MiB End job on node133 at 2018-08-19 19:33:58