Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4j-CSP 2017-07-05 | SAT (TO) | 1632 | 254.73 | 240.23801 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml |
MD5SUM | 30f67468f9f3ef5a617cbd1472c869c8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1032 |
Best CPU time to get the best result obtained on this benchmark | 251.895 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6641 |
Number of constraints | 3400 |
Number of domains | 161 |
Minimum domain size | 2 |
Maximum domain size | 161 |
Distribution of domain sizes | [{"size":2,"count":3322},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 80 |
Distribution of variable degrees | [{"degree":0,"count":3160},{"degree":2,"count":3400},{"degree":80,"count":81}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 81 |
Distribution of constraint arities | [{"arity":2,"count":81},{"arity":3,"count":3241},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3320 |
Distribution of constraint types | [{"type":"intension","count":3320},{"type":"sum","count":80}] |
Optimization problem | YES |
Type of objective | min SUM |
17.78/6.39 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 17.78/6.39 c This is free software under the dual EPL/GNU LGPL licenses. 17.78/6.39 c See www.sat4j.org for details. 17.78/6.39 c That software uses the Rhino library from the Mozilla project. 17.78/6.39 c version CUSTOM.v20170705 17.78/6.39 c java.runtime.name Java(TM) SE Runtime Environment 17.78/6.39 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 17.78/6.39 c java.vm.version 25.131-b11 17.78/6.39 c java.vm.vendor Oracle Corporation 17.78/6.39 c sun.arch.data.model 64 17.78/6.39 c java.version 1.8.0_131 17.78/6.39 c os.name Linux 17.78/6.39 c os.version 3.10.0-514.16.1.el7.x86_64 17.78/6.39 c os.arch amd64 17.78/6.39 c Free memory 499604488 17.78/6.39 c Max memory 7247757312 17.78/6.39 c Total memory 504889344 17.78/6.39 c Number of processors 4 17.78/6.39 c c --- Begin Solver configuration --- 17.78/6.39 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 17.78/6.39 c Learn all clauses as in MiniSAT 17.78/6.39 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 17.78/6.39 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 17.78/6.39 c No reason simplification 17.78/6.39 c Glucose 2.1 dynamic restart strategy 17.78/6.39 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 17.78/6.39 c timeout=2147483s 17.78/6.39 c DB Simplification allowed=false 17.78/6.39 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 17.78/6.39 c --- End Solver configuration --- 17.78/6.39 c constraints type 17.78/6.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 6962 17.78/6.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6560 17.78/6.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7924602 17.78/6.39 c org.sat4j.minisat.constraints.cnf.UnitClause => 6800 17.78/6.39 c 7944924 constraints processed. 19.67/7.56 o 2464 23.22/10.60 o 2396 34.97/21.67 o 2032 44.30/30.73 o 2000 76.52/62.99 o 1932 106.24/92.64 o 1648 226.93/212.32 o 1632 254.68/240.20 c starts : 230 254.68/240.20 c conflicts : 182704 254.68/240.20 c decisions : 611839 254.68/240.20 c propagations : 939777596 254.68/240.20 c inspects : 1632330131 254.68/240.20 c shortcuts : 0 254.68/240.20 c learnt literals : 7 254.68/240.20 c learnt binary clauses : 807 254.68/240.20 c learnt ternary clauses : 6288 254.68/240.20 c learnt constraints : 182697 254.68/240.20 c ignored constraints : 0 254.68/240.20 c root simplifications : 0 254.68/240.20 c removed literals (reason simplification) : 0 254.68/240.20 c reason swapping (by a shorter reason) : 0 254.68/240.20 c Calls to reduceDB : 23 254.68/240.20 c Number of update (reduction) of LBD : 66142 254.68/240.20 c Imported unit clauses : 0 254.68/240.20 c number of reductions to clauses (during analyze) : 0 254.68/240.20 c number of learned constraints concerned by reduction : 0 254.68/240.20 c number of learning phase by resolution : 0 254.68/240.20 c number of learning phase by cutting planes : 0 254.68/240.20 c number of rounding to 1 operations : 0 254.68/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 254.68/240.20 c number of reductions of the coefficients by power 2 : 0 254.68/240.20 c number of right shift for reduction by power 2 : 0 254.68/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 254.68/240.20 c speed (assignments/second) : 4020129.341911639 254.68/240.20 c non guided choices 74057 254.68/240.20 c learnt constraints type 254.68/240.20 s SATISFIABLE 254.68/240.21 v <instantiation type="solution"> 254.68/240.21 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] 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][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][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][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][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][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] 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][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][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][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][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][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] 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][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][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][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][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][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] 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][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][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][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][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][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] 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][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][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][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][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][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] 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][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][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][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][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][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] 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][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][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][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][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][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] 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][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][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][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][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][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] 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][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][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][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][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][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] 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][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][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][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][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][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] 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][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][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][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][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][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] 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][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][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][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][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][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] 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][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][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][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][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][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] 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][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][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][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][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][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] 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][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][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][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][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][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] 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][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][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][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][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][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] 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][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][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][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][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][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[16][79] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] 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][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][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][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][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][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[17][78] y[17][79] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] 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][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][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][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][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][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[18][77] y[18][78] y[18][79] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] 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][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][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][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][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][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[19][76] y[19][77] y[19][78] y[19][79] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] 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][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][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][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][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][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[20][75] y[20][76] y[20][77] y[20][78] y[20][79] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] 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][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][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][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][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][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[21][74] y[21][75] y[21][76] y[21][77] y[21][78] y[21][79] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] 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][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][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][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][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][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[22][73] y[22][74] y[22][75] y[22][76] y[22][77] y[22][78] y[22][79] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] 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][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][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][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][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][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[23][72] y[23][73] y[23][74] y[23][75] y[23][76] y[23][77] y[23][78] y[23][79] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] 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][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][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][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][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][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[24][71] y[24][72] y[24][73] y[24][74] y[24][75] y[24][76] y[24][77] y[24][78] y[24][79] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] 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][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][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][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][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][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[25][70] y[25][71] y[25][72] y[25][73] y[25][74] y[25][75] y[25][76] y[25][77] y[25][78] y[25][79] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] 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][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][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][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][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][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[26][69] y[26][70] y[26][71] y[26][72] y[26][73] y[26][74] y[26][75] y[26][76] y[26][77] y[26][78] y[26][79] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] 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][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][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][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][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][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[27][68] y[27][69] y[27][70] y[27][71] y[27][72] y[27][73] y[27][74] y[27][75] y[27][76] y[27][77] y[27][78] y[27][79] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] 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][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][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][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][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][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[28][67] y[28][68] y[28][69] y[28][70] y[28][71] y[28][72] y[28][73] y[28][74] y[28][75] y[28][76] y[28][77] y[28][78] y[28][79] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] 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][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][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][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][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][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][66] y[29][67] y[29][68] y[29][69] y[29][70] y[29][71] y[29][72] y[29][73] y[29][74] y[29][75] y[29][76] y[29][77] y[29][78] y[29][79] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] 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][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][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][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][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][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][66] y[30][67] y[30][68] y[30][69] y[30][70] y[30][71] y[30][72] y[30][73] y[30][74] y[30][75] y[30][76] y[30][77] y[30][78] y[30][79] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] 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][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][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][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][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][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][66] y[31][67] y[31][68] y[31][69] y[31][70] y[31][71] y[31][72] y[31][73] y[31][74] y[31][75] y[31][76] y[31][77] y[31][78] y[31][79] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] 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][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][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][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][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][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][66] y[32][67] y[32][68] y[32][69] y[32][70] y[32][71] y[32][72] y[32][73] y[32][74] y[32][75] y[32][76] y[32][77] y[32][78] y[32][79] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] 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][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][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][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][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][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][66] y[33][67] y[33][68] y[33][69] y[33][70] y[33][71] y[33][72] y[33][73] y[33][74] y[33][75] y[33][76] y[33][77] y[33][78] y[33][79] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] 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][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][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][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][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][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][66] y[34][67] y[34][68] y[34][69] y[34][70] y[34][71] y[34][72] y[34][73] y[34][74] y[34][75] y[34][76] y[34][77] y[34][78] y[34][79] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] 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][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][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][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][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][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][66] y[35][67] y[35][68] y[35][69] y[35][70] y[35][71] y[35][72] y[35][73] y[35][74] y[35][75] y[35][76] y[35][77] y[35][78] y[35][79] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] 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][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][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][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][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][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][66] y[36][67] y[36][68] y[36][69] y[36][70] y[36][71] y[36][72] y[36][73] y[36][74] y[36][75] y[36][76] y[36][77] y[36][78] y[36][79] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] 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][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][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][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][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][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][66] y[37][67] y[37][68] y[37][69] y[37][70] y[37][71] y[37][72] y[37][73] y[37][74] y[37][75] y[37][76] y[37][77] y[37][78] y[37][79] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] 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][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][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][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][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][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][66] y[38][67] y[38][68] y[38][69] y[38][70] y[38][71] y[38][72] y[38][73] y[38][74] y[38][75] y[38][76] y[38][77] y[38][78] y[38][79] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] 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][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][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][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][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][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][66] y[39][67] y[39][68] y[39][69] y[39][70] y[39][71] y[39][72] y[39][73] y[39][74] y[39][75] y[39][76] y[39][77] y[39][78] y[39][79] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] 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][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][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][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][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][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][66] y[40][67] y[40][68] y[40][69] y[40][70] y[40][71] y[40][72] y[40][73] y[40][74] y[40][75] y[40][76] y[40][77] y[40][78] y[40][79] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] 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][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][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][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][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][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][66] y[41][67] y[41][68] y[41][69] y[41][70] y[41][71] y[41][72] y[41][73] y[41][74] y[41][75] y[41][76] y[41][77] y[41][78] y[41][79] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] 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][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][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][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][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][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][66] y[42][67] y[42][68] y[42][69] y[42][70] y[42][71] y[42][72] y[42][73] y[42][74] y[42][75] y[42][76] y[42][77] y[42][78] y[42][79] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] 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][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][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][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][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][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][66] y[43][67] y[43][68] y[43][69] y[43][70] y[43][71] y[43][72] y[43][73] y[43][74] y[43][75] y[43][76] y[43][77] y[43][78] y[43][79] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] 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][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][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][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][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][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][66] y[44][67] y[44][68] y[44][69] y[44][70] y[44][71] y[44][72] y[44][73] y[44][74] y[44][75] y[44][76] y[44][77] y[44][78] y[44][79] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] 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][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][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][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][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][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][66] y[45][67] y[45][68] y[45][69] y[45][70] y[45][71] y[45][72] y[45][73] y[45][74] y[45][75] y[45][76] y[45][77] y[45][78] y[45][79] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] 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][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][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][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][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][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][66] y[46][67] y[46][68] y[46][69] y[46][70] y[46][71] y[46][72] y[46][73] y[46][74] y[46][75] y[46][76] y[46][77] y[46][78] y[46][79] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] 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][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][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][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][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][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][66] y[47][67] y[47][68] y[47][69] y[47][70] y[47][71] y[47][72] y[47][73] y[47][74] y[47][75] y[47][76] y[47][77] y[47][78] y[47][79] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] 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][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][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][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][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][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][66] y[48][67] y[48][68] y[48][69] y[48][70] y[48][71] y[48][72] y[48][73] y[48][74] y[48][75] y[48][76] y[48][77] y[48][78] y[48][79] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] 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][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][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][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][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][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][66] y[49][67] y[49][68] y[49][69] y[49][70] y[49][71] y[49][72] y[49][73] y[49][74] y[49][75] y[49][76] y[49][77] y[49][78] y[49][79] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] 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][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][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][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][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][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][66] y[50][67] y[50][68] y[50][69] y[50][70] y[50][71] y[50][72] y[50][73] y[50][74] y[50][75] y[50][76] y[50][77] y[50][78] y[50][79] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] 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][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][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][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][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][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][66] y[51][67] y[51][68] y[51][69] y[51][70] y[51][71] y[51][72] y[51][73] y[51][74] y[51][75] y[51][76] y[51][77] y[51][78] y[51][79] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] 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][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][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][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][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][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][66] y[52][67] y[52][68] y[52][69] y[52][70] y[52][71] y[52][72] y[52][73] y[52][74] y[52][75] y[52][76] y[52][77] y[52][78] y[52][79] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] 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][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][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][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][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][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][66] y[53][67] y[53][68] y[53][69] y[53][70] y[53][71] y[53][72] y[53][73] y[53][74] y[53][75] y[53][76] y[53][77] y[53][78] y[53][79] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] 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][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][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][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][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][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][66] y[54][67] y[54][68] y[54][69] y[54][70] y[54][71] y[54][72] y[54][73] y[54][74] y[54][75] y[54][76] y[54][77] y[54][78] y[54][79] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] 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][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][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][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][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][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][66] y[55][67] y[55][68] y[55][69] y[55][70] y[55][71] y[55][72] y[55][73] y[55][74] y[55][75] y[55][76] y[55][77] y[55][78] y[55][79] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] 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][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][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][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][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][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][66] y[56][67] y[56][68] y[56][69] y[56][70] y[56][71] y[56][72] y[56][73] y[56][74] y[56][75] y[56][76] y[56][77] y[56][78] y[56][79] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] 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][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][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][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][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][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][66] y[57][67] y[57][68] y[57][69] y[57][70] y[57][71] y[57][72] y[57][73] y[57][74] y[57][75] y[57][76] y[57][77] y[57][78] y[57][79] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] 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][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][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][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][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][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][66] y[58][67] y[58][68] y[58][69] y[58][70] y[58][71] y[58][72] y[58][73] y[58][74] y[58][75] y[58][76] y[58][77] y[58][78] y[58][79] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] 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][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][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][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][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][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][66] y[59][67] y[59][68] y[59][69] y[59][70] y[59][71] y[59][72] y[59][73] y[59][74] y[59][75] y[59][76] y[59][77] y[59][78] y[59][79] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] 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][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][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][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][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][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][66] y[60][67] y[60][68] y[60][69] y[60][70] y[60][71] y[60][72] y[60][73] y[60][74] y[60][75] y[60][76] y[60][77] y[60][78] y[60][79] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] 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][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][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][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][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][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][66] y[61][67] y[61][68] y[61][69] y[61][70] y[61][71] y[61][72] y[61][73] y[61][74] y[61][75] y[61][76] y[61][77] y[61][78] y[61][79] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] 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][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][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][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][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][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][66] y[62][67] y[62][68] y[62][69] y[62][70] y[62][71] y[62][72] y[62][73] y[62][74] y[62][75] y[62][76] y[62][77] y[62][78] y[62][79] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] 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][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][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][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][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][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][66] y[63][67] y[63][68] y[63][69] y[63][70] y[63][71] y[63][72] y[63][73] y[63][74] y[63][75] y[63][76] y[63][77] y[63][78] y[63][79] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] 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][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][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][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][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][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][66] y[64][67] y[64][68] y[64][69] y[64][70] y[64][71] y[64][72] y[64][73] y[64][74] y[64][75] y[64][76] y[64][77] y[64][78] y[64][79] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] 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][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][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][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][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][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][66] y[65][67] y[65][68] y[65][69] y[65][70] y[65][71] y[65][72] y[65][73] y[65][74] y[65][75] y[65][76] y[65][77] y[65][78] y[65][79] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] 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][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][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][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][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][60] y[66][61] y[66][62] y[66][63] y[66][64] y[66][65] y[66][66] y[66][67] y[66][68] y[66][69] y[66][70] y[66][71] y[66][72] y[66][73] y[66][74] y[66][75] y[66][76] y[66][77] y[66][78] y[66][79] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] 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][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][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][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][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][60] y[67][61] y[67][62] y[67][63] y[67][64] y[67][65] y[67][66] y[67][67] y[67][68] y[67][69] y[67][70] y[67][71] y[67][72] y[67][73] y[67][74] y[67][75] y[67][76] y[67][77] y[67][78] y[67][79] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[68][27] y[68][28] y[68][29] y[68][30] y[68][31] y[68][32] y[68][33] y[68][34] y[68][35] y[68][36] y[68][37] y[68][38] y[68][39] y[68][40] y[68][41] y[68][42] y[68][43] y[68][44] y[68][45] y[68][46] y[68][47] y[68][48] y[68][49] y[68][50] y[68][51] y[68][52] y[68][53] y[68][54] y[68][55] y[68][56] y[68][57] y[68][58] y[68][59] y[68][60] y[68][61] y[68][62] y[68][63] y[68][64] y[68][65] y[68][66] y[68][67] y[68][68] y[68][69] y[68][70] y[68][71] y[68][72] y[68][73] y[68][74] y[68][75] y[68][76] y[68][77] y[68][78] y[68][79] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[69][26] y[69][27] y[69][28] y[69][29] y[69][30] y[69][31] y[69][32] y[69][33] y[69][34] y[69][35] y[69][36] y[69][37] y[69][38] y[69][39] y[69][40] y[69][41] y[69][42] y[69][43] y[69][44] y[69][45] y[69][46] y[69][47] y[69][48] y[69][49] y[69][50] y[69][51] y[69][52] y[69][53] y[69][54] y[69][55] y[69][56] y[69][57] y[69][58] y[69][59] y[69][60] y[69][61] y[69][62] y[69][63] y[69][64] y[69][65] y[69][66] y[69][67] y[69][68] y[69][69] y[69][70] y[69][71] y[69][72] y[69][73] y[69][74] y[69][75] y[69][76] y[69][77] y[69][78] y[69][79] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[70][25] y[70][26] y[70][27] y[70][28] y[70][29] y[70][30] y[70][31] y[70][32] y[70][33] y[70][34] y[70][35] y[70][36] y[70][37] y[70][38] y[70][39] y[70][40] y[70][41] y[70][42] y[70][43] y[70][44] y[70][45] y[70][46] y[70][47] y[70][48] y[70][49] y[70][50] y[70][51] y[70][52] y[70][53] y[70][54] y[70][55] y[70][56] y[70][57] y[70][58] y[70][59] y[70][60] y[70][61] y[70][62] y[70][63] y[70][64] y[70][65] y[70][66] y[70][67] y[70][68] y[70][69] y[70][70] y[70][71] y[70][72] y[70][73] y[70][74] y[70][75] y[70][76] y[70][77] y[70][78] y[70][79] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[71][24] y[71][25] y[71][26] y[71][27] y[71][28] y[71][29] y[71][30] y[71][31] y[71][32] y[71][33] y[71][34] y[71][35] y[71][36] y[71][37] y[71][38] y[71][39] y[71][40] y[71][41] y[71][42] y[71][43] y[71][44] y[71][45] y[71][46] y[71][47] y[71][48] y[71][49] y[71][50] y[71][51] y[71][52] y[71][53] y[71][54] y[71][55] y[71][56] y[71][57] y[71][58] y[71][59] y[71][60] y[71][61] y[71][62] y[71][63] y[71][64] y[71][65] y[71][66] y[71][67] y[71][68] y[71][69] y[71][70] y[71][71] y[71][72] y[71][73] y[71][74] y[71][75] y[71][76] y[71][77] y[71][78] y[71][79] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[72][23] y[72][24] y[72][25] y[72][26] y[72][27] y[72][28] y[72][29] y[72][30] y[72][31] y[72][32] y[72][33] y[72][34] y[72][35] y[72][36] y[72][37] y[72][38] y[72][39] y[72][40] y[72][41] y[72][42] y[72][43] y[72][44] y[72][45] y[72][46] y[72][47] y[72][48] y[72][49] y[72][50] y[72][51] y[72][52] y[72][53] y[72][54] y[72][55] y[72][56] y[72][57] y[72][58] y[72][59] y[72][60] y[72][61] y[72][62] y[72][63] y[72][64] y[72][65] y[72][66] y[72][67] y[72][68] y[72][69] y[72][70] y[72][71] y[72][72] y[72][73] y[72][74] y[72][75] y[72][76] y[72][77] y[72][78] y[72][79] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[73][22] y[73][23] y[73][24] y[73][25] y[73][26] y[73][27] y[73][28] y[73][29] y[73][30] y[73][31] y[73][32] y[73][33] y[73][34] y[73][35] y[73][36] y[73][37] y[73][38] y[73][39] y[73][40] y[73][41] y[73][42] y[73][43] y[73][44] y[73][45] y[73][46] y[73][47] y[73][48] y[73][49] y[73][50] y[73][51] y[73][52] y[73][53] y[73][54] y[73][55] y[73][56] y[73][57] y[73][58] y[73][59] y[73][60] y[73][61] y[73][62] y[73][63] y[73][64] y[73][65] y[73][66] y[73][67] y[73][68] y[73][69] y[73][70] y[73][71] y[73][72] y[73][73] y[73][74] y[73][75] y[73][76] y[73][77] y[73][78] y[73][79] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[74][21] y[74][22] y[74][23] y[74][24] y[74][25] y[74][26] y[74][27] y[74][28] y[74][29] y[74][30] y[74][31] y[74][32] y[74][33] y[74][34] y[74][35] y[74][36] y[74][37] y[74][38] y[74][39] y[74][40] y[74][41] y[74][42] y[74][43] y[74][44] y[74][45] y[74][46] y[74][47] y[74][48] y[74][49] y[74][50] y[74][51] y[74][52] y[74][53] y[74][54] y[74][55] y[74][56] y[74][57] y[74][58] y[74][59] y[74][60] y[74][61] y[74][62] y[74][63] y[74][64] y[74][65] y[74][66] y[74][67] y[74][68] y[74][69] y[74][70] y[74][71] y[74][72] y[74][73] y[74][74] y[74][75] y[74][76] y[74][77] y[74][78] y[74][79] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[75][20] y[75][21] y[75][22] y[75][23] y[75][24] y[75][25] y[75][26] y[75][27] y[75][28] y[75][29] y[75][30] y[75][31] y[75][32] y[75][33] y[75][34] y[75][35] y[75][36] y[75][37] y[75][38] y[75][39] y[75][40] y[75][41] y[75][42] y[75][43] y[75][44] y[75][45] y[75][46] y[75][47] y[75][48] y[75][49] y[75][50] y[75][51] y[75][52] y[75][53] y[75][54] y[75][55] y[75][56] y[75][57] y[75][58] y[75][59] y[75][60] y[75][61] y[75][62] y[75][63] y[75][64] y[75][65] y[75][66] y[75][67] y[75][68] y[75][69] y[75][70] y[75][71] y[75][72] y[75][73] y[75][74] y[75][75] y[75][76] y[75][77] y[75][78] y[75][79] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[76][19] y[76][20] y[76][21] y[76][22] y[76][23] y[76][24] y[76][25] y[76][26] y[76][27] y[76][28] y[76][29] y[76][30] y[76][31] y[76][32] y[76][33] y[76][34] y[76][35] y[76][36] y[76][37] y[76][38] y[76][39] y[76][40] y[76][41] y[76][42] y[76][43] y[76][44] y[76][45] y[76][46] y[76][47] y[76][48] y[76][49] y[76][50] y[76][51] y[76][52] y[76][53] y[76][54] y[76][55] y[76][56] y[76][57] y[76][58] y[76][59] y[76][60] y[76][61] y[76][62] y[76][63] y[76][64] y[76][65] y[76][66] y[76][67] y[76][68] y[76][69] y[76][70] y[76][71] y[76][72] y[76][73] y[76][74] y[76][75] y[76][76] y[76][77] y[76][78] y[76][79] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[77][18] y[77][19] y[77][20] y[77][21] y[77][22] y[77][23] y[77][24] y[77][25] y[77][26] y[77][27] y[77][28] y[77][29] y[77][30] y[77][31] y[77][32] y[77][33] y[77][34] y[77][35] y[77][36] y[77][37] y[77][38] y[77][39] y[77][40] y[77][41] y[77][42] y[77][43] y[77][44] y[77][45] y[77][46] y[77][47] y[77][48] y[77][49] y[77][50] y[77][51] y[77][52] y[77][53] y[77][54] y[77][55] y[77][56] y[77][57] y[77][58] y[77][59] y[77][60] y[77][61] y[77][62] y[77][63] y[77][64] y[77][65] y[77][66] y[77][67] y[77][68] y[77][69] y[77][70] y[77][71] y[77][72] y[77][73] y[77][74] y[77][75] y[77][76] y[77][77] y[77][78] y[77][79] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[78][17] y[78][18] y[78][19] y[78][20] y[78][21] y[78][22] y[78][23] y[78][24] y[78][25] y[78][26] y[78][27] y[78][28] y[78][29] y[78][30] y[78][31] y[78][32] y[78][33] y[78][34] y[78][35] y[78][36] y[78][37] y[78][38] y[78][39] y[78][40] y[78][41] y[78][42] y[78][43] y[78][44] y[78][45] y[78][46] y[78][47] y[78][48] y[78][49] y[78][50] y[78][51] y[78][52] y[78][53] y[78][54] y[78][55] y[78][56] y[78][57] y[78][58] y[78][59] y[78][60] y[78][61] y[78][62] y[78][63] y[78][64] y[78][65] y[78][66] y[78][67] y[78][68] y[78][69] y[78][70] y[78][71] y[78][72] y[78][73] y[78][74] y[78][75] y[78][76] y[78][77] y[78][78] y[78][79] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[79][16] y[79][17] y[79][18] y[79][19] y[79][20] y[79][21] y[79][22] y[79][23] y[79][24] y[79][25] y[79][26] y[79][27] y[79][28] y[79][29] y[79][30] y[79][31] y[79][32] y[79][33] y[79][34] y[79][35] y[79][36] y[79][37] y[79][38] y[79][39] y[79][40] y[79][41] y[79][42] y[79][43] y[79][44] y[79][45] y[79][46] y[79][47] y[79][48] y[79][49] y[79][50] y[79][51] y[79][52] y[79][53] y[79][54] y[79][55] y[79][56] y[79][57] y[79][58] y[79][59] y[79][60] y[79][61] y[79][62] y[79][63] y[79][64] y[79][65] y[79][66] y[79][67] y[79][68] y[79][69] y[79][70] y[79][71] y[79][72] y[79][73] y[79][74] y[79][75] y[79][76] y[79][77] y[79][78] y[79][79] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] </list> 254.68/240.21 v <values> -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -4 7 10 -7 -2 3 -2 5 6 1 6 -1 0 1 -6 7 2 3 -2 -13 4 -7 -8 11 4 -5 2 5 2 5 -2 -1 -2 1 8 1 8 3 6 7 -2 3 -2 1 4 9 -4 -1 2 -1 0 -1 12 3 2 -3 2 -3 4 -3 -2 3 2 -1 -2 -1 0 -3 2 3 0 -5 -4 -1 -2 -1 0 3 2 1 16 49 100 49 4 9 4 25 36 1 36 1 0 1 36 49 4 9 4 169 16 49 64 121 16 25 4 25 4 25 4 1 4 1 64 1 64 9 36 49 4 9 4 1 16 81 16 1 4 1 0 1 144 9 4 9 4 9 16 9 4 9 4 1 4 1 0 9 4 9 0 25 16 1 4 1 0 9 4 1 </values> 254.68/240.21 v </instantiation> 254.68/240.21
OK 1632
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258068-1501650509/watcher-4258068-1501650509 -o /tmp/evaluation-result-4258068-1501650509/solver-4258068-1501650509 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11704 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258068-1501650509.xml pid=25316 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.11 2.06 2.22 2/199 25319 /proc/meminfo: memFree=31596084/32770624 swapFree=0/261448 [pid=25319] ppid=25316 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/25319/stat : 25319 (runsolver) D 25316 25319 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 64704343 24240128 108 18446744073709551615 4194304 4338465 140729098272480 140729098270120 139976193315543 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 21057536 140729098281094 140729098281541 140729098281541 140729098285002 0 /proc/25319/statm: 5918 108 54 36 0 2156 0 [startup+0.100134 s] /proc/loadavg: 2.11 2.06 2.22 2/199 25319 /proc/meminfo: memFree=31596084/32770624 swapFree=0/261448 [pid=25319] ppid=25316 vsize=10151672 CPUtime=0.03 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 3775 0 0 0 2 1 0 0 20 0 9 0 64704343 10395312128 4943 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2537918 4943 2099 1 0 2527423 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10151672 [startup+0.200311 s] /proc/loadavg: 2.11 2.06 2.22 2/199 25319 /proc/meminfo: memFree=31596084/32770624 swapFree=0/261448 [pid=25319] ppid=25316 vsize=10551156 CPUtime=0.07 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 4681 0 0 0 6 1 0 0 20 0 15 0 64704343 10804383744 6689 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2637789 6689 2601 1 0 2627269 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10551156 [startup+0.300759 s] /proc/loadavg: 2.11 2.06 2.22 2/199 25319 /proc/meminfo: memFree=31596084/32770624 swapFree=0/261448 [pid=25319] ppid=25316 vsize=10551156 CPUtime=0.23 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 7952 0 0 0 20 3 0 0 20 0 15 0 64704343 10804383744 9197 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2637789 9197 2862 1 0 2627269 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 10551156 [startup+0.700444 s] /proc/loadavg: 2.11 2.06 2.22 2/199 25319 /proc/meminfo: memFree=31596084/32770624 swapFree=0/261448 [pid=25319] ppid=25316 vsize=10551232 CPUtime=1.55 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 12600 0 0 0 150 5 0 0 20 0 15 0 64704343 10804461568 33177 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2637808 33177 3058 1 0 2627269 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 10551232 [startup+1.50873 s] /proc/loadavg: 2.10 2.06 2.22 5/214 25334 /proc/meminfo: memFree=31401732/32770624 swapFree=0/261460 [pid=25319] ppid=25316 vsize=10551232 CPUtime=4.18 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 16922 0 0 0 397 21 0 0 20 0 15 0 64704343 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2637808 102730 3092 1 0 2627269 0 [pid=25319/tid=25321] ppid=25316 vsize=10551232 CPUtime=1.25 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) S 25316 25319 18930 0 -1 1077944384 7120 0 0 0 119 6 0 0 20 0 15 0 64704350 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527787945680 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10551232 CPUtime=0.09 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) R 25316 25319 18930 0 -1 4202560 56 0 0 0 6 3 0 0 20 0 15 0 64704350 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527714130392 140527768728160 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10551232 CPUtime=0.1 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) R 25316 25319 18930 0 -1 4202560 67 0 0 0 7 3 0 0 20 0 15 0 64704350 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527768738329 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10551232 CPUtime=0.09 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) R 25316 25319 18930 0 -1 4202560 62 0 0 0 6 3 0 0 20 0 15 0 64704350 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527768738320 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10551232 CPUtime=0.09 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) R 25316 25319 18930 0 -1 4202560 61 0 0 0 6 3 0 0 20 0 15 0 64704350 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527768738338 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527279207456 140527783720661 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64704355 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10551232 CPUtime=1.03 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 2809 0 0 0 103 0 0 0 20 0 15 0 64704355 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527274982736 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10551232 CPUtime=1.02 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) S 25316 25319 18930 0 -1 1077944384 3280 0 0 0 102 0 0 0 20 0 15 0 64704355 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527273930192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10551232 CPUtime=0.47 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 2025 0 0 0 46 1 0 0 20 0 15 0 64704355 10804461568 102730 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64704355 10804461568 103242 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64704361 10804461568 103242 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 4.18 Current children cumulated vsize (KiB) 10551232 [startup+3.10076 s] /proc/loadavg: 2.10 2.06 2.22 6/214 25334 /proc/meminfo: memFree=30995752/32770624 swapFree=0/261460 [pid=25319] ppid=25316 vsize=10551232 CPUtime=9.73 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 18648 0 0 0 929 44 0 0 20 0 15 0 64704343 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2637808 158568 3110 1 0 2627269 0 [pid=25319/tid=25321] ppid=25316 vsize=10551232 CPUtime=1.53 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) S 25316 25319 18930 0 -1 1077944384 7120 0 0 0 147 6 0 0 20 0 15 0 64704350 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527787946400 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10551232 CPUtime=1.34 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 442 0 0 0 125 9 0 0 20 0 15 0 64704350 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10551232 CPUtime=1.35 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 607 0 0 0 126 9 0 0 20 0 15 0 64704350 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10551232 CPUtime=1.33 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 296 0 0 0 125 8 0 0 20 0 15 0 64704350 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10551232 CPUtime=1.33 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 425 0 0 0 124 9 0 0 20 0 15 0 64704350 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10551232 CPUtime=0.04 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) R 25316 25319 18930 0 -1 4202560 225 0 0 0 4 0 0 0 20 0 15 0 64704352 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527279207376 140527768411130 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64704355 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10551232 CPUtime=1.12 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 2823 0 0 0 112 0 0 0 20 0 15 0 64704355 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527274997744 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10551232 CPUtime=1.15 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) S 25316 25319 18930 0 -1 1077944384 3326 0 0 0 115 0 0 0 20 0 15 0 64704355 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527273945200 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10551232 CPUtime=0.47 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 2025 0 0 0 46 1 0 0 20 0 15 0 64704355 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64704355 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64704361 10804461568 158568 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 9.73 Current children cumulated vsize (KiB) 10551232 [startup+6.30076 s] /proc/loadavg: 2.10 2.06 2.22 6/214 25334 /proc/meminfo: memFree=30442240/32770624 swapFree=0/261472 [pid=25319] ppid=25316 vsize=10551232 CPUtime=17.78 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 25569 0 0 0 1700 78 0 0 20 0 15 0 64704343 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2637808 291289 3123 1 0 2627269 0 [pid=25319/tid=25321] ppid=25316 vsize=10551232 CPUtime=2.39 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) R 25316 25319 18930 0 -1 4202560 8001 0 0 0 230 9 0 0 20 0 15 0 64704350 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527787943688 140527392788786 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10551232 CPUtime=2.9 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 1203 0 0 0 273 17 0 0 20 0 15 0 64704350 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10551232 CPUtime=2.9 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 1086 0 0 0 274 16 0 0 20 0 15 0 64704350 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10551232 CPUtime=2.89 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 610 0 0 0 274 15 0 0 20 0 15 0 64704350 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10551232 CPUtime=2.91 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 1026 0 0 0 275 16 0 0 20 0 15 0 64704350 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10551232 CPUtime=0.79 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 2230 0 0 0 79 0 0 0 20 0 15 0 64704352 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527279208944 140527783721602 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 64704352 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64704355 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10551232 CPUtime=1.18 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 3799 0 0 0 118 0 0 0 20 0 15 0 64704355 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527274997744 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10551232 CPUtime=1.26 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) R 25316 25319 18930 0 -1 4202560 3549 0 0 0 126 0 0 0 20 0 15 0 64704355 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527273945200 140527775951897 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10551232 CPUtime=0.47 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 2027 0 0 0 46 1 0 0 20 0 15 0 64704355 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64704355 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 680 0 0 0 0 0 0 0 20 0 15 0 64704361 10804461568 291289 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 17.78 Current children cumulated vsize (KiB) 10551232 [startup+12.7007 s] /proc/loadavg: 2.00 2.04 2.21 3/215 25335 /proc/meminfo: memFree=30438744/32770624 swapFree=0/261480 [pid=25319] ppid=25316 vsize=10617796 CPUtime=25.57 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 28894 0 0 0 2478 79 0 0 20 0 16 0 64704343 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2654449 291663 3132 1 0 2643910 0 [pid=25319/tid=25321] ppid=25316 vsize=10617796 CPUtime=8.78 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) R 25316 25319 18930 0 -1 4202560 9098 0 0 0 869 9 0 0 20 0 16 0 64704350 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527787946528 140527393422546 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10617796 CPUtime=2.9 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 1203 0 0 0 273 17 0 0 20 0 16 0 64704350 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10617796 CPUtime=2.9 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 1086 0 0 0 274 16 0 0 20 0 16 0 64704350 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10617796 CPUtime=2.89 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 610 0 0 0 274 15 0 0 20 0 16 0 64704350 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10617796 CPUtime=2.91 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 1026 0 0 0 275 16 0 0 20 0 16 0 64704350 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10617796 CPUtime=0.8 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 2521 0 0 0 80 0 0 0 20 0 16 0 64704352 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527279208944 140527783721602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 291663 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 1.94 2.00 2.17 3/215 25341 /proc/meminfo: memFree=30158252/32770624 swapFree=0/261588 [pid=25319] ppid=25316 vsize=10617796 CPUtime=176.85 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 45426 0 0 0 17577 108 0 0 20 0 16 0 64704343 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2654449 352774 3141 1 0 2643910 0 [pid=25319/tid=25321] ppid=25316 vsize=10617796 CPUtime=158.1 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) R 25316 25319 18930 0 -1 4202560 14049 0 0 0 15800 10 0 0 20 0 16 0 64704350 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527787946512 140527393552721 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10617796 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 1603 0 0 0 296 23 0 0 20 0 16 0 64704350 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10617796 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 1765 0 0 0 295 22 0 0 20 0 16 0 64704350 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10617796 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 803 0 0 0 295 22 0 0 20 0 16 0 64704350 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10617796 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 1207 0 0 0 297 22 0 0 20 0 16 0 64704350 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10617796 CPUtime=0.8 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 2832 0 0 0 80 0 0 0 20 0 16 0 64704352 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527279208944 140527783721602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10617796 CPUtime=2.12 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 8774 0 0 0 212 0 0 0 20 0 16 0 64704355 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527274997744 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10617796 CPUtime=2.35 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) S 25316 25319 18930 0 -1 1077944384 7264 0 0 0 234 1 0 0 20 0 16 0 64704355 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527273945200 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10617796 CPUtime=0.59 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 4869 0 0 0 58 1 0 0 20 0 16 0 64704355 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10617796 CPUtime=0.08 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 846 0 0 0 4 4 0 0 20 0 16 0 64704361 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25335] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25335/stat : 25335 (java) S 25316 25319 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64704987 10872623104 352774 18446744073709551615 4194304 4196468 140722301846096 140527269733680 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 176.85 Current children cumulated vsize (KiB) 10617796 [startup+222.307 s] /proc/loadavg: 2.59 2.13 2.20 6/214 25421 /proc/meminfo: memFree=25791488/32770624 swapFree=0/261640 [pid=25319] ppid=25316 vsize=10617796 CPUtime=236.94 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 48238 0 0 0 23584 110 0 0 20 0 16 0 64704343 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2654449 352781 3141 1 0 2643910 0 [pid=25319/tid=25321] ppid=25316 vsize=10617796 CPUtime=218.1 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) R 25316 25319 18930 0 -1 4202560 15158 0 0 0 21800 10 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527787948920 140527393552721 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10617796 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 1603 0 0 0 296 23 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10617796 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 1765 0 0 0 295 22 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10617796 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 803 0 0 0 295 22 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10617796 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 1207 0 0 0 297 22 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10617796 CPUtime=0.8 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 2841 0 0 0 80 0 0 0 20 0 16 0 64704352 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527279208944 140527783721602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10617796 CPUtime=2.14 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 10126 0 0 0 214 0 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527274997744 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10617796 CPUtime=2.37 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) S 25316 25319 18930 0 -1 1077944384 7458 0 0 0 236 1 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527273945200 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10617796 CPUtime=0.59 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 4972 0 0 0 58 1 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10617796 CPUtime=0.12 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 891 0 0 0 6 6 0 0 20 0 16 0 64704361 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25335] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25335/stat : 25335 (java) S 25316 25319 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64704987 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527269733680 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 236.94 Current children cumulated vsize (KiB) 10617796 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.75 2.19 2.22 6/214 25423 /proc/meminfo: memFree=22117600/32770624 swapFree=0/261656 [pid=25319] ppid=25316 vsize=10617796 CPUtime=254.65 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 48248 0 0 0 25355 110 0 0 20 0 16 0 64704343 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2654449 352781 3141 1 0 2643910 0 [pid=25319/tid=25321] ppid=25316 vsize=10617796 CPUtime=235.79 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) R 25316 25319 18930 0 -1 4202560 15168 0 0 0 23569 10 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527787948920 140527393421834 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10617796 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 1603 0 0 0 296 23 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10617796 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 1765 0 0 0 295 22 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10617796 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 803 0 0 0 295 22 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10617796 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 1207 0 0 0 297 22 0 0 20 0 16 0 64704350 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10617796 CPUtime=0.8 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 2841 0 0 0 80 0 0 0 20 0 16 0 64704352 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527279208944 140527783721602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 64704352 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10617796 CPUtime=2.14 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 10126 0 0 0 214 0 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527274997744 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10617796 CPUtime=2.37 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) S 25316 25319 18930 0 -1 1077944384 7458 0 0 0 236 1 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527273945200 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10617796 CPUtime=0.59 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 4972 0 0 0 58 1 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64704355 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10617796 CPUtime=0.13 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 891 0 0 0 6 7 0 0 20 0 16 0 64704361 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25335] ppid=25316 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25335/stat : 25335 (java) S 25316 25319 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 64704987 10872623104 352781 18446744073709551615 4194304 4196468 140722301846096 140527269733680 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 254.65 Current children cumulated vsize (KiB) 10617796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 25319 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.201 s] /proc/loadavg: 2.75 2.19 2.22 6/214 25423 /proc/meminfo: memFree=22117600/32770624 swapFree=0/261656 [pid=25319] ppid=25316 vsize=10817488 CPUtime=254.68 cores=1,3,5,7 /proc/25319/stat : 25319 (java) S 25316 25319 18930 0 -1 1077944320 48842 0 0 0 25358 110 0 0 20 0 17 0 64704343 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140722301828640 140527783710455 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 /proc/25319/statm: 2704372 352839 3143 1 0 2693833 0 [pid=25319/tid=25321] ppid=25316 vsize=10817488 CPUtime=235.82 cores=1,3,5,7 /proc/25319/task/25321/stat : 25321 (java) S 25316 25319 18930 0 -1 1077944384 15265 0 0 0 23572 10 0 0 20 0 17 0 64704350 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527787953328 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25322] ppid=25316 vsize=10817488 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25322/stat : 25322 (java) S 25316 25319 18930 0 -1 1077944384 1603 0 0 0 296 23 0 0 20 0 17 0 64704350 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527714130192 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25323] ppid=25316 vsize=10817488 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25323/stat : 25323 (java) S 25316 25319 18930 0 -1 1077944384 1765 0 0 0 295 22 0 0 20 0 17 0 64704350 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527713077648 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25324] ppid=25316 vsize=10817488 CPUtime=3.17 cores=1,3,5,7 /proc/25319/task/25324/stat : 25324 (java) S 25316 25319 18930 0 -1 1077944384 803 0 0 0 295 22 0 0 20 0 17 0 64704350 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527712025104 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25325] ppid=25316 vsize=10817488 CPUtime=3.19 cores=1,3,5,7 /proc/25319/task/25325/stat : 25325 (java) S 25316 25319 18930 0 -1 1077944384 1207 0 0 0 297 22 0 0 20 0 17 0 64704350 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527710972560 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25326] ppid=25316 vsize=10817488 CPUtime=0.8 cores=1,3,5,7 /proc/25319/task/25326/stat : 25326 (java) S 25316 25319 18930 0 -1 1077944384 2868 0 0 0 80 0 0 0 20 0 17 0 64704352 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527279208944 140527783721602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25327] ppid=25316 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25327/stat : 25327 (java) S 25316 25319 18930 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 64704352 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527278155232 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25328] ppid=25316 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25328/stat : 25328 (java) S 25316 25319 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 64704352 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527277102592 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25329] ppid=25316 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25329/stat : 25329 (java) S 25316 25319 18930 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 17 0 64704355 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527276051152 140527783729051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25330] ppid=25316 vsize=10817488 CPUtime=2.14 cores=1,3,5,7 /proc/25319/task/25330/stat : 25330 (java) S 25316 25319 18930 0 -1 1077944384 10135 0 0 0 214 0 0 0 20 0 17 0 64704355 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527274997744 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25331] ppid=25316 vsize=10817488 CPUtime=2.38 cores=1,3,5,7 /proc/25319/task/25331/stat : 25331 (java) S 25316 25319 18930 0 -1 1077944384 7508 0 0 0 237 1 0 0 20 0 17 0 64704355 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527273945200 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25332] ppid=25316 vsize=10817488 CPUtime=0.59 cores=1,3,5,7 /proc/25319/task/25332/stat : 25332 (java) S 25316 25319 18930 0 -1 1077944384 5005 0 0 0 58 1 0 0 20 0 17 0 64704355 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527272892656 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25333] ppid=25316 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/25319/task/25333/stat : 25333 (java) S 25316 25319 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 64704355 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527271840352 140527783720661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 [pid=25319/tid=25334] ppid=25316 vsize=10817488 CPUtime=0.13 cores=1,3,5,7 /proc/25319/task/25334/stat : 25334 (java) S 25316 25319 18930 0 -1 1077944384 891 0 0 0 6 7 0 0 20 0 17 0 64704361 11077107712 352839 18446744073709551615 4194304 4196468 140722301846096 140527270787888 140527783721602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140722301850033 140722301850186 140722301850186 140722301853647 0 Current children cumulated CPU time (s) 254.68 Current children cumulated vsize (KiB) 10817488 Child status: 143 Real time (s): 240.238 CPU time (s): 254.73 CPU user time (s): 253.615 CPU system time (s): 1.11454 CPU usage (%): 106.032 Max. virtual memory (cumulated for all children) (KiB): 10817488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 253.615 system time used= 1.11454 maximum resident set size= 1411816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50359 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7588 involuntary context switches= 433 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.52743 second user time and 1.13146 second system time The end
Begin job on node132 at 2017-08-02 06:54:11 IDJOB=4258068 IDBENCH=127072 IDSOLVER=2643 FILE ID=node132/4258068-1501650509 RUNJOBID= node132-1501638806-11704 PBS_JOBID= Free space on /tmp= 61876 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258068-1501650509/watcher-4258068-1501650509 -o /tmp/evaluation-result-4258068-1501650509/solver-4258068-1501650509 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11704 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258068-1501650509.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8 RANDOM SEED=553505886 node132.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.74 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.74 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.74 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.74 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: 31596396 kB MemAvailable: 31795776 kB Buffers: 147948 kB Cached: 347540 kB SwapCached: 0 kB Active: 476204 kB Inactive: 285892 kB Active(anon): 267692 kB Inactive(anon): 24444 kB Active(file): 208512 kB Inactive(file): 261448 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1684 kB Writeback: 0 kB AnonPages: 280932 kB Mapped: 50748 kB Shmem: 25276 kB Slab: 116432 kB SReclaimable: 90508 kB SUnreclaim: 25924 kB KernelStack: 3776 kB PageTables: 5004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1275976 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61876 MiB End job on node132 at 2017-08-02 06:58:11