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 | 2400.05 | 2400.11 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
| MD5SUM | 7b052d900118d6d219a2e5f61835436e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 318 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2861 |
| Number of constraints | 1482 |
| Number of domains | 105 |
| Minimum domain size | 2 |
| Maximum domain size | 105 |
| Distribution of domain sizes | [{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 52 |
| Distribution of variable degrees | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 53 |
| Distribution of constraint arities | [{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1430 |
| Distribution of constraint types | [{"type":"intension","count":1430},{"type":"sum","count":52}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.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-4390408-1568344666.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.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.10 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 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.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.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.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.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.23 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.27 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 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.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension 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.55 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.58 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.59 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.60 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 31tuples 0.50/0.60 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.83 o 3762 0.89/0.99 o 3630 0.89/0.99 c 3 calls to solver(id=0): best=3630 lower=0 upper=3629 1.09/1.19 o 1470 1.29/1.38 o 966 1.29/1.38 c 5 calls to solver(id=0): best=966 lower=0 upper=965 1.58/1.61 o 918 1.78/1.88 o 862 1.78/1.88 c 7 calls to solver(id=0): best=862 lower=0 upper=861 1.99/2.06 o 834 2.18/2.26 o 662 2.18/2.26 c 9 calls to solver(id=0): best=662 lower=0 upper=661 2.38/2.45 o 618 7.00/7.04 o 602 7.00/7.04 c 11 calls to solver(id=0): best=602 lower=0 upper=601 8.69/8.76 o 486 14.10/14.11 o 462 14.10/14.11 c 13 calls to solver(id=0): best=462 lower=0 upper=461 110.46/110.57 o 422 993.52/993.61 o 410 993.52/993.61 c 15 calls to solver(id=0): best=410 lower=0 upper=409 1110.72/1110.86 o 398 2400.03/2400.11 2400.03/2400.11 c *** INTERRUPTED *** 2400.03/2400.11 c call to solver : 16 2400.03/2400.11 c 2400.03/2400.11 c restarts : 277 2400.03/2400.11 c conflicts : 1022008 (426 /sec) 2400.03/2400.11 c decisions : 28229945 (11763 /sec) 2400.03/2400.11 c propagations : 1253363064 (522240 /sec) 2400.03/2400.11 c root propagations : 7047 2400.03/2400.11 c filter calls : 1077182184 (448830 /sec) 2400.03/2400.11 c useless filter calls : 456332552 (42 %) 2400.03/2400.11 c Memory used : 74.37 MB 2400.03/2400.11 c Best bound time (wc) : 1110.86 s 2400.03/2400.11 c CPU time : 2399.98 s 2400.03/2400.11 c real time : 2400.1 s 2400.03/2400.11 2400.03/2400.11 c nb Solutions = 16 2400.03/2400.11 s SATISFIABLE 2400.03/2400.11 c Best value found: 398 2400.03/2400.11 2400.03/2400.11 2400.03/2400.11 v <instantiation type='solution' cost='398'> 2400.03/2400.11 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> 2400.03/2400.11 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> 2400.03/2400.11 v </instantiation> 2400.03/2400.11
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 (12570 MiB free)
memory of node 1: 16384 MiB (15790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390408-1568344666/watcher-4390408-1568344666 -o /tmp/evaluation-result-4390408-1568344666/solver-4390408-1568344666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568344627-20924 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390408-1568344666.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20944, runsolver pid=20940
Current StackSize limit: 8192 KiB
[startup+0.100284 s]*
/proc/loadavg: 1.08 1.60 1.89 3/198 20955
/proc/meminfo: memFree=29029204/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=33172 memory=9556 CPUtime=0.1 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 2551 0 0 0 10 0 0 0 20 0 1 0 410731505 33968128 2389 33554432000 4194304 6210612 140725450064416 140725450059592 140121419269100 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 8293 2389 826 493 0 1598 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 9556 KiB
[startup+0.209689 s]*
/proc/loadavg: 1.08 1.60 1.89 3/198 20955
/proc/meminfo: memFree=29016092/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=39160 memory=15408 CPUtime=0.2 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 4048 0 0 0 20 0 0 0 20 0 1 0 410731505 40099840 3852 33554432000 4194304 6210612 140725450064416 140725450059592 140121418799078 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 9790 3852 826 493 0 3095 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 15408 KiB
[startup+0.309478 s]*
/proc/loadavg: 1.08 1.60 1.89 3/198 20955
/proc/meminfo: memFree=29003444/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=44596 memory=20972 CPUtime=0.3 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 5413 0 0 0 30 0 0 0 20 0 1 0 410731505 45666304 5243 33554432000 4194304 6210612 140725450064416 140725450059592 140121418856352 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 11149 5243 826 493 0 4454 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44596 KiB
Current children cumulated memory: 20972 KiB
[startup+0.700377 s]
/proc/loadavg: 1.08 1.60 1.89 3/198 20955
/proc/meminfo: memFree=28979016/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=71068 memory=47744 CPUtime=0.69 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 12271 0 0 0 67 2 0 0 20 0 1 0 410731505 72773632 11936 33554432000 4194304 6210612 140725450064416 140725450061784 5034915 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/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.5004 s]
/proc/loadavg: 1.08 1.60 1.89 3/198 20955
/proc/meminfo: memFree=28927692/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=74400 memory=50912 CPUtime=1.48 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 13092 0 0 0 146 2 0 0 20 0 1 0 410731505 76185600 12728 33554432000 4194304 6210612 140725450064416 140725450052296 5034848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18600 12728 897 493 0 11905 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74400 KiB
Current children cumulated memory: 50912 KiB
[startup+3.10943 s]
/proc/loadavg: 1.15 1.61 1.89 3/198 20955
/proc/meminfo: memFree=28863864/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=74940 memory=51620 CPUtime=3.09 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 20694 0 0 0 307 2 0 0 20 0 1 0 410731505 76738560 12905 33554432000 4194304 6210612 140725450064416 140725450062552 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18735 12905 897 493 0 12040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 51620 KiB
[startup+6.30023 s]
/proc/loadavg: 1.15 1.61 1.89 3/198 20955
/proc/meminfo: memFree=28850232/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=74940 memory=51640 CPUtime=6.29 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 26907 0 0 0 626 3 0 0 20 0 1 0 410731505 76738560 12910 33554432000 4194304 6210612 140725450064416 140725450062552 5249674 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18735 12910 897 493 0 12040 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 74940 KiB
Current children cumulated memory: 51640 KiB
[startup+12.7002 s]
/proc/loadavg: 1.28 1.62 1.89 3/198 20955
/proc/meminfo: memFree=28850076/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75612 memory=52336 CPUtime=12.68 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 35783 0 0 0 1265 3 0 0 20 0 1 0 410731505 77426688 13084 33554432000 4194304 6210612 140725450064416 140725450062552 5396596 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18903 13084 897 493 0 12208 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 75612 KiB
Current children cumulated memory: 52336 KiB
[startup+25.5003 s]
/proc/loadavg: 1.39 1.64 1.89 3/198 20956
/proc/meminfo: memFree=28849680/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75744 memory=52416 CPUtime=25.48 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 50010 0 0 0 2544 4 0 0 20 0 1 0 410731505 77561856 13104 33554432000 4194304 6210612 140725450064416 140725450052296 5409293 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18936 13104 897 493 0 12241 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52416 KiB
[startup+51.1093 s]
/proc/loadavg: 1.60 1.66 1.89 3/199 20959
/proc/meminfo: memFree=28845804/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75744 memory=52416 CPUtime=51.08 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 55176 0 0 0 5103 5 0 0 20 0 1 0 410731505 77561856 13104 33554432000 4194304 6210612 140725450064416 140725450052296 5249727 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18936 13104 897 493 0 12241 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52416 KiB
[startup+102.3 s]
/proc/loadavg: 1.84 1.72 1.90 3/200 20964
/proc/meminfo: memFree=28844316/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75744 memory=52420 CPUtime=102.26 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 55493 0 0 0 10221 5 0 0 20 0 1 0 410731505 77561856 13105 33554432000 4194304 6210612 140725450064416 140725450052296 5034864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18936 13105 897 493 0 12241 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52420 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.77 1.90 3/200 20968
/proc/meminfo: memFree=28843548/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75880 memory=52612 CPUtime=162.25 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 55892 0 0 0 16220 5 0 0 20 0 1 0 410731505 77701120 13153 33554432000 4194304 6210612 140725450064416 140725450062552 5249729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 1.83 1.91 3/200 20981
/proc/meminfo: memFree=28843020/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75880 memory=52612 CPUtime=222.24 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 56141 0 0 0 22219 5 0 0 20 0 1 0 410731505 77701120 13153 33554432000 4194304 6210612 140725450064416 140725450062552 5157380 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.86 1.92 3/200 20985
/proc/meminfo: memFree=28842632/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75880 memory=52612 CPUtime=282.23 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 56386 0 0 0 28218 5 0 0 20 0 1 0 410731505 77701120 13153 33554432000 4194304 6210612 140725450064416 140725450062552 5249719 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 1.90 1.93 3/200 20989
/proc/meminfo: memFree=28843616/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75880 memory=52612 CPUtime=342.23 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 56629 0 0 0 34218 5 0 0 20 0 1 0 410731505 77701120 13153 33554432000 4194304 6210612 140725450064416 140725450062552 5249729 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 1.92 1.94 3/199 20995
/proc/meminfo: memFree=28842312/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75880 memory=52612 CPUtime=402.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 56873 0 0 0 40217 5 0 0 20 0 1 0 410731505 77701120 13153 33554432000 4194304 6210612 140725450064416 140725450062552 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.93 1.94 3/199 20999
/proc/meminfo: memFree=28843184/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=75880 memory=52612 CPUtime=462.21 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 57117 0 0 0 46216 5 0 0 20 0 1 0 410731505 77701120 13153 33554432000 4194304 6210612 140725450064416 140725450062552 5148824 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 18970 13153 897 493 0 12275 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52612 KiB
################
# More data... #
################
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1662.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21114
/proc/meminfo: memFree=28841672/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=1722.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 63048 0 0 0 172216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5038753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21118
/proc/meminfo: memFree=28841688/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=1782.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 63376 0 0 0 178216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5148482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21124
/proc/meminfo: memFree=28840608/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=1842.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 63702 0 0 0 184216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21128
/proc/meminfo: memFree=28840868/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=1902.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 64035 0 0 0 190216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034918 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21132
/proc/meminfo: memFree=28841048/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=1962.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 64347 0 0 0 196216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5393995 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 21146
/proc/meminfo: memFree=28841404/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2022.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 64691 0 0 0 202216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5038860 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 21150
/proc/meminfo: memFree=28841768/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2082.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 64972 0 0 0 208216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 21154
/proc/meminfo: memFree=28841692/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2142.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 65255 0 0 0 214216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5149306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 21160
/proc/meminfo: memFree=28841164/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2202.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 65586 0 0 0 220216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034958 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 21164
/proc/meminfo: memFree=28841208/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2262.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 65892 0 0 0 226216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21169
/proc/meminfo: memFree=28841308/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2322.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 66195 0 0 0 232216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034934 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21175
/proc/meminfo: memFree=28840636/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2382.22 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 66512 0 0 0 238216 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5038416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21175
/proc/meminfo: memFree=28840784/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2400.03 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 66806 0 0 0 239997 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 20944 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.98 s, system=0.068998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 1.99 1.95 3/199 21175
/proc/meminfo: memFree=28840784/32770624 swapFree=66999908/67108860
[pid=20944] ppid=20940 vsize=76148 memory=52824 CPUtime=2400.03 cores=0,2,4,6
/proc/20944/stat : 20944 (cosoco) R 20940 20944 20893 0 -1 4202496 66806 0 0 0 239997 6 0 0 20 0 1 0 410731505 77975552 13206 33554432000 4194304 6210612 140725450064416 140725450062552 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 39624704 140725450073099 140725450073201 140725450073201 140725450076110 0
/proc/20944/statm: 19037 13206 897 493 0 12342 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52824 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.05
CPU user time (s): 2399.98
CPU system time (s): 0.068998
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 76148
Max. memory (cumulated for all children) (KiB): 52824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.068998
maximum resident set size= 52892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66859
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= 36
involuntary context switches= 1922
# summary of solver processes directly reported to runsolver:
# pid: 20944
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.98
# total CPU system time (s): 0.068998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93951 second user time and 17.093 second system time
The end
Begin job on node123 at 2019-09-13 05:17:07 IDJOB=4390408 IDBENCH=127015 IDSOLVER=2831 FILE ID=node123/4390408-1568344666 RUNJOBID= node123-1568344627-20924 PBS_JOBID= 21701166 Free space on /tmp= 56796 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-4390408-1568344666/watcher-4390408-1568344666 -o /tmp/evaluation-result-4390408-1568344666/solver-4390408-1568344666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568344627-20924 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390408-1568344666.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=1090658328 node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29043492 kB MemAvailable: 31872752 kB Buffers: 103224 kB Cached: 2986336 kB SwapCached: 7396 kB Active: 1062068 kB Inactive: 2037048 kB Active(anon): 1784 kB Inactive(anon): 49640 kB Active(file): 1060284 kB Inactive(file): 1987408 kB Unevictable: 107524 kB Mlocked: 107524 kB SwapTotal: 67108860 kB SwapFree: 66999908 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 111752 kB Mapped: 41756 kB Shmem: 32672 kB Slab: 223640 kB SReclaimable: 194804 kB SUnreclaim: 28836 kB KernelStack: 3360 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499932 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 56792 MiB End job on node123 at 2019-09-13 05:57:08