Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 398 | 2520.04 | 2520 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
| MD5SUM | 7b052d900118d6d219a2e5f61835436e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 294 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2861 |
| Number of constraints | 1482 |
| Number of domains | 105 |
| Minimum domain size | 2 |
| Maximum domain size | 105 |
| Distribution of domain sizes | [{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 52 |
| Distribution of variable degrees | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 53 |
| Distribution of constraint arities | [{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1430 |
| Distribution of constraint types | [{"type":"intension","count":1430},{"type":"sum","count":52}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389908-1568334633.xml 0.00/0.04 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 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.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 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.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 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.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.31/0.39 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.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.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension -> extension : same as previous 0.50/0.52 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 105tuples 0.50/0.53 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 103tuples 0.50/0.53 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 101tuples 0.50/0.54 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 99tuples 0.50/0.54 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 97tuples 0.50/0.54 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 95tuples 0.50/0.54 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 93tuples 0.50/0.55 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 91tuples 0.50/0.55 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 89tuples 0.50/0.55 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 87tuples 0.50/0.56 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 85tuples 0.50/0.56 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 83tuples 0.50/0.56 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 81tuples 0.50/0.56 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 79tuples 0.50/0.57 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 77tuples 0.50/0.57 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 75tuples 0.50/0.57 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 73tuples 0.50/0.57 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 71tuples 0.50/0.57 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 69tuples 0.50/0.57 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 67tuples 0.50/0.58 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 65tuples 0.50/0.58 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 63tuples 0.50/0.58 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 61tuples 0.50/0.58 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 59tuples 0.50/0.58 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 57tuples 0.50/0.58 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 55tuples 0.50/0.58 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 53tuples 0.50/0.59 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 51tuples 0.50/0.59 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 49tuples 0.50/0.59 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 47tuples 0.50/0.59 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 45tuples 0.50/0.59 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 43tuples 0.50/0.59 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 41tuples 0.50/0.59 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 39tuples 0.50/0.59 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 37tuples 0.50/0.59 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 35tuples 0.50/0.59 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 33tuples 0.50/0.59 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 31tuples 0.50/0.59 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 29tuples 0.50/0.60 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 27tuples 0.50/0.60 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 25tuples 0.50/0.60 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 23tuples 0.50/0.60 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 21tuples 0.50/0.60 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 19tuples 0.50/0.60 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 17tuples 0.50/0.60 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 15tuples 0.50/0.60 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 13tuples 0.50/0.60 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 11tuples 0.50/0.60 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 9tuples 0.50/0.60 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 7tuples 0.50/0.60 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 5tuples 0.50/0.60 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 3tuples 0.59/0.67 c enable optimization 0.59/0.67 c ========================================[ Problem Statistics ]=========================================== 0.59/0.67 c | 0.59/0.67 c | Parse time : 0.59 s 0.59/0.67 c | 0.59/0.67 c | Variables: 2861 0.59/0.67 c | Domain Sizes: 2..105 0.59/0.67 c | 0.59/0.67 c | Constraints: 1483 0.59/0.67 c | Arity: 2..53 -- Binary: 53 -- Ternary: 1379 0.59/0.67 c | 0.59/0.67 c | Types: 0.59/0.67 c | Extension: 1430 (nb tuples: 3..105) -- (shared: 1377) 0.59/0.67 c | Sum: 53 0.59/0.67 c | 0.59/0.67 c | Objective: Minimize Sum 0.59/0.67 0.59/0.67 c ========================================================================================================= 0.59/0.67 o 4282 0.59/0.67 c 1 calls to solver(id=0): best=4282 lower=0 upper=4281 0.79/0.82 o 3762 0.89/0.98 o 3630 0.89/0.99 c 3 calls to solver(id=0): best=3630 lower=0 upper=3629 1.10/1.19 o 1470 1.29/1.37 o 966 1.29/1.37 c 5 calls to solver(id=0): best=966 lower=0 upper=965 1.48/1.55 o 918 1.68/1.76 o 862 1.68/1.76 c 7 calls to solver(id=0): best=862 lower=0 upper=861 1.78/1.89 o 834 1.99/2.05 o 662 1.99/2.06 c 9 calls to solver(id=0): best=662 lower=0 upper=661 2.18/2.20 o 618 5.99/6.10 o 602 6.09/6.10 c 11 calls to solver(id=0): best=602 lower=0 upper=601 7.49/7.56 o 486 11.68/11.72 o 462 11.68/11.73 c 13 calls to solver(id=0): best=462 lower=0 upper=461 96.08/96.18 o 422 981.29/981.30 o 410 981.29/981.30 c 15 calls to solver(id=0): best=410 lower=0 upper=409 1099.19/1099.24 o 398 2520.02/2520.00 2520.02/2520.00 c *** INTERRUPTED *** 2520.02/2520.00 c call to solver : 16 2520.02/2520.00 c 2520.02/2520.00 c restarts : 277 2520.02/2520.00 c conflicts : 1058531 (420 /sec) 2520.02/2520.00 c decisions : 30058202 (11928 /sec) 2520.02/2520.00 c propagations : 1308059832 (519074 /sec) 2520.02/2520.00 c root propagations : 7047 2520.02/2520.00 c filter calls : 1123002131 (445638 /sec) 2520.02/2520.00 c useless filter calls : 475827444 (42 %) 2520.02/2520.00 c Memory used : 74.37 MB 2520.02/2520.00 c Best bound time (wc) : 1099.24 s 2520.02/2520.00 c CPU time : 2519.99 s 2520.02/2520.00 c real time : 2520 s 2520.02/2520.00 2520.02/2520.00 c nb Solutions = 16 2520.02/2520.00 s SATISFIABLE 2520.02/2520.00 c Best value found: 398 2520.02/2520.00 2520.02/2520.00 2520.02/2520.00 v <instantiation type='solution' cost='398'> 2520.02/2520.00 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> 2520.02/2520.00 v <values>-2 2 -7 0 3 -2 -3 2 -3 -2 -7 1 0 -1 -2 -5 0 -3 0 1 2 -5 -2 -2 1 0 -5 0 3 0 -1 2 5 -3 0 -1 0 -1 0 5 -2 -1 0 3 2 0 -1 -5 0 5 2 1 4 4 49 0 9 4 9 4 9 4 49 1 0 1 4 25 0 9 0 1 4 25 4 4 1 0 25 0 9 0 1 4 25 9 0 1 0 1 0 25 4 1 0 9 4 0 1 25 0 25 4 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 * * * * * * * * 1 * * -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * -1 * * 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 * * * * * * * * * * 1 * * 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 * -1 * * * * * * * * * * 1 * * 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 * * -1 * * * * * * * * * * 1 * * 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 * * * -1 * * * * * * * * * * 1 * * 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 * * * * * -1 * * * * * * * * * * -1 * * -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 * 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 * * -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 1 -1 -1 -1 1 1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 -1 1 -1 -1 -1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 1 1 1 1 1 1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 * -1 * * -1 -1 -1 -1 1 -1 -1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 -1 1 -1 -1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 1 * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 * * -1 * * 1 1 1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 * * * 1 * * -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 * * * * -1 * * 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 * * * * * 1 * * -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 * * * * * * -1 * * -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 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> 2520.02/2520.00 v </instantiation> 2520.02/2520.00
OK 398
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 (14028 MiB free)
memory of node 1: 16384 MiB (13738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389908-1568334633/watcher-4389908-1568334633 -o /tmp/evaluation-result-4389908-1568334633/solver-4389908-1568334633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389908-1568334633.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4524, runsolver pid=4521
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 2.27 2.70 2.40 3/200 4525
/proc/meminfo: memFree=28428244/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=33272 memory=9656 CPUtime=0.1 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 2576 0 0 0 10 0 0 0 20 0 1 0 409732156 34070528 2414 33554432000 4194304 6210612 140734206346272 140734206342808 140403293356144 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 8318 2414 826 493 0 1623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9656 KiB
[startup+0.209794 s]*
/proc/loadavg: 2.27 2.70 2.40 3/200 4525
/proc/meminfo: memFree=28422204/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=39160 memory=15408 CPUtime=0.21 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 4072 0 0 0 21 0 0 0 20 0 1 0 409732156 40099840 3852 33554432000 4194304 6210612 140734206346272 140734206341448 5283215 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 9790 3852 826 493 0 3095 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 15408 KiB
[startup+0.309514 s]*
/proc/loadavg: 2.27 2.70 2.40 3/200 4525
/proc/meminfo: memFree=28416624/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=44704 memory=21088 CPUtime=0.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 5445 0 0 0 30 1 0 0 20 0 1 0 409732156 45776896 5272 33554432000 4194304 6210612 140734206346272 140734206341448 5283223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 11176 5272 826 493 0 4481 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44704 KiB
Current children cumulated memory: 21088 KiB
[startup+0.700372 s]
/proc/loadavg: 2.27 2.70 2.40 3/200 4525
/proc/meminfo: memFree=28405464/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=71068 memory=47744 CPUtime=0.69 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 12271 0 0 0 67 2 0 0 20 0 1 0 409732156 72773632 11936 33554432000 4194304 6210612 140734206346272 140734206341448 5034952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 17767 11936 897 493 0 11072 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71068 KiB
Current children cumulated memory: 47744 KiB
[startup+1.50041 s]
/proc/loadavg: 2.27 2.70 2.40 3/200 4525
/proc/meminfo: memFree=28388724/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=74400 memory=50884 CPUtime=1.48 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 13099 0 0 0 146 2 0 0 20 0 1 0 409732156 76185600 12721 33554432000 4194304 6210612 140734206346272 140734206344408 5034929 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18600 12721 897 493 0 11905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74400 KiB
Current children cumulated memory: 50884 KiB
[startup+3.10961 s]
/proc/loadavg: 2.25 2.68 2.40 3/200 4525
/proc/meminfo: memFree=28384100/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=74940 memory=51640 CPUtime=3.09 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 19061 0 0 0 307 2 0 0 20 0 1 0 409732156 76738560 12910 33554432000 4194304 6210612 140734206346272 140734206344408 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18735 12910 897 493 0 12040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 51640 KiB
[startup+6.3004 s]
/proc/loadavg: 2.25 2.68 2.40 3/200 4525
/proc/meminfo: memFree=28383780/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75348 memory=52076 CPUtime=6.28 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 24936 0 0 0 626 2 0 0 20 0 1 0 409732156 77156352 13019 33554432000 4194304 6210612 140734206346272 140734206334152 5249719 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18837 13019 897 493 0 12142 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 75348 KiB
Current children cumulated memory: 52076 KiB
[startup+12.7003 s]
/proc/loadavg: 2.23 2.67 2.39 3/200 4532
/proc/meminfo: memFree=28382128/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75744 memory=52336 CPUtime=12.68 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 31029 0 0 0 1265 3 0 0 20 0 1 0 409732156 77561856 13084 33554432000 4194304 6210612 140734206346272 140734206344408 5192938 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18936 13084 897 493 0 12241 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52336 KiB
[startup+25.5004 s]
/proc/loadavg: 2.18 2.64 2.39 3/200 4532
/proc/meminfo: memFree=28382100/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75744 memory=52420 CPUtime=25.47 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 34840 0 0 0 2544 3 0 0 20 0 1 0 409732156 77561856 13105 33554432000 4194304 6210612 140734206346272 140734206334152 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18936 13105 897 493 0 12241 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52420 KiB
[startup+51.1098 s]
/proc/loadavg: 2.12 2.59 2.38 3/200 4535
/proc/meminfo: memFree=28381672/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75744 memory=52420 CPUtime=51.08 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 35097 0 0 0 5105 3 0 0 20 0 1 0 409732156 77561856 13105 33554432000 4194304 6210612 140734206346272 140734206334152 5034884 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18936 13105 897 493 0 12241 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52420 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.50 2.36 3/200 4539
/proc/meminfo: memFree=28382348/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52484 CPUtime=102.27 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 35472 0 0 0 10224 3 0 0 20 0 1 0 409732156 77701120 13121 33554432000 4194304 6210612 140734206346272 140734206344408 5034944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13121 897 493 0 12275 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52484 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.41 2.34 3/199 4543
/proc/meminfo: memFree=28381068/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52612 CPUtime=162.27 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 35755 0 0 0 16224 3 0 0 20 0 1 0 409732156 77701120 13153 33554432000 4194304 6210612 140734206346272 140734206344408 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.33 2.31 3/199 4609
/proc/meminfo: memFree=28382936/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52612 CPUtime=222.27 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 35996 0 0 0 22224 3 0 0 20 0 1 0 409732156 77701120 13153 33554432000 4194304 6210612 140734206346272 140734206344408 5038661 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.29 2.30 3/199 4674
/proc/meminfo: memFree=28382228/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52612 CPUtime=282.27 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 36232 0 0 0 28224 3 0 0 20 0 1 0 409732156 77701120 13153 33554432000 4194304 6210612 140734206346272 140734206344408 5157652 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.23 2.28 3/200 4679
/proc/meminfo: memFree=28382724/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52612 CPUtime=342.28 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 36465 0 0 0 34225 3 0 0 20 0 1 0 409732156 77701120 13153 33554432000 4194304 6210612 140734206346272 140734206344408 5157168 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.19 2.27 3/200 4685
/proc/meminfo: memFree=28382664/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52612 CPUtime=402.28 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 36699 0 0 0 40225 3 0 0 20 0 1 0 409732156 77701120 13153 33554432000 4194304 6210612 140734206346272 140734206344408 5148849 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.16 2.25 3/200 4689
/proc/meminfo: memFree=28382772/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=75880 memory=52612 CPUtime=462.28 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 36933 0 0 0 46225 3 0 0 20 0 1 0 409732156 77701120 13153 33554432000 4194304 6210612 140734206346272 140734206344408 5155432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
################
# More data... #
################
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.05 2.13 3/200 5137
/proc/meminfo: memFree=28376608/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=1842.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 43273 0 0 0 184227 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5249664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1902.3 s]
/proc/loadavg: 2.50 2.17 2.17 3/201 5163
/proc/meminfo: memFree=28376264/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=1902.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 43588 0 0 0 190227 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5391918 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1962.3 s]
/proc/loadavg: 2.18 2.14 2.15 3/201 5167
/proc/meminfo: memFree=28376672/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=1962.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 43882 0 0 0 196227 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2022.3 s]
/proc/loadavg: 2.07 2.12 2.14 3/201 5173
/proc/meminfo: memFree=28376716/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2022.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 44209 0 0 0 202227 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5148752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.11 2.14 3/201 5177
/proc/meminfo: memFree=28376732/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2082.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 44483 0 0 0 208227 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5148354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2142.3 s]
/proc/loadavg: 2.06 2.10 2.13 3/200 5181
/proc/meminfo: memFree=28377072/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2142.31 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 44757 0 0 0 214227 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5192938 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.10 2.13 3/201 5187
/proc/meminfo: memFree=28376792/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2202.32 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 45074 0 0 0 220228 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.09 2.13 3/200 5191
/proc/meminfo: memFree=28376528/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2262.32 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 45360 0 0 0 226228 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5249719 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.09 2.13 3/200 5195
/proc/meminfo: memFree=28377060/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2322.32 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 45648 0 0 0 232228 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.08 2.12 3/201 5201
/proc/meminfo: memFree=28376132/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2382.32 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 45955 0 0 0 238228 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5149290 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.06 2.12 3/200 5210
/proc/meminfo: memFree=28375872/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2442.32 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 46243 0 0 0 244228 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5249681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.11 3/200 5214
/proc/meminfo: memFree=28376384/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2502.32 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 46524 0 0 0 250228 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5034958 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.05 2.11 3/200 5216
/proc/meminfo: memFree=28375856/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2520.02 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 46805 0 0 0 251998 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5149790 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 4524 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.00 2.05 2.11 3/200 5216
/proc/meminfo: memFree=28375856/32770624 swapFree=66998520/67108860
[pid=4524] ppid=4521 vsize=76148 memory=52824 CPUtime=2520.02 cores=0,2,4,6
/proc/4524/stat : 4524 (cosoco) R 4521 4524 3464 0 -1 4202496 46805 0 0 0 251998 4 0 0 20 0 1 0 409732156 77975552 13206 33554432000 4194304 6210612 140734206346272 140734206344408 5149790 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 34951168 140734206350347 140734206350449 140734206350449 140734206353358 0
/proc/4524/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
Child status: 1
Real time (s): 2520
CPU time (s): 2520.04
CPU user time (s): 2519.99
CPU system time (s): 0.049
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 76148
Max. memory (cumulated for all children) (KiB): 52824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.049
maximum resident set size= 52892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46861
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= 37
involuntary context switches= 662
# summary of solver processes directly reported to runsolver:
# pid: 4524
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.30934 second user time and 18.3004 second system time
The end
Begin job on node127 at 2019-09-13 02:29:53 IDJOB=4389908 IDBENCH=127015 IDSOLVER=2829 FILE ID=node127/4389908-1568334633 RUNJOBID= node127-1568329019-3495 PBS_JOBID= 21701156 Free space on /tmp= 58820 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-053.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389908-1568334633/watcher-4389908-1568334633 -o /tmp/evaluation-result-4389908-1568334633/solver-4389908-1568334633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389908-1568334633.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=1130834418 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28432916 kB MemAvailable: 31862952 kB Buffers: 125664 kB Cached: 3562576 kB SwapCached: 6780 kB Active: 1998240 kB Inactive: 1705100 kB Active(anon): 8004 kB Inactive(anon): 48664 kB Active(file): 1990236 kB Inactive(file): 1656436 kB Unevictable: 109044 kB Mlocked: 109044 kB SwapTotal: 67108860 kB SwapFree: 66998520 kB Dirty: 2732 kB Writeback: 88 kB AnonPages: 119616 kB Mapped: 45424 kB Shmem: 32692 kB Slab: 228464 kB SReclaimable: 198396 kB SUnreclaim: 30068 kB KernelStack: 3568 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 531580 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 58816 MiB End job on node127 at 2019-09-13 03:11:53