Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 442 | 2005.91 | 252.029 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml |
MD5SUM | 7b052d900118d6d219a2e5f61835436e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 318 |
Best CPU time to get the best result obtained on this benchmark | 2400.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2861 |
Number of constraints | 1482 |
Number of domains | 105 |
Minimum domain size | 2 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 52 |
Distribution of variable degrees | [{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 53 |
Distribution of constraint arities | [{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1430 |
Distribution of constraint types | [{"type":"intension","count":1430},{"type":"sum","count":52}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -model -nbcores=8 HOME/instance-4398768-1568608907.xml 0.00/0.06 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.21 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.25 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.34 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.31/0.38 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/0.50 c intension -> extension : same as previous 0.40/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 -> 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.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.62 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension -> extension : same as previous 0.59/0.67 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 105tuples 0.59/0.67 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 103tuples 0.59/0.68 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 101tuples 0.59/0.68 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 99tuples 0.59/0.68 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 97tuples 0.59/0.69 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 95tuples 0.59/0.69 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 93tuples 0.59/0.69 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 91tuples 0.59/0.69 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 89tuples 0.68/0.70 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 87tuples 0.68/0.70 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 85tuples 0.68/0.70 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 83tuples 0.68/0.71 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 81tuples 0.68/0.71 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 79tuples 0.68/0.71 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 77tuples 0.68/0.71 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 75tuples 0.68/0.72 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 73tuples 0.68/0.72 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 71tuples 0.68/0.72 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 69tuples 0.68/0.72 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 67tuples 0.68/0.72 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 65tuples 0.68/0.72 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 63tuples 0.68/0.73 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 61tuples 0.68/0.73 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 59tuples 0.68/0.73 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 57tuples 0.68/0.73 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 55tuples 0.68/0.73 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 53tuples 0.68/0.73 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 51tuples 0.68/0.73 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 49tuples 0.68/0.74 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 47tuples 0.68/0.74 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 45tuples 0.68/0.74 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 43tuples 0.68/0.74 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 41tuples 0.68/0.74 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 39tuples 0.68/0.74 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 37tuples 0.68/0.74 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 35tuples 0.68/0.74 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 33tuples 0.68/0.74 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 31tuples 0.68/0.74 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 29tuples 0.68/0.74 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 27tuples 0.68/0.74 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 25tuples 0.68/0.74 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 23tuples 0.68/0.74 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 21tuples 0.68/0.75 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 19tuples 0.68/0.75 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 17tuples 0.68/0.75 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 15tuples 0.68/0.75 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 13tuples 0.68/0.75 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 11tuples 0.68/0.75 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 9tuples 0.68/0.75 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 7tuples 0.68/0.75 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 5tuples 0.68/0.75 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 3tuples 1.57/0.91 c enable optimization 1.57/0.91 c ========================================[ Problem Statistics ]=========================================== 1.57/0.91 c | 1.57/0.91 c | Parse time : 0.70 s 1.57/0.91 c | 1.57/0.91 c | Variables: 2861 1.57/0.91 c | Domain Sizes: 2..105 1.57/0.91 c | 1.57/0.91 c | Constraints: 1483 1.57/0.91 c | Arity: 2..53 -- Binary: 53 -- Ternary: 1379 1.57/0.91 c | 1.57/0.91 c | Types: 1.57/0.91 c | Extension: 1430 (nb tuples: 3..105) -- (shared: 11016) 1.57/0.91 c | Sum: 53 1.57/0.91 c | 1.57/0.91 c | Objective: Minimize Sum 1.57/0.91 1.57/0.91 c ========================================================================================================= 1.57/0.91 c Parallel mode: Portfolio 1.57/0.91 c [pFactory][Group N°0] created (threads:8). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1.57/0.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1.57/0.91 c [pFactory][Group N°0] concurrent mode: enabled. 1.57/0.91 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1.57/0.91 c [pFactory][Group N°0] task 7 launched on thread 0. 1.57/0.91 c [pFactory][Group N°0] task 6 launched on thread 1. 1.57/0.91 c [pFactory][Group N°0] task 5 launched on thread 2. 1.57/0.91 c [pFactory][Group N°0] task 4 launched on thread 6. 1.57/0.91 c [pFactory][Group N°0] task 3 launched on thread 7. 1.57/0.91 c [pFactory][Group N°0] task 2 launched on thread 3. 1.57/0.91 c [pFactory][Group N°0] task 1 launched on thread 4. 1.57/0.91 c [pFactory][Group N°0] task 0 launched on thread 5. 1.57/0.91 o 23426 1.57/0.92 o 4282 1.57/0.92 o 1378 3.21/1.16 o 1306 4.73/1.37 o 1118 7.93/1.78 o 930 11.19/2.17 o 906 11.91/2.27 o 886 13.52/2.43 o 622 15.12/2.67 o 510 177.03/22.90 o 502 1688.74/212.39 o 466 1925.93/242.05 o 442 2005.79/252.02 2005.79/252.02 c *** INTERRUPTED *** 2005.79/252.02 c call to solver : 6 2005.79/252.02 c 2005.79/252.02 c restarts : 9517 2005.79/252.02 c conflicts : 70374 (35 /sec) 2005.79/252.02 c decisions : 1694767 (845 /sec) 2005.79/252.02 c propagations : 92169352 (45966 /sec) 2005.79/252.02 c root propagations : 7047 2005.79/252.02 c filter calls : 100417955 (50080 /sec) 2005.79/252.02 c useless filter calls : 57643153 (57 %) 2005.79/252.02 c Memory used : 770.80 MB 2005.79/252.02 c Best bound time (wc) : 242.054 s 2005.79/252.02 c CPU time : 2005.14 s 2005.79/252.02 c real time : 252.019 s 2005.79/252.02 2005.79/252.02 s SATISFIABLE 2005.79/252.02 c Best value found: 442 2005.79/252.02 2005.79/252.02 2005.79/252.02 v <instantiation type='solution' cost='442'> 2005.79/252.02 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2005.79/252.02 v <values>-2 2 -1 4 1 0 1 -4 3 -2 -1 -5 0 -1 0 1 2 3 -2 -1 -4 -3 -2 2 -3 2 -1 -6 1 0 -3 0 9 -3 -2 -5 0 -1 -2 3 4 1 0 -1 0 -2 -1 -3 6 -1 6 -3 4 4 1 16 1 0 1 16 9 4 1 25 0 1 0 1 4 9 4 1 16 9 4 4 9 4 1 36 1 0 9 0 81 9 4 25 0 1 4 9 16 1 0 1 0 4 1 9 36 1 36 9 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 * * * * * * * * 1 * * -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 * * * * * * * * * 1 * * -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 * * * * * * * * * * 1 * * -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 * -1 * * * * * * * * * * 1 * * 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 * * -1 * * * * * * * * * * -1 * * -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 * * * 1 * * * * * * * * * * 1 * * -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 * * * * -1 * * * * * * * * * * 1 * * -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 * * * * * -1 * * * * * * * * * * 1 * * 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 * -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 * * -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 -1 -1 1 1 1 -1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 -1 1 -1 -1 -1 1 1 -1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 1 -1 1 -1 1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 * 1 * * 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 -1 -1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 -1 -1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 -1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 * * -1 * * -1 1 -1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 * * * 1 * * 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 * * * * -1 * * 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 * * * * * -1 * * -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 * * * * * * 1 * * 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 * * * * * * * -1 * * -1 -1 1 1 1 </values> 2005.79/252.02 v </instantiation> 2005.79/252.02
OK 442
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 (15469 MiB free) memory of node 1: 16384 MiB (15706 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398768-1568608907/watcher-4398768-1568608907 -o /tmp/evaluation-result-4398768-1568608907/solver-4398768-1568608907 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568595839-29710 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398768-1568608907.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=32488, runsolver pid=32485 [startup+0.100151 s]* /proc/loadavg: 8.12 7.08 5.92 2/192 32489 /proc/meminfo: memFree=31900448/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=53384 memory=29692 CPUtime=0.1 cores=0-7 /proc/32488/stat : 32488 (cosoco) R 32485 32488 29683 0 -1 4202496 7596 0 0 0 9 1 0 0 20 0 1 0 436828017 54665216 7423 33554432000 4194304 6211092 140732063773136 140732063769672 140573198415776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 13346 7423 826 493 0 6651 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 53384 KiB Current children cumulated memory: 29692 KiB [startup+0.20941 s]* /proc/loadavg: 8.12 7.08 5.92 2/192 32489 /proc/meminfo: memFree=31874036/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=79152 memory=55564 CPUtime=0.21 cores=0-7 /proc/32488/stat : 32488 (cosoco) R 32485 32488 29683 0 -1 4202496 14063 0 0 0 19 2 0 0 20 0 1 0 436828017 81051648 13891 33554432000 4194304 6211092 140732063773136 140732063769672 140573201846384 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 19821 13891 826 493 0 13126 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 79152 KiB Current children cumulated memory: 55564 KiB [startup+0.309431 s]* /proc/loadavg: 8.12 7.08 5.92 2/192 32489 /proc/meminfo: memFree=31850600/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=102868 memory=79060 CPUtime=0.31 cores=0-7 /proc/32488/stat : 32488 (cosoco) R 32485 32488 29683 0 -1 4202496 19967 0 0 0 28 3 0 0 20 0 1 0 436828017 105336832 19765 33554432000 4194304 6211092 140732063773136 140732063769672 140573201857632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 25717 19765 826 493 0 19022 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 102868 KiB Current children cumulated memory: 79060 KiB [startup+0.700386 s] /proc/loadavg: 8.12 7.08 5.92 2/192 32489 /proc/meminfo: memFree=31803300/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=188256 memory=164812 CPUtime=0.68 cores=0-7 /proc/32488/stat : 32488 (cosoco) R 32485 32488 29683 0 -1 4202496 41378 0 0 0 63 5 0 0 20 0 1 0 436828017 192774144 41203 33554432000 4194304 6211092 140732063773136 140732063768312 5452231 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 47064 41203 857 493 0 40369 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 188256 KiB Current children cumulated memory: 164812 KiB [startup+1.50144 s] /proc/loadavg: 8.12 7.08 5.92 9/200 32497 /proc/meminfo: memFree=31648376/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=285332 CPUtime=6.33 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 71827 0 0 0 614 19 0 0 20 0 9 0 436828017 808235008 71333 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 71333 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=5059471475862 CPUtime=0.69 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 3636 0 0 0 68 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573191265552 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=0 CPUtime=0.69 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 3457 0 0 0 68 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573182872592 5397235 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=6943526294502006880 CPUtime=0.69 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 3408 0 0 0 67 2 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573174479544 5149234 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=0 CPUtime=0.68 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 3501 0 0 0 67 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573166087184 5409457 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=0 CPUtime=0.68 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 3358 0 0 0 67 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573157694056 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=281030044946320 CPUtime=0.68 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 3361 0 0 0 67 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573149301792 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=10843 CPUtime=0.69 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 3417 0 0 0 68 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573140908568 5035326 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=12384 CPUtime=0.69 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 3456 0 0 0 68 1 0 0 20 0 9 0 436828095 808235008 71333 33554432000 4194304 6211092 140732063773136 140573132516624 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 6.33 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 285332 KiB [startup+3.11044 s] /proc/loadavg: 8.12 7.08 5.92 9/200 32497 /proc/meminfo: memFree=31633496/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=296556 CPUtime=19.17 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 150401 0 0 0 1883 34 0 0 20 0 9 0 436828017 808235008 74139 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 74139 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=206 CPUtime=2.3 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 14607 0 0 0 226 4 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573191264952 5396740 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=3568 CPUtime=2.3 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 16510 0 0 0 227 3 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573182872248 5148687 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=0 CPUtime=2.3 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 11063 0 0 0 226 4 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573174480144 5392078 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=0 CPUtime=2.26 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 11021 0 0 0 224 2 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573166086760 5157976 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=0 CPUtime=2.29 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 11438 0 0 0 227 2 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573157694136 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=2368 CPUtime=2.29 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 12956 0 0 0 227 2 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573149301888 5250293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=56 CPUtime=2.3 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 15530 0 0 0 225 5 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573140908648 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=288230377007612191 CPUtime=2.29 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 13043 0 0 0 227 2 0 0 20 0 9 0 436828095 808235008 74139 33554432000 4194304 6211092 140732063773136 140573132515944 5397216 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 19.17 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 296556 KiB [startup+6.30144 s] /proc/loadavg: 8.20 7.11 5.94 9/200 32497 /proc/meminfo: memFree=31630372/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=299356 CPUtime=44.62 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 198516 0 0 0 4423 39 0 0 20 0 9 0 436828017 808235008 74839 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 74839 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=299356 CPUtime=5.5 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 19319 0 0 0 545 5 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573191264952 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=0 CPUtime=5.49 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 21754 0 0 0 546 3 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573182872248 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=140519449126527 CPUtime=5.49 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 18438 0 0 0 544 5 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573174479544 5193754 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=56 CPUtime=5.4 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 19483 0 0 0 537 3 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573166086760 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=288230377007612191 CPUtime=5.48 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 16858 0 0 0 545 3 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573157694056 5035326 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=3568 CPUtime=5.47 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 18071 0 0 0 545 2 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573149301432 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=36316 CPUtime=5.48 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 22328 0 0 0 543 5 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573140908648 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=988 CPUtime=5.48 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 18032 0 0 0 545 3 0 0 20 0 9 0 436828095 808235008 74839 33554432000 4194304 6211092 140732063773136 140573132515944 5035263 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 44.62 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 299356 KiB [startup+12.7014 s] /proc/loadavg: 8.18 7.12 5.95 10/200 32497 /proc/meminfo: memFree=31628052/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=300124 CPUtime=95.65 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 267540 0 0 0 9517 48 0 0 20 0 9 0 436828017 808235008 75031 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75031 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=281030045428832 CPUtime=11.89 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 28862 0 0 0 1183 6 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573191264952 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=8238361339246136041 CPUtime=11.88 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 29304 0 0 0 1184 4 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573182872248 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=3568 CPUtime=11.88 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 26157 0 0 0 1182 6 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573174479544 5035286 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=36316 CPUtime=11.73 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 25741 0 0 0 1169 4 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573166086760 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=300124 CPUtime=11.86 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 26513 0 0 0 1182 4 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573157694056 5155928 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=15541812429348949 CPUtime=11.84 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 26132 0 0 0 1181 3 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573149301432 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=0 CPUtime=11.88 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 33962 0 0 0 1181 7 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573140908648 5035286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=0 CPUtime=11.85 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 26636 0 0 0 1181 4 0 0 20 0 9 0 436828095 808235008 75031 33554432000 4194304 6211092 140732063773136 140573132515944 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 95.65 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 300124 KiB [startup+25.5014 s] /proc/loadavg: 8.21 7.18 5.99 9/200 32497 /proc/meminfo: memFree=31625648/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=301188 CPUtime=197.78 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 314991 0 0 0 19724 54 0 0 20 0 9 0 436828017 808235008 75297 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75297 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=281030044983616 CPUtime=24.67 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 34308 0 0 0 2461 6 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573191264952 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=140515022583105 CPUtime=24.67 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 34936 0 0 0 2462 5 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573182872248 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=6515465389257 CPUtime=24.68 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 35229 0 0 0 2461 7 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573174480144 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=0 CPUtime=24.46 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 33369 0 0 0 2441 5 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573166086760 5396326 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=301028 CPUtime=24.64 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 30427 0 0 0 2459 5 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573157694056 5035216 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=140515022869204 CPUtime=24.52 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 31583 0 0 0 2448 4 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573149301432 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=1408 CPUtime=24.67 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 39436 0 0 0 2459 8 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573140908648 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=301188 CPUtime=24.64 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 31470 0 0 0 2459 5 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573132515944 5035320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 197.78 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 301188 KiB [startup+51.1104 s] /proc/loadavg: 8.42 7.31 6.07 9/200 32500 /proc/meminfo: memFree=31625888/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=301188 CPUtime=402.12 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 378351 0 0 0 40151 61 0 0 20 0 9 0 436828017 808235008 75297 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75297 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=301188 CPUtime=50.25 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 43679 0 0 0 5018 7 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573191264952 5035216 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=301188 CPUtime=50.26 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 43223 0 0 0 5020 6 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573182872248 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=301188 CPUtime=50.27 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 42152 0 0 0 5019 8 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573174480144 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=1080 CPUtime=49.69 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 38855 0 0 0 4963 6 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573166086760 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=301188 CPUtime=50.22 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 38740 0 0 0 5016 6 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573157694056 5149461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=1344 CPUtime=50.1 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 39496 0 0 0 5005 5 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573149301432 5148684 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=1712 CPUtime=50.25 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 48927 0 0 0 5017 8 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573140908648 5009258 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=1924 CPUtime=50.23 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 39046 0 0 0 5017 6 0 0 20 0 9 0 436828095 808235008 75297 33554432000 4194304 6211092 140732063773136 140573132515944 5035281 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 402.12 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 301188 KiB [startup+102.301 s] /proc/loadavg: 8.58 7.52 6.20 9/200 32503 /proc/meminfo: memFree=31627064/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=301204 CPUtime=810.55 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 446828 0 0 0 80987 68 0 0 20 0 9 0 436828017 808235008 75301 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75301 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=301188 CPUtime=101.41 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 51290 0 0 0 10133 8 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573191264952 5038700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=301204 CPUtime=101.41 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 51308 0 0 0 10133 8 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573182872248 5148679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=10122 CPUtime=101.41 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 53620 0 0 0 10133 8 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573174480144 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=10122 CPUtime=100.1 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 49854 0 0 0 10003 7 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573166086760 5250287 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=3568 CPUtime=101.37 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 45781 0 0 0 10130 7 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573157694056 5039007 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=0 CPUtime=101.25 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 46409 0 0 0 10119 6 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573149301432 5149120 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=301188 CPUtime=101.4 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 57632 0 0 0 10131 9 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573140908648 5039199 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=1548 CPUtime=101.38 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 46701 0 0 0 10131 7 0 0 20 0 9 0 436828095 808235008 75301 33554432000 4194304 6211092 140732063773136 140573132515944 5149234 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 810.55 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 301204 KiB [startup+162.301 s] /proc/loadavg: 8.55 7.73 6.36 9/200 32506 /proc/meminfo: memFree=31624336/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=301208 CPUtime=1289.53 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 472699 0 0 0 128880 73 0 0 20 0 9 0 436828017 808235008 75302 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75302 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=301204 CPUtime=161.38 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 54334 0 0 0 16130 8 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573191264952 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=301208 CPUtime=161.4 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 56542 0 0 0 16132 8 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573182872248 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=301208 CPUtime=161.41 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 57083 0 0 0 16132 9 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573174480144 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=301208 CPUtime=160.07 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 53590 0 0 0 16000 7 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573166086760 5035331 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=3833322961208633439 CPUtime=160.49 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 46826 0 0 0 16042 7 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573157694056 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=301208 CPUtime=161.22 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 47625 0 0 0 16116 6 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573149301432 5149120 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=301208 CPUtime=161.38 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 61210 0 0 0 16128 10 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573140908648 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=7420 CPUtime=161.35 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 51256 0 0 0 16127 8 0 0 20 0 9 0 436828095 808235008 75302 33554432000 4194304 6211092 140732063773136 140573132515944 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 1289.53 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 301208 KiB [startup+222.301 s] /proc/loadavg: 8.20 7.78 6.46 9/201 32511 /proc/meminfo: memFree=31626032/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=301704 CPUtime=1768.57 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 476751 0 0 0 176783 74 0 0 20 0 9 0 436828017 808235008 75426 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75426 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=301704 CPUtime=221.37 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 54845 0 0 0 22129 8 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573191264952 5392078 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=301704 CPUtime=221.39 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 56870 0 0 0 22130 9 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573182872248 5148679 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=301212 CPUtime=221.4 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 57550 0 0 0 22131 9 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573174479544 5038686 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=301212 CPUtime=220.06 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 53945 0 0 0 21999 7 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573166087440 5035326 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=301548 CPUtime=219.59 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 47305 0 0 0 21952 7 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573157694056 5397375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=301704 CPUtime=221.2 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 48109 0 0 0 22114 6 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573149301432 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=301704 CPUtime=221.37 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 61427 0 0 0 22127 10 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573140908648 5009042 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=3568 CPUtime=221.34 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 52467 0 0 0 22126 8 0 0 20 0 9 0 436828095 808235008 75426 33554432000 4194304 6211092 140732063773136 140573132516024 5035286 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 1768.57 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 301704 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.12 7.80 6.51 9/199 32511 /proc/meminfo: memFree=31626672/32770624 swapFree=67014400/67108860 [pid=32488] ppid=32485 vsize=789292 memory=301948 CPUtime=2005.79 cores=0-7 /proc/32488/stat : 32488 (cosoco) S 32485 32488 29683 0 -1 1077944320 477490 0 0 0 200504 75 0 0 20 0 9 0 436828017 808235008 75487 33554432000 4194304 6211092 140732063773136 140732063771392 140573214408439 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 /proc/32488/statm: 197323 75487 893 493 0 190628 0 [pid=32488/tid=32490] ppid=32485 vsize=789292 memory=924 CPUtime=251.08 cores=0-7 /proc/32488/task/32490/stat : 32490 (cosoco) R 32485 32488 29683 0 -1 4202560 54850 0 0 0 25100 8 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573191264952 5149028 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32491] ppid=32485 vsize=789292 memory=1712 CPUtime=251.09 cores=0-7 /proc/32488/task/32491/stat : 32491 (cosoco) R 32485 32488 29683 0 -1 4202560 57095 0 0 0 25100 9 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573182872248 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32492] ppid=32485 vsize=789292 memory=6935054825532540783 CPUtime=251.1 cores=0-7 /proc/32488/task/32492/stat : 32492 (cosoco) R 32485 32488 29683 0 -1 4202560 57803 0 0 0 25101 9 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573174479544 5009400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32493] ppid=32485 vsize=789292 memory=2608 CPUtime=249.77 cores=0-7 /proc/32488/task/32493/stat : 32493 (cosoco) R 32485 32488 29683 0 -1 4202560 54039 0 0 0 24970 7 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573166087440 5035278 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32494] ppid=32485 vsize=789292 memory=1444 CPUtime=248.88 cores=0-7 /proc/32488/task/32494/stat : 32494 (cosoco) R 32485 32488 29683 0 -1 4202560 47320 0 0 0 24881 7 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573157694056 5157976 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32495] ppid=32485 vsize=789292 memory=820 CPUtime=250.91 cores=0-7 /proc/32488/task/32495/stat : 32495 (cosoco) R 32485 32488 29683 0 -1 4202560 48148 0 0 0 25085 6 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573149301432 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32496] ppid=32485 vsize=789292 memory=1760 CPUtime=251.07 cores=0-7 /proc/32488/task/32496/stat : 32496 (cosoco) R 32485 32488 29683 0 -1 4202560 61515 0 0 0 25097 10 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573140909328 5157993 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 [pid=32488/tid=32497] ppid=32485 vsize=789292 memory=111636 CPUtime=251.05 cores=0-7 /proc/32488/task/32497/stat : 32497 (cosoco) R 32485 32488 29683 0 -1 4202560 52487 0 0 0 25097 8 0 0 20 0 9 0 436828095 808235008 75487 33554432000 4194304 6211092 140732063773136 140573132516024 5035263 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30289920 140732063781910 140732063782002 140732063782002 140732063784910 0 Current children cumulated CPU time: 2005.79 s Current children cumulated vsize: 789292 KiB Current children cumulated memory: 301948 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.029 s] # the end of solver process 32488 was just reported to runsolver # cumulated CPU time of all completed processes: user=2005.15 s, system=0.756432 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.029 CPU time (s): 2005.91 CPU user time (s): 2005.15 CPU system time (s): 0.756432 CPU usage (%): 795.902 Max. virtual memory (cumulated for all children) (KiB): 789292 Max. memory (cumulated for all children) (KiB): 301948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2005.15 system time used= 0.756432 maximum resident set size= 302176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 477534 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= 30799 involuntary context switches= 16348 # summary of solver processes directly reported to runsolver: # pid: 32488 # total CPU time (s): 2005.91 # total CPU user time (s): 2005.15 # total CPU system time (s): 0.756432 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.23 second user time and 2.3662 second system time The end
Begin job on node143 at 2019-09-16 06:41:05 IDJOB=4398768 IDBENCH=127015 IDSOLVER=2852 FILE ID=node143/4398768-1568608907 RUNJOBID= node143-1568595839-29710 PBS_JOBID= 21703394 Free space on /tmp= 59272 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-053.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398768-1568608907/watcher-4398768-1568608907 -o /tmp/evaluation-result-4398768-1568608907/solver-4398768-1568608907 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568595839-29710 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398768-1568608907.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e RANDOM SEED=738377162 node143.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.73 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.73 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.73 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.73 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: 31923588 kB MemAvailable: 31873548 kB Buffers: 7872 kB Cached: 194308 kB SwapCached: 40008 kB Active: 53620 kB Inactive: 201436 kB Active(anon): 3824 kB Inactive(anon): 98540 kB Active(file): 49796 kB Inactive(file): 102896 kB Unevictable: 110332 kB Mlocked: 110332 kB SwapTotal: 67108860 kB SwapFree: 67014400 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 148916 kB Mapped: 38848 kB Shmem: 40872 kB Slab: 182512 kB SReclaimable: 153644 kB SUnreclaim: 28868 kB KernelStack: 3728 kB PageTables: 6028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 98304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59272 MiB End job on node143 at 2019-09-16 06:45:18