Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | SAT (TO) | 1716 | 2400.0701 | 2400.3101 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml |
MD5SUM | 30f67468f9f3ef5a617cbd1472c869c8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1716 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6641 |
Number of constraints | 3400 |
Number of domains | 161 |
Minimum domain size | 2 |
Maximum domain size | 161 |
Distribution of domain sizes | [{"size":2,"count":3322},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 80 |
Distribution of variable degrees | [{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 81 |
Distribution of constraint arities | [{"arity":2,"count":81},{"arity":3,"count":3241},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3320 |
Distribution of constraint types | [{"type":"intension","count":3320},{"type":"sum","count":80}] |
Optimization problem | YES |
Type of objective | min SUM |
3.52/3.67 c best=?? lower=-173880 upper=0 3.82/3.90 c 3.82/3.90 c This is cosoco 1.1 -- 3.82/3.90 c 3.82/3.90 c command line: cosoco -lc -model -restarts HOME/instance-4259910-1502027728.xml 3.82/3.90 c enable optimization 3.82/3.90 c ========================================[ Problem Statistics ]=========================================== 3.82/3.90 c | 3.82/3.90 c | Parse time : 3.54 s 3.82/3.90 c | 3.82/3.90 c | Variables: 6641 3.82/3.90 c | Domain Sizes: 2..161 3.82/3.90 c | 3.82/3.90 c | Constraints: 3401 3.82/3.90 c | Arity: 2..81 -- Binary: 81 -- Ternary: 3241 3.82/3.90 c | 3.82/3.90 c | Types: 3.82/3.90 c | Intension: 3320 3.82/3.90 c | Sum: 81 3.82/3.90 c | 3.82/3.90 c ========================================================================================================= 3.82/3.90 o -69064 3.82/3.90 c 1 calls to solver: best=-69064 lower=-69063 upper=0 4.02/4.12 o -68184 4.22/4.34 o -5900 4.22/4.34 c 3 calls to solver: best=-5900 lower=-5899 upper=0 4.43/4.56 o -5484 4.92/5.03 o -5468 4.92/5.03 c 5 calls to solver: best=-5468 lower=-5467 upper=0 5.32/5.41 o -5136 11.61/11.78 o -4844 11.61/11.78 c 7 calls to solver: best=-4844 lower=-4843 upper=0 12.61/12.72 o -4836 18.41/18.51 o -4484 18.41/18.51 c 9 calls to solver: best=-4484 lower=-4483 upper=0 18.72/18.83 o -3972 19.01/19.14 o -3796 19.01/19.14 c 11 calls to solver: best=-3796 lower=-3795 upper=0 25.11/25.25 o -3592 25.32/25.47 o -3476 25.32/25.47 c 13 calls to solver: best=-3476 lower=-3475 upper=0 25.51/25.69 o -3212 25.81/25.91 o -2960 25.81/25.91 c 15 calls to solver: best=-2960 lower=-2959 upper=0 26.01/26.12 o -2940 26.21/26.33 o -2896 26.21/26.33 c 17 calls to solver: best=-2896 lower=-2895 upper=0 26.42/26.56 o -2852 26.71/26.86 o -2804 26.71/26.86 c 19 calls to solver: best=-2804 lower=-2803 upper=0 27.01/27.14 o -2744 41.10/41.24 o -2696 41.10/41.24 c 21 calls to solver: best=-2696 lower=-2695 upper=0 41.90/42.07 o -2656 196.14/196.34 o -2308 196.14/196.34 c 23 calls to solver: best=-2308 lower=-2307 upper=0 200.14/200.38 o -2236 203.24/203.42 o -2152 203.24/203.42 c 25 calls to solver: best=-2152 lower=-2151 upper=0 576.02/576.23 o -2096 583.62/583.84 o -2052 583.62/583.84 c 27 calls to solver: best=-2052 lower=-2051 upper=0 588.62/588.81 o -1864 762.51/762.77 o -1836 762.51/762.77 c 29 calls to solver: best=-1836 lower=-1835 upper=0 773.01/773.26 o -1716 2400.06/2400.30 2400.06/2400.30 c *** INTERRUPTED *** 2400.06/2400.30 c restarts : 69 2400.06/2400.30 c conflicts : 703043 (293 /sec) 2400.06/2400.30 c decisions : 11768515 (4904 /sec) 2400.06/2400.30 c propagations : 1009305234 (420555 /sec) 2400.06/2400.30 c root propagations : 16438 2400.06/2400.30 c filter calls : 1435762963 (598250 /sec) 2400.06/2400.30 c useless filter calls : 908841770 (63 %) 2400.06/2400.30 c Memory used : 264.84 MB 2400.06/2400.30 c CPU time : 2399.94 s 2400.06/2400.30 2400.06/2400.30 c nb Solutions = 30 2400.06/2400.30 s SATISFIABLE 2400.06/2400.30 c Best value found: -1716 2400.06/2400.30 2400.06/2400.30 2400.06/2400.30 v <instantiation type='solution' cost='-1716'> 2400.06/2400.30 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[6] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[5] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[6] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][5] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][6] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][5] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][6] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][5] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][6] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][5] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][6] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][5] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][6] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][5] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][6] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][5] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][6] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][5] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][6] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[16][79] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][5] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][6] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[17][78] y[17][79] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][5] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][6] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[18][77] y[18][78] y[18][79] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][5] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][6] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[19][76] y[19][77] y[19][78] y[19][79] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][5] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][6] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][5] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][6] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[20][75] y[20][76] y[20][77] y[20][78] y[20][79] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][5] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][6] y[21][70] y[21][71] y[21][72] y[21][73] y[21][74] y[21][75] y[21][76] y[21][77] y[21][78] y[21][79] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][5] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][6] y[22][70] y[22][71] y[22][72] y[22][73] y[22][74] y[22][75] y[22][76] y[22][77] y[22][78] y[22][79] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][5] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][6] y[23][70] y[23][71] y[23][72] y[23][73] y[23][74] y[23][75] y[23][76] y[23][77] y[23][78] y[23][79] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][5] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][6] y[24][70] y[24][71] y[24][72] y[24][73] y[24][74] y[24][75] y[24][76] y[24][77] y[24][78] y[24][79] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][5] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[25][6] y[25][70] y[25][71] y[25][72] y[25][73] y[25][74] y[25][75] y[25][76] y[25][77] y[25][78] y[25][79] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][5] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[26][69] y[26][6] y[26][70] y[26][71] y[26][72] y[26][73] y[26][74] y[26][75] y[26][76] y[26][77] y[26][78] y[26][79] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][5] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[27][68] y[27][69] y[27][6] y[27][70] y[27][71] y[27][72] y[27][73] y[27][74] y[27][75] y[27][76] y[27][77] y[27][78] y[27][79] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][5] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[28][67] y[28][68] y[28][69] y[28][6] y[28][70] y[28][71] y[28][72] y[28][73] y[28][74] y[28][75] y[28][76] y[28][77] y[28][78] y[28][79] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][5] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][66] y[29][67] y[29][68] y[29][69] y[29][6] y[29][70] y[29][71] y[29][72] y[29][73] y[29][74] y[29][75] y[29][76] y[29][77] y[29][78] y[29][79] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][5] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][6] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][5] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][66] y[30][67] y[30][68] y[30][69] y[30][6] y[30][70] y[30][71] y[30][72] y[30][73] y[30][74] y[30][75] y[30][76] y[30][77] y[30][78] y[30][79] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][5] y[31][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][66] y[31][67] y[31][68] y[31][69] y[31][6] y[31][70] y[31][71] y[31][72] y[31][73] y[31][74] y[31][75] y[31][76] y[31][77] y[31][78] y[31][79] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][5] y[32][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][66] y[32][67] y[32][68] y[32][69] y[32][6] y[32][70] y[32][71] y[32][72] y[32][73] y[32][74] y[32][75] y[32][76] y[32][77] y[32][78] y[32][79] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][5] y[33][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][66] y[33][67] y[33][68] y[33][69] y[33][6] y[33][70] y[33][71] y[33][72] y[33][73] y[33][74] y[33][75] y[33][76] y[33][77] y[33][78] y[33][79] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][5] y[34][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][66] y[34][67] y[34][68] y[34][69] y[34][6] y[34][70] y[34][71] y[34][72] y[34][73] y[34][74] y[34][75] y[34][76] y[34][77] y[34][78] y[34][79] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][5] y[35][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][66] y[35][67] y[35][68] y[35][69] y[35][6] y[35][70] y[35][71] y[35][72] y[35][73] y[35][74] y[35][75] y[35][76] y[35][77] y[35][78] y[35][79] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][5] y[36][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][66] y[36][67] y[36][68] y[36][69] y[36][6] y[36][70] y[36][71] y[36][72] y[36][73] y[36][74] y[36][75] y[36][76] y[36][77] y[36][78] y[36][79] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][5] y[37][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][66] y[37][67] y[37][68] y[37][69] y[37][6] y[37][70] y[37][71] y[37][72] y[37][73] y[37][74] y[37][75] y[37][76] y[37][77] y[37][78] y[37][79] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][5] y[38][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][66] y[38][67] y[38][68] y[38][69] y[38][6] y[38][70] y[38][71] y[38][72] y[38][73] y[38][74] y[38][75] y[38][76] y[38][77] y[38][78] y[38][79] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][5] y[39][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][66] y[39][67] y[39][68] y[39][69] y[39][6] y[39][70] y[39][71] y[39][72] y[39][73] y[39][74] y[39][75] y[39][76] y[39][77] y[39][78] y[39][79] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][5] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][6] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][5] y[40][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][66] y[40][67] y[40][68] y[40][69] y[40][6] y[40][70] y[40][71] y[40][72] y[40][73] y[40][74] y[40][75] y[40][76] y[40][77] y[40][78] y[40][79] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][5] y[41][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][66] y[41][67] y[41][68] y[41][69] y[41][6] y[41][70] y[41][71] y[41][72] y[41][73] y[41][74] y[41][75] y[41][76] y[41][77] y[41][78] y[41][79] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][5] y[42][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][66] y[42][67] y[42][68] y[42][69] y[42][6] y[42][70] y[42][71] y[42][72] y[42][73] y[42][74] y[42][75] y[42][76] y[42][77] y[42][78] y[42][79] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][5] y[43][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][66] y[43][67] y[43][68] y[43][69] y[43][6] y[43][70] y[43][71] y[43][72] y[43][73] y[43][74] y[43][75] y[43][76] y[43][77] y[43][78] y[43][79] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][5] y[44][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][66] y[44][67] y[44][68] y[44][69] y[44][6] y[44][70] y[44][71] y[44][72] y[44][73] y[44][74] y[44][75] y[44][76] y[44][77] y[44][78] y[44][79] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][5] y[45][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][66] y[45][67] y[45][68] y[45][69] y[45][6] y[45][70] y[45][71] y[45][72] y[45][73] y[45][74] y[45][75] y[45][76] y[45][77] y[45][78] y[45][79] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][5] y[46][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][66] y[46][67] y[46][68] y[46][69] y[46][6] y[46][70] y[46][71] y[46][72] y[46][73] y[46][74] y[46][75] y[46][76] y[46][77] y[46][78] y[46][79] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][5] y[47][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][66] y[47][67] y[47][68] y[47][69] y[47][6] y[47][70] y[47][71] y[47][72] y[47][73] y[47][74] y[47][75] y[47][76] y[47][77] y[47][78] y[47][79] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][5] y[48][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][66] y[48][67] y[48][68] y[48][69] y[48][6] y[48][70] y[48][71] y[48][72] y[48][73] y[48][74] y[48][75] y[48][76] y[48][77] y[48][78] y[48][79] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][5] y[49][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][66] y[49][67] y[49][68] y[49][69] y[49][6] y[49][70] y[49][71] y[49][72] y[49][73] y[49][74] y[49][75] y[49][76] y[49][77] y[49][78] y[49][79] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][5] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][6] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][5] y[50][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][66] y[50][67] y[50][68] y[50][69] y[50][6] y[50][70] y[50][71] y[50][72] y[50][73] y[50][74] y[50][75] y[50][76] y[50][77] y[50][78] y[50][79] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][5] y[51][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][66] y[51][67] y[51][68] y[51][69] y[51][6] y[51][70] y[51][71] y[51][72] y[51][73] y[51][74] y[51][75] y[51][76] y[51][77] y[51][78] y[51][79] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][5] y[52][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][66] y[52][67] y[52][68] y[52][69] y[52][6] y[52][70] y[52][71] y[52][72] y[52][73] y[52][74] y[52][75] y[52][76] y[52][77] y[52][78] y[52][79] y[52][7] y[52][8] y[52][9] y[53][0] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][1] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][2] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][3] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][4] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][5] y[53][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][66] y[53][67] y[53][68] y[53][69] y[53][6] y[53][70] y[53][71] y[53][72] y[53][73] y[53][74] y[53][75] y[53][76] y[53][77] y[53][78] y[53][79] y[53][7] y[53][8] y[53][9] y[54][0] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][1] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][2] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][3] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][4] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][5] y[54][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][66] y[54][67] y[54][68] y[54][69] y[54][6] y[54][70] y[54][71] y[54][72] y[54][73] y[54][74] y[54][75] y[54][76] y[54][77] y[54][78] y[54][79] y[54][7] y[54][8] y[54][9] y[55][0] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][1] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][2] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][3] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][4] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][5] y[55][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][66] y[55][67] y[55][68] y[55][69] y[55][6] y[55][70] y[55][71] y[55][72] y[55][73] y[55][74] y[55][75] y[55][76] y[55][77] y[55][78] y[55][79] y[55][7] y[55][8] y[55][9] y[56][0] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][1] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][2] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][3] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][4] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][5] y[56][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][66] y[56][67] y[56][68] y[56][69] y[56][6] y[56][70] y[56][71] y[56][72] y[56][73] y[56][74] y[56][75] y[56][76] y[56][77] y[56][78] y[56][79] y[56][7] y[56][8] y[56][9] y[57][0] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][1] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][2] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][3] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][4] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][5] y[57][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][66] y[57][67] y[57][68] y[57][69] y[57][6] y[57][70] y[57][71] y[57][72] y[57][73] y[57][74] y[57][75] y[57][76] y[57][77] y[57][78] y[57][79] y[57][7] y[57][8] y[57][9] y[58][0] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][1] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][2] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][3] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][4] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][5] y[58][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][66] y[58][67] y[58][68] y[58][69] y[58][6] y[58][70] y[58][71] y[58][72] y[58][73] y[58][74] y[58][75] y[58][76] y[58][77] y[58][78] y[58][79] y[58][7] y[58][8] y[58][9] y[59][0] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][1] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][2] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][3] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][4] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][5] y[59][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][66] y[59][67] y[59][68] y[59][69] y[59][6] y[59][70] y[59][71] y[59][72] y[59][73] y[59][74] y[59][75] y[59][76] y[59][77] y[59][78] y[59][79] y[59][7] y[59][8] y[59][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][5] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][6] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][7] y[5][8] y[5][9] y[60][0] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][1] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][2] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][3] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][4] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][5] y[60][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][66] y[60][67] y[60][68] y[60][69] y[60][6] y[60][70] y[60][71] y[60][72] y[60][73] y[60][74] y[60][75] y[60][76] y[60][77] y[60][78] y[60][79] y[60][7] y[60][8] y[60][9] y[61][0] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][1] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][2] y[61][30] y[61][31] y[61][32] y[61][33] y[61][34] y[61][35] y[61][36] y[61][37] y[61][38] y[61][39] y[61][3] y[61][40] y[61][41] y[61][42] y[61][43] y[61][44] y[61][45] y[61][46] y[61][47] y[61][48] y[61][49] y[61][4] y[61][50] y[61][51] y[61][52] y[61][53] y[61][54] y[61][55] y[61][56] y[61][57] y[61][58] y[61][59] y[61][5] y[61][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][66] y[61][67] y[61][68] y[61][69] y[61][6] y[61][70] y[61][71] y[61][72] y[61][73] y[61][74] y[61][75] y[61][76] y[61][77] y[61][78] y[61][79] y[61][7] y[61][8] y[61][9] y[62][0] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][1] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][2] y[62][30] y[62][31] y[62][32] y[62][33] y[62][34] y[62][35] y[62][36] y[62][37] y[62][38] y[62][39] y[62][3] y[62][40] y[62][41] y[62][42] y[62][43] y[62][44] y[62][45] y[62][46] y[62][47] y[62][48] y[62][49] y[62][4] y[62][50] y[62][51] y[62][52] y[62][53] y[62][54] y[62][55] y[62][56] y[62][57] y[62][58] y[62][59] y[62][5] y[62][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][66] y[62][67] y[62][68] y[62][69] y[62][6] y[62][70] y[62][71] y[62][72] y[62][73] y[62][74] y[62][75] y[62][76] y[62][77] y[62][78] y[62][79] y[62][7] y[62][8] y[62][9] y[63][0] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][1] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][2] y[63][30] y[63][31] y[63][32] y[63][33] y[63][34] y[63][35] y[63][36] y[63][37] y[63][38] y[63][39] y[63][3] y[63][40] y[63][41] y[63][42] y[63][43] y[63][44] y[63][45] y[63][46] y[63][47] y[63][48] y[63][49] y[63][4] y[63][50] y[63][51] y[63][52] y[63][53] y[63][54] y[63][55] y[63][56] y[63][57] y[63][58] y[63][59] y[63][5] y[63][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][66] y[63][67] y[63][68] y[63][69] y[63][6] y[63][70] y[63][71] y[63][72] y[63][73] y[63][74] y[63][75] y[63][76] y[63][77] y[63][78] y[63][79] y[63][7] y[63][8] y[63][9] y[64][0] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][1] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][2] y[64][30] y[64][31] y[64][32] y[64][33] y[64][34] y[64][35] y[64][36] y[64][37] y[64][38] y[64][39] y[64][3] y[64][40] y[64][41] y[64][42] y[64][43] y[64][44] y[64][45] y[64][46] y[64][47] y[64][48] y[64][49] y[64][4] y[64][50] y[64][51] y[64][52] y[64][53] y[64][54] y[64][55] y[64][56] y[64][57] y[64][58] y[64][59] y[64][5] y[64][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][66] y[64][67] y[64][68] y[64][69] y[64][6] y[64][70] y[64][71] y[64][72] y[64][73] y[64][74] y[64][75] y[64][76] y[64][77] y[64][78] y[64][79] y[64][7] y[64][8] y[64][9] y[65][0] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][1] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[65][2] y[65][30] y[65][31] y[65][32] y[65][33] y[65][34] y[65][35] y[65][36] y[65][37] y[65][38] y[65][39] y[65][3] y[65][40] y[65][41] y[65][42] y[65][43] y[65][44] y[65][45] y[65][46] y[65][47] y[65][48] y[65][49] y[65][4] y[65][50] y[65][51] y[65][52] y[65][53] y[65][54] y[65][55] y[65][56] y[65][57] y[65][58] y[65][59] y[65][5] y[65][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][66] y[65][67] y[65][68] y[65][69] y[65][6] y[65][70] y[65][71] y[65][72] y[65][73] y[65][74] y[65][75] y[65][76] y[65][77] y[65][78] y[65][79] y[65][7] y[65][8] y[65][9] y[66][0] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][1] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[66][29] y[66][2] y[66][30] y[66][31] y[66][32] y[66][33] y[66][34] y[66][35] y[66][36] y[66][37] y[66][38] y[66][39] y[66][3] y[66][40] y[66][41] y[66][42] y[66][43] y[66][44] y[66][45] y[66][46] y[66][47] y[66][48] y[66][49] y[66][4] y[66][50] y[66][51] y[66][52] y[66][53] y[66][54] y[66][55] y[66][56] y[66][57] y[66][58] y[66][59] y[66][5] y[66][60] y[66][61] y[66][62] y[66][63] y[66][64] y[66][65] y[66][66] y[66][67] y[66][68] y[66][69] y[66][6] y[66][70] y[66][71] y[66][72] y[66][73] y[66][74] y[66][75] y[66][76] y[66][77] y[66][78] y[66][79] y[66][7] y[66][8] y[66][9] y[67][0] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][1] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[67][28] y[67][29] y[67][2] y[67][30] y[67][31] y[67][32] y[67][33] y[67][34] y[67][35] y[67][36] y[67][37] y[67][38] y[67][39] y[67][3] y[67][40] y[67][41] y[67][42] y[67][43] y[67][44] y[67][45] y[67][46] y[67][47] y[67][48] y[67][49] y[67][4] y[67][50] y[67][51] y[67][52] y[67][53] y[67][54] y[67][55] y[67][56] y[67][57] y[67][58] y[67][59] y[67][5] y[67][60] y[67][61] y[67][62] y[67][63] y[67][64] y[67][65] y[67][66] y[67][67] y[67][68] y[67][69] y[67][6] y[67][70] y[67][71] y[67][72] y[67][73] y[67][74] y[67][75] y[67][76] y[67][77] y[67][78] y[67][79] y[67][7] y[67][8] y[67][9] y[68][0] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][1] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[68][27] y[68][28] y[68][29] y[68][2] y[68][30] y[68][31] y[68][32] y[68][33] y[68][34] y[68][35] y[68][36] y[68][37] y[68][38] y[68][39] y[68][3] y[68][40] y[68][41] y[68][42] y[68][43] y[68][44] y[68][45] y[68][46] y[68][47] y[68][48] y[68][49] y[68][4] y[68][50] y[68][51] y[68][52] y[68][53] y[68][54] y[68][55] y[68][56] y[68][57] y[68][58] y[68][59] y[68][5] y[68][60] y[68][61] y[68][62] y[68][63] y[68][64] y[68][65] y[68][66] y[68][67] y[68][68] y[68][69] y[68][6] y[68][70] y[68][71] y[68][72] y[68][73] y[68][74] y[68][75] y[68][76] y[68][77] y[68][78] y[68][79] y[68][7] y[68][8] y[68][9] y[69][0] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][1] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[69][26] y[69][27] y[69][28] y[69][29] y[69][2] y[69][30] y[69][31] y[69][32] y[69][33] y[69][34] y[69][35] y[69][36] y[69][37] y[69][38] y[69][39] y[69][3] y[69][40] y[69][41] y[69][42] y[69][43] y[69][44] y[69][45] y[69][46] y[69][47] y[69][48] y[69][49] y[69][4] y[69][50] y[69][51] y[69][52] y[69][53] y[69][54] y[69][55] y[69][56] y[69][57] y[69][58] y[69][59] y[69][5] y[69][60] y[69][61] y[69][62] y[69][63] y[69][64] y[69][65] y[69][66] y[69][67] y[69][68] y[69][69] y[69][6] y[69][70] y[69][71] y[69][72] y[69][73] y[69][74] y[69][75] y[69][76] y[69][77] y[69][78] y[69][79] y[69][7] y[69][8] y[69][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][5] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][6] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][7] y[6][8] y[6][9] y[70][0] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][1] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[70][25] y[70][26] y[70][27] y[70][28] y[70][29] y[70][2] y[70][30] y[70][31] y[70][32] y[70][33] y[70][34] y[70][35] y[70][36] y[70][37] y[70][38] y[70][39] y[70][3] y[70][40] y[70][41] y[70][42] y[70][43] y[70][44] y[70][45] y[70][46] y[70][47] y[70][48] y[70][49] y[70][4] y[70][50] y[70][51] y[70][52] y[70][53] y[70][54] y[70][55] y[70][56] y[70][57] y[70][58] y[70][59] y[70][5] y[70][60] y[70][61] y[70][62] y[70][63] y[70][64] y[70][65] y[70][66] y[70][67] y[70][68] y[70][69] y[70][6] y[70][70] y[70][71] y[70][72] y[70][73] y[70][74] y[70][75] y[70][76] y[70][77] y[70][78] y[70][79] y[70][7] y[70][8] y[70][9] y[71][0] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][1] y[71][20] y[71][21] y[71][22] y[71][23] y[71][24] y[71][25] y[71][26] y[71][27] y[71][28] y[71][29] y[71][2] y[71][30] y[71][31] y[71][32] y[71][33] y[71][34] y[71][35] y[71][36] y[71][37] y[71][38] y[71][39] y[71][3] y[71][40] y[71][41] y[71][42] y[71][43] y[71][44] y[71][45] y[71][46] y[71][47] y[71][48] y[71][49] y[71][4] y[71][50] y[71][51] y[71][52] y[71][53] y[71][54] y[71][55] y[71][56] y[71][57] y[71][58] y[71][59] y[71][5] y[71][60] y[71][61] y[71][62] y[71][63] y[71][64] y[71][65] y[71][66] y[71][67] y[71][68] y[71][69] y[71][6] y[71][70] y[71][71] y[71][72] y[71][73] y[71][74] y[71][75] y[71][76] y[71][77] y[71][78] y[71][79] y[71][7] y[71][8] y[71][9] y[72][0] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][1] y[72][20] y[72][21] y[72][22] y[72][23] y[72][24] y[72][25] y[72][26] y[72][27] y[72][28] y[72][29] y[72][2] y[72][30] y[72][31] y[72][32] y[72][33] y[72][34] y[72][35] y[72][36] y[72][37] y[72][38] y[72][39] y[72][3] y[72][40] y[72][41] y[72][42] y[72][43] y[72][44] y[72][45] y[72][46] y[72][47] y[72][48] y[72][49] y[72][4] y[72][50] y[72][51] y[72][52] y[72][53] y[72][54] y[72][55] y[72][56] y[72][57] y[72][58] y[72][59] y[72][5] y[72][60] y[72][61] y[72][62] y[72][63] y[72][64] y[72][65] y[72][66] y[72][67] y[72][68] y[72][69] y[72][6] y[72][70] y[72][71] y[72][72] y[72][73] y[72][74] y[72][75] y[72][76] y[72][77] y[72][78] y[72][79] y[72][7] y[72][8] y[72][9] y[73][0] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][1] y[73][20] y[73][21] y[73][22] y[73][23] y[73][24] y[73][25] y[73][26] y[73][27] y[73][28] y[73][29] y[73][2] y[73][30] y[73][31] y[73][32] y[73][33] y[73][34] y[73][35] y[73][36] y[73][37] y[73][38] y[73][39] y[73][3] y[73][40] y[73][41] y[73][42] y[73][43] y[73][44] y[73][45] y[73][46] y[73][47] y[73][48] y[73][49] y[73][4] y[73][50] y[73][51] y[73][52] y[73][53] y[73][54] y[73][55] y[73][56] y[73][57] y[73][58] y[73][59] y[73][5] y[73][60] y[73][61] y[73][62] y[73][63] y[73][64] y[73][65] y[73][66] y[73][67] y[73][68] y[73][69] y[73][6] y[73][70] y[73][71] y[73][72] y[73][73] y[73][74] y[73][75] y[73][76] y[73][77] y[73][78] y[73][79] y[73][7] y[73][8] y[73][9] y[74][0] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][1] y[74][20] y[74][21] y[74][22] y[74][23] y[74][24] y[74][25] y[74][26] y[74][27] y[74][28] y[74][29] y[74][2] y[74][30] y[74][31] y[74][32] y[74][33] y[74][34] y[74][35] y[74][36] y[74][37] y[74][38] y[74][39] y[74][3] y[74][40] y[74][41] y[74][42] y[74][43] y[74][44] y[74][45] y[74][46] y[74][47] y[74][48] y[74][49] y[74][4] y[74][50] y[74][51] y[74][52] y[74][53] y[74][54] y[74][55] y[74][56] y[74][57] y[74][58] y[74][59] y[74][5] y[74][60] y[74][61] y[74][62] y[74][63] y[74][64] y[74][65] y[74][66] y[74][67] y[74][68] y[74][69] y[74][6] y[74][70] y[74][71] y[74][72] y[74][73] y[74][74] y[74][75] y[74][76] y[74][77] y[74][78] y[74][79] y[74][7] y[74][8] y[74][9] y[75][0] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[75][1] y[75][20] y[75][21] y[75][22] y[75][23] y[75][24] y[75][25] y[75][26] y[75][27] y[75][28] y[75][29] y[75][2] y[75][30] y[75][31] y[75][32] y[75][33] y[75][34] y[75][35] y[75][36] y[75][37] y[75][38] y[75][39] y[75][3] y[75][40] y[75][41] y[75][42] y[75][43] y[75][44] y[75][45] y[75][46] y[75][47] y[75][48] y[75][49] y[75][4] y[75][50] y[75][51] y[75][52] y[75][53] y[75][54] y[75][55] y[75][56] y[75][57] y[75][58] y[75][59] y[75][5] y[75][60] y[75][61] y[75][62] y[75][63] y[75][64] y[75][65] y[75][66] y[75][67] y[75][68] y[75][69] y[75][6] y[75][70] y[75][71] y[75][72] y[75][73] y[75][74] y[75][75] y[75][76] y[75][77] y[75][78] y[75][79] y[75][7] y[75][8] y[75][9] y[76][0] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[76][19] y[76][1] y[76][20] y[76][21] y[76][22] y[76][23] y[76][24] y[76][25] y[76][26] y[76][27] y[76][28] y[76][29] y[76][2] y[76][30] y[76][31] y[76][32] y[76][33] y[76][34] y[76][35] y[76][36] y[76][37] y[76][38] y[76][39] y[76][3] y[76][40] y[76][41] y[76][42] y[76][43] y[76][44] y[76][45] y[76][46] y[76][47] y[76][48] y[76][49] y[76][4] y[76][50] y[76][51] y[76][52] y[76][53] y[76][54] y[76][55] y[76][56] y[76][57] y[76][58] y[76][59] y[76][5] y[76][60] y[76][61] y[76][62] y[76][63] y[76][64] y[76][65] y[76][66] y[76][67] y[76][68] y[76][69] y[76][6] y[76][70] y[76][71] y[76][72] y[76][73] y[76][74] y[76][75] y[76][76] y[76][77] y[76][78] y[76][79] y[76][7] y[76][8] y[76][9] y[77][0] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[77][18] y[77][19] y[77][1] y[77][20] y[77][21] y[77][22] y[77][23] y[77][24] y[77][25] y[77][26] y[77][27] y[77][28] y[77][29] y[77][2] y[77][30] y[77][31] y[77][32] y[77][33] y[77][34] y[77][35] y[77][36] y[77][37] y[77][38] y[77][39] y[77][3] y[77][40] y[77][41] y[77][42] y[77][43] y[77][44] y[77][45] y[77][46] y[77][47] y[77][48] y[77][49] y[77][4] y[77][50] y[77][51] y[77][52] y[77][53] y[77][54] y[77][55] y[77][56] y[77][57] y[77][58] y[77][59] y[77][5] y[77][60] y[77][61] y[77][62] y[77][63] y[77][64] y[77][65] y[77][66] y[77][67] y[77][68] y[77][69] y[77][6] y[77][70] y[77][71] y[77][72] y[77][73] y[77][74] y[77][75] y[77][76] y[77][77] y[77][78] y[77][79] y[77][7] y[77][8] y[77][9] y[78][0] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[78][17] y[78][18] y[78][19] y[78][1] y[78][20] y[78][21] y[78][22] y[78][23] y[78][24] y[78][25] y[78][26] y[78][27] y[78][28] y[78][29] y[78][2] y[78][30] y[78][31] y[78][32] y[78][33] y[78][34] y[78][35] y[78][36] y[78][37] y[78][38] y[78][39] y[78][3] y[78][40] y[78][41] y[78][42] y[78][43] y[78][44] y[78][45] y[78][46] y[78][47] y[78][48] y[78][49] y[78][4] y[78][50] y[78][51] y[78][52] y[78][53] y[78][54] y[78][55] y[78][56] y[78][57] y[78][58] y[78][59] y[78][5] y[78][60] y[78][61] y[78][62] y[78][63] y[78][64] y[78][65] y[78][66] y[78][67] y[78][68] y[78][69] y[78][6] y[78][70] y[78][71] y[78][72] y[78][73] y[78][74] y[78][75] y[78][76] y[78][77] y[78][78] y[78][79] y[78][7] y[78][8] y[78][9] y[79][0] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[79][16] y[79][17] y[79][18] y[79][19] y[79][1] y[79][20] y[79][21] y[79][22] y[79][23] y[79][24] y[79][25] y[79][26] y[79][27] y[79][28] y[79][29] y[79][2] y[79][30] y[79][31] y[79][32] y[79][33] y[79][34] y[79][35] y[79][36] y[79][37] y[79][38] y[79][39] y[79][3] y[79][40] y[79][41] y[79][42] y[79][43] y[79][44] y[79][45] y[79][46] y[79][47] y[79][48] y[79][49] y[79][4] y[79][50] y[79][51] y[79][52] y[79][53] y[79][54] y[79][55] y[79][56] y[79][57] y[79][58] y[79][59] y[79][5] y[79][60] y[79][61] y[79][62] y[79][63] y[79][64] y[79][65] y[79][66] y[79][67] y[79][68] y[79][69] y[79][6] y[79][70] y[79][71] y[79][72] y[79][73] y[79][74] y[79][75] y[79][76] y[79][77] y[79][78] y[79][79] y[79][7] y[79][8] y[79][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][5] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][6] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][5] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][6] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][5] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][6] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][7] y[9][8] y[9][9] </list> 2400.06/2400.30 v <values>4 0 9 6 3 -4 3 2 -3 0 9 3 0 3 -2 7 -2 1 0 -7 -8 1 4 -4 -7 6 -5 0 -7 4 -1 -6 5 3 4 3 10 -7 8 1 2 -5 0 5 -4 0 5 4 -3 4 -5 -2 -9 6 1 -5 0 5 4 3 6 5 6 -1 0 -3 4 -4 -9 -2 -3 -2 1 2 1 2 1 -5 -6 9 16 0 81 36 9 16 9 4 9 0 81 9 0 9 4 49 4 1 0 49 64 1 16 16 49 36 25 0 49 16 1 36 25 9 16 9 100 49 64 1 4 25 0 25 16 0 25 16 9 16 25 4 81 36 1 25 0 25 16 9 36 25 36 1 0 9 16 16 81 4 9 4 1 4 1 4 1 25 36 81 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 * * * * * * * * * * -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 * 1 * * * * * * * * * * 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 * * -1 * * * * * * * * * * -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 * * * 1 * * * * * * * * * * 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 * * * * -1 * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 * * * * * -1 * * * * * * * * * * 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 * * * * * * -1 * * * * * * * * * * -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 * * * * * * * 1 * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 * * * * * * * * * -1 * * * * * * * * * * -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 * 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 * * -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 * * * 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 * * * * 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 -1 1 1 1 1 -1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 1 1 -1 1 -1 1 1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 1 -1 -1 -1 1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 1 1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 -1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 1 1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 * * * * * * -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 * * * * * * * * 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 * * * * * * * * * -1 -1 1 </values> 2400.06/2400.30 v </instantiation> 2400.06/2400.30
OK 1716
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259910-1502027728/watcher-4259910-1502027728 -o /tmp/evaluation-result-4259910-1502027728/solver-4259910-1502027728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259910-1502027728.xml pid=25914 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.05 3/184 25917 /proc/meminfo: memFree=31742400/32770624 swapFree=0/320444 [pid=25917] ppid=25914 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25917/stat : 25917 (runsolver) D 25914 25917 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4966524 24240128 108 18446744073709551615 4194304 4338465 140722702835856 140722702833496 140486772925143 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 20090880 140722702840002 140722702840394 140722702840394 140722702843850 0 /proc/25917/statm: 5918 108 54 36 0 2156 0 [startup+0.100292 s] /proc/loadavg: 2.01 2.03 2.05 3/184 25917 /proc/meminfo: memFree=31742400/32770624 swapFree=0/320444 [pid=25917] ppid=25914 vsize=31284 CPUtime=0.02 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 2079 0 0 0 2 0 0 0 20 0 1 0 4966524 32034816 1860 18446744073709551615 4194304 5747388 140726720182336 140726720177624 4990877 0 0 1 0 0 0 0 17 6 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 7821 1860 699 380 0 1239 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 31284 [startup+0.200292 s] /proc/loadavg: 2.01 2.03 2.05 3/184 25917 /proc/meminfo: memFree=31742400/32770624 swapFree=0/320444 [pid=25917] ppid=25914 vsize=34132 CPUtime=0.12 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 2863 0 0 0 12 0 0 0 20 0 1 0 4966524 34951168 2652 18446744073709551615 4194304 5747388 140726720182336 140726720175800 139800995539345 0 0 1 0 0 0 0 17 6 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 8533 2652 773 380 0 1951 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 34132 [startup+0.300296 s] /proc/loadavg: 2.01 2.03 2.05 3/184 25917 /proc/meminfo: memFree=31742400/32770624 swapFree=0/320444 [pid=25917] ppid=25914 vsize=39272 CPUtime=0.22 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 4138 0 0 0 22 0 0 0 20 0 1 0 4966524 40214528 3967 18446744073709551615 4194304 5747388 140726720182336 140726720176200 139800995539345 0 0 1 0 0 0 0 17 6 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 9818 3967 773 380 0 3236 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 39272 [startup+0.700293 s] /proc/loadavg: 2.01 2.03 2.05 3/184 25917 /proc/meminfo: memFree=31742400/32770624 swapFree=0/320444 [pid=25917] ppid=25914 vsize=59780 CPUtime=0.63 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 9256 0 0 0 62 1 0 0 20 0 1 0 4966524 61214720 9037 18446744073709551615 4194304 5747388 140726720182336 140726720175896 139800995319932 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 14945 9037 773 380 0 8363 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 59780 [startup+1.50019 s] /proc/loadavg: 2.01 2.03 2.05 3/185 25918 /proc/meminfo: memFree=31689836/32770624 swapFree=0/320444 [pid=25917] ppid=25914 vsize=100440 CPUtime=1.42 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 19415 0 0 0 140 2 0 0 20 0 1 0 4966524 102850560 19256 18446744073709551615 4194304 5747388 140726720182336 140726720175896 139800995840366 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 25110 19256 773 380 0 18528 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 100440 [startup+3.1002 s] /proc/loadavg: 2.01 2.03 2.05 3/185 25918 /proc/meminfo: memFree=31634080/32770624 swapFree=0/320736 [pid=25917] ppid=25914 vsize=181656 CPUtime=3.02 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 40124 0 0 0 297 5 0 0 20 0 1 0 4966524 186015744 39558 18446744073709551615 4194304 5747388 140726720182336 140726720175800 139800985890648 0 0 1 0 0 0 0 17 0 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 45414 39558 773 380 0 38832 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 181656 [startup+6.30033 s] /proc/loadavg: 2.01 2.03 2.05 3/185 25918 /proc/meminfo: memFree=31511364/32770624 swapFree=0/320744 [pid=25917] ppid=25914 vsize=258784 CPUtime=6.22 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 73435 0 0 0 613 9 0 0 20 0 1 0 4966524 264994816 58735 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4972775 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 64696 58735 828 380 0 58114 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 258784 [startup+12.7003 s] /proc/loadavg: 2.01 2.03 2.05 3/185 25918 /proc/meminfo: memFree=31506904/32770624 swapFree=0/320748 [pid=25917] ppid=25914 vsize=262664 CPUtime=12.61 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 85374 0 0 0 1252 9 0 0 20 0 1 0 4966524 268967936 59630 18446744073709551615 4194304 5747388 140726720182336 140726720169608 4971716 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 65666 59630 828 380 0 59084 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 262664 [startup+25.5004 s] /proc/loadavg: 2.01 2.03 2.05 3/182 25918 /proc/meminfo: memFree=31506068/32770624 swapFree=0/320764 [pid=25917] ppid=25914 vsize=267652 CPUtime=25.41 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 107718 0 0 0 2530 11 0 0 20 0 1 0 4966524 274075648 60794 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5121146 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 66913 60794 828 380 0 60331 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 267652 [startup+51.1004 s] /proc/loadavg: 2.01 2.02 2.05 3/182 25918 /proc/meminfo: memFree=31504532/32770624 swapFree=0/320792 [pid=25917] ppid=25914 vsize=269028 CPUtime=50.99 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 118366 0 0 0 5088 11 0 0 20 0 1 0 4966524 275484672 61145 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5142941 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67257 61145 828 380 0 60675 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 269028 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 25920 /proc/meminfo: memFree=31505612/32770624 swapFree=0/320828 [pid=25917] ppid=25914 vsize=269028 CPUtime=102.18 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 124095 0 0 0 10206 12 0 0 20 0 1 0 4966524 275484672 61145 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5142949 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67257 61145 828 380 0 60675 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 269028 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 25922 /proc/meminfo: memFree=31504432/32770624 swapFree=0/320864 [pid=25917] ppid=25914 vsize=269028 CPUtime=162.14 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 128720 0 0 0 16202 12 0 0 20 0 1 0 4966524 275484672 61365 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5025409 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67257 61365 828 380 0 60675 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 269028 [startup+222.306 s] /proc/loadavg: 1.96 2.00 2.04 3/181 25924 /proc/meminfo: memFree=31503996/32770624 swapFree=0/320924 [pid=25917] ppid=25914 vsize=270096 CPUtime=222.14 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 130269 0 0 0 22202 12 0 0 20 0 1 0 4966524 276578304 61617 18446744073709551615 4194304 5747388 140726720182336 140726720169608 4940172 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67524 61617 828 380 0 60942 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 270096 [startup+282.3 s] /proc/loadavg: 1.99 2.00 2.04 3/181 25926 /proc/meminfo: memFree=31503988/32770624 swapFree=0/320952 [pid=25917] ppid=25914 vsize=270096 CPUtime=282.13 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 131114 0 0 0 28201 12 0 0 20 0 1 0 4966524 276578304 61634 18446744073709551615 4194304 5747388 140726720182336 140726720169608 5121146 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67524 61634 828 380 0 60942 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 270096 [startup+342.3 s] /proc/loadavg: 1.99 2.00 2.04 3/181 25928 /proc/meminfo: memFree=31503740/32770624 swapFree=0/320980 [pid=25917] ppid=25914 vsize=270096 CPUtime=342.13 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 131937 0 0 0 34201 12 0 0 20 0 1 0 4966524 276578304 61634 18446744073709551615 4194304 5747388 140726720182336 140726720169608 5025371 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67524 61634 828 380 0 60942 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 270096 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25930 /proc/meminfo: memFree=31502576/32770624 swapFree=0/321008 [pid=25917] ppid=25914 vsize=270096 CPUtime=402.13 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 132665 0 0 0 40201 12 0 0 20 0 1 0 4966524 276578304 61715 18446744073709551615 4194304 5747388 140726720182336 140726720169608 4905989 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67524 61715 828 380 0 60942 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 270096 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25932 /proc/meminfo: memFree=31502684/32770624 swapFree=0/321048 [pid=25917] ppid=25914 vsize=270096 CPUtime=462.13 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 133074 0 0 0 46201 12 0 0 20 0 1 0 4966524 276578304 61715 18446744073709551615 4194304 5747388 140726720182336 140726720169608 4972859 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67524 61715 828 380 0 60942 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 270096 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.04 3/184 25948 /proc/meminfo: memFree=31498044/32770624 swapFree=0/321112 [pid=25917] ppid=25914 vsize=270096 CPUtime=522.12 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 133504 0 0 0 52200 12 0 0 20 0 1 0 4966524 276578304 61715 18446744073709551615 4194304 5747388 140726720182336 140726720169608 4940608 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67524 61715 828 380 0 60942 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 270096 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.04 3/184 25950 /proc/meminfo: memFree=31498148/32770624 swapFree=0/321152 [pid=25917] ppid=25914 vsize=270640 CPUtime=582.12 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 134213 0 0 0 58200 12 0 0 20 0 1 0 4966524 277135360 61832 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4972507 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67660 61832 828 380 0 61078 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 270640 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.05 3/181 26023 /proc/meminfo: memFree=31500076/32770624 swapFree=0/321784 [pid=25917] ppid=25914 vsize=271188 CPUtime=1542.09 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 139926 0 0 0 154197 12 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4941162 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1542.09 Current children cumulated vsize (KiB) 271188 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.05 3/181 26025 /proc/meminfo: memFree=31500016/32770624 swapFree=0/321808 [pid=25917] ppid=25914 vsize=271188 CPUtime=1602.08 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 140270 0 0 0 160196 12 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4972814 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1602.08 Current children cumulated vsize (KiB) 271188 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 26027 /proc/meminfo: memFree=31500008/32770624 swapFree=0/321844 [pid=25917] ppid=25914 vsize=271188 CPUtime=1662.08 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 140620 0 0 0 166196 12 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5142941 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1662.08 Current children cumulated vsize (KiB) 271188 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.05 3/185 26044 /proc/meminfo: memFree=31495932/32770624 swapFree=0/321888 [pid=25917] ppid=25914 vsize=271188 CPUtime=1722.08 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 140968 0 0 0 172196 12 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4941136 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1722.08 Current children cumulated vsize (KiB) 271188 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/185 26046 /proc/meminfo: memFree=31495596/32770624 swapFree=0/321932 [pid=25917] ppid=25914 vsize=271188 CPUtime=1782.08 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 141315 0 0 0 178195 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5133700 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1782.08 Current children cumulated vsize (KiB) 271188 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 26048 /proc/meminfo: memFree=31498664/32770624 swapFree=0/321960 [pid=25917] ppid=25914 vsize=271188 CPUtime=1842.08 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 141664 0 0 0 184195 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4942608 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 271188 [startup+1902.3 s] /proc/loadavg: 2.06 2.03 2.05 3/182 26050 /proc/meminfo: memFree=31499036/32770624 swapFree=0/321988 [pid=25917] ppid=25914 vsize=271188 CPUtime=1902.08 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 142008 0 0 0 190195 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940128 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1902.08 Current children cumulated vsize (KiB) 271188 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 26052 /proc/meminfo: memFree=31499164/32770624 swapFree=0/322024 [pid=25917] ppid=25914 vsize=271188 CPUtime=1962.07 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 142352 0 0 0 196194 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940696 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 1962.07 Current children cumulated vsize (KiB) 271188 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 26054 /proc/meminfo: memFree=31499668/32770624 swapFree=0/322044 [pid=25917] ppid=25914 vsize=271188 CPUtime=2022.07 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 142695 0 0 0 202194 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4873657 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2022.07 Current children cumulated vsize (KiB) 271188 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 26056 /proc/meminfo: memFree=31499660/32770624 swapFree=0/322084 [pid=25917] ppid=25914 vsize=271188 CPUtime=2082.07 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 143048 0 0 0 208194 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940709 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2082.07 Current children cumulated vsize (KiB) 271188 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 26058 /proc/meminfo: memFree=31499680/32770624 swapFree=0/322108 [pid=25917] ppid=25914 vsize=271188 CPUtime=2142.07 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 143397 0 0 0 214194 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940963 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2142.07 Current children cumulated vsize (KiB) 271188 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 26060 /proc/meminfo: memFree=31499680/32770624 swapFree=0/322144 [pid=25917] ppid=25914 vsize=271188 CPUtime=2202.07 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 143731 0 0 0 220194 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5025361 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2202.07 Current children cumulated vsize (KiB) 271188 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 26062 /proc/meminfo: memFree=31500056/32770624 swapFree=0/322168 [pid=25917] ppid=25914 vsize=271188 CPUtime=2262.06 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 144000 0 0 0 226193 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4972777 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2262.06 Current children cumulated vsize (KiB) 271188 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 26078 /proc/meminfo: memFree=31495632/32770624 swapFree=0/322220 [pid=25917] ppid=25914 vsize=271188 CPUtime=2322.06 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 144269 0 0 0 232193 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940372 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2322.06 Current children cumulated vsize (KiB) 271188 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 26141 /proc/meminfo: memFree=31508432/32770624 swapFree=0/322316 [pid=25917] ppid=25914 vsize=271188 CPUtime=2382.06 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 144660 0 0 0 238193 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 5142949 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2382.06 Current children cumulated vsize (KiB) 271188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.05 3/184 26141 /proc/meminfo: memFree=31508432/32770624 swapFree=0/322332 [pid=25917] ppid=25914 vsize=271188 CPUtime=2400.06 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 144970 0 0 0 239993 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940608 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 271188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 25917 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.05 3/184 26141 /proc/meminfo: memFree=31508432/32770624 swapFree=0/322332 [pid=25917] ppid=25914 vsize=271188 CPUtime=2400.06 cores=0,2,4,6 /proc/25917/stat : 25917 (cosoco) R 25914 25917 20633 0 -1 4202496 144970 0 0 0 239993 13 0 0 20 0 1 0 4966524 277696512 61971 18446744073709551615 4194304 5747388 140726720182336 140726720179864 4940608 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 36360192 140726720184815 140726720184910 140726720184910 140726720188366 0 /proc/25917/statm: 67797 61971 828 380 0 61215 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 271188 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.07 CPU user time (s): 2399.94 CPU system time (s): 0.134993 CPU usage (%): 99.9902 Max. virtual memory (cumulated for all children) (KiB): 271188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.94 system time used= 0.134993 maximum resident set size= 247952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145021 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= 110 involuntary context switches= 864 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.00424 second user time and 9.53715 second system time The end
Begin job on node127 at 2017-08-06 15:41:24 IDJOB=4259910 IDBENCH=127072 IDSOLVER=2647 FILE ID=node127/4259910-1502027728 RUNJOBID= node127-1502014511-21395 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259910-1502027728/watcher-4259910-1502027728 -o /tmp/evaluation-result-4259910-1502027728/solver-4259910-1502027728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259910-1502027728.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8 RANDOM SEED=681435243 node127.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.92 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.92 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.92 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.92 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: 31742776 kB MemAvailable: 32008632 kB Buffers: 114056 kB Cached: 433216 kB SwapCached: 0 kB Active: 289744 kB Inactive: 328976 kB Active(anon): 72276 kB Inactive(anon): 8532 kB Active(file): 217468 kB Inactive(file): 320444 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2240 kB Writeback: 0 kB AnonPages: 71916 kB Mapped: 32132 kB Shmem: 8868 kB Slab: 112180 kB SReclaimable: 87556 kB SUnreclaim: 24624 kB KernelStack: 3328 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317488 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 62028 MiB End job on node127 at 2017-08-06 16:21:24