Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | SAT (TO) | 656 | 244.894 | 240.23 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml |
| MD5SUM | d88ca393bf757462df4053a6ee529819 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 468 |
| Best CPU time to get the best result obtained on this benchmark | 252.10201 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3305 |
| Number of constraints | 1708 |
| Number of domains | 113 |
| Minimum domain size | 2 |
| Maximum domain size | 113 |
| Distribution of domain sizes | [{"size":2,"count":1654},{"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":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 56 |
| Distribution of variable degrees | [{"degree":0,"count":1540},{"degree":2,"count":1708},{"degree":56,"count":57}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 57 |
| Distribution of constraint arities | [{"arity":2,"count":57},{"arity":3,"count":1597},{"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":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1652 |
| Distribution of constraint types | [{"type":"intension","count":1652},{"type":"sum","count":56}] |
| Optimization problem | YES |
| Type of objective | min SUM |
3.57/1.53 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 3.57/1.53 c This is free software under the dual EPL/GNU LGPL licenses. 3.57/1.53 c See www.sat4j.org for details. 3.57/1.53 c That software uses the Rhino library from the Mozilla project. 3.57/1.53 c version CUSTOM.v20170705 3.57/1.53 c java.runtime.name Java(TM) SE Runtime Environment 3.57/1.53 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 3.57/1.53 c java.vm.version 25.131-b11 3.57/1.53 c java.vm.vendor Oracle Corporation 3.57/1.53 c sun.arch.data.model 64 3.57/1.53 c java.version 1.8.0_131 3.57/1.53 c os.name Linux 3.57/1.53 c os.version 3.10.0-514.16.1.el7.x86_64 3.57/1.53 c os.arch amd64 3.57/1.53 c Free memory 499604488 3.57/1.53 c Max memory 7247757312 3.57/1.53 c Total memory 504889344 3.57/1.53 c Number of processors 4 3.57/1.53 c c --- Begin Solver configuration --- 3.57/1.53 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 3.57/1.53 c Learn all clauses as in MiniSAT 3.57/1.53 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 3.57/1.53 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 3.57/1.53 c No reason simplification 3.57/1.53 c Glucose 2.1 dynamic restart strategy 3.57/1.53 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 3.57/1.53 c timeout=2147483s 3.57/1.53 c DB Simplification allowed=false 3.57/1.53 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 3.57/1.53 c --- End Solver configuration --- 3.57/1.53 c constraints type 3.57/1.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 3530 3.57/1.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3248 3.57/1.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2151552 3.57/1.53 c org.sat4j.minisat.constraints.cnf.UnitClause => 3416 3.57/1.53 c 2161746 constraints processed. 4.50/1.95 o 3728 4.92/2.22 o 1640 5.89/2.93 o 1056 8.49/5.35 o 1012 9.43/5.84 o 968 12.19/8.21 o 808 14.97/10.90 o 792 19.28/15.01 o 728 25.64/21.11 o 676 56.95/52.31 o 656 244.87/240.20 c starts : 364 244.87/240.20 c conflicts : 188176 244.87/240.20 c decisions : 452636 244.87/240.20 c propagations : 693526478 244.87/240.20 c inspects : 1419436022 244.87/240.20 c shortcuts : 0 244.87/240.20 c learnt literals : 2 244.87/240.20 c learnt binary clauses : 736 244.87/240.20 c learnt ternary clauses : 4824 244.87/240.20 c learnt constraints : 188174 244.87/240.20 c ignored constraints : 0 244.87/240.20 c root simplifications : 0 244.87/240.20 c removed literals (reason simplification) : 0 244.87/240.20 c reason swapping (by a shorter reason) : 0 244.87/240.20 c Calls to reduceDB : 20 244.87/240.20 c Number of update (reduction) of LBD : 63533 244.87/240.20 c Imported unit clauses : 0 244.87/240.20 c number of reductions to clauses (during analyze) : 0 244.87/240.20 c number of learned constraints concerned by reduction : 0 244.87/240.20 c number of learning phase by resolution : 0 244.87/240.20 c number of learning phase by cutting planes : 0 244.87/240.20 c number of rounding to 1 operations : 0 244.87/240.20 c number of easy rounding to 1 operations (no literal elimination needed) : 0 244.87/240.20 c number of reductions of the coefficients by power 2 : 0 244.87/240.20 c number of right shift for reduction by power 2 : 0 244.87/240.20 c number of reductions of the coefficients by GCD over coefficients : 0 244.87/240.20 c speed (assignments/second) : 2906076.6655352884 244.87/240.20 c non guided choices 34225 244.87/240.20 c learnt constraints type 244.87/240.20 s SATISFIABLE 244.87/240.21 v <instantiation type="solution"> 244.87/240.21 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] </list> 244.87/240.21 v <values> -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 7 2 -3 0 -1 4 -1 2 -7 2 -3 2 3 -2 -1 0 -3 -2 -1 10 1 0 3 0 7 -2 3 -2 3 2 9 2 1 0 -5 -2 -1 0 -3 2 -1 -2 -1 0 7 4 7 2 1 2 1 4 3 2 1 0 49 4 9 0 1 16 1 4 49 4 9 4 9 4 1 0 9 4 1 100 1 0 9 0 49 4 9 4 9 4 81 4 1 0 25 4 1 0 9 4 1 4 1 0 49 16 49 4 1 4 1 16 9 4 1 </values> 244.87/240.21 v </instantiation> 244.87/240.21
OK 656
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-4258066-1501650299/watcher-4258066-1501650299 -o /tmp/evaluation-result-4258066-1501650299/solver-4258066-1501650299 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258066-1501650299.xml pid=6333 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.22 2.12 2.33 2/196 6336 /proc/meminfo: memFree=31547216/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6336/stat : 6336 (runsolver) D 6333 6336 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13653011 24240128 106 18446744073709551615 4194304 4338465 140736182348368 140736182346008 140445881565911 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17006592 140736182354055 140736182354502 140736182354502 140736182357962 0 /proc/6336/statm: 5918 106 53 36 0 2156 0 [startup+0.110248 s] /proc/loadavg: 2.22 2.12 2.33 2/196 6336 /proc/meminfo: memFree=31547216/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=9953008 CPUtime=0.01 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 3586 0 0 0 0 1 0 0 20 0 7 0 13653011 10191880192 4756 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2488252 4756 1941 1 0 2477757 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9953008 [startup+0.200333 s] /proc/loadavg: 2.22 2.12 2.33 2/196 6336 /proc/meminfo: memFree=31547216/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=10484492 CPUtime=0.05 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 4628 0 0 0 4 1 0 0 20 0 14 0 13653011 10736119808 5674 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2621123 5674 2571 1 0 2610628 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10484492 [startup+0.30032 s] /proc/loadavg: 2.22 2.12 2.33 2/196 6336 /proc/meminfo: memFree=31547216/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=10551156 CPUtime=0.17 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 7962 0 0 0 14 3 0 0 20 0 15 0 13653011 10804383744 7700 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2637789 7700 2836 1 0 2627269 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 10551156 [startup+0.704126 s] /proc/loadavg: 2.22 2.12 2.33 2/196 6336 /proc/meminfo: memFree=31547216/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=10551232 CPUtime=1.33 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 13548 0 0 0 126 7 0 0 20 0 15 0 13653011 10804461568 33183 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2637808 33183 3052 1 0 2627269 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 10551232 [startup+1.50065 s] /proc/loadavg: 2.22 2.12 2.33 5/211 6351 /proc/meminfo: memFree=31359516/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=10551232 CPUtime=3.57 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 15670 0 0 0 337 20 0 0 20 0 15 0 13653011 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2637808 88661 3091 1 0 2627269 0 [pid=6336/tid=6338] ppid=6333 vsize=10551232 CPUtime=1.2 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 7575 0 0 0 114 6 0 0 20 0 15 0 13653020 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887682204176 139887308027051 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10551232 CPUtime=0.1 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 125 0 0 0 7 3 0 0 20 0 15 0 13653021 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10551232 CPUtime=0.08 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 73 0 0 0 6 2 0 0 20 0 15 0 13653021 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10551232 CPUtime=0.1 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 131 0 0 0 7 3 0 0 20 0 15 0 13653021 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10551232 CPUtime=0.09 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 15 0 13653021 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 13653022 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13653023 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13653023 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13653025 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10551232 CPUtime=0.78 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 2260 0 0 0 78 0 0 0 20 0 15 0 13653025 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10551232 CPUtime=0.71 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 1625 0 0 0 71 0 0 0 20 0 15 0 13653025 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10551232 CPUtime=0.43 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 2307 0 0 0 43 0 0 0 20 0 15 0 13653025 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13653025 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10551232 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13653034 10804461568 88661 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 3.57 Current children cumulated vsize (KiB) 10551232 [startup+3.10073 s] /proc/loadavg: 2.20 2.11 2.33 3/212 6352 /proc/meminfo: memFree=31179984/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=10617796 CPUtime=6.23 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 19638 0 0 0 601 22 0 0 20 0 16 0 13653011 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2654449 96779 3098 1 0 2643910 0 [pid=6336/tid=6338] ppid=6333 vsize=10617796 CPUtime=2.81 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 8645 0 0 0 274 7 0 0 20 0 16 0 13653020 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887682208160 139887308900021 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10617796 CPUtime=0.1 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 125 0 0 0 7 3 0 0 20 0 16 0 13653021 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10617796 CPUtime=0.08 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 73 0 0 0 6 2 0 0 20 0 16 0 13653021 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10617796 CPUtime=0.1 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 131 0 0 0 7 3 0 0 20 0 16 0 13653021 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10617796 CPUtime=0.09 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 134 0 0 0 6 3 0 0 20 0 16 0 13653021 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 13653022 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10617796 CPUtime=1.26 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 3262 0 0 0 126 0 0 0 20 0 16 0 13653025 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10617796 CPUtime=1.2 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 2799 0 0 0 120 0 0 0 20 0 16 0 13653025 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10617796 CPUtime=0.52 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 2954 0 0 0 51 1 0 0 20 0 16 0 13653025 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 13653034 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6352] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6352/stat : 6352 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13653167 10872623104 96779 18446744073709551615 4194304 4196468 140737270323136 139887232570288 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 10617796 [startup+6.30075 s] /proc/loadavg: 2.20 2.11 2.33 3/212 6352 /proc/meminfo: memFree=31162608/32770624 swapFree=0/230024 [pid=6336] ppid=6333 vsize=10617796 CPUtime=10.12 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 22832 0 0 0 972 40 0 0 20 0 16 0 13653011 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2654449 133836 3100 1 0 2643910 0 [pid=6336/tid=6338] ppid=6333 vsize=10617796 CPUtime=5.82 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 8666 0 0 0 575 7 0 0 20 0 16 0 13653020 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887682204808 139887308624683 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 242 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 189 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 255 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 743 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 16 0 13653022 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10617796 CPUtime=1.37 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 4405 0 0 0 137 0 0 0 20 0 16 0 13653025 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10617796 CPUtime=1.24 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 3037 0 0 0 124 0 0 0 20 0 16 0 13653025 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10617796 CPUtime=0.53 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 3154 0 0 0 52 1 0 0 20 0 16 0 13653025 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 16 0 13653034 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6352] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6352/stat : 6352 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13653167 10872623104 133836 18446744073709551615 4194304 4196468 140737270323136 139887232570288 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 10.12 Current children cumulated vsize (KiB) 10617796 [startup+12.7007 s] /proc/loadavg: 2.18 2.11 2.33 3/212 6352 /proc/meminfo: memFree=31013692/32770624 swapFree=0/230068 [pid=6336] ppid=6333 vsize=10617796 CPUtime=16.87 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 24927 0 0 0 1647 40 0 0 20 0 16 0 13653011 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2654449 133967 3112 1 0 2643910 0 [pid=6336/tid=6338] ppid=6333 vsize=10617796 CPUtime=12.22 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 9459 0 0 0 1215 7 0 0 20 0 16 0 13653020 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887682204192 139887308447488 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 242 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 189 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 255 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 743 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 594 0 0 0 0 0 0 0 20 0 16 0 13653022 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133967 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 ################ # More data... # ################ [startup+162.301 s] /proc/loadavg: 2.08 2.10 2.29 3/212 6357 /proc/meminfo: memFree=30823696/32770624 swapFree=0/230176 [pid=6336] ppid=6333 vsize=10617796 CPUtime=167.09 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 39369 0 0 0 16663 46 0 0 20 0 16 0 13653011 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2654449 133961 3112 1 0 2643910 0 [pid=6336/tid=6338] ppid=6333 vsize=10617796 CPUtime=161.82 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 12573 0 0 0 16174 8 0 0 20 0 16 0 13653020 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887682206744 139887308641810 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 242 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 189 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 255 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 743 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 737 0 0 0 0 0 0 0 20 0 16 0 13653022 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10617796 CPUtime=1.52 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 7516 0 0 0 151 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10617796 CPUtime=1.95 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 10597 0 0 0 194 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10617796 CPUtime=0.55 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 4492 0 0 0 54 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10617796 CPUtime=0.09 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 617 0 0 0 4 5 0 0 20 0 16 0 13653034 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6352] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6352/stat : 6352 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13653167 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887232570288 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 167.09 Current children cumulated vsize (KiB) 10617796 [startup+222.307 s] /proc/loadavg: 2.49 2.18 2.31 6/211 6437 /proc/meminfo: memFree=27003388/32770624 swapFree=0/230260 [pid=6336] ppid=6333 vsize=10617796 CPUtime=227.13 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 39891 0 0 0 22666 47 0 0 20 0 16 0 13653011 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2654449 133961 3112 1 0 2643910 0 [pid=6336/tid=6338] ppid=6333 vsize=10617796 CPUtime=221.83 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 13030 0 0 0 22175 8 0 0 20 0 16 0 13653020 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887682206744 139887308624537 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 242 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 189 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 255 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 743 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 746 0 0 0 0 0 0 0 20 0 16 0 13653022 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10617796 CPUtime=1.52 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 7526 0 0 0 151 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10617796 CPUtime=1.95 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 10603 0 0 0 194 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10617796 CPUtime=0.55 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 4495 0 0 0 54 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10617796 CPUtime=0.12 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 654 0 0 0 5 7 0 0 20 0 16 0 13653034 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6352] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6352/stat : 6352 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13653167 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887232570288 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 227.13 Current children cumulated vsize (KiB) 10617796 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.78 2.26 2.33 3/211 6437 /proc/meminfo: memFree=23837860/32770624 swapFree=0/230268 [pid=6336] ppid=6333 vsize=10617796 CPUtime=244.84 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 39918 0 0 0 24436 48 0 0 20 0 16 0 13653011 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2654449 133961 3112 1 0 2643910 0 [pid=6336/tid=6338] ppid=6333 vsize=10617796 CPUtime=239.52 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) R 6333 6336 5091 0 -1 4202560 13057 0 0 0 23944 8 0 0 20 0 16 0 13653020 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887682206744 139887308900021 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 242 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 189 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 255 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10617796 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 743 0 0 0 20 7 0 0 20 0 16 0 13653021 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 746 0 0 0 0 0 0 0 20 0 16 0 13653022 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 13653023 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10617796 CPUtime=1.52 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 7526 0 0 0 151 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10617796 CPUtime=1.95 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 10603 0 0 0 194 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10617796 CPUtime=0.55 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 4495 0 0 0 54 1 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13653025 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10617796 CPUtime=0.13 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 654 0 0 0 6 7 0 0 20 0 16 0 13653034 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6352] ppid=6333 vsize=10617796 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6352/stat : 6352 (java) S 6333 6336 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13653167 10872623104 133961 18446744073709551615 4194304 4196468 140737270323136 139887232570288 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 244.84 Current children cumulated vsize (KiB) 10617796 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6336 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.201 s] /proc/loadavg: 2.78 2.26 2.33 3/211 6437 /proc/meminfo: memFree=23837860/32770624 swapFree=0/230268 [pid=6336] ppid=6333 vsize=10817488 CPUtime=244.87 cores=1,3,5,7 /proc/6336/stat : 6336 (java) S 6333 6336 5091 0 -1 1077944320 41128 0 0 0 24439 48 0 0 20 0 17 0 13653011 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 140737270305680 139887677968119 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 /proc/6336/statm: 2704372 134055 3117 1 0 2693833 0 [pid=6336/tid=6338] ppid=6333 vsize=10817488 CPUtime=239.55 cores=1,3,5,7 /proc/6336/task/6338/stat : 6338 (java) S 6333 6336 5091 0 -1 1077944384 13304 0 0 0 23947 8 0 0 20 0 17 0 13653020 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887682210992 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6339] ppid=6333 vsize=10817488 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6339/stat : 6339 (java) S 6333 6336 5091 0 -1 1077944384 242 0 0 0 20 7 0 0 20 0 17 0 13653021 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887624318096 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6340] ppid=6333 vsize=10817488 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6340/stat : 6340 (java) S 6333 6336 5091 0 -1 1077944384 189 0 0 0 20 7 0 0 20 0 17 0 13653021 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887623265296 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6341] ppid=6333 vsize=10817488 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6341/stat : 6341 (java) S 6333 6336 5091 0 -1 1077944384 255 0 0 0 20 7 0 0 20 0 17 0 13653021 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887286999952 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6342] ppid=6333 vsize=10817488 CPUtime=0.27 cores=1,3,5,7 /proc/6336/task/6342/stat : 6342 (java) S 6333 6336 5091 0 -1 1077944384 743 0 0 0 20 7 0 0 20 0 17 0 13653021 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887285947152 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6343] ppid=6333 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6343/stat : 6343 (java) S 6333 6336 5091 0 -1 1077944384 746 0 0 0 0 0 0 0 20 0 17 0 13653022 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887242045808 139887677979266 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6344] ppid=6333 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6344/stat : 6344 (java) S 6333 6336 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 13653023 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887240991840 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6345] ppid=6333 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6345/stat : 6345 (java) S 6333 6336 5091 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 13653023 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887239938944 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6346] ppid=6333 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6346/stat : 6346 (java) S 6333 6336 5091 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 17 0 13653025 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887238887248 139887677986715 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6347] ppid=6333 vsize=10817488 CPUtime=1.52 cores=1,3,5,7 /proc/6336/task/6347/stat : 6347 (java) S 6333 6336 5091 0 -1 1077944384 7598 0 0 0 151 1 0 0 20 0 17 0 13653025 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887237835632 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6348] ppid=6333 vsize=10817488 CPUtime=1.95 cores=1,3,5,7 /proc/6336/task/6348/stat : 6348 (java) S 6333 6336 5091 0 -1 1077944384 10696 0 0 0 194 1 0 0 20 0 17 0 13653025 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887236782832 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6349] ppid=6333 vsize=10817488 CPUtime=0.55 cores=1,3,5,7 /proc/6336/task/6349/stat : 6349 (java) S 6333 6336 5091 0 -1 1077944384 4660 0 0 0 54 1 0 0 20 0 17 0 13653025 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887235730032 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6350] ppid=6333 vsize=10817488 CPUtime=0 cores=1,3,5,7 /proc/6336/task/6350/stat : 6350 (java) S 6333 6336 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 13653025 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887234677472 139887677978325 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 [pid=6336/tid=6351] ppid=6333 vsize=10817488 CPUtime=0.13 cores=1,3,5,7 /proc/6336/task/6351/stat : 6351 (java) S 6333 6336 5091 0 -1 1077944384 654 0 0 0 6 7 0 0 20 0 17 0 13653034 11077107712 134055 18446744073709551615 4194304 4196468 140737270323136 139887233624752 139887677979266 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6533120 140737270329778 140737270329931 140737270329931 140737270333391 0 Current children cumulated CPU time (s) 244.87 Current children cumulated vsize (KiB) 10817488 Child status: 143 Real time (s): 240.23 CPU time (s): 244.894 CPU user time (s): 244.406 CPU system time (s): 0.487206 CPU usage (%): 101.941 Max. virtual memory (cumulated for all children) (KiB): 10817488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 244.406 system time used= 0.487206 maximum resident set size= 539704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42202 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7396 involuntary context switches= 95 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.27406 second user time and 1.39135 second system time The end
Begin job on node129 at 2017-08-02 06:50:59 IDJOB=4258066 IDBENCH=127059 IDSOLVER=2643 FILE ID=node129/4258066-1501650299 RUNJOBID= node129-1501642919-31105 PBS_JOBID= Free space on /tmp= 61772 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-057.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258066-1501650299/watcher-4258066-1501650299 -o /tmp/evaluation-result-4258066-1501650299/solver-4258066-1501650299 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501642919-31105 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258066-1501650299.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d88ca393bf757462df4053a6ee529819 RANDOM SEED=2004275305 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31546956 kB MemAvailable: 31703660 kB Buffers: 121096 kB Cached: 316820 kB SwapCached: 0 kB Active: 580284 kB Inactive: 238556 kB Active(anon): 381256 kB Inactive(anon): 8532 kB Active(file): 199028 kB Inactive(file): 230024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1620 kB Writeback: 0 kB AnonPages: 392584 kB Mapped: 42388 kB Shmem: 8872 kB Slab: 112036 kB SReclaimable: 86972 kB SUnreclaim: 25064 kB KernelStack: 3840 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1260604 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 294912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61772 MiB End job on node129 at 2017-08-02 06:55:00