Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 414 | 20114.1 | 2520.02 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
MD5SUM | 7b052d900118d6d219a2e5f61835436e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 294 |
Best CPU time to get the best result obtained on this benchmark | 2520.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2861 |
Number of constraints | 1482 |
Number of domains | 105 |
Minimum domain size | 2 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":2,"count":1432},{"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":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 52 |
Distribution of variable degrees | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 53 |
Distribution of constraint arities | [{"arity":2,"count":53},{"arity":3,"count":1379},{"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":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1430 |
Distribution of constraint types | [{"type":"intension","count":1430},{"type":"sum","count":52}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -model -nbcores=8 HOME/instance-4409728-1569825839.xml 0.00/0.06 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.13 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.21 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.20/0.29 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.41 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.51/0.58 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension -> extension : same as previous 0.60/0.67 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 105tuples 0.60/0.67 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 103tuples 0.60/0.67 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 101tuples 0.60/0.68 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 99tuples 0.60/0.68 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 97tuples 0.60/0.68 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 95tuples 0.60/0.69 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 93tuples 0.60/0.69 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 91tuples 0.60/0.69 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 89tuples 0.60/0.70 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 87tuples 0.69/0.70 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 85tuples 0.69/0.70 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 83tuples 0.69/0.70 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 81tuples 0.69/0.71 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 79tuples 0.69/0.71 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 77tuples 0.69/0.71 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 75tuples 0.69/0.71 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 73tuples 0.69/0.72 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 71tuples 0.69/0.72 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 69tuples 0.69/0.72 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 67tuples 0.69/0.72 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 65tuples 0.69/0.72 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 63tuples 0.69/0.72 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 61tuples 0.69/0.73 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 59tuples 0.69/0.73 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 57tuples 0.69/0.73 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 55tuples 0.69/0.73 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 53tuples 0.69/0.73 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 51tuples 0.69/0.73 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 49tuples 0.69/0.73 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 47tuples 0.69/0.73 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 45tuples 0.69/0.74 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 43tuples 0.69/0.74 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 41tuples 0.69/0.74 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 39tuples 0.69/0.74 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 37tuples 0.69/0.74 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 35tuples 0.69/0.74 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 33tuples 0.69/0.74 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 31tuples 0.69/0.74 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 29tuples 0.69/0.74 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 27tuples 0.69/0.74 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 25tuples 0.69/0.74 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 23tuples 0.69/0.74 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 21tuples 0.69/0.74 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 19tuples 0.69/0.74 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 17tuples 0.69/0.74 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 15tuples 0.69/0.74 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 13tuples 0.69/0.75 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 11tuples 0.69/0.75 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 9tuples 0.69/0.75 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 7tuples 0.69/0.75 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 5tuples 0.69/0.75 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 3tuples 1.65/0.94 c enable optimization 1.65/0.94 c ========================================[ Problem Statistics ]=========================================== 1.65/0.94 c | 1.65/0.94 c | Parse time : 0.71 s 1.65/0.94 c | 1.65/0.94 c | Variables: 2861 1.65/0.94 c | Domain Sizes: 2..105 1.65/0.94 c | 1.65/0.94 c | Constraints: 1483 1.65/0.94 c | Arity: 2..53 -- Binary: 53 -- Ternary: 1379 1.65/0.94 c | 1.65/0.94 c | Types: 1.65/0.94 c | Extension: 1430 (nb tuples: 3..105) -- (shared: 11016) 1.65/0.94 c | Sum: 53 1.65/0.94 c | 1.65/0.94 c | Objective: Minimize Sum 1.65/0.94 1.65/0.94 c ========================================================================================================= 1.65/0.94 c Parallel mode: Portfolio 1.65/0.94 c [pFactory][Group N°0] created (threads:8). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1.65/0.94 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1.65/0.94 c [pFactory][Group N°0] concurrent mode: enabled. 1.65/0.94 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1.65/0.94 c [pFactory][Group N°0] task 7 launched on thread 0. 1.65/0.94 c [pFactory][Group N°0] task 6 launched on thread 1. 1.65/0.94 c [pFactory][Group N°0] task 5 launched on thread 5. 1.65/0.94 c [pFactory][Group N°0] task 4 launched on thread 6. 1.65/0.94 c [pFactory][Group N°0] task 3 launched on thread 7. 1.65/0.94 c [pFactory][Group N°0] task 2 launched on thread 2. 1.65/0.94 c [pFactory][Group N°0] task 1 launched on thread 3. 1.65/0.94 c [pFactory][Group N°0] task 0 launched on thread 4. 1.65/0.94 o 48230 1.65/0.95 o 4282 1.65/0.96 o 1378 3.93/1.23 o 1306 5.53/1.49 o 1118 9.53/1.95 o 1022 9.53/1.97 o 930 15.11/2.61 o 830 17.50/2.98 o 814 20.69/3.39 o 750 24.70/3.82 o 686 35.14/5.15 o 662 51.11/7.18 o 634 51.83/7.25 o 622 86.13/11.54 o 578 418.88/53.20 o 570 497.10/63.05 o 558 527.37/66.85 o 538 544.13/68.97 o 518 961.37/121.25 o 414 20113.98/2520.02 20113.98/2520.02 c *** INTERRUPTED *** 20113.98/2520.02 c call to solver : 7 20113.98/2520.02 c 20113.98/2520.02 c restarts : 84618 20113.98/2520.02 c conflicts : 1063391 (53 /sec) 20113.98/2520.02 c decisions : 18632704 (926 /sec) 20113.98/2520.02 c propagations : 1158618106 (57605 /sec) 20113.98/2520.02 c root propagations : 7047 20113.98/2520.02 c filter calls : 1103503800 (54865 /sec) 20113.98/2520.02 c useless filter calls : 607372180 (55 %) 20113.98/2520.02 c Memory used : 770.80 MB 20113.98/2520.02 c Best bound time (wc) : 121.252 s 20113.98/2520.02 c CPU time : 20113.1 s 20113.98/2520.02 c real time : 2520.02 s 20113.98/2520.02 20113.98/2520.02 s SATISFIABLE 20113.98/2520.02 c Best value found: 414 20113.98/2520.02 20113.98/2520.02 20113.98/2520.02 v <instantiation type='solution' cost='414'> 20113.98/2520.02 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 20113.98/2520.02 v <values>-2 0 -1 4 3 -4 3 2 -1 0 1 1 0 3 6 -3 0 5 0 1 4 3 2 2 1 4 -3 2 -1 2 -7 -2 1 1 -6 5 0 5 -2 1 -2 1 0 3 -4 0 -1 -1 0 3 4 1 4 0 1 16 9 16 9 4 1 0 1 1 0 9 36 9 0 25 0 1 16 9 4 4 1 16 9 4 1 4 49 4 1 1 36 25 0 25 4 1 4 1 0 9 16 0 1 1 0 9 16 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 * * * * * * * * -1 * * 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 * * * * * * * * * -1 * * -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 * * * * * * * * * * 1 * * -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 * -1 * * * * * * * * * * 1 * * 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 * * -1 * * * * * * * * * * -1 * * 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 * * * 1 * * * * * * * * * * -1 * * 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 * 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 * * -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 1 -1 1 -1 1 -1 -1 -1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 1 -1 1 1 -1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 1 -1 -1 1 1 -1 1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 * 1 * * 1 1 -1 -1 -1 1 -1 -1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 -1 -1 1 -1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 -1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 1 1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 * * -1 * * -1 1 1 1 -1 -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * 1 * * -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 * * * * 1 * * 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 * * * * * -1 * * -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 * * * * * * 1 * * -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 * * * * * * * 1 * * 1 -1 -1 1 1 </values> 20113.98/2520.02 v </instantiation> 20113.98/2520.02
OK 414
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15432 MiB free) memory of node 1: 16384 MiB (15580 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409728-1569825839/watcher-4409728-1569825839 -o /tmp/evaluation-result-4409728-1569825839/solver-4409728-1569825839 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409728-1569825839.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18394, runsolver pid=18391 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 7.42 8.03 8.00 2/191 18395 /proc/meminfo: memFree=31734328/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=53112 memory=29424 CPUtime=0.09 cores=0-7 /proc/18394/stat : 18394 (cosoco) R 18391 18394 15778 0 -1 4202496 7544 0 0 0 9 0 0 0 20 0 1 0 558852668 54386688 7356 33554432000 4194304 6211132 140731977890736 140731977885480 5215225 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 13278 7356 826 493 0 6583 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 53112 KiB Current children cumulated memory: 29424 KiB [startup+0.209408 s]* /proc/loadavg: 7.42 8.03 8.00 2/191 18395 /proc/meminfo: memFree=31708288/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=79012 memory=55296 CPUtime=0.2 cores=0-7 /proc/18394/stat : 18394 (cosoco) R 18391 18394 15778 0 -1 4202496 14025 0 0 0 19 1 0 0 20 0 1 0 558852668 80908288 13824 33554432000 4194304 6211132 140731977890736 140731977885480 140524166429669 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 19753 13824 826 493 0 13058 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 79012 KiB Current children cumulated memory: 55296 KiB [startup+0.309356 s]* /proc/loadavg: 7.42 8.03 8.00 2/191 18395 /proc/meminfo: memFree=31684852/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=102732 memory=79056 CPUtime=0.31 cores=0-7 /proc/18394/stat : 18394 (cosoco) R 18391 18394 15778 0 -1 4202496 19940 0 0 0 29 2 0 0 20 0 1 0 558852668 105197568 19764 33554432000 4194304 6211132 140731977890736 140731977885480 140524166477728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 25683 19764 826 493 0 18988 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 102732 KiB Current children cumulated memory: 79056 KiB [startup+0.700303 s] /proc/loadavg: 7.42 8.03 8.00 2/191 18395 /proc/meminfo: memFree=31637236/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=188392 memory=164948 CPUtime=0.69 cores=0-7 /proc/18394/stat : 18394 (cosoco) R 18391 18394 15778 0 -1 4202496 41415 0 0 0 64 5 0 0 20 0 1 0 558852668 192913408 41237 33554432000 4194304 6211132 140731977890736 140731977886232 140524166868064 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 47098 41237 857 493 0 40403 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 188392 KiB Current children cumulated memory: 164948 KiB [startup+1.5008 s] /proc/loadavg: 7.31 8.00 7.99 9/199 18403 /proc/meminfo: memFree=31483052/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=287704 CPUtime=6.33 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 72320 0 0 0 613 20 0 0 20 0 9 0 558852668 808235008 71926 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 71926 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=3624 CPUtime=0.69 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 3632 0 0 0 68 1 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524159327504 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=6256 CPUtime=0.68 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 3402 0 0 0 67 1 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524150934480 5149249 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=14012 CPUtime=0.69 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 4027 0 0 0 68 1 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524142541416 5009225 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=2116 CPUtime=0.68 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 3381 0 0 0 67 1 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524134148632 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=6724 CPUtime=0.68 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 3369 0 0 0 67 1 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524125755928 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=14068 CPUtime=0.69 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 3471 0 0 0 67 2 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524117363304 5035216 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=524 CPUtime=0.69 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 3401 0 0 0 67 2 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524108970520 140524166425406 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=1568 CPUtime=0.68 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 3404 0 0 0 67 1 0 0 20 0 9 0 558852745 808235008 71926 33554432000 4194304 6211132 140731977890736 140524100578320 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 6.33 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 287704 KiB [startup+3.1098 s] /proc/loadavg: 7.31 8.00 7.99 9/199 18403 /proc/meminfo: memFree=31468064/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=296400 CPUtime=19.17 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 154320 0 0 0 1886 31 0 0 20 0 9 0 558852668 808235008 74100 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 74100 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=0 CPUtime=2.3 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 14636 0 0 0 226 4 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524159327360 5250490 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=176068 CPUtime=2.29 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 17668 0 0 0 227 2 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524150934800 5396439 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=292924 CPUtime=2.3 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 14242 0 0 0 228 2 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524142541952 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=294416 CPUtime=2.26 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 13770 0 0 0 224 2 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524134149248 5250490 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=280571288748272 CPUtime=2.29 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 11969 0 0 0 226 3 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524125756544 5158025 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=280571288748272 CPUtime=2.29 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 10648 0 0 0 226 3 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524117363728 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=280571288748272 CPUtime=2.3 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 16731 0 0 0 226 4 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524108970680 5392113 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=280571288748272 CPUtime=2.3 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 10422 0 0 0 228 2 0 0 20 0 9 0 558852745 808235008 74100 33554432000 4194304 6211132 140731977890736 140524100577896 5151098 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 19.17 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 296400 KiB [startup+6.3008 s] /proc/loadavg: 7.36 8.00 7.99 9/199 18403 /proc/meminfo: memFree=31463692/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=300936 CPUtime=44.65 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 243345 0 0 0 4425 40 0 0 20 0 9 0 558852668 808235008 75234 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 75234 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=-2605811476043407915 CPUtime=5.49 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 24751 0 0 0 544 5 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524159327360 5035297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=-3255422371651459150 CPUtime=5.48 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 30681 0 0 0 545 3 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524150934800 5035263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=3624 CPUtime=5.49 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 22982 0 0 0 546 3 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524142541416 5193786 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=0 CPUtime=5.41 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 23262 0 0 0 538 3 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524134149248 5397258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=176068 CPUtime=5.48 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 21564 0 0 0 544 4 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524125756544 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=292924 CPUtime=5.48 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 21549 0 0 0 544 4 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524117363112 5389851 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=0 CPUtime=5.49 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 33170 0 0 0 544 5 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524108970600 5380288 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=6935649255759568960 CPUtime=5.48 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 21158 0 0 0 545 3 0 0 20 0 9 0 558852745 808235008 75234 33554432000 4194304 6211132 140731977890736 140524100577896 5035278 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 44.65 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 300936 KiB [startup+12.7008 s] /proc/loadavg: 7.41 8.00 7.99 9/199 18404 /proc/meminfo: memFree=31459744/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=303272 CPUtime=95.71 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 295620 0 0 0 9528 43 0 0 20 0 9 0 558852668 808235008 75818 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 75818 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=56 CPUtime=11.88 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 29939 0 0 0 1183 5 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524159327360 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=0 CPUtime=11.88 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 39174 0 0 0 1184 4 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524150934800 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=303080 CPUtime=11.88 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 30436 0 0 0 1184 4 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524142541416 5035263 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=303080 CPUtime=11.71 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 28048 0 0 0 1168 3 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524134149248 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=2319670678438031903 CPUtime=11.88 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 26446 0 0 0 1184 4 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524125756544 5009388 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=7012776805355573357 CPUtime=11.88 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 29678 0 0 0 1183 5 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524117363112 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=303148748257886234 CPUtime=11.88 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 38808 0 0 0 1183 5 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524108971280 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=288230596050944315 CPUtime=11.88 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 28856 0 0 0 1185 3 0 0 20 0 9 0 558852745 808235008 75818 33554432000 4194304 6211132 140731977890736 140524100577896 5151090 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 95.71 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 303272 KiB [startup+25.5008 s] /proc/loadavg: 7.58 8.02 7.99 9/200 18406 /proc/meminfo: memFree=31458340/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=303376 CPUtime=197.88 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 366200 0 0 0 19737 51 0 0 20 0 9 0 558852668 808235008 75844 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 75844 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=303376 CPUtime=24.68 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 40804 0 0 0 2461 7 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524159327360 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=303376 CPUtime=24.58 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 48401 0 0 0 2454 4 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524150934800 5148766 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=1536 CPUtime=24.67 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 38408 0 0 0 2462 5 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524142541416 5156256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=0 CPUtime=24.42 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 37045 0 0 0 2438 4 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524134149248 5149706 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=7967875449207223827 CPUtime=24.68 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 35502 0 0 0 2463 5 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524125756544 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=303376 CPUtime=24.67 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 36570 0 0 0 2461 6 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524117363112 5038259 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=2828 CPUtime=24.67 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 49703 0 0 0 2461 6 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524108971280 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=303376 CPUtime=24.67 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 35532 0 0 0 2463 4 0 0 20 0 9 0 558852745 808235008 75844 33554432000 4194304 6211132 140731977890736 140524100577896 5035240 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 197.88 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 303376 KiB ################ # More data... # ################ /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 61567 0 0 0 226089 11 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524142542096 5038686 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=304392 CPUtime=2255.03 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 62500 0 0 0 225494 9 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524134149248 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=304392 CPUtime=2260.86 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 63221 0 0 0 226076 10 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524125756088 5035232 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=304392 CPUtime=2255.93 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 64048 0 0 0 225582 11 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524117363384 5149485 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=304392 CPUtime=2260.39 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 74135 0 0 0 226027 12 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524108970680 5156006 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=56 CPUtime=2256.02 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 62081 0 0 0 225592 10 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524100577896 5250491 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 18056.3 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 304392 KiB [startup+2322.3 s] /proc/loadavg: 8.03 8.19 8.25 9/200 18604 /proc/meminfo: memFree=31459496/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=304392 CPUtime=18535.4 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 578969 0 0 0 1853444 93 0 0 20 0 9 0 558852668 808235008 76098 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 76098 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=304392 CPUtime=2321.02 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 70002 0 0 0 232091 11 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524159327360 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=304392 CPUtime=2304.59 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 76096 0 0 0 230448 11 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524150933928 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=6935054825532540783 CPUtime=2320.99 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 61735 0 0 0 232088 11 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524142542096 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=304392 CPUtime=2314.95 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 62666 0 0 0 231486 9 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524134149248 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=304392 CPUtime=2320.84 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 63409 0 0 0 232074 10 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524125756088 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=304392 CPUtime=2315.92 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 64207 0 0 0 231581 11 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524117363384 5149152 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=304392 CPUtime=2320.38 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 74338 0 0 0 232026 12 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524108970680 5389440 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=304392 CPUtime=2315.86 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 62281 0 0 0 231576 10 0 0 20 0 9 0 558852745 808235008 76098 33554432000 4194304 6211132 140731977890736 140524100577896 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 18535.4 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 304392 KiB [startup+2382.3 s] /proc/loadavg: 8.01 8.16 8.23 9/199 18607 /proc/meminfo: memFree=31459864/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=304436 CPUtime=19014.4 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 580544 0 0 0 1901350 94 0 0 20 0 9 0 558852668 808235008 76109 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 76109 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=304436 CPUtime=2381.02 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 70296 0 0 0 238091 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524159327360 5148910 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=304436 CPUtime=2363.75 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 76312 0 0 0 236364 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524150934120 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=304436 CPUtime=2380.99 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 61851 0 0 0 238088 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524142542096 5389440 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=304436 CPUtime=2374.93 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 62876 0 0 0 237484 9 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524134149248 5038879 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=304436 CPUtime=2380.8 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 63649 0 0 0 238070 10 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524125756088 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=304396 CPUtime=2375.91 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 64381 0 0 0 237580 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524117363384 5397255 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=304436 CPUtime=2380.37 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 74508 0 0 0 238025 12 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524108970680 5149266 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=304436 CPUtime=2375.85 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 62436 0 0 0 237575 10 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524100577896 5149152 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 19014.4 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 304436 KiB [startup+2442.3 s] /proc/loadavg: 8.00 8.13 8.22 9/199 18610 /proc/meminfo: memFree=31459076/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=304436 CPUtime=19493.5 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 582111 0 0 0 1949257 95 0 0 20 0 9 0 558852668 808235008 76109 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 76109 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=304436 CPUtime=2441.01 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 70565 0 0 0 244090 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524159327360 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=304436 CPUtime=2423.33 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 76562 0 0 0 242322 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524150934120 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=304436 CPUtime=2440.99 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 61994 0 0 0 244088 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524142542096 5150156 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=304436 CPUtime=2434.69 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 63046 0 0 0 243460 9 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524134149248 5250482 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=304436 CPUtime=2440.8 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 63777 0 0 0 244070 10 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524125756088 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=304436 CPUtime=2435.89 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 64569 0 0 0 243578 11 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524117363384 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=304436 CPUtime=2440.36 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 74686 0 0 0 244024 12 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524108970680 5039121 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=304436 CPUtime=2435.61 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 62677 0 0 0 243551 10 0 0 20 0 9 0 558852745 808235008 76109 33554432000 4194304 6211132 140731977890736 140524100577896 5149485 0 0 4096 8405026 0 0 0 -1 1 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 19493.5 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 304436 KiB [startup+2502.3 s] /proc/loadavg: 8.08 8.12 8.21 9/200 18615 /proc/meminfo: memFree=31458768/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=304492 CPUtime=19972.6 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 583688 0 0 0 1997163 95 0 0 20 0 9 0 558852668 808235008 76123 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 76123 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=304492 CPUtime=2501.01 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 70835 0 0 0 250090 11 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524159327360 5396791 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=304492 CPUtime=2483.28 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 76816 0 0 0 248316 12 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524150934040 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=304492 CPUtime=2500.99 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 62156 0 0 0 250087 12 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524142542096 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=304492 CPUtime=2494.29 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 63266 0 0 0 249420 9 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524134149248 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=304492 CPUtime=2500.8 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 63946 0 0 0 250070 10 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524125756088 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=304492 CPUtime=2495.58 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 64723 0 0 0 249547 11 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524117363384 5149474 0 0 4096 8405026 0 0 0 -1 3 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=3624 CPUtime=2500.34 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 74810 0 0 0 250022 12 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524108970680 5151045 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=304492 CPUtime=2495.48 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 62901 0 0 0 249538 10 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524100577896 5035216 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 19972.6 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 304492 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.14 8.13 8.22 9/199 18616 /proc/meminfo: memFree=31459624/32770624 swapFree=66959828/67108860 [pid=18394] ppid=18391 vsize=789292 memory=304492 CPUtime=20114 cores=0-7 /proc/18394/stat : 18394 (cosoco) S 18391 18394 15778 0 -1 1077944320 584109 0 0 0 2011302 96 0 0 20 0 9 0 558852668 808235008 76123 33554432000 4194304 6211132 140731977890736 140731977888992 140524182470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 /proc/18394/statm: 197323 76123 893 493 0 190628 0 [pid=18394/tid=18396] ppid=18391 vsize=789292 memory=1804 CPUtime=2518.71 cores=0-7 /proc/18394/task/18396/stat : 18396 (cosoco) R 18391 18394 15778 0 -1 4202560 70838 0 0 0 251860 11 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524159327360 5148937 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18397] ppid=18391 vsize=789292 memory=916 CPUtime=2500.92 cores=0-7 /proc/18394/task/18397/stat : 18397 (cosoco) R 18391 18394 15778 0 -1 4202560 76819 0 0 0 250080 12 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524150934040 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18398] ppid=18391 vsize=789292 memory=1398722017469774279 CPUtime=2518.7 cores=0-7 /proc/18394/task/18398/stat : 18398 (cosoco) R 18391 18394 15778 0 -1 4202560 62158 0 0 0 251858 12 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524142542096 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18399] ppid=18391 vsize=789292 memory=1404 CPUtime=2511.99 cores=0-7 /proc/18394/task/18399/stat : 18399 (cosoco) R 18391 18394 15778 0 -1 4202560 63399 0 0 0 251190 9 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524134149248 5158052 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18400] ppid=18391 vsize=789292 memory=2816 CPUtime=2518.51 cores=0-7 /proc/18394/task/18400/stat : 18400 (cosoco) R 18391 18394 15778 0 -1 4202560 63949 0 0 0 251841 10 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524125756088 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18401] ppid=18391 vsize=789292 memory=304492 CPUtime=2513.2 cores=0-7 /proc/18394/task/18401/stat : 18401 (cosoco) R 18391 18394 15778 0 -1 4202560 64834 0 0 0 251309 11 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524117363384 5250316 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18402] ppid=18391 vsize=789292 memory=4100 CPUtime=2518.04 cores=0-7 /proc/18394/task/18402/stat : 18402 (cosoco) R 18391 18394 15778 0 -1 4202560 74813 0 0 0 251792 12 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524108970680 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 [pid=18394/tid=18403] ppid=18391 vsize=789292 memory=1760 CPUtime=2513.07 cores=0-7 /proc/18394/task/18403/stat : 18403 (cosoco) R 18391 18394 15778 0 -1 4202560 63064 0 0 0 251297 10 0 0 20 0 9 0 558852745 808235008 76123 33554432000 4194304 6211132 140731977890736 140524100577896 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 3 0 0 8312316 8317760 38612992 140731977896977 140731977897069 140731977897069 140731977899982 0 Current children cumulated CPU time: 20114 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 304492 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 18394 was just reported to runsolver # cumulated CPU time of all completed processes: user=20113.1 s, system=0.962346 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.02 CPU time (s): 20114.1 CPU user time (s): 20113.1 CPU system time (s): 0.962346 CPU usage (%): 798.17 Max. virtual memory (cumulated for all children) (KiB): 789292 Max. memory (cumulated for all children) (KiB): 304492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20113.1 system time used= 0.962346 maximum resident set size= 304712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 584157 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30960 involuntary context switches= 173856 # summary of solver processes directly reported to runsolver: # pid: 18394 # total CPU time (s): 20114.1 # total CPU user time (s): 20113.1 # total CPU system time (s): 0.962346 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.9215 second user time and 22.4555 second system time The end
Begin job on node127 at 2019-09-30 08:43:18 IDJOB=4409728 IDBENCH=127015 IDSOLVER=2877 FILE ID=node127/4409728-1569825839 RUNJOBID= node127-1569817234-15805 PBS_JOBID= 21705916 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-053.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409728-1569825839/watcher-4409728-1569825839 -o /tmp/evaluation-result-4409728-1569825839/solver-4409728-1569825839 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409728-1569825839.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=173727185 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31758052 kB MemAvailable: 31816256 kB Buffers: 97792 kB Cached: 288112 kB SwapCached: 45128 kB Active: 269720 kB Inactive: 168424 kB Active(anon): 4444 kB Inactive(anon): 129360 kB Active(file): 265276 kB Inactive(file): 39064 kB Unevictable: 107512 kB Mlocked: 107512 kB SwapTotal: 67108860 kB SwapFree: 66959828 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 116488 kB Mapped: 26180 kB Shmem: 73072 kB Slab: 168144 kB SReclaimable: 139400 kB SUnreclaim: 28744 kB KernelStack: 3392 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2019-09-30 09:25:18