Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.12 | SAT (TO) | 1466 | 2400.1101 | 2400.01 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml |
MD5SUM | e65d1522f1056f49054155eb060914b2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1466 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4829 |
Number of constraints | 2482 |
Number of domains | 137 |
Minimum domain size | 2 |
Maximum domain size | 137 |
Distribution of domain sizes | [{"size":2,"count":2416},{"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":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 68 |
Distribution of variable degrees | [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 69 |
Distribution of constraint arities | [{"arity":2,"count":69},{"arity":3,"count":2347},{"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":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2414 |
Distribution of constraint types | [{"type":"intension","count":2414},{"type":"sum","count":68}] |
Optimization problem | YES |
Type of objective | min SUM |
2.69/2.76 c best=?? lower=-107134 upper=0 2.79/2.89 c 2.79/2.89 c This is cosoco 1.12 -- 2.79/2.89 c 2.79/2.89 c command line: cosoco -lc -model -restarts HOME/instance-4267090-1502607904.xml 2.79/2.89 c enable optimization 2.79/2.89 c ========================================[ Problem Statistics ]=========================================== 2.79/2.89 c | 2.79/2.89 c | Parse time : 2.73 s 2.79/2.89 c | 2.79/2.89 c | Variables: 4829 2.79/2.89 c | Domain Sizes: 2..137 2.79/2.89 c | 2.79/2.89 c | Constraints: 2483 2.79/2.89 c | Arity: 2..69 -- Binary: 69 -- Ternary: 2347 2.79/2.89 c | 2.79/2.89 c | Types: 2.79/2.89 c | Intension: 2414 2.79/2.89 c | Sum: 69 2.79/2.89 c | 2.79/2.89 c ========================================================================================================= 2.79/2.89 o -15542 2.79/2.89 c 1 calls to solver: best=-15542 lower=-15541 upper=0 2.99/3.01 o -6174 3.09/3.13 o -5986 3.09/3.13 c 3 calls to solver: best=-5986 lower=-5985 upper=0 3.19/3.25 o -2466 45.58/45.67 o -2374 45.58/45.67 c 5 calls to solver: best=-2374 lower=-2373 upper=0 64.08/64.17 o -2318 82.66/82.71 o -2230 82.66/82.71 c 7 calls to solver: best=-2230 lower=-2229 upper=0 84.66/84.71 o -2210 130.96/131.10 o -2090 130.96/131.10 c 9 calls to solver: best=-2090 lower=-2089 upper=0 686.09/686.13 o -2086 690.58/690.61 o -2034 690.58/690.61 c 11 calls to solver: best=-2034 lower=-2033 upper=0 697.78/697.84 o -2030 706.88/706.99 o -1922 706.88/706.99 c 13 calls to solver: best=-1922 lower=-1921 upper=0 743.99/744.02 o -1822 923.90/923.91 o -1722 923.90/923.91 c 15 calls to solver: best=-1722 lower=-1721 upper=0 1151.72/1151.79 o -1650 1183.62/1183.64 o -1622 1183.62/1183.64 c 17 calls to solver: best=-1622 lower=-1621 upper=0 1265.63/1265.64 o -1598 1282.63/1282.68 o -1502 1282.63/1282.68 c 19 calls to solver: best=-1502 lower=-1501 upper=0 1477.54/1477.58 o -1466 2400.10/2400.01 2400.10/2400.01 c *** INTERRUPTED *** 2400.10/2400.01 c restarts : 73 2400.10/2400.01 c conflicts : 1112585 (464 /sec) 2400.10/2400.01 c decisions : 14972909 (6239 /sec) 2400.10/2400.01 c propagations : 1520252900 (633429 /sec) 2400.10/2400.01 c root propagations : 11934 2400.10/2400.01 c filter calls : 1391557889 (579806 /sec) 2400.10/2400.01 c useless filter calls : 626531545 (45 %) 2400.10/2400.01 c Memory used : 153.79 MB 2400.10/2400.01 c CPU time : 2400.04 s 2400.10/2400.01 2400.10/2400.01 c nb Solutions = 20 2400.10/2400.01 s SATISFIABLE 2400.10/2400.01 c Best value found: -1466 2400.10/2400.01 2400.10/2400.01 2400.10/2400.01 v <instantiation type='solution' cost='-1466'> 2400.10/2400.01 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[6] 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[6] 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[6] x[7] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] 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][6] y[67][7] y[67][8] y[67][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][6] y[6][7] y[6][8] y[6][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][6] 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][6] 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][6] y[9][7] y[9][8] y[9][9] </list> 2400.10/2400.01 v <values>4 0 3 -2 5 2 -25 2 5 -4 -3 -5 0 1 -8 3 0 -5 0 -1 -10 3 4 4 5 -4 -3 0 9 0 -3 2 -5 1 -2 5 -2 -3 6 1 0 1 -4 1 -2 0 -5 -2 -1 -4 3 2 1 -2 3 -1 0 3 -2 -1 0 1 -2 1 -6 -3 2 7 16 0 9 4 25 4 625 4 25 16 9 25 0 1 64 9 0 25 0 1 100 9 16 16 25 16 9 0 81 0 9 4 25 1 4 25 4 9 36 1 0 1 16 1 4 0 25 4 1 16 9 4 1 4 9 1 0 9 4 1 0 1 4 1 36 9 4 49 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 * * -1 * * * * * * * * 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 * * * 1 * * * * * * * * 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 * * * * 1 * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 * * * * * 1 * * * * * * * * 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 * * * * * * 1 * * * * * * * * -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 * * * * * * * -1 * * * * * * * * -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * -1 * * * * * * * * 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 * * * * * * * * * 1 * * * * * * * * -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 * -1 * * * * * * * * * * -1 * * * * * * * * -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 * 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 * * 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 * * * 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 * * * * -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * -1 1 -1 -1 -1 -1 1 -1 -1 1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * -1 1 -1 1 1 -1 -1 -1 1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * -1 1 1 -1 -1 1 -1 1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * -1 -1 -1 -1 -1 1 1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * 1 1 -1 1 -1 -1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * -1 1 1 1 -1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * -1 -1 1 -1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * 1 -1 -1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * 1 1 1 * 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 * * * * * -1 1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * -1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 * * * * * * -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 * * * * * * * -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 * * * * * * * * 1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 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.10/2400.01 v </instantiation> 2400.10/2400.01
OK 1466
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15380 MiB free) memory of node 1: 16384 MiB (15693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267090-1502607904/watcher-4267090-1502607904 -o /tmp/evaluation-result-4267090-1502607904/solver-4267090-1502607904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502602207-1366 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267090-1502607904.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2583, runsolver pid=2580 [startup+0.100201 s]* /proc/loadavg: 2.08 2.07 2.06 3/188 2584 /proc/meminfo: memFree=31814128/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=32176 memory=8608 CPUtime=0.1 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 2349 0 0 0 10 0 0 0 20 0 1 0 93878249 32948224 2152 33554432000 4194304 5748600 140737356506704 140737356503352 140240205150112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 8044 2152 775 380 0 1462 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 32176 KiB Current children cumulated memory: 8608 KiB [startup+0.209672 s]* /proc/loadavg: 2.08 2.07 2.06 3/188 2584 /proc/meminfo: memFree=31810160/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=36024 memory=12484 CPUtime=0.2 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 3316 0 0 0 20 0 0 0 20 0 1 0 93878249 36888576 3121 33554432000 4194304 5748600 140737356506704 140737356500168 140240205102053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 9006 3121 775 380 0 2424 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 36024 KiB Current children cumulated memory: 12484 KiB [startup+0.309436 s]* /proc/loadavg: 2.07 2.07 2.05 3/188 2584 /proc/meminfo: memFree=31806284/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=39476 memory=15916 CPUtime=0.3 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 4194 0 0 0 30 0 0 0 20 0 1 0 93878249 40423424 3979 33554432000 4194304 5748600 140737356506704 140737356500168 140240205102053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 9869 3979 775 380 0 3287 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 39476 KiB Current children cumulated memory: 15916 KiB [startup+0.700357 s] /proc/loadavg: 2.07 2.07 2.05 3/188 2584 /proc/meminfo: memFree=31799216/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=53144 memory=29644 CPUtime=0.69 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 7587 0 0 0 68 1 0 0 20 0 1 0 93878249 54419456 7411 33554432000 4194304 5748600 140737356506704 140737356500168 5095968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 13286 7411 775 380 0 6704 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 53144 KiB Current children cumulated memory: 29644 KiB [startup+1.50036 s] /proc/loadavg: 2.07 2.07 2.05 3/188 2584 /proc/meminfo: memFree=31781732/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=81412 memory=57980 CPUtime=1.48 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 14676 0 0 0 147 1 0 0 20 0 1 0 93878249 83365888 14495 33554432000 4194304 5748600 140737356506704 140737356500168 5095984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 20353 14495 775 380 0 13771 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 81412 KiB Current children cumulated memory: 57980 KiB [startup+3.10963 s] /proc/loadavg: 2.07 2.07 2.05 3/188 2584 /proc/meminfo: memFree=31698528/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=147064 memory=123732 CPUtime=3.09 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 33512 0 0 0 306 3 0 0 20 0 1 0 93878249 150593536 30933 33554432000 4194304 5748600 140737356506704 140737356500168 5144128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 36766 30933 825 380 0 30184 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 147064 KiB Current children cumulated memory: 123732 KiB [startup+6.30036 s] /proc/loadavg: 2.06 2.06 2.05 3/188 2584 /proc/meminfo: memFree=31694080/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=151100 memory=128000 CPUtime=6.29 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 40043 0 0 0 625 4 0 0 20 0 1 0 93878249 154726400 32000 33554432000 4194304 5748600 140737356506704 140737356504232 4906254 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 37775 32000 826 380 0 31193 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 151100 KiB Current children cumulated memory: 128000 KiB [startup+12.7004 s] /proc/loadavg: 2.06 2.06 2.05 3/188 2584 /proc/meminfo: memFree=31694080/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=151100 memory=128000 CPUtime=12.69 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 45262 0 0 0 1265 4 0 0 20 0 1 0 93878249 154726400 32000 33554432000 4194304 5748600 140737356506704 140737356504232 4909632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 37775 32000 826 380 0 31193 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 151100 KiB Current children cumulated memory: 128000 KiB [startup+25.5004 s] /proc/loadavg: 2.05 2.06 2.05 3/188 2584 /proc/meminfo: memFree=31694204/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=151100 memory=128000 CPUtime=25.49 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 55524 0 0 0 2544 5 0 0 20 0 1 0 93878249 154726400 32000 33554432000 4194304 5748600 140737356506704 140737356504232 5122384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 37775 32000 826 380 0 31193 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 151100 KiB Current children cumulated memory: 128000 KiB [startup+51.1096 s] /proc/loadavg: 2.16 2.09 2.06 3/188 2645 /proc/meminfo: memFree=31637712/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=154212 memory=131012 CPUtime=51.08 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 63514 0 0 0 5103 5 0 0 20 0 1 0 93878249 157913088 32753 33554432000 4194304 5748600 140737356506704 140737356493976 5144157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 38553 32753 826 380 0 31971 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 154212 KiB Current children cumulated memory: 131012 KiB [startup+102.3 s] /proc/loadavg: 2.07 2.07 2.06 3/188 2646 /proc/meminfo: memFree=31635372/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156376 memory=133232 CPUtime=102.25 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 70698 0 0 0 10219 6 0 0 20 0 1 0 93878249 160129024 33308 33554432000 4194304 5748600 140737356506704 140737356504232 4940631 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39094 33308 826 380 0 32512 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 156376 KiB Current children cumulated memory: 133232 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.06 2.05 3/188 2647 /proc/meminfo: memFree=31635088/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156648 memory=133388 CPUtime=162.25 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 71290 0 0 0 16219 6 0 0 20 0 1 0 93878249 160407552 33347 33554432000 4194304 5748600 140737356506704 140737356493976 4940896 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39162 33347 826 380 0 32580 0 Current children cumulated CPU time: 162.25 s Current children cumulated vsize: 156648 KiB Current children cumulated memory: 133388 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.05 2.05 3/188 2648 /proc/meminfo: memFree=31635840/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156648 memory=133472 CPUtime=222.26 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 71736 0 0 0 22220 6 0 0 20 0 1 0 93878249 160407552 33368 33554432000 4194304 5748600 140737356506704 140737356493976 5025642 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39162 33368 826 380 0 32580 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 156648 KiB Current children cumulated memory: 133472 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 2650 /proc/meminfo: memFree=31635592/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156648 memory=133472 CPUtime=282.26 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 71743 0 0 0 28220 6 0 0 20 0 1 0 93878249 160407552 33368 33554432000 4194304 5748600 140737356506704 140737356493976 4906943 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39162 33368 826 380 0 32580 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 156648 KiB Current children cumulated memory: 133472 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 2651 /proc/meminfo: memFree=31635844/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156648 memory=133472 CPUtime=342.26 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 72188 0 0 0 34220 6 0 0 20 0 1 0 93878249 160407552 33368 33554432000 4194304 5748600 140737356506704 140737356493976 5144157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39162 33368 826 380 0 32580 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 156648 KiB Current children cumulated memory: 133472 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 2652 /proc/meminfo: memFree=31635812/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156648 memory=133472 CPUtime=402.26 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 72189 0 0 0 40220 6 0 0 20 0 1 0 93878249 160407552 33368 33554432000 4194304 5748600 140737356506704 140737356493976 4972000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39162 33368 826 380 0 32580 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 156648 KiB Current children cumulated memory: 133472 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 2654 /proc/meminfo: memFree=31635408/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=156648 memory=133472 CPUtime=462.27 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 72649 0 0 0 46221 6 0 0 20 0 1 0 93878249 160407552 33368 33554432000 4194304 5748600 140737356506704 140737356493976 5144157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39162 33368 826 380 0 32580 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 156648 KiB Current children cumulated memory: 133472 KiB ################ # More data... # ################ /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1602.35 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2711 /proc/meminfo: memFree=31633456/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=1662.35 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 78272 0 0 0 166228 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5122362 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1662.35 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2712 /proc/meminfo: memFree=31633692/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=1722.35 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 78272 0 0 0 172228 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5025680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1722.35 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 2721 /proc/meminfo: memFree=31633488/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=1782.36 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 78618 0 0 0 178229 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5000378 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1782.36 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 2722 /proc/meminfo: memFree=31633788/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=1842.36 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 78618 0 0 0 184229 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5144157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1842.36 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+1902.3 s] /proc/loadavg: 2.08 2.03 2.05 3/188 2723 /proc/meminfo: memFree=31633520/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=1902.36 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 78965 0 0 0 190229 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 4873945 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1902.36 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+1962.3 s] /proc/loadavg: 2.09 2.04 2.05 3/188 2724 /proc/meminfo: memFree=31633356/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=1962.37 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 78965 0 0 0 196230 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 4940645 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 1962.37 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2022.3 s] /proc/loadavg: 2.03 2.04 2.05 3/188 2725 /proc/meminfo: memFree=31633448/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2022.37 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 79312 0 0 0 202230 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5025861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2022.37 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 2727 /proc/meminfo: memFree=31633396/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2082.37 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 79312 0 0 0 208230 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 4940622 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2082.37 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2142.3 s] /proc/loadavg: 2.08 2.04 2.05 3/187 2728 /proc/meminfo: memFree=31633300/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2142.38 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 79659 0 0 0 214231 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5025701 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2142.38 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2202.3 s] /proc/loadavg: 2.03 2.03 2.05 3/187 2729 /proc/meminfo: memFree=31633208/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2202.38 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 79659 0 0 0 220231 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5144143 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2202.38 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 2731 /proc/meminfo: memFree=31632776/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2262.39 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 80005 0 0 0 226232 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 5025697 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2262.39 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 2732 /proc/meminfo: memFree=31632488/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2322.39 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 80005 0 0 0 232232 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 4954365 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2322.39 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 2741 /proc/meminfo: memFree=31631624/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2382.39 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 80351 0 0 0 238232 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 4909709 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2382.39 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.08 2.03 2.05 3/188 2741 /proc/meminfo: memFree=31631736/32770624 swapFree=67108860/67108860 [pid=2583] ppid=2580 vsize=157472 memory=134316 CPUtime=2400.1 cores=0,2,4,6 /proc/2583/stat : 2583 (cosoco) R 2580 2583 1335 0 -1 4202496 80351 0 0 0 240003 7 0 0 20 0 1 0 93878249 161251328 33579 33554432000 4194304 5748600 140737356506704 140737356504232 4949752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 40169472 140737356514495 140737356514590 140737356514590 140737356517326 0 /proc/2583/statm: 39368 33579 826 380 0 32786 0 Current children cumulated CPU time: 2400.1 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 134316 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 2583 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.04 s, system=0.074004 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.01 CPU time (s): 2400.11 CPU user time (s): 2400.04 CPU system time (s): 0.074004 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 157472 Max. memory (cumulated for all children) (KiB): 134316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.04 system time used= 0.074004 maximum resident set size= 134384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80402 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= 71 involuntary context switches= 636 # summary of solver processes directly reported to runsolver: # pid: 2583 # total CPU time (s): 2400.11 # total CPU user time (s): 2400.04 # total CPU system time (s): 0.074004 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.7862 second user time and 13.8273 second system time The end
Begin job on node112 at 2017-08-13 08:50:46 IDJOB=4267090 IDBENCH=127023 IDSOLVER=2657 FILE ID=node112/4267090-1502607904 RUNJOBID= node112-1502602207-1366 PBS_JOBID= 20628299 Free space on /tmp= 61788 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267090-1502607904/watcher-4267090-1502607904 -o /tmp/evaluation-result-4267090-1502607904/solver-4267090-1502607904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502602207-1366 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267090-1502607904.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=858923928 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31819196 kB MemAvailable: 31985128 kB Buffers: 107676 kB Cached: 338932 kB SwapCached: 0 kB Active: 378396 kB Inactive: 121972 kB Active(anon): 4868 kB Inactive(anon): 76720 kB Active(file): 373528 kB Inactive(file): 45252 kB Unevictable: 6280 kB Mlocked: 6280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2360 kB Writeback: 0 kB AnonPages: 59492 kB Mapped: 44676 kB Shmem: 25224 kB Slab: 151340 kB SReclaimable: 125972 kB SUnreclaim: 25368 kB KernelStack: 3360 kB PageTables: 5092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 351888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61784 MiB End job on node112 at 2017-08-13 09:30:46