Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | SAT (TO) | 446 | 2006.11 | 252.036 |
| 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 | 318 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| 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-4410028-1569829178.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.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/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.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.31/0.41 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.45 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.41/0.49 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 c intension -> extension : same as previous 0.60/0.66 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.67 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.68 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.69 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 87tuples 0.68/0.70 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 85tuples 0.68/0.70 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 83tuples 0.68/0.70 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 81tuples 0.68/0.70 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 79tuples 0.68/0.71 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 77tuples 0.68/0.71 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 75tuples 0.68/0.71 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 73tuples 0.68/0.71 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 71tuples 0.68/0.71 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 69tuples 0.68/0.72 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 67tuples 0.68/0.72 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 65tuples 0.68/0.72 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 63tuples 0.68/0.72 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 61tuples 0.68/0.72 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 59tuples 0.68/0.72 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 57tuples 0.68/0.73 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 55tuples 0.68/0.73 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 53tuples 0.68/0.73 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 51tuples 0.68/0.73 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 49tuples 0.68/0.73 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 47tuples 0.68/0.73 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 45tuples 0.68/0.73 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 43tuples 0.68/0.73 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 41tuples 0.68/0.73 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 39tuples 0.68/0.74 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 37tuples 0.68/0.74 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 35tuples 0.68/0.74 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 33tuples 0.68/0.74 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 31tuples 0.68/0.74 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 29tuples 0.68/0.74 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 27tuples 0.68/0.74 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 25tuples 0.68/0.74 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 23tuples 0.68/0.74 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 21tuples 0.68/0.74 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 19tuples 0.68/0.74 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 17tuples 0.68/0.74 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 15tuples 0.68/0.74 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 13tuples 0.68/0.74 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 11tuples 0.68/0.74 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 9tuples 0.68/0.74 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 7tuples 0.68/0.74 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 5tuples 0.68/0.74 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 3tuples 1.64/0.95 c enable optimization 1.64/0.95 c ========================================[ Problem Statistics ]=========================================== 1.64/0.95 c | 1.64/0.95 c | Parse time : 0.70 s 1.64/0.95 c | 1.64/0.95 c | Variables: 2861 1.64/0.95 c | Domain Sizes: 2..105 1.64/0.95 c | 1.64/0.95 c | Constraints: 1483 1.64/0.95 c | Arity: 2..53 -- Binary: 53 -- Ternary: 1379 1.64/0.95 c | 1.64/0.95 c | Types: 1.64/0.95 c | Extension: 1430 (nb tuples: 3..105) -- (shared: 11016) 1.64/0.95 c | Sum: 53 1.64/0.95 c | 1.64/0.95 c | Objective: Minimize Sum 1.64/0.95 1.64/0.95 c ========================================================================================================= 1.64/0.95 c Parallel mode: Portfolio 1.64/0.95 c [pFactory][Group N°0] created (threads:8). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1.64/0.95 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1.64/0.95 c [pFactory][Group N°0] concurrent mode: enabled. 1.64/0.95 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1.64/0.95 c [pFactory][Group N°0] task 7 launched on thread 6. 1.64/0.95 c [pFactory][Group N°0] task 6 launched on thread 0. 1.64/0.95 c [pFactory][Group N°0] task 5 launched on thread 2. 1.64/0.95 c [pFactory][Group N°0] task 4 launched on thread 1. 1.64/0.95 c [pFactory][Group N°0] task 3 launched on thread 7. 1.64/0.95 c [pFactory][Group N°0] task 2 launched on thread 5. 1.64/0.95 c [pFactory][Group N°0] task 1 launched on thread 3. 1.64/0.95 c [pFactory][Group N°0] task 0 launched on thread 4. 1.64/0.95 o 23426 1.64/0.96 o 4282 1.64/0.96 o 1378 3.92/1.23 o 1306 5.52/1.48 o 1118 9.52/1.96 o 930 15.90/2.75 o 890 23.88/3.78 o 646 47.04/6.60 o 586 102.14/13.56 o 570 110.92/14.68 o 554 389.55/49.51 o 538 585.92/74.16 o 518 897.82/113.25 o 462 1558.83/196.10 o 458 1716.04/215.75 o 446 2005.93/252.03 2005.93/252.03 c *** INTERRUPTED *** 2005.93/252.03 c call to solver : 11 2005.93/252.03 c 2005.93/252.03 c restarts : 11759 2005.93/252.03 c conflicts : 37953 (19 /sec) 2005.93/252.03 c decisions : 1582138 (789 /sec) 2005.93/252.03 c propagations : 58521853 (29183 /sec) 2005.93/252.03 c root propagations : 7047 2005.93/252.03 c filter calls : 83614729 (41697 /sec) 2005.93/252.03 c useless filter calls : 57856357 (69 %) 2005.93/252.03 c Memory used : 770.80 MB 2005.93/252.03 c Best bound time (wc) : 215.752 s 2005.93/252.03 c CPU time : 2005.31 s 2005.93/252.03 c real time : 252.025 s 2005.93/252.03 2005.93/252.03 s SATISFIABLE 2005.93/252.03 c Best value found: 446 2005.93/252.03 2005.93/252.03 2005.93/252.03 v <instantiation type='solution' cost='446'> 2005.93/252.03 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> 2005.93/252.03 v <values>-4 4 5 -6 -1 0 1 -2 -3 0 1 -1 2 -3 0 -1 4 3 -2 -3 -2 5 -2 8 -5 -4 -3 0 -5 0 1 -2 -1 -3 0 5 -2 1 -2 1 -4 -1 0 3 2 2 1 1 -4 3 0 -1 16 16 25 36 1 0 1 4 9 0 1 1 4 9 0 1 16 9 4 9 4 25 4 64 25 16 9 0 25 0 1 4 1 9 0 25 4 1 4 1 16 1 0 9 4 4 1 1 16 9 0 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 * * * * * * * * -1 * * -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * 1 * * 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 * * * * * * * * * * -1 * * 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 * 1 * * * * * * * * * * -1 * * -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 * * * -1 * * * * * * * * * * 1 * * -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 * * * * * -1 * * * * * * * * * * 1 * * 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 * * * * * * -1 * * * * * * * * * * -1 * * 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 * 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 * * -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 -1 1 -1 1 -1 1 -1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 1 1 -1 1 1 1 1 -1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 -1 -1 -1 -1 -1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 * 1 * * -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 1 1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 -1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 * * 1 * * 1 1 -1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 * * * -1 * * -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 * * * * 1 * * -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 * * * * * 1 * * 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 * * * * * * -1 * * -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 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> 2005.93/252.03 v </instantiation> 2005.93/252.03
OK 446
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 (15373 MiB free)
memory of node 1: 16384 MiB (15780 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410028-1569829178/watcher-4410028-1569829178 -o /tmp/evaluation-result-4410028-1569829178/solver-4410028-1569829178 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569817680-13343 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410028-1569829178.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15279, runsolver pid=15276
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 8.02 7.29 7.07 2/191 15280
/proc/meminfo: memFree=31877636/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=53112 memory=29428 CPUtime=0.1 cores=0-7
/proc/15279/stat : 15279 (cosoco) R 15276 15279 13316 0 -1 4202496 7545 0 0 0 9 1 0 0 20 0 1 0 559182527 54386688 7357 33554432000 4194304 6211132 140721081867584 140721081864120 139824293754784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 13278 7357 826 493 0 6583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53112 KiB
Current children cumulated memory: 29428 KiB
[startup+0.209252 s]*
/proc/loadavg: 8.02 7.29 7.07 2/191 15280
/proc/meminfo: memFree=31851596/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=79152 memory=55564 CPUtime=0.21 cores=0-7
/proc/15279/stat : 15279 (cosoco) R 15276 15279 13316 0 -1 4202496 14063 0 0 0 19 2 0 0 20 0 1 0 559182527 81051648 13891 33554432000 4194304 6211132 140721081867584 140721081864120 139824293754784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 19788 13891 826 493 0 13093 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79152 KiB
Current children cumulated memory: 55564 KiB
[startup+0.309356 s]*
/proc/loadavg: 8.02 7.29 7.07 2/191 15280
/proc/meminfo: memFree=31827416/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=103004 memory=79324 CPUtime=0.31 cores=0-7
/proc/15279/stat : 15279 (cosoco) R 15276 15279 13316 0 -1 4202496 20018 0 0 0 28 3 0 0 20 0 1 0 559182527 105476096 19831 33554432000 4194304 6211132 140721081867584 140721081864120 139824293754784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 25751 19831 826 493 0 19056 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 103004 KiB
Current children cumulated memory: 79324 KiB
[startup+0.700372 s]
/proc/loadavg: 8.02 7.29 7.07 2/191 15280
/proc/meminfo: memFree=31780996/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=188552 memory=164952 CPUtime=0.68 cores=0-7
/proc/15279/stat : 15279 (cosoco) R 15276 15279 13316 0 -1 4202496 41434 0 0 0 63 5 0 0 20 0 1 0 559182527 193077248 41238 33554432000 4194304 6211132 140721081867584 140721081862328 5452263 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 47138 41238 857 493 0 40443 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188552 KiB
Current children cumulated memory: 164952 KiB
[startup+1.50139 s]
/proc/loadavg: 8.02 7.29 7.07 9/199 15288
/proc/meminfo: memFree=31625908/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=789292 memory=284808 CPUtime=6.32 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 71698 0 0 0 611 21 0 0 20 0 9 0 559182527 808235008 71202 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 71202 892 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=3576 CPUtime=0.69 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 3422 0 0 0 68 1 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824286604320 5035320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=140043284027007 CPUtime=0.68 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 3413 0 0 0 67 1 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824278211096 5035320 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=7739276948478127209 CPUtime=0.69 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 3421 0 0 0 67 2 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824269819008 5035286 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=8104553123159684401 CPUtime=0.68 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 3388 0 0 0 67 1 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824261425688 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=0 CPUtime=0.69 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 3366 0 0 0 67 2 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824253033488 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=29636 CPUtime=0.68 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 3416 0 0 0 66 2 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824244640168 5035216 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=0 CPUtime=0.69 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 3632 0 0 0 68 1 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824236248336 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=0 CPUtime=0.68 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 3404 0 0 0 67 1 0 0 20 0 9 0 559182604 808235008 71202 33554432000 4194304 6211132 140721081867584 139824227855376 5035232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 284808 KiB
[startup+3.11039 s]
/proc/loadavg: 8.02 7.30 7.07 9/199 15288
/proc/meminfo: memFree=31614004/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=789292 memory=293576 CPUtime=19.16 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 155449 0 0 0 1881 35 0 0 20 0 9 0 559182527 808235008 73394 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 73394 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=284808 CPUtime=2.3 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 15228 0 0 0 226 4 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824286603880 5009393 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=2110389492403988 CPUtime=2.3 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 16935 0 0 0 227 3 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824278211256 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=56 CPUtime=2.29 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 11255 0 0 0 226 3 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824269818392 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=56 CPUtime=2.29 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 14333 0 0 0 227 2 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824261426304 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=280077770162416 CPUtime=2.29 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 12711 0 0 0 225 4 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824253033600 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=280077770162416 CPUtime=2.25 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 15138 0 0 0 223 2 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824244641040 5035312 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=280077770162416 CPUtime=2.3 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 15316 0 0 0 225 5 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824236248336 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=176072 CPUtime=2.3 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 10297 0 0 0 228 2 0 0 20 0 9 0 559182604 808235008 73394 33554432000 4194304 6211132 140721081867584 139824227855488 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 19.16 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 293576 KiB
[startup+6.30139 s]
/proc/loadavg: 8.02 7.30 7.07 9/199 15288
/proc/meminfo: memFree=31609340/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=789292 memory=298176 CPUtime=44.64 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 209239 0 0 0 4422 42 0 0 20 0 9 0 559182527 808235008 74544 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 74544 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=4311 CPUtime=5.48 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 21473 0 0 0 544 4 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824286603880 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=140038885162096 CPUtime=5.48 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 26921 0 0 0 544 4 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824278211176 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=56 CPUtime=5.49 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 18385 0 0 0 544 5 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824269819152 5148719 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=0 CPUtime=5.49 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 19746 0 0 0 546 3 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824261426304 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=0 CPUtime=5.49 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 17301 0 0 0 544 5 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824253033600 5392113 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=295928 CPUtime=5.41 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 20228 0 0 0 538 3 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824244640360 5396436 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=0 CPUtime=5.49 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 22019 0 0 0 542 7 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824236247736 5409471 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=0 CPUtime=5.48 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 18930 0 0 0 546 2 0 0 20 0 9 0 559182604 808235008 74544 33554432000 4194304 6211132 140721081867584 139824227855488 5035263 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 44.64 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 298176 KiB
[startup+12.7014 s]
/proc/loadavg: 8.01 7.31 7.08 9/199 15288
/proc/meminfo: memFree=31608152/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=789292 memory=298924 CPUtime=95.74 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 295569 0 0 0 9522 52 0 0 20 0 9 0 559182527 808235008 74731 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 74731 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=298924 CPUtime=11.89 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 33214 0 0 0 1183 6 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824286604560 5039650 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=298924 CPUtime=11.88 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 39749 0 0 0 1182 6 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824278211176 5396788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=280077770399296 CPUtime=11.89 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 28593 0 0 0 1183 6 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824269818552 5396788 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=298924 CPUtime=11.89 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 29592 0 0 0 1185 4 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824261426304 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=298924 CPUtime=11.88 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 28696 0 0 0 1181 7 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824253033600 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=4872558044660077418 CPUtime=11.72 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 29651 0 0 0 1168 4 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824244640360 5151152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=0 CPUtime=11.89 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 34143 0 0 0 1181 8 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824236247736 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=-2746958450906831424 CPUtime=11.89 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 27695 0 0 0 1186 3 0 0 20 0 9 0 559182604 808235008 74731 33554432000 4194304 6211132 140721081867584 139824227854952 5158038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 95.74 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 298924 KiB
[startup+25.5014 s]
/proc/loadavg: 8.01 7.35 7.09 9/199 15289
/proc/meminfo: memFree=31607876/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=789292 memory=299420 CPUtime=197.96 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 375575 0 0 0 19736 60 0 0 20 0 9 0 559182527 808235008 74855 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 74855 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=6139 CPUtime=24.68 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 48578 0 0 0 2462 6 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824286604560 5035232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=2449 CPUtime=24.68 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 50849 0 0 0 2461 7 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824278211176 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=299420 CPUtime=24.69 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 36051 0 0 0 2462 7 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824269818552 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=299420 CPUtime=24.68 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 38678 0 0 0 2463 5 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824261426304 5250482 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=1560 CPUtime=24.68 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 38773 0 0 0 2460 8 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824253033600 5250325 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=3576 CPUtime=24.33 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 39026 0 0 0 2429 4 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824244640360 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=299420 CPUtime=24.69 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 44843 0 0 0 2460 9 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824236247736 5148730 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=632 CPUtime=24.69 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 34541 0 0 0 2465 4 0 0 20 0 9 0 559182604 808235008 74855 33554432000 4194304 6211132 140721081867584 139824227854952 5035278 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 197.96 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 299420 KiB
[startup+51.1104 s]
/proc/loadavg: 8.01 7.40 7.11 9/199 15291
/proc/meminfo: memFree=31606144/32770624 swapFree=66938924/67108860
[pid=15279] ppid=15276 vsize=789292 memory=300076 CPUtime=402.41 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 417956 0 0 0 40176 65 0 0 20 0 9 0 559182527 808235008 75019 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 75019 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=299420 CPUtime=50.28 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 54438 0 0 0 5021 7 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824286604560 5009263 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=0 CPUtime=50.28 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 56353 0 0 0 5021 7 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824278211176 5038700 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=0 CPUtime=50.29 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 41298 0 0 0 5021 8 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824269818552 5035320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=299420 CPUtime=50.29 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 43874 0 0 0 5023 6 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824261426304 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=299420 CPUtime=50.28 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 43450 0 0 0 5020 8 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824253033600 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=299420 CPUtime=49.57 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 45593 0 0 0 4952 5 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824244641040 5250273 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=0 CPUtime=50.29 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 50677 0 0 0 5019 10 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824236247736 5035320 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=3576 CPUtime=50.29 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 38037 0 0 0 5025 4 0 0 20 0 9 0 559182604 808235008 75019 33554432000 4194304 6211132 140721081867584 139824227854952 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 402.41 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 300076 KiB
[startup+102.301 s]
/proc/loadavg: 8.19 7.54 7.18 9/201 15303
/proc/meminfo: memFree=31605468/32770624 swapFree=66938928/67108860
[pid=15279] ppid=15276 vsize=789292 memory=300176 CPUtime=810.84 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 489003 0 0 0 81012 72 0 0 20 0 9 0 559182527 808235008 75044 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 75044 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=280077771086336 CPUtime=101.41 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 64749 0 0 0 10133 8 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824286603960 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=300076 CPUtime=101.42 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 65781 0 0 0 10134 8 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824278211176 5035312 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=0 CPUtime=101.45 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 49461 0 0 0 10136 9 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824269818552 5250491 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=300176 CPUtime=101.42 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 52591 0 0 0 10136 6 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824261426304 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=300168 CPUtime=101.42 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 51228 0 0 0 10133 9 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824253033600 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=300176 CPUtime=100 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 54850 0 0 0 9994 6 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824244641040 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=56 CPUtime=101.43 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 60123 0 0 0 10133 10 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824236247736 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=300176 CPUtime=101.44 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 45984 0 0 0 10139 5 0 0 20 0 9 0 559182604 808235008 75044 33554432000 4194304 6211132 140721081867584 139824227854952 5193786 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 810.84 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 300176 KiB
[startup+162.301 s]
/proc/loadavg: 8.45 7.73 7.26 9/201 15306
/proc/meminfo: memFree=31605008/32770624 swapFree=66938928/67108860
[pid=15279] ppid=15276 vsize=789292 memory=300428 CPUtime=1289.72 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 521142 0 0 0 128897 75 0 0 20 0 9 0 559182527 808235008 75107 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 75107 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=300428 CPUtime=161.38 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 68748 0 0 0 16129 9 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824286603960 5409493 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=300428 CPUtime=161.39 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 72049 0 0 0 16130 9 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824278211856 5250491 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=300428 CPUtime=161.41 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 53182 0 0 0 16132 9 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824269818552 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=300428 CPUtime=161.4 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 56127 0 0 0 16133 7 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824261426304 5250283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=300428 CPUtime=161.41 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 54601 0 0 0 16131 10 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824253033600 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=300428 CPUtime=159.11 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 58937 0 0 0 15905 6 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824244641040 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=300428 CPUtime=161.4 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 63792 0 0 0 16129 11 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824236247736 5409493 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=300428 CPUtime=161.4 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 49470 0 0 0 16135 5 0 0 20 0 9 0 559182604 808235008 75107 33554432000 4194304 6211132 140721081867584 139824227854952 5397271 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 1289.72 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 300428 KiB
[startup+222.301 s]
/proc/loadavg: 8.62 7.90 7.35 10/201 15311
/proc/meminfo: memFree=31605284/32770624 swapFree=66938928/67108860
[pid=15279] ppid=15276 vsize=789292 memory=300888 CPUtime=1768.71 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 535106 0 0 0 176794 77 0 0 20 0 9 0 559182527 808235008 75222 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 75222 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=300888 CPUtime=221.36 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 69458 0 0 0 22127 9 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824286603960 5149152 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=300884 CPUtime=221.34 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 72576 0 0 0 22125 9 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824278211856 5250491 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=300884 CPUtime=221.4 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 56723 0 0 0 22130 10 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824269818552 5039650 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=300884 CPUtime=221.38 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 59004 0 0 0 22131 7 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824261426304 5009235 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=300888 CPUtime=221.39 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 55209 0 0 0 22129 10 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824253033600 5186344 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=3576 CPUtime=218.23 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 59669 0 0 0 21817 6 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824244641040 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=6297835844906604903 CPUtime=221.38 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 65585 0 0 0 22127 11 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824236247736 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=7014751519717283409 CPUtime=221.38 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 52646 0 0 0 22133 5 0 0 20 0 9 0 559182604 808235008 75222 33554432000 4194304 6211132 140721081867584 139824227854952 5149253 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 1768.71 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 300888 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.71 7.99 7.40 9/201 15311
/proc/meminfo: memFree=31604928/32770624 swapFree=66938928/67108860
[pid=15279] ppid=15276 vsize=789292 memory=300928 CPUtime=2005.93 cores=0-7
/proc/15279/stat : 15279 (cosoco) S 15276 15279 13316 0 -1 1077944320 539442 0 0 0 200515 78 0 0 20 0 9 0 559182527 808235008 75232 33554432000 4194304 6211132 140721081867584 140721081865840 139824309747447 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
/proc/15279/statm: 197323 75232 893 493 0 190628 0
[pid=15279/tid=15281] ppid=15276 vsize=789292 memory=6009031433557338214 CPUtime=251.07 cores=0-7
/proc/15279/task/15281/stat : 15281 (cosoco) R 15276 15279 13316 0 -1 4202560 70096 0 0 0 25098 9 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824286603960 5409471 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15282] ppid=15276 vsize=789292 memory=7593702730198773610 CPUtime=251.05 cores=0-7
/proc/15279/task/15282/stat : 15282 (cosoco) R 15276 15279 13316 0 -1 4202560 72960 0 0 0 25096 9 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824278211856 5149168 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15283] ppid=15276 vsize=789292 memory=7229510338401167460 CPUtime=251.11 cores=0-7
/proc/15279/task/15283/stat : 15283 (cosoco) R 15276 15279 13316 0 -1 4202560 57218 0 0 0 25101 10 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824269818552 5193786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15284] ppid=15276 vsize=789292 memory=4872558044660077418 CPUtime=251.09 cores=0-7
/proc/15279/task/15284/stat : 15284 (cosoco) R 15276 15279 13316 0 -1 4202560 59457 0 0 0 25102 7 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824261426304 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15285] ppid=15276 vsize=789292 memory=1398722017469774279 CPUtime=251.09 cores=0-7
/proc/15279/task/15285/stat : 15285 (cosoco) R 15276 15279 13316 0 -1 4202560 55991 0 0 0 25099 10 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824253033600 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15286] ppid=15276 vsize=789292 memory=4872558044660077418 CPUtime=247.52 cores=0-7
/proc/15279/task/15286/stat : 15286 (cosoco) R 15276 15279 13316 0 -1 4202560 60177 0 0 0 24745 7 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824244641040 5396788 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15287] ppid=15276 vsize=789292 memory=4108 CPUtime=251.08 cores=0-7
/proc/15279/task/15287/stat : 15287 (cosoco) R 15276 15279 13316 0 -1 4202560 66395 0 0 0 25097 11 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824236247736 5035240 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
[pid=15279/tid=15288] ppid=15276 vsize=789292 memory=1408 CPUtime=251.08 cores=0-7
/proc/15279/task/15288/stat : 15288 (cosoco) R 15276 15279 13316 0 -1 4202560 52912 0 0 0 25103 5 0 0 20 0 9 0 559182604 808235008 75232 33554432000 4194304 6211132 140721081867584 139824227854952 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27836416 140721081873430 140721081873522 140721081873522 140721081876430 0
Current children cumulated CPU time: 2005.93 s
Current children cumulated vsize: 789292 KiB
Current children cumulated memory: 300928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.036 s]
# the end of solver process 15279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2005.32 s, system=0.79046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.036
CPU time (s): 2006.11
CPU user time (s): 2005.32
CPU system time (s): 0.79046
CPU usage (%): 795.961
Max. virtual memory (cumulated for all children) (KiB): 789292
Max. memory (cumulated for all children) (KiB): 300928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2005.32
system time used= 0.79046
maximum resident set size= 301148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 539487
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= 30685
involuntary context switches= 16557
# summary of solver processes directly reported to runsolver:
# pid: 15279
# total CPU time (s): 2006.11
# total CPU user time (s): 2005.32
# total CPU system time (s): 0.79046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35907 second user time and 2.21653 second system time
The end
Begin job on node123 at 2019-09-30 09:38:58 IDJOB=4410028 IDBENCH=127015 IDSOLVER=2878 FILE ID=node123/4410028-1569829178 RUNJOBID= node123-1569817680-13343 PBS_JOBID= 21705919 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-4410028-1569829178/watcher-4410028-1569829178 -o /tmp/evaluation-result-4410028-1569829178/solver-4410028-1569829178 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569817680-13343 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410028-1569829178.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=775971114 node123.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.49 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.49 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.49 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.49 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: 31901348 kB MemAvailable: 31840780 kB Buffers: 5608 kB Cached: 220312 kB SwapCached: 63964 kB Active: 63944 kB Inactive: 229248 kB Active(anon): 6720 kB Inactive(anon): 138300 kB Active(file): 57224 kB Inactive(file): 90948 kB Unevictable: 109864 kB Mlocked: 109864 kB SwapTotal: 67108860 kB SwapFree: 66938924 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 136312 kB Mapped: 26440 kB Shmem: 69132 kB Slab: 167140 kB SReclaimable: 137108 kB SUnreclaim: 30032 kB KernelStack: 3712 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539756 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 62028 MiB End job on node123 at 2019-09-30 09:43:10