Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: sat4j-CSP 2017-07-05 | SAT (TO) | 1564 | 2402.61 | 2363.78 |
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 | 864 |
Best CPU time to get the best result obtained on this benchmark | 2400.06 |
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 |
36.63/7.20 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 36.63/7.20 c This is free software under the dual EPL/GNU LGPL licenses. 36.63/7.20 c See www.sat4j.org for details. 36.63/7.20 c That software uses the Rhino library from the Mozilla project. 36.63/7.20 c version CUSTOM.v20170705 36.63/7.20 c java.runtime.name Java(TM) SE Runtime Environment 36.63/7.20 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 36.63/7.20 c java.vm.version 25.131-b11 36.63/7.20 c java.vm.vendor Oracle Corporation 36.63/7.20 c sun.arch.data.model 64 36.63/7.20 c java.version 1.8.0_131 36.63/7.20 c os.name Linux 36.63/7.20 c os.version 3.10.0-514.16.1.el7.x86_64 36.63/7.20 c os.arch amd64 36.63/7.20 c Free memory 499604488 36.63/7.20 c Max memory 7247757312 36.63/7.20 c Total memory 504889344 36.63/7.20 c Number of processors 8 36.63/7.20 c c --- Begin Solver configuration --- 36.63/7.20 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 36.63/7.20 c Learn all clauses as in MiniSAT 36.63/7.20 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 36.63/7.20 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 36.63/7.20 c No reason simplification 36.63/7.20 c Glucose 2.1 dynamic restart strategy 36.63/7.20 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 36.63/7.20 c timeout=2147483s 36.63/7.20 c DB Simplification allowed=false 36.63/7.20 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 36.63/7.20 c --- End Solver configuration --- 36.63/7.20 c constraints type 36.63/7.20 c org.sat4j.minisat.constraints.card.MinWatchCard => 6962 36.63/7.20 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6560 36.63/7.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7924602 36.63/7.20 c org.sat4j.minisat.constraints.cnf.UnitClause => 6800 36.63/7.20 c 7944924 constraints processed. 38.43/8.34 o 2464 42.01/11.35 o 2396 53.02/21.73 o 2032 61.85/30.22 o 2000 93.05/61.44 o 1932 122.25/90.67 o 1648 244.20/210.13 o 1632 1892.96/1856.33 o 1604 2094.17/2057.53 o 1580 2286.29/2249.63 o 1564 2402.15/2363.75 c starts : 697 2402.15/2363.75 c conflicts : 1145415 2402.15/2363.75 c decisions : 1992241 2402.15/2363.75 c propagations : 8180167491 2402.15/2363.75 c inspects : 16024056409 2402.15/2363.75 c shortcuts : 0 2402.15/2363.75 c learnt literals : 9 2402.15/2363.75 c learnt binary clauses : 2207 2402.15/2363.75 c learnt ternary clauses : 13814 2402.15/2363.75 c learnt constraints : 1145406 2402.15/2363.75 c ignored constraints : 0 2402.15/2363.75 c root simplifications : 0 2402.15/2363.75 c removed literals (reason simplification) : 0 2402.15/2363.75 c reason swapping (by a shorter reason) : 0 2402.15/2363.75 c Calls to reduceDB : 80 2402.15/2363.75 c Number of update (reduction) of LBD : 385349 2402.15/2363.75 c Imported unit clauses : 0 2402.15/2363.75 c number of reductions to clauses (during analyze) : 0 2402.15/2363.75 c number of learned constraints concerned by reduction : 0 2402.15/2363.75 c number of learning phase by resolution : 0 2402.15/2363.75 c number of learning phase by cutting planes : 0 2402.15/2363.75 c number of rounding to 1 operations : 0 2402.15/2363.75 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2402.15/2363.75 c number of reductions of the coefficients by power 2 : 0 2402.15/2363.75 c number of right shift for reduction by power 2 : 0 2402.15/2363.75 c number of reductions of the coefficients by GCD over coefficients : 0 2402.15/2363.75 c speed (assignments/second) : 3471309.026321999 2402.15/2363.75 c non guided choices 101715 2402.15/2363.75 c learnt constraints type 2402.15/2363.75 s SATISFIABLE 2402.15/2363.75 v <instantiation type="solution"> 2402.15/2363.75 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> 2402.15/2363.76 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 -2 -3 6 5 -10 -5 -2 1 -8 -3 -4 1 -4 -3 0 7 0 7 4 -3 6 3 -8 1 -4 -1 0 -3 -2 -5 0 1 -10 -3 0 -7 -4 7 6 5 0 3 10 5 -4 5 4 -5 0 -3 -6 -1 -8 -3 2 1 0 9 10 -1 -4 1 -2 5 6 -3 0 1 -4 -3 0 -3 0 -1 2 3 0 3 0 -1 4 9 36 25 100 25 4 1 64 9 16 1 16 9 0 49 0 49 16 9 36 9 64 1 16 1 0 9 4 25 0 1 100 9 0 49 16 49 36 25 0 9 100 25 16 25 16 25 0 9 36 1 64 9 4 1 0 81 100 1 16 1 4 25 36 9 0 1 16 9 0 9 0 1 4 9 0 9 0 1 </values> 2402.15/2363.76 v </instantiation> 2402.15/2363.76
OK 1564
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-4243810-1500676155/watcher-4243810-1500676155 -o /tmp/evaluation-result-4243810-1500676155/solver-4243810-1500676155 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500673853-5504 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243810-1500676155.xml pid=5918 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.85 1.86 1.85 3/262 5921 /proc/meminfo: memFree=31663900/32770624 swapFree=5804/225232 [pid=5921] ppid=5918 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 1869 0 0 0 0 0 0 0 20 0 2 0 2882914 8539521024 2112 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2084844 2112 1188 1 0 2073755 0 [pid=5921/tid=5922] ppid=5918 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) R 5918 5921 2463 0 -1 4202560 652 0 0 0 0 0 0 0 20 0 2 0 2882914 8550137856 2178 33554432000 4194304 4196468 140721591833040 140561530456480 140561518503840 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [startup+0.100162 s] /proc/loadavg: 1.85 1.86 1.85 3/262 5921 /proc/meminfo: memFree=31663900/32770624 swapFree=5804/225232 [pid=5921] ppid=5918 vsize=10434508 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 4012 0 0 0 6 1 0 0 20 0 13 0 2882914 10684936192 5203 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2608627 5203 2179 1 0 2597065 0 [pid=5921/tid=5922] ppid=5918 vsize=10434508 CPUtime=0.06 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) R 5918 5921 2463 0 -1 4202560 2632 0 0 0 6 0 0 0 20 0 13 0 2882914 10684936192 5203 33554432000 4194304 4196468 140721591833040 140561530444112 140561511301024 0 4 0 16800971 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10434508 [startup+0.200428 s] /proc/loadavg: 1.85 1.86 1.85 3/262 5921 /proc/meminfo: memFree=31663900/32770624 swapFree=5804/225232 [pid=5921] ppid=5918 vsize=10900556 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 6719 0 0 0 20 2 0 0 20 0 20 0 2882914 11162169344 8088 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2725139 8088 2838 1 0 2713552 0 [pid=5921/tid=5922] ppid=5918 vsize=10900556 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) R 5918 5921 2463 0 -1 4202560 4499 0 0 0 15 1 0 0 20 0 20 0 2882914 11162169344 8088 33554432000 4194304 4196468 140721591833040 140561530438736 140561510294878 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 10900556 [startup+0.300329 s] /proc/loadavg: 1.85 1.86 1.85 3/262 5921 /proc/meminfo: memFree=31663900/32770624 swapFree=5804/225232 [pid=5921] ppid=5918 vsize=10900556 CPUtime=0.43 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 8262 0 0 0 40 3 0 0 20 0 20 0 2882914 11162169344 10611 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2725139 10611 2967 1 0 2713552 0 [pid=5921/tid=5922] ppid=5918 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) R 5918 5921 2463 0 -1 4202560 5039 0 0 0 25 1 0 0 20 0 20 0 2882914 11162169344 10611 33554432000 4194304 4196468 140721591833040 140561530450568 140561526236317 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 10900556 [startup+0.701826 s] /proc/loadavg: 1.85 1.86 1.85 3/262 5921 /proc/meminfo: memFree=31663900/32770624 swapFree=5804/225232 [pid=5921] ppid=5918 vsize=10900632 CPUtime=2.09 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 13659 0 0 0 200 9 0 0 20 0 20 0 2882914 11162247168 48018 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2725158 48018 3093 1 0 2713552 0 [pid=5921/tid=5922] ppid=5918 vsize=10900632 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) S 5918 5921 2463 0 -1 1077944384 5883 0 0 0 60 4 0 0 20 0 20 0 2882914 11162247168 48018 33554432000 4194304 4196468 140721591833040 140561530450880 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 10900632 [startup+1.50107 s] /proc/loadavg: 1.85 1.86 1.85 7/282 5941 /proc/meminfo: memFree=31458916/32770624 swapFree=5804/225232 [pid=5921] ppid=5918 vsize=10900632 CPUtime=5.73 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 16812 0 0 0 532 41 0 0 20 0 20 0 2882914 11162247168 100043 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2725158 100043 3132 1 0 2713552 0 [pid=5921/tid=5922] ppid=5918 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) S 5918 5921 2463 0 -1 1077944384 6042 0 0 0 129 5 0 0 20 0 20 0 2882914 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561530451120 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5924] ppid=5918 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5924/stat : 5924 (java) R 5918 5921 2463 0 -1 4202560 58 0 0 0 5 4 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561462906072 140561511241810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5925] ppid=5918 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5925/stat : 5925 (java) R 5918 5921 2463 0 -1 4202560 48 0 0 0 5 3 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561132416408 140561511242256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5926] ppid=5918 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5926/stat : 5926 (java) R 5918 5921 2463 0 -1 4202560 30 0 0 0 4 3 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561131363288 140561511241504 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5927] ppid=5918 vsize=10900632 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5927/stat : 5927 (java) R 5918 5921 2463 0 -1 4202560 55 0 0 0 5 4 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561130310432 140561511242274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5928] ppid=5918 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5928/stat : 5928 (java) R 5918 5921 2463 0 -1 4202560 36 0 0 0 4 4 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561129257688 140561511242265 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5929] ppid=5918 vsize=10900632 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5929/stat : 5929 (java) R 5918 5921 2463 0 -1 4202560 43 0 0 0 4 4 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561128204832 140561511242274 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5930] ppid=5918 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5930/stat : 5930 (java) R 5918 5921 2463 0 -1 4202560 33 0 0 0 4 3 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561127152088 140561511242274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5931] ppid=5918 vsize=10900632 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5931/stat : 5931 (java) R 5918 5921 2463 0 -1 4202560 33 0 0 0 4 3 0 0 20 0 20 0 2882915 11162247168 100043 33554432000 4194304 4196468 140721591833040 140561126099544 140561511236512 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5932] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5932/stat : 5932 (java) S 5918 5921 2463 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 2882918 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561069192480 140561526224597 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5933] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5933/stat : 5933 (java) S 5918 5921 2463 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2882918 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561068140256 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5934] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5934/stat : 5934 (java) S 5918 5921 2463 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2882919 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561067087088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5935] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5935/stat : 5935 (java) S 5918 5921 2463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2882924 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561066035664 140561526232987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5936] ppid=5918 vsize=10900632 CPUtime=1.02 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5936/stat : 5936 (java) S 5918 5921 2463 0 -1 1077944384 2421 0 0 0 102 0 0 0 20 0 20 0 2882924 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561064967760 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5937] ppid=5918 vsize=10900632 CPUtime=1.02 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5937/stat : 5937 (java) S 5918 5921 2463 0 -1 1077944384 2293 0 0 0 102 0 0 0 20 0 20 0 2882924 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561063915216 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5938] ppid=5918 vsize=10900632 CPUtime=1.02 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5938/stat : 5938 (java) S 5918 5921 2463 0 -1 1077944384 1851 0 0 0 102 0 0 0 20 0 20 0 2882924 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561062862160 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5939] ppid=5918 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5939/stat : 5939 (java) S 5918 5921 2463 0 -1 1077944384 2416 0 0 0 55 1 0 0 20 0 20 0 2882924 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561061824624 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5940] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5940/stat : 5940 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2882925 11162247168 100555 33554432000 4194304 4196468 140721591833040 140561060772832 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5941] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5941/stat : 5941 (java) S 5918 5921 2463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2882925 11162247168 100555 33554432000 4194304 4196468 140721591833040 140560334580912 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 5.73 Current children cumulated vsize (KiB) 10900632 [startup+3.10087 s] /proc/loadavg: 1.86 1.86 1.85 11/282 5941 /proc/meminfo: memFree=31056140/32770624 swapFree=5804/225236 [pid=5921] ppid=5918 vsize=10900632 CPUtime=16.37 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 18281 0 0 0 1493 144 0 0 20 0 20 0 2882914 11162247168 160026 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2725158 160026 3149 1 0 2713552 0 [pid=5921/tid=5922] ppid=5918 vsize=10900632 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) S 5918 5921 2463 0 -1 1077944384 6042 0 0 0 156 5 0 0 20 0 20 0 2882914 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561530451184 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5924] ppid=5918 vsize=10900632 CPUtime=1.36 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5924/stat : 5924 (java) R 5918 5921 2463 0 -1 4202560 184 0 0 0 118 18 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561462905992 140561510914307 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5925] ppid=5918 vsize=10900632 CPUtime=1.33 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5925/stat : 5925 (java) R 5918 5921 2463 0 -1 4202560 145 0 0 0 119 14 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561132416264 140561518842599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5926] ppid=5918 vsize=10900632 CPUtime=1.36 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5926/stat : 5926 (java) R 5918 5921 2463 0 -1 4202560 151 0 0 0 120 16 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561131363208 140561518842599 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5927] ppid=5918 vsize=10900632 CPUtime=1.39 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5927/stat : 5927 (java) R 5918 5921 2463 0 -1 4202560 301 0 0 0 122 17 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561130310664 140561518842599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5928] ppid=5918 vsize=10900632 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5928/stat : 5928 (java) R 5918 5921 2463 0 -1 4202560 260 0 0 0 121 16 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561129257608 140561518842599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5929] ppid=5918 vsize=10900632 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5929/stat : 5929 (java) R 5918 5921 2463 0 -1 4202560 234 0 0 0 120 17 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561128205064 140561518842599 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5930] ppid=5918 vsize=10900632 CPUtime=1.37 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5930/stat : 5930 (java) R 5918 5921 2463 0 -1 4202560 200 0 0 0 120 17 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561127152008 140561518842599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5931] ppid=5918 vsize=10900632 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5931/stat : 5931 (java) R 5918 5921 2463 0 -1 4202560 145 0 0 0 119 16 0 0 20 0 20 0 2882915 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561126099464 140561518842599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5932] ppid=5918 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5932/stat : 5932 (java) S 5918 5921 2463 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 2882918 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561069192512 140561526224597 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5933] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5933/stat : 5933 (java) S 5918 5921 2463 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2882918 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561068140256 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5934] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5934/stat : 5934 (java) S 5918 5921 2463 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2882919 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561067087088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5935] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5935/stat : 5935 (java) S 5918 5921 2463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2882924 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561066035664 140561526232987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5936] ppid=5918 vsize=10900632 CPUtime=1.04 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5936/stat : 5936 (java) S 5918 5921 2463 0 -1 1077944384 2447 0 0 0 104 0 0 0 20 0 20 0 2882924 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561064982768 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5937] ppid=5918 vsize=10900632 CPUtime=1.03 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5937/stat : 5937 (java) S 5918 5921 2463 0 -1 1077944384 2299 0 0 0 103 0 0 0 20 0 20 0 2882924 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561063930224 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5938] ppid=5918 vsize=10900632 CPUtime=1.08 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5938/stat : 5938 (java) S 5918 5921 2463 0 -1 1077944384 1855 0 0 0 108 0 0 0 20 0 20 0 2882924 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561062862160 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5939] ppid=5918 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5939/stat : 5939 (java) S 5918 5921 2463 0 -1 1077944384 2416 0 0 0 56 1 0 0 20 0 20 0 2882924 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561061824624 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5940] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5940/stat : 5940 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2882925 11162247168 160026 33554432000 4194304 4196468 140721591833040 140561060772832 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5941] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5941/stat : 5941 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2882925 11162247168 160026 33554432000 4194304 4196468 140721591833040 140560334580912 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 16.37 Current children cumulated vsize (KiB) 10900632 [startup+6.301 s] /proc/loadavg: 1.86 1.86 1.85 11/282 5941 /proc/meminfo: memFree=30506228/32770624 swapFree=5804/225244 [pid=5921] ppid=5918 vsize=10900632 CPUtime=35.11 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 26494 0 0 0 3223 288 0 0 20 0 20 0 2882914 11162247168 293771 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2725158 293771 3160 1 0 2713552 0 [pid=5921/tid=5922] ppid=5918 vsize=10900632 CPUtime=2.2 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) S 5918 5921 2463 0 -1 1077944384 6854 0 0 0 211 9 0 0 20 0 20 0 2882914 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561530451280 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5924] ppid=5918 vsize=10900632 CPUtime=3.58 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5924/stat : 5924 (java) R 5918 5921 2463 0 -1 4202560 676 0 0 0 322 36 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561462905992 140561510915009 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5925] ppid=5918 vsize=10900632 CPUtime=3.58 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5925/stat : 5925 (java) R 5918 5921 2463 0 -1 4202560 435 0 0 0 326 32 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561132416264 140561510915041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5926] ppid=5918 vsize=10900632 CPUtime=3.59 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5926/stat : 5926 (java) R 5918 5921 2463 0 -1 4202560 643 0 0 0 325 34 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561131363208 140561510915035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5927] ppid=5918 vsize=10900632 CPUtime=3.63 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5927/stat : 5927 (java) R 5918 5921 2463 0 -1 4202560 587 0 0 0 327 36 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561130310664 140561511210798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5928] ppid=5918 vsize=10900632 CPUtime=3.57 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5928/stat : 5928 (java) R 5918 5921 2463 0 -1 4202560 461 0 0 0 324 33 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561129257608 140561510915087 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5929] ppid=5918 vsize=10900632 CPUtime=3.59 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5929/stat : 5929 (java) R 5918 5921 2463 0 -1 4202560 780 0 0 0 327 32 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561128205064 140561510915136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5930] ppid=5918 vsize=10900632 CPUtime=3.59 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5930/stat : 5930 (java) R 5918 5921 2463 0 -1 4202560 645 0 0 0 324 35 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561127152008 140561510914985 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5931] ppid=5918 vsize=10900632 CPUtime=3.56 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5931/stat : 5931 (java) R 5918 5921 2463 0 -1 4202560 386 0 0 0 323 33 0 0 20 0 20 0 2882915 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561126099464 140561510915024 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5932] ppid=5918 vsize=10900632 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5932/stat : 5932 (java) S 5918 5921 2463 0 -1 1077944384 3594 0 0 0 36 0 0 0 20 0 20 0 2882918 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561069192512 140561526224597 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5933] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5933/stat : 5933 (java) S 5918 5921 2463 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2882918 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561068140256 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5934] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5934/stat : 5934 (java) S 5918 5921 2463 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 2882919 11162247168 293771 33554432000 4194304 4196468 140721591833040 140561067087088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5935] ppid=5918 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=5921/tid=5939] ppid=5918 vsize=10967196 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5939/stat : 5939 (java) S 5918 5921 2463 0 -1 1077944384 7497 0 0 0 70 2 0 0 20 0 21 0 2882924 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561061824624 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5940] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5940/stat : 5940 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2882925 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561060772832 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5941] ppid=5918 vsize=10967196 CPUtime=1.25 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5941/stat : 5941 (java) S 5918 5921 2463 0 -1 1077944384 2078 0 0 0 55 70 0 0 20 0 21 0 2882925 11230408704 460594 33554432000 4194304 4196468 140721591833040 140560334580912 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5942] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5942/stat : 5942 (java) S 5918 5921 2463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2883638 11230408704 460594 33554432000 4194304 4196468 140721591833040 140560333526192 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 2358.97 Current children cumulated vsize (KiB) 10967196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2363.4 s] /proc/loadavg: 2.04 2.09 2.79 3/283 6385 /proc/meminfo: memFree=26360020/32770624 swapFree=5804/228124 [pid=5921] ppid=5918 vsize=10967196 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 93071 0 0 0 239400 607 0 0 20 0 21 0 2882914 11230408704 460594 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2741799 460594 3179 1 0 2730193 0 [pid=5921/tid=5922] ppid=5918 vsize=10967196 CPUtime=2356.56 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) R 5918 5921 2463 0 -1 4202560 47248 0 0 0 235641 15 0 0 20 0 21 0 2882914 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561530450096 140561149552000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5924] ppid=5918 vsize=10967196 CPUtime=4.38 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5924/stat : 5924 (java) S 5918 5921 2463 0 -1 1077944384 1285 0 0 0 371 67 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561462905872 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5925] ppid=5918 vsize=10967196 CPUtime=4.37 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5925/stat : 5925 (java) S 5918 5921 2463 0 -1 1077944384 831 0 0 0 375 62 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561132416144 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5926] ppid=5918 vsize=10967196 CPUtime=4.38 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5926/stat : 5926 (java) S 5918 5921 2463 0 -1 1077944384 1116 0 0 0 374 64 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561131363088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5927] ppid=5918 vsize=10967196 CPUtime=4.43 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5927/stat : 5927 (java) S 5918 5921 2463 0 -1 1077944384 1289 0 0 0 377 66 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561130310544 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5928] ppid=5918 vsize=10967196 CPUtime=4.37 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5928/stat : 5928 (java) S 5918 5921 2463 0 -1 1077944384 864 0 0 0 373 64 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561129257488 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5929] ppid=5918 vsize=10967196 CPUtime=4.39 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5929/stat : 5929 (java) S 5918 5921 2463 0 -1 1077944384 1685 0 0 0 376 63 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561128204944 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5930] ppid=5918 vsize=10967196 CPUtime=4.39 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5930/stat : 5930 (java) S 5918 5921 2463 0 -1 1077944384 1038 0 0 0 372 67 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561127151888 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5931] ppid=5918 vsize=10967196 CPUtime=4.36 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5931/stat : 5931 (java) S 5918 5921 2463 0 -1 1077944384 888 0 0 0 372 64 0 0 20 0 21 0 2882915 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561126099344 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5932] ppid=5918 vsize=10967196 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5932/stat : 5932 (java) S 5918 5921 2463 0 -1 1077944384 5430 0 0 0 86 4 0 0 20 0 21 0 2882918 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561069193968 140561526225538 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5933] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5933/stat : 5933 (java) S 5918 5921 2463 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 2882918 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561068140256 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5934] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5934/stat : 5934 (java) S 5918 5921 2463 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 2882919 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561067087088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5935] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5935/stat : 5935 (java) S 5918 5921 2463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2882924 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561066035664 140561526232987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5936] ppid=5918 vsize=10967196 CPUtime=1.7 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5936/stat : 5936 (java) S 5918 5921 2463 0 -1 1077944384 6371 0 0 0 169 1 0 0 20 0 21 0 2882924 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561064982768 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5937] ppid=5918 vsize=10967196 CPUtime=1.82 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5937/stat : 5937 (java) S 5918 5921 2463 0 -1 1077944384 7444 0 0 0 181 1 0 0 20 0 21 0 2882924 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561063930224 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5938] ppid=5918 vsize=10967196 CPUtime=1.89 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5938/stat : 5938 (java) S 5918 5921 2463 0 -1 1077944384 6582 0 0 0 188 1 0 0 20 0 21 0 2882924 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561062877168 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5939] ppid=5918 vsize=10967196 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5939/stat : 5939 (java) S 5918 5921 2463 0 -1 1077944384 7497 0 0 0 70 2 0 0 20 0 21 0 2882924 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561061824624 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5940] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5940/stat : 5940 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2882925 11230408704 460594 33554432000 4194304 4196468 140721591833040 140561060772832 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5941] ppid=5918 vsize=10967196 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5941/stat : 5941 (java) S 5918 5921 2463 0 -1 1077944384 2082 0 0 0 56 71 0 0 20 0 21 0 2882925 11230408704 460594 33554432000 4194304 4196468 140721591833040 140560334580912 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5942] ppid=5918 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5942/stat : 5942 (java) S 5918 5921 2463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2883638 11230408704 460594 33554432000 4194304 4196468 140721591833040 140560333526192 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 10967196 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 5921 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2363.6 s] /proc/loadavg: 2.04 2.09 2.79 3/283 6385 /proc/meminfo: memFree=26360020/32770624 swapFree=5804/228124 [pid=5921] ppid=5918 vsize=11166888 CPUtime=2401.35 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 94444 0 0 0 239463 672 0 0 20 0 22 0 2882914 11434893312 488867 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2791722 488867 3181 1 0 2780116 0 [pid=5921/tid=5922] ppid=5918 vsize=11166888 CPUtime=2356.61 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) S 5918 5921 2463 0 -1 1077944384 47347 0 0 0 235646 15 0 0 20 0 22 0 2882914 11434893312 488867 33554432000 4194304 4196468 140721591833040 140561530455984 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5924] ppid=5918 vsize=11166888 CPUtime=4.53 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5924/stat : 5924 (java) R 5918 5921 2463 0 -1 4202560 1346 0 0 0 378 75 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561462906072 140561511242265 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5925] ppid=5918 vsize=11166888 CPUtime=4.52 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5925/stat : 5925 (java) R 5918 5921 2463 0 -1 4202560 1127 0 0 0 382 70 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561132416344 140561511242265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5926] ppid=5918 vsize=11166888 CPUtime=4.53 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5926/stat : 5926 (java) R 5918 5921 2463 0 -1 4202560 1176 0 0 0 381 72 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561131362976 140561511242265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5927] ppid=5918 vsize=11166888 CPUtime=4.59 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5927/stat : 5927 (java) R 5918 5921 2463 0 -1 4202560 1354 0 0 0 385 74 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561130310744 140561519311227 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5928] ppid=5918 vsize=11166888 CPUtime=4.53 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5928/stat : 5928 (java) R 5918 5921 2463 0 -1 4202560 953 0 0 0 381 72 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561129257688 140561511242265 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5929] ppid=5918 vsize=11166888 CPUtime=4.54 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5929/stat : 5929 (java) R 5918 5921 2463 0 -1 4202560 1763 0 0 0 383 71 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561128205144 140561519314238 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5930] ppid=5918 vsize=11166888 CPUtime=4.54 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5930/stat : 5930 (java) R 5918 5921 2463 0 -1 4202560 1101 0 0 0 379 75 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561127152088 140561519311251 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5931] ppid=5918 vsize=11166888 CPUtime=4.51 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5931/stat : 5931 (java) R 5918 5921 2463 0 -1 4202560 956 0 0 0 379 72 0 0 20 0 22 0 2882915 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561126099544 140561511242265 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5932] ppid=5918 vsize=11166888 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5932/stat : 5932 (java) S 5918 5921 2463 0 -1 1077944384 5475 0 0 0 86 4 0 0 20 0 22 0 2882918 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561069192480 140561526224597 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5933] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5933/stat : 5933 (java) S 5918 5921 2463 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 22 0 2882918 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561068140256 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5934] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5934/stat : 5934 (java) S 5918 5921 2463 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 22 0 2882919 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561067087088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5935] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5935/stat : 5935 (java) S 5918 5921 2463 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 22 0 2882924 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561066035664 140561526232987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5936] ppid=5918 vsize=11166888 CPUtime=1.7 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5936/stat : 5936 (java) S 5918 5921 2463 0 -1 1077944384 6371 0 0 0 169 1 0 0 20 0 22 0 2882924 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561064982768 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5937] ppid=5918 vsize=11166888 CPUtime=1.82 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5937/stat : 5937 (java) S 5918 5921 2463 0 -1 1077944384 7457 0 0 0 181 1 0 0 20 0 22 0 2882924 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561063930224 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5938] ppid=5918 vsize=11166888 CPUtime=1.89 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5938/stat : 5938 (java) S 5918 5921 2463 0 -1 1077944384 6623 0 0 0 188 1 0 0 20 0 22 0 2882924 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561062877168 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5939] ppid=5918 vsize=11166888 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5939/stat : 5939 (java) S 5918 5921 2463 0 -1 1077944384 7584 0 0 0 70 2 0 0 20 0 22 0 2882924 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561061824624 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5940] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5940/stat : 5940 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2882925 11434893312 489379 33554432000 4194304 4196468 140721591833040 140561060772832 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5941] ppid=5918 vsize=11166888 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5941/stat : 5941 (java) S 5918 5921 2463 0 -1 1077944384 2082 0 0 0 56 71 0 0 20 0 22 0 2882925 11434893312 489379 33554432000 4194304 4196468 140721591833040 140560334580912 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 2401.35 Current children cumulated vsize (KiB) 11166888 [startup+2363.7 s] /proc/loadavg: 2.04 2.09 2.79 3/283 6385 /proc/meminfo: memFree=26360020/32770624 swapFree=5804/228124 [pid=5921] ppid=5918 vsize=11166888 CPUtime=2402.15 cores=1,3,5,7,9,11,13,15 /proc/5921/stat : 5921 (java) S 5918 5921 2463 0 -1 1077944320 94731 0 0 0 239511 704 0 0 20 0 22 0 2882914 11434893312 517539 33554432000 4194304 4196468 140721591833040 140721591815584 140561526214391 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 /proc/5921/statm: 2791722 517539 3181 1 0 2780116 0 [pid=5921/tid=5922] ppid=5918 vsize=11166888 CPUtime=2356.61 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5922/stat : 5922 (java) S 5918 5921 2463 0 -1 1077944384 47347 0 0 0 235646 15 0 0 20 0 22 0 2882914 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561530455984 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5924] ppid=5918 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5924/stat : 5924 (java) R 5918 5921 2463 0 -1 4202560 1375 0 0 0 384 79 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561462905992 140561511972729 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5925] ppid=5918 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5925/stat : 5925 (java) R 5918 5921 2463 0 -1 4202560 1157 0 0 0 388 75 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561132416264 140561511258801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5926] ppid=5918 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5926/stat : 5926 (java) R 5918 5921 2463 0 -1 4202560 1205 0 0 0 387 76 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561131363208 140561511972751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5927] ppid=5918 vsize=11166888 CPUtime=4.68 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5927/stat : 5927 (java) R 5918 5921 2463 0 -1 4202560 1379 0 0 0 391 77 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561130310664 140561511240034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5928] ppid=5918 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5928/stat : 5928 (java) R 5918 5921 2463 0 -1 4202560 982 0 0 0 387 76 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561129257608 140561511258562 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5929] ppid=5918 vsize=11166888 CPUtime=4.64 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5929/stat : 5929 (java) R 5918 5921 2463 0 -1 4202560 1792 0 0 0 389 75 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561128205064 140561511258865 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5930] ppid=5918 vsize=11166888 CPUtime=4.65 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5930/stat : 5930 (java) R 5918 5921 2463 0 -1 4202560 1167 0 0 0 385 80 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561127152088 140561511237656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5931] ppid=5918 vsize=11166888 CPUtime=4.61 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5931/stat : 5931 (java) R 5918 5921 2463 0 -1 4202560 1002 0 0 0 386 75 0 0 20 0 22 0 2882915 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561126099544 140561510662606 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5932] ppid=5918 vsize=11166888 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5932/stat : 5932 (java) S 5918 5921 2463 0 -1 1077944384 5475 0 0 0 86 4 0 0 20 0 22 0 2882918 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561069192480 140561526224597 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5933] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5933/stat : 5933 (java) S 5918 5921 2463 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 22 0 2882918 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561068140256 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5934] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5934/stat : 5934 (java) S 5918 5921 2463 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 22 0 2882919 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561067087088 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5935] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5935/stat : 5935 (java) S 5918 5921 2463 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 22 0 2882924 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561066035664 140561526232987 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5936] ppid=5918 vsize=11166888 CPUtime=1.7 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5936/stat : 5936 (java) S 5918 5921 2463 0 -1 1077944384 6371 0 0 0 169 1 0 0 20 0 22 0 2882924 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561064982768 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5937] ppid=5918 vsize=11166888 CPUtime=1.82 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5937/stat : 5937 (java) S 5918 5921 2463 0 -1 1077944384 7457 0 0 0 181 1 0 0 20 0 22 0 2882924 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561063930224 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5938] ppid=5918 vsize=11166888 CPUtime=1.89 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5938/stat : 5938 (java) S 5918 5921 2463 0 -1 1077944384 6623 0 0 0 188 1 0 0 20 0 22 0 2882924 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561062877168 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5939] ppid=5918 vsize=11166888 CPUtime=0.72 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5939/stat : 5939 (java) S 5918 5921 2463 0 -1 1077944384 7584 0 0 0 70 2 0 0 20 0 22 0 2882924 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561061824624 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5940] ppid=5918 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5940/stat : 5940 (java) S 5918 5921 2463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2882925 11434893312 517539 33554432000 4194304 4196468 140721591833040 140561060772832 140561526224597 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 [pid=5921/tid=5941] ppid=5918 vsize=11166888 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/5921/task/5941/stat : 5941 (java) S 5918 5921 2463 0 -1 1077944384 2082 0 0 0 56 71 0 0 20 0 22 0 2882925 11434893312 517539 33554432000 4194304 4196468 140721591833040 140560334580912 140561526225538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38920192 140721591841963 140721591842116 140721591842116 140721591844815 0 Current children cumulated CPU time (s) 2402.15 Current children cumulated vsize (KiB) 11166888 Child status: 143 Real time (s): 2363.78 CPU time (s): 2402.61 CPU user time (s): 2395.54 CPU system time (s): 7.06543 CPU usage (%): 101.642 Max. virtual memory (cumulated for all children) (KiB): 11166888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.54 system time used= 7.06543 maximum resident set size= 2070496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95148 page faults= 0 swaps= 0 block input operations= 64 block output operations= 1576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55296 involuntary context switches= 122097 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.6042 second user time and 17.0253 second system time The end
Begin job on node131 at 2017-07-22 00:29:15 IDJOB=4243810 IDBENCH=127072 IDSOLVER=2623 FILE ID=node131/4243810-1500676155 RUNJOBID= node131-1500673853-5504 PBS_JOBID= 20623289 Free space on /tmp= 62016 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-4243810-1500676155/watcher-4243810-1500676155 -o /tmp/evaluation-result-4243810-1500676155/solver-4243810-1500676155 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500673853-5504 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243810-1500676155.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8 RANDOM SEED=1529529382 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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 : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31663108 kB MemAvailable: 31666132 kB Buffers: 39124 kB Cached: 275672 kB SwapCached: 0 kB Active: 498128 kB Inactive: 233544 kB Active(anon): 419556 kB Inactive(anon): 8692 kB Active(file): 78572 kB Inactive(file): 224852 kB Unevictable: 5804 kB Mlocked: 5804 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1504 kB Writeback: 0 kB AnonPages: 564884 kB Mapped: 41712 kB Shmem: 8844 kB Slab: 63388 kB SReclaimable: 30868 kB SUnreclaim: 32520 kB KernelStack: 4896 kB PageTables: 6240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 993528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 493568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62016 MiB End job on node131 at 2017-07-22 01:08:39