Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 398 | 2520.01 | 2520 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
| MD5SUM | 7b052d900118d6d219a2e5f61835436e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 294 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2861 |
| Number of constraints | 1482 |
| Number of domains | 105 |
| Minimum domain size | 2 |
| Maximum domain size | 105 |
| Distribution of domain sizes | [{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 52 |
| Distribution of variable degrees | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 53 |
| Distribution of constraint arities | [{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1430 |
| Distribution of constraint types | [{"type":"intension","count":1430},{"type":"sum","count":52}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397188-1568582246.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.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.09/0.21 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 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.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 105tuples 0.50/0.54 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 103tuples 0.50/0.55 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 101tuples 0.50/0.55 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 99tuples 0.50/0.55 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 97tuples 0.50/0.56 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 95tuples 0.50/0.56 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 93tuples 0.50/0.56 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 91tuples 0.50/0.56 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 89tuples 0.50/0.57 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 87tuples 0.50/0.57 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 85tuples 0.50/0.57 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 83tuples 0.50/0.57 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 81tuples 0.50/0.58 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 79tuples 0.50/0.58 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 77tuples 0.50/0.58 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 75tuples 0.50/0.58 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 73tuples 0.50/0.59 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 71tuples 0.50/0.59 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 69tuples 0.50/0.59 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 67tuples 0.50/0.59 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 65tuples 0.50/0.59 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 63tuples 0.50/0.59 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 61tuples 0.50/0.60 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 59tuples 0.50/0.60 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 57tuples 0.50/0.60 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 55tuples 0.50/0.60 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 53tuples 0.50/0.60 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 51tuples 0.50/0.60 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 49tuples 0.50/0.60 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 47tuples 0.50/0.60 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 45tuples 0.50/0.60 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 43tuples 0.59/0.61 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 41tuples 0.59/0.61 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 39tuples 0.59/0.61 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 37tuples 0.59/0.61 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 35tuples 0.59/0.61 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 33tuples 0.59/0.61 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 31tuples 0.59/0.61 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 29tuples 0.59/0.61 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 27tuples 0.59/0.61 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 25tuples 0.59/0.61 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 23tuples 0.59/0.61 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 21tuples 0.59/0.61 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 19tuples 0.59/0.61 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 17tuples 0.59/0.61 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 15tuples 0.59/0.61 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 13tuples 0.59/0.61 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 11tuples 0.59/0.61 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 9tuples 0.59/0.61 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 7tuples 0.59/0.61 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 5tuples 0.59/0.61 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 3tuples 0.59/0.68 c enable optimization 0.59/0.68 c ========================================[ Problem Statistics ]=========================================== 0.59/0.68 c | 0.59/0.68 c | Parse time : 0.60 s 0.59/0.68 c | 0.59/0.68 c | Variables: 2861 0.59/0.68 c | Domain Sizes: 2..105 0.59/0.68 c | 0.59/0.68 c | Constraints: 1483 0.59/0.68 c | Arity: 2..53 -- Binary: 53 -- Ternary: 1379 0.59/0.68 c | 0.59/0.68 c | Types: 0.59/0.68 c | Extension: 1430 (nb tuples: 3..105) -- (shared: 1377) 0.59/0.68 c | Sum: 53 0.59/0.68 c | 0.59/0.68 c | Objective: Minimize Sum 0.59/0.68 0.59/0.68 c ========================================================================================================= 0.59/0.68 o 4282 0.59/0.68 c 1 calls to solver(id=0): best=4282 lower=0 upper=4281 0.79/0.84 o 3762 0.89/1.00 o 3630 0.89/1.00 c 3 calls to solver(id=0): best=3630 lower=0 upper=3629 1.19/1.21 o 1470 1.39/1.40 o 966 1.39/1.40 c 5 calls to solver(id=0): best=966 lower=0 upper=965 1.49/77.29 o 918 1.49/77.29 o 862 1.49/77.29 c 7 calls to solver(id=0): best=862 lower=0 upper=861 1.49/77.29 o 834 1.49/77.29 o 662 1.49/77.29 c 9 calls to solver(id=0): best=662 lower=0 upper=661 1.49/77.29 o 618 1.49/77.29 o 602 1.49/77.29 c 11 calls to solver(id=0): best=602 lower=0 upper=601 1.49/77.29 o 486 1.49/77.29 o 462 1.49/77.29 c 13 calls to solver(id=0): best=462 lower=0 upper=461 97.46/97.57 o 422 978.58/978.66 o 410 978.58/978.66 c 15 calls to solver(id=0): best=410 lower=0 upper=409 1095.98/1096.06 o 398 2520.00/2520.00 2520.00/2520.00 c *** INTERRUPTED *** 2520.00/2520.00 c call to solver : 16 2520.00/2520.00 c 2520.00/2520.00 c restarts : 277 2520.00/2520.00 c conflicts : 1062025 (421 /sec) 2520.00/2520.00 c decisions : 30173378 (11974 /sec) 2520.00/2520.00 c propagations : 1313385172 (521193 /sec) 2520.00/2520.00 c root propagations : 7047 2520.00/2520.00 c filter calls : 1127373368 (447378 /sec) 2520.00/2520.00 c useless filter calls : 477549687 (42 %) 2520.00/2520.00 c Memory used : 74.37 MB 2520.00/2520.00 c Best bound time (wc) : 1096.06 s 2520.00/2520.00 c CPU time : 2519.96 s 2520.00/2520.00 c real time : 2520 s 2520.00/2520.00 2520.00/2520.00 c nb Solutions = 16 2520.00/2520.00 s SATISFIABLE 2520.00/2520.00 c Best value found: 398 2520.00/2520.00 2520.00/2520.00 2520.00/2520.00 v <instantiation type='solution' cost='398'> 2520.00/2520.00 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2520.00/2520.00 v <values>-2 2 -7 0 3 -2 -3 2 -3 -2 -7 1 0 -1 -2 -5 0 -3 0 1 2 -5 -2 -2 1 0 -5 0 3 0 -1 2 5 -3 0 -1 0 -1 0 5 -2 -1 0 3 2 0 -1 -5 0 5 2 1 4 4 49 0 9 4 9 4 9 4 49 1 0 1 4 25 0 9 0 1 4 25 4 4 1 0 25 0 9 0 1 4 25 9 0 1 0 1 0 25 4 1 0 9 4 0 1 25 0 25 4 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 * * * * * * * * 1 * * -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * -1 * * 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 * * * * * * * * * * 1 * * 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 * -1 * * * * * * * * * * 1 * * 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 * * -1 * * * * * * * * * * 1 * * 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 * * * -1 * * * * * * * * * * 1 * * 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 * * * * * -1 * * * * * * * * * * -1 * * -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 * 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 * * -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 1 -1 -1 -1 1 1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 -1 1 -1 -1 -1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 1 1 1 1 1 1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 * -1 * * -1 -1 -1 -1 1 -1 -1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 -1 1 -1 -1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 1 * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 * * -1 * * 1 1 1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 * * * 1 * * -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 * * * * -1 * * 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 * * * * * 1 * * -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 * * * * * * -1 * * -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 * * * * * * * -1 * * 1 1 1 -1 -1 </values> 2520.00/2520.00 v </instantiation> 2520.00/2520.00
OK 398
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12604 MiB free)
memory of node 1: 16384 MiB (13686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397188-1568582246/watcher-4397188-1568582246 -o /tmp/evaluation-result-4397188-1568582246/solver-4397188-1568582246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397188-1568582246.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11573, runsolver pid=11570
Current StackSize limit: 8192 KiB
[startup+0.101035 s]*
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26916836/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=33044 memory=9288 CPUtime=0.09 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 2517 0 0 0 9 0 0 0 20 0 1 0 434139474 33837056 2322 33554432000 4194304 6211092 140733932386400 140733932381576 5283511 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 8261 2322 826 493 0 1566 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33044 KiB
Current children cumulated memory: 9288 KiB
[startup+0.209791 s]*
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26910992/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=38784 memory=15024 CPUtime=0.2 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 3975 0 0 0 20 0 0 0 20 0 1 0 434139474 39714816 3756 33554432000 4194304 6211092 140733932386400 140733932381576 5283496 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 9696 3756 826 493 0 3001 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38784 KiB
Current children cumulated memory: 15024 KiB
[startup+0.309807 s]*
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26905412/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=44220 memory=20588 CPUtime=0.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 5314 0 0 0 30 0 0 0 20 0 1 0 434139474 45281280 5147 33554432000 4194304 6211092 140733932386400 140733932381576 5231827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 11055 5147 826 493 0 4360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44220 KiB
Current children cumulated memory: 20588 KiB
[startup+0.700311 s]
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26894996/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=71068 memory=47748 CPUtime=0.69 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 12272 0 0 0 67 2 0 0 20 0 1 0 434139474 72773632 11937 33554432000 4194304 6211092 140733932386400 140733932381576 5035297 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 17767 11937 900 493 0 11072 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71068 KiB
Current children cumulated memory: 47748 KiB
[startup+1.50033 s]
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26877016/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=74400 memory=50916 CPUtime=1.49 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 13093 0 0 0 147 2 0 0 20 0 1 0 434139474 76185600 12729 33554432000 4194304 6211092 140733932386400 140733932384536 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18600 12729 900 493 0 11905 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74400 KiB
Current children cumulated memory: 50916 KiB
[startup+77.394 s]
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26877016/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75744 memory=52428 CPUtime=77.36 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43368 0 0 0 7732 4 0 0 20 0 1 0 434139474 77561856 13107 33554432000 4194304 6211092 140733932386400 140733932374280 5038784 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18936 13107 900 493 0 12241 0
Current children cumulated CPU time: 77.36 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52428 KiB
[startup+77.4003 s]
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26877016/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75744 memory=52428 CPUtime=77.36 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43368 0 0 0 7732 4 0 0 20 0 1 0 434139474 77561856 13107 33554432000 4194304 6211092 140733932386400 140733932374280 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18936 13107 900 493 0 12241 0
Current children cumulated CPU time: 77.36 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52428 KiB
[startup+77.5003 s]
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26877016/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75744 memory=52428 CPUtime=77.46 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43368 0 0 0 7742 4 0 0 20 0 1 0 434139474 77561856 13107 33554432000 4194304 6211092 140733932386400 140733932374280 5039609 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18936 13107 900 493 0 12241 0
Current children cumulated CPU time: 77.46 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52428 KiB
[startup+77.6003 s]
/proc/loadavg: 2.24 2.47 2.25 3/201 11574
/proc/meminfo: memFree=26877016/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75744 memory=52428 CPUtime=77.56 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43368 0 0 0 7752 4 0 0 20 0 1 0 434139474 77561856 13107 33554432000 4194304 6211092 140733932386400 140733932374280 5186269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18936 13107 900 493 0 12241 0
Current children cumulated CPU time: 77.56 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52428 KiB
[startup+77.705 s]*
/proc/loadavg: 7.32 3.94 2.78 4/202 11579
/proc/meminfo: memFree=26942248/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75744 memory=52428 CPUtime=77.68 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43368 0 0 0 7764 4 0 0 20 0 1 0 434139474 77561856 13107 33554432000 4194304 6211092 140733932386400 140733932374280 5409461 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18936 13107 900 493 0 12241 0
Current children cumulated CPU time: 77.68 s
Current children cumulated vsize: 75744 KiB
Current children cumulated memory: 52428 KiB
[startup+102.3 s]
/proc/loadavg: 5.50 3.78 2.76 3/201 11585
/proc/meminfo: memFree=27772792/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52516 CPUtime=102.26 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43715 0 0 0 10222 4 0 0 20 0 1 0 434139474 77701120 13129 33554432000 4194304 6211092 140733932386400 140733932384536 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13129 900 493 0 12275 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52516 KiB
[startup+162.3 s]
/proc/loadavg: 3.29 3.46 2.71 3/199 11589
/proc/meminfo: memFree=27774056/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52620 CPUtime=162.27 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 43964 0 0 0 16223 4 0 0 20 0 1 0 434139474 77701120 13155 33554432000 4194304 6211092 140733932386400 140733932384536 5392083 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13155 900 493 0 12275 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52620 KiB
[startup+222.3 s]
/proc/loadavg: 2.54 3.21 2.67 3/201 11604
/proc/meminfo: memFree=27767552/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52620 CPUtime=222.27 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 44216 0 0 0 22223 4 0 0 20 0 1 0 434139474 77701120 13155 33554432000 4194304 6211092 140733932386400 140733932384536 5148679 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13155 900 493 0 12275 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52620 KiB
[startup+282.3 s]
/proc/loadavg: 2.20 2.99 2.63 3/201 11608
/proc/meminfo: memFree=27767396/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52620 CPUtime=282.27 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 44476 0 0 0 28223 4 0 0 20 0 1 0 434139474 77701120 13155 33554432000 4194304 6211092 140733932386400 140733932384536 5409457 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13155 900 493 0 12275 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52620 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.81 2.59 3/201 11612
/proc/meminfo: memFree=27767116/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52620 CPUtime=342.27 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 44725 0 0 0 34223 4 0 0 20 0 1 0 434139474 77701120 13155 33554432000 4194304 6211092 140733932386400 140733932384536 5157131 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13155 900 493 0 12275 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52620 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.66 2.55 3/200 11618
/proc/meminfo: memFree=27767320/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52620 CPUtime=402.27 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 44969 0 0 0 40223 4 0 0 20 0 1 0 434139474 77701120 13155 33554432000 4194304 6211092 140733932386400 140733932384536 5037843 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13155 900 493 0 12275 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52620 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.54 2.52 3/200 11622
/proc/meminfo: memFree=27766940/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=75880 memory=52620 CPUtime=462.27 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 45226 0 0 0 46223 4 0 0 20 0 1 0 434139474 77701120 13155 33554432000 4194304 6211092 140733932386400 140733932384536 5250284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 18970 13155 900 493 0 12275 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 75880 KiB
Current children cumulated memory: 52620 KiB
################
# More data... #
################
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+1842.3 s]
/proc/loadavg: 2.21 2.14 2.18 3/199 11873
/proc/meminfo: memFree=27975720/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=1842.29 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 51944 0 0 0 184225 4 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+1902.3 s]
/proc/loadavg: 2.08 2.11 2.17 3/199 11877
/proc/meminfo: memFree=27975780/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=1902.29 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 52257 0 0 0 190225 4 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5389408 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.09 2.16 3/199 11881
/proc/meminfo: memFree=27976244/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=1962.29 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 52587 0 0 0 196225 4 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 2.14 3/200 11895
/proc/meminfo: memFree=27975156/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2022.29 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 52840 0 0 0 202225 4 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.13 3/200 11899
/proc/meminfo: memFree=27975112/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2082.29 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 53160 0 0 0 208225 4 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5392081 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.13 3/200 11903
/proc/meminfo: memFree=27975804/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2142.29 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 53455 0 0 0 214225 4 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.12 3/201 11923
/proc/meminfo: memFree=27974980/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2202.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 53770 0 0 0 220225 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.12 3/201 11927
/proc/meminfo: memFree=27975428/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2262.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 54071 0 0 0 226225 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5396736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.11 3/200 11932
/proc/meminfo: memFree=27975528/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2322.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 54395 0 0 0 232225 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5150568 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2382.3 s]
/proc/loadavg: 2.44 2.13 2.14 3/200 11938
/proc/meminfo: memFree=27975384/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2382.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 54726 0 0 0 238225 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2442.3 s]
/proc/loadavg: 2.23 2.14 2.14 3/200 11942
/proc/meminfo: memFree=27976188/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2442.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 55022 0 0 0 244225 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5250287 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.11 2.13 3/199 11947
/proc/meminfo: memFree=27975756/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2502.3 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 55309 0 0 0 250225 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5035326 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.06 2.10 2.13 3/199 11949
/proc/meminfo: memFree=27975292/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2520 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 55320 0 0 0 251995 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 11573 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.96 s, system=0.051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.06 2.10 2.13 3/199 11949
/proc/meminfo: memFree=27975292/32770624 swapFree=66939884/67108860
[pid=11573] ppid=11570 vsize=76148 memory=52832 CPUtime=2520 cores=1,3,5,7
/proc/11573/stat : 11573 (cosoco) R 11570 11573 9363 0 -1 4202496 55320 0 0 0 251995 5 0 0 20 0 1 0 434139474 77975552 13208 33554432000 4194304 6211092 140733932386400 140733932384536 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 28495872 140733932389387 140733932389489 140733932389489 140733932392398 0
/proc/11573/statm: 19037 13208 900 493 0 12342 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 76148 KiB
Current children cumulated memory: 52832 KiB
Child status: 1
Real time (s): 2520
CPU time (s): 2520.01
CPU user time (s): 2519.96
CPU system time (s): 0.051
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 76148
Max. memory (cumulated for all children) (KiB): 52832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.051
maximum resident set size= 52896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37
involuntary context switches= 741
# summary of solver processes directly reported to runsolver:
# pid: 11573
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.96
# total CPU system time (s): 0.051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64673 second user time and 16.2028 second system time
The end
Begin job on node119 at 2019-09-15 23:16:46 IDJOB=4397188 IDBENCH=127015 IDSOLVER=2848 FILE ID=node119/4397188-1568582246 RUNJOBID= node119-1568572745-9395 PBS_JOBID= 21703330 Free space on /tmp= 60936 MiB SOLVER NAME= cosoco 2.0 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-4397188-1568582246/watcher-4397188-1568582246 -o /tmp/evaluation-result-4397188-1568582246/solver-4397188-1568582246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397188-1568582246.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=891844747 node119.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.47 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.47 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.47 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.47 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: 26922304 kB MemAvailable: 31599932 kB Buffers: 137788 kB Cached: 4813664 kB SwapCached: 61096 kB Active: 2696916 kB Inactive: 2532928 kB Active(anon): 214912 kB Inactive(anon): 113228 kB Active(file): 2482004 kB Inactive(file): 2419700 kB Unevictable: 106932 kB Mlocked: 106932 kB SwapTotal: 67108860 kB SwapFree: 66939884 kB Dirty: 798036 kB Writeback: 37400 kB AnonPages: 325908 kB Mapped: 50076 kB Shmem: 41008 kB Slab: 213232 kB SReclaimable: 183516 kB SUnreclaim: 29716 kB KernelStack: 3488 kB PageTables: 6140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 748452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 276480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61364 MiB End job on node119 at 2019-09-15 23:58:46