| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 130 | 470.852 | 59.1671 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml |
| MD5SUM | c061694c4fbf3df02ed1b2618516c596 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 130 |
| Best CPU time to get the best result obtained on this benchmark | 9.1685 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3738 |
| Number of constraints | 200 |
| Number of domains | 14 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":534},{"size":5,"count":178},{"size":6,"count":178},{"size":7,"count":178},{"size":8,"count":178},{"size":9,"count":356},{"size":11,"count":178},{"size":12,"count":712},{"size":13,"count":356},{"size":14,"count":178},{"size":16,"count":178},{"size":17,"count":178},{"size":18,"count":178},{"size":22,"count":178}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":3738}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 3560 |
| Distribution of constraint arities | [{"arity":21,"count":178},{"arity":178,"count":21},{"arity":3560,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":198}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.09 c 0.00/0.09 c This is cosoco 2.00 -- 0.00/0.09 c 0.00/0.09 c command line: cosoco -model -nbcores=8 HOME/instance-4409614-1569822657.xml 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.09 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 138.54/17.56 c enable optimization 138.54/17.56 c ========================================[ Problem Statistics ]=========================================== 138.54/17.56 c | 138.54/17.56 c | Parse time : 0.10 s 138.54/17.56 c | 138.54/17.56 c | Variables: 3738 138.54/17.56 c | Domain Sizes: 2..22 138.54/17.56 c | 138.54/17.56 c | Constraints: 553 138.54/17.56 c | Arity: 2..178 -- Binary: 177 138.54/17.56 c | 138.54/17.56 c | Types: 138.54/17.56 c | (X -Y <= k): 177 138.54/17.56 c | Lex: 177 138.54/17.56 c | Sum: 199 138.54/17.56 c | 138.54/17.56 c | Objective: Minimize Sum 138.54/17.56 138.54/17.56 c ========================================================================================================= 138.54/17.56 c Parallel mode: Portfolio 138.54/17.56 c [pFactory][Group N°0] created (threads:8). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 138.54/17.56 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 138.54/17.56 c [pFactory][Group N°0] concurrent mode: enabled. 138.54/17.56 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 138.54/17.56 c [pFactory][Group N°0] task 7 launched on thread 0. 138.54/17.56 c [pFactory][Group N°0] task 6 launched on thread 1. 138.54/17.56 c [pFactory][Group N°0] task 5 launched on thread 2. 138.54/17.56 c [pFactory][Group N°0] task 4 launched on thread 6. 138.54/17.56 c [pFactory][Group N°0] task 3 launched on thread 7. 138.54/17.56 c [pFactory][Group N°0] task 2 launched on thread 5. 138.54/17.56 c [pFactory][Group N°0] task 1 launched on thread 3. 138.54/17.56 c [pFactory][Group N°0] task 0 launched on thread 4. 138.54/17.56 o 130 470.70/59.13 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 2. 470.70/59.13 c [pFactory][Group N°0] Thread N°0 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°1 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°2 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°3 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°4 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°5 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°6 is joined. 470.70/59.13 c [pFactory][Group N°0] Thread N°7 is joined. 470.70/59.13 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°5) 470.70/59.13 s OPTIMUM FOUND 470.70/59.13 c call to solver : 2 470.70/59.13 c 470.70/59.13 c restarts : 1897 470.70/59.13 c conflicts : 16733 (36 /sec) 470.70/59.13 c decisions : 1085449 (2309 /sec) 470.70/59.13 c propagations : 5674729 (12072 /sec) 470.70/59.13 c root propagations : 30616 470.70/59.13 c filter calls : 6817167 (14502 /sec) 470.70/59.13 c useless filter calls : 6185869 (90 %) 470.70/59.13 c Memory used : 654.60 MB 470.70/59.13 c Best bound time (wc) : 17.5617 s 470.70/59.13 c CPU time : 470.079 s 470.70/59.13 c real time : 59.1268 s 470.70/59.13 470.70/59.13 470.70/59.13 v <instantiation type='solution' cost='130'> 470.70/59.13 v <list>p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[100][0] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[110][0] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[120][0] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[130][0] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[140][0] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[150][0] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[160][0] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][10] r[167][11] r[167][12] r[167][13] r[167][14] r[167][15] r[167][16] r[167][17] r[167][18] r[167][19] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][10] r[168][11] r[168][12] r[168][13] r[168][14] r[168][15] r[168][16] r[168][17] r[168][18] r[168][19] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][10] r[169][11] r[169][12] r[169][13] r[169][14] r[169][15] r[169][16] r[169][17] r[169][18] r[169][19] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[170][0] r[170][10] r[170][11] r[170][12] r[170][13] r[170][14] r[170][15] r[170][16] r[170][17] r[170][18] r[170][19] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][10] r[171][11] r[171][12] r[171][13] r[171][14] r[171][15] r[171][16] r[171][17] r[171][18] r[171][19] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][10] r[172][11] r[172][12] r[172][13] r[172][14] r[172][15] r[172][16] r[172][17] r[172][18] r[172][19] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][10] r[173][11] r[173][12] r[173][13] r[173][14] r[173][15] r[173][16] r[173][17] r[173][18] r[173][19] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][10] r[174][11] r[174][12] r[174][13] r[174][14] r[174][15] r[174][16] r[174][17] r[174][18] r[174][19] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[175][0] r[175][10] r[175][11] r[175][12] r[175][13] r[175][14] r[175][15] r[175][16] r[175][17] r[175][18] r[175][19] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[176][0] r[176][10] r[176][11] r[176][12] r[176][13] r[176][14] r[176][15] r[176][16] r[176][17] r[176][18] r[176][19] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[177][0] r[177][10] r[177][11] r[177][12] r[177][13] r[177][14] r[177][15] r[177][16] r[177][17] r[177][18] r[177][19] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[30][0] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[40][0] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[50][0] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[60][0] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[70][0] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[80][0] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[90][0] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] </list> 470.70/59.13 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 470.70/59.13 v </instantiation> 470.70/59.13
OK 130
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 (15394 MiB free)
memory of node 1: 16384 MiB (15569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409614-1569822657/watcher-4409614-1569822657 -o /tmp/evaluation-result-4409614-1569822657/solver-4409614-1569822657 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1569814250-30743 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409614-1569822657.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31515, runsolver pid=31512
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 8.01 8.18 8.22 3/190 31516
/proc/meminfo: memFree=31654004/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=89608 memory=65900 CPUtime=0.1 cores=0-7
/proc/31515/stat : 31515 (cosoco) R 31512 31515 30716 0 -1 4202496 16694 0 0 0 8 2 0 0 20 0 1 0 558523158 91758592 16475 33554432000 4194304 6211132 140734695666608 140734695663144 140259438114720 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 22402 16475 847 493 0 15707 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 89608 KiB
Current children cumulated memory: 65900 KiB
[startup+0.210547 s]*
/proc/loadavg: 8.01 8.18 8.22 9/198 31524
/proc/meminfo: memFree=31611276/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=100452 CPUtime=0.7 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 25401 0 0 0 66 4 0 0 20 0 9 0 558523158 719966208 25113 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 25113 896 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=8316850467074736180 CPUtime=0.07 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 344 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259430963768 5397255 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=1899516 CPUtime=0.07 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259422571064 5397258 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=3907076073126606496 CPUtime=0.07 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259414178504 5397258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=-1 CPUtime=0.06 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 342 0 0 0 6 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259405785656 5397258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=0 CPUtime=0.07 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259397393096 5397258 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=0 CPUtime=0.07 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259389000248 5397258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=-1 CPUtime=0.07 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259380607592 5397255 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=0 CPUtime=0.07 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 558523173 719966208 25113 33554432000 4194304 6211132 140734695666608 140259372214840 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 100452 KiB
[startup+0.315546 s]*
/proc/loadavg: 7.93 8.16 8.21 7/198 31524
/proc/meminfo: memFree=31556736/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=719508 memory=162864 CPUtime=1.47 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 42289 0 0 0 138 9 0 0 20 0 9 0 558523158 736776192 40716 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 179877 40716 898 493 0 173182 0
[pid=31515/tid=31517] ppid=31512 vsize=719508 memory=8317482817917895235 CPUtime=0.16 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 2466 0 0 0 16 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259430963624 140259438062398 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 2965 0 0 0 16 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259422570920 140259438062398 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 2163 0 0 0 16 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259414178408 5149253 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=719508 memory=0 CPUtime=0.14 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 1636 0 0 0 14 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259405785544 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=719508 memory=0 CPUtime=0.15 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 3364 0 0 0 15 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259397393000 140259438062398 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) D 31512 31515 30716 0 -1 4202560 2601 0 0 0 16 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259389000104 140259438542423 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 2227 0 0 0 16 0 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259380607416 140259438062398 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 2296 0 0 0 15 1 0 0 20 0 9 0 558523173 736776192 40848 33554432000 4194304 6211132 140734695666608 140259372214728 140259438062398 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 162864 KiB
[startup+0.70055 s]
/proc/loadavg: 7.93 8.16 8.21 9/198 31524
/proc/meminfo: memFree=31468676/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=719508 memory=305688 CPUtime=4.43 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 77972 0 0 0 423 20 0 0 20 0 9 0 558523158 736776192 76422 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 179877 76422 898 493 0 173182 0
[pid=31515/tid=31517] ppid=31512 vsize=719508 memory=6248 CPUtime=0.53 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 9909 0 0 0 51 2 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259430963640 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=719508 memory=784 CPUtime=0.53 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 10214 0 0 0 51 2 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259422570952 5155839 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=719508 memory=1060 CPUtime=0.53 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 5233 0 0 0 52 1 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259414178408 140259438062398 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=719508 memory=14012 CPUtime=0.5 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 2704 0 0 0 49 1 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259405785704 5149651 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=719508 memory=6488 CPUtime=0.53 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 3619 0 0 0 53 0 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259397392904 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=719508 memory=0 CPUtime=0.53 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 9855 0 0 0 50 3 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259389000296 5396441 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=719508 memory=0 CPUtime=0.53 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 4185 0 0 0 53 0 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259380607416 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=719508 memory=0 CPUtime=0.52 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 9632 0 0 0 50 2 0 0 20 0 9 0 558523173 736776192 76488 33554432000 4194304 6211132 140734695666608 140259372214888 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 305688 KiB
[startup+1.50055 s]
/proc/loadavg: 7.93 8.16 8.21 9/198 31524
/proc/meminfo: memFree=31401468/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=719508 memory=317408 CPUtime=10.81 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 112351 0 0 0 1055 26 0 0 20 0 9 0 558523158 736776192 79352 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 179877 79352 899 493 0 173182 0
[pid=31515/tid=31517] ppid=31512 vsize=719508 memory=0 CPUtime=1.33 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 13901 0 0 0 130 3 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259430963624 5193742 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=719508 memory=0 CPUtime=1.33 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 11732 0 0 0 131 2 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259422570952 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=719508 memory=280956896659488 CPUtime=1.34 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 10262 0 0 0 131 3 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259414178248 5396447 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=719508 memory=2321500032800480464 CPUtime=1.28 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 6781 0 0 0 127 1 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259405785528 5148716 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=719508 memory=7375042870097176170 CPUtime=1.33 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 7346 0 0 0 131 2 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259397392824 5397258 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=719508 memory=0 CPUtime=1.32 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 16411 0 0 0 129 3 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259389000136 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=719508 memory=5787213857162809680 CPUtime=1.33 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 8737 0 0 0 132 1 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259380607416 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=719508 memory=8099561564667007843 CPUtime=1.33 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 14522 0 0 0 130 3 0 0 20 0 9 0 558523173 736776192 79352 33554432000 4194304 6211132 140734695666608 140259372215424 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 10.81 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 317408 KiB
[startup+3.11055 s]
/proc/loadavg: 7.93 8.16 8.21 9/198 31524
/proc/meminfo: memFree=31380388/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=719508 memory=333684 CPUtime=23.67 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 160313 0 0 0 2337 30 0 0 20 0 9 0 558523158 736776192 83421 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 179877 83421 899 493 0 173182 0
[pid=31515/tid=31517] ppid=31512 vsize=719508 memory=0 CPUtime=2.94 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 19012 0 0 0 290 4 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259430963624 5149298 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=719508 memory=3624 CPUtime=2.95 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 19128 0 0 0 292 3 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259422570952 5193763 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=719508 memory=10568 CPUtime=2.94 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 17534 0 0 0 291 3 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259414178408 5091739 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=719508 memory=0 CPUtime=2.87 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 12254 0 0 0 285 2 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259405785704 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=719508 memory=0 CPUtime=2.94 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 13696 0 0 0 292 2 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259397393000 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=719508 memory=0 CPUtime=2.94 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 20913 0 0 0 290 4 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259389000136 5148719 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=719508 memory=33 CPUtime=2.94 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 14784 0 0 0 292 2 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259380607416 5150001 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=719508 memory=-9109511518863828297 CPUtime=2.94 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 20333 0 0 0 291 3 0 0 20 0 9 0 558523173 736776192 83421 33554432000 4194304 6211132 140734695666608 140259372215424 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 23.67 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 333684 KiB
[startup+6.30055 s]
/proc/loadavg: 7.93 8.15 8.21 9/199 31526
/proc/meminfo: memFree=31354104/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=719508 memory=357916 CPUtime=49.13 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 225708 0 0 0 4876 37 0 0 20 0 9 0 558523158 736776192 89479 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 179877 89479 899 493 0 173182 0
[pid=31515/tid=31517] ppid=31512 vsize=719508 memory=3624 CPUtime=6.13 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 27324 0 0 0 608 5 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259430963816 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=719508 memory=10568 CPUtime=6.13 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 30406 0 0 0 610 3 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259422570920 5186484 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=719508 memory=33 CPUtime=6.13 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 24529 0 0 0 609 4 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259414178408 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=719508 memory=3616988876480983345 CPUtime=6.02 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 18690 0 0 0 599 3 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259405785704 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=719508 memory=984 CPUtime=6.13 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 20837 0 0 0 610 3 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259397392808 140259438071132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=719508 memory=2016 CPUtime=6.13 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 30284 0 0 0 608 5 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259389000296 5149253 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=719508 memory=140482862626431 CPUtime=6.13 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 24237 0 0 0 609 4 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259380607592 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=719508 memory=5782674880105308224 CPUtime=6.13 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 26745 0 0 0 609 4 0 0 20 0 9 0 558523173 736776192 89479 33554432000 4194304 6211132 140734695666608 140259372215424 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 49.13 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 357916 KiB
[startup+12.7006 s]
/proc/loadavg: 7.94 8.15 8.21 9/198 31526
/proc/meminfo: memFree=31315492/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=719508 memory=396188 CPUtime=100.21 cores=0-7
################
# More data... #
################
Current children cumulated CPU time: 407.54 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 470588 KiB
[startup+54.4005 s]
/proc/loadavg: 7.97 8.13 8.20 9/200 31536
/proc/meminfo: memFree=31224012/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=484616 CPUtime=433.09 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 522095 0 0 0 43237 72 0 0 20 0 9 0 558523158 719966208 121154 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 121154 899 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=464432 CPUtime=54.21 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 62802 0 0 0 5412 9 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259430963816 5093416 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=984 CPUtime=53.84 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 68162 0 0 0 5377 7 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259422571112 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=4000 CPUtime=54.19 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 69179 0 0 0 5410 9 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259414178408 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=616 CPUtime=53.8 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 52469 0 0 0 5374 6 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259405786440 5149281 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=465792 CPUtime=54.2 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 59614 0 0 0 5411 9 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259397393000 5409508 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=2580 CPUtime=54.21 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 64195 0 0 0 5412 9 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259389000296 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=470292 CPUtime=54.22 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 63844 0 0 0 5414 8 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259380607592 5392040 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=465804 CPUtime=54.21 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 59171 0 0 0 5414 7 0 0 20 0 9 0 558523173 719966208 121154 33554432000 4194304 6211132 140734695666608 140259372215424 5409493 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 433.09 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 484616 KiB
[startup+57.6006 s]
/proc/loadavg: 7.97 8.13 8.20 9/199 31537
/proc/meminfo: memFree=31223376/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=485288 CPUtime=458.65 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 531792 0 0 0 45792 73 0 0 20 0 9 0 558523158 719966208 121322 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 121322 899 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=6935054825532540783 CPUtime=57.41 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 65688 0 0 0 5732 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259430963816 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=14056 CPUtime=56.99 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 69703 0 0 0 5692 7 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259422570920 5090820 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=485244 CPUtime=57.38 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 70283 0 0 0 5729 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259414178944 5149042 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=7552 CPUtime=57 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 53524 0 0 0 5694 6 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259405785784 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=485288 CPUtime=57.4 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 59753 0 0 0 5731 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259397393328 5409471 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=484696 CPUtime=57.41 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 65535 0 0 0 5732 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259389000376 5149680 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=3472328296227679313 CPUtime=57.42 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 65266 0 0 0 5734 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259380607592 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=7740392991736032868 CPUtime=57.41 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 59381 0 0 0 5733 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259372215424 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 458.65 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 485288 KiB
[startup+58.4005 s]
/proc/loadavg: 7.97 8.13 8.20 9/199 31537
/proc/meminfo: memFree=31223376/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=485288 CPUtime=465.03 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 532680 0 0 0 46430 73 0 0 20 0 9 0 558523158 719966208 121322 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 121322 899 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=1136 CPUtime=58.21 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 65817 0 0 0 5812 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259430963816 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=7552 CPUtime=57.78 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 69755 0 0 0 5771 7 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259422570920 5148716 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=4000 CPUtime=58.18 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 70450 0 0 0 5809 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259414178944 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=616 CPUtime=57.8 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 53559 0 0 0 5774 6 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259405785784 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=485288 CPUtime=58.2 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 59782 0 0 0 5811 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259397393328 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=516 CPUtime=58.21 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 65867 0 0 0 5812 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259389000376 5409493 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=470664 CPUtime=58.22 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 65382 0 0 0 5814 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259380607592 5186484 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=66508637 CPUtime=58.21 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 59410 0 0 0 5813 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259372215424 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 465.03 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 485288 KiB
[startup+58.8005 s]
/proc/loadavg: 7.97 8.13 8.20 9/199 31537
/proc/meminfo: memFree=31223376/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=485288 CPUtime=468.23 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 532995 0 0 0 46750 73 0 0 20 0 9 0 558523158 719966208 121322 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 121322 899 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=2832 CPUtime=58.61 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 65831 0 0 0 5852 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259430963816 5149240 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=1712 CPUtime=58.17 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 69879 0 0 0 5810 7 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259422570920 5148725 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=1136 CPUtime=58.58 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 70475 0 0 0 5849 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259414178944 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=3624 CPUtime=58.2 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 53603 0 0 0 5814 6 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259405785784 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=10572 CPUtime=58.6 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 59782 0 0 0 5851 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259397393328 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=984 CPUtime=58.61 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 65895 0 0 0 5852 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259389000376 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=2016 CPUtime=58.62 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 65437 0 0 0 5854 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259380607592 5148719 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=140478448586977 CPUtime=58.61 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 59434 0 0 0 5853 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259372215424 5148730 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 468.23 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 485288 KiB
[startup+59.0005 s]*
/proc/loadavg: 7.97 8.13 8.20 9/199 31537
/proc/meminfo: memFree=31223748/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=485288 CPUtime=469.9 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 533100 0 0 0 46917 73 0 0 20 0 9 0 558523158 719966208 121322 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 121322 899 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=8317482817917895235 CPUtime=58.82 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 65865 0 0 0 5873 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259430963816 5193742 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=4130473009458984736 CPUtime=58.37 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 69882 0 0 0 5830 7 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259422570920 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=0 CPUtime=58.79 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 70500 0 0 0 5870 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259414178944 5409508 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=0 CPUtime=58.41 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 53606 0 0 0 5835 6 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259405785784 5149080 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=0 CPUtime=58.81 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 59783 0 0 0 5872 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259397393328 5397400 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=0 CPUtime=58.82 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 65924 0 0 0 5873 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259389000376 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=0 CPUtime=58.83 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 65445 0 0 0 5875 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259380607592 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=0 CPUtime=58.82 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 59436 0 0 0 5874 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259372215424 5148719 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 469.9 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 485288 KiB
[startup+59.1105 s]
/proc/loadavg: 7.97 8.13 8.20 9/199 31537
/proc/meminfo: memFree=31223748/32770624 swapFree=66957944/67108860
[pid=31515] ppid=31512 vsize=703092 memory=485288 CPUtime=470.7 cores=0-7
/proc/31515/stat : 31515 (cosoco) S 31512 31515 30716 0 -1 1077944320 533212 0 0 0 46997 73 0 0 20 0 9 0 558523158 719966208 121322 33554432000 4194304 6211132 140734695666608 140734695664864 140259454107383 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
/proc/31515/statm: 175773 121322 899 493 0 169078 0
[pid=31515/tid=31517] ppid=31512 vsize=703092 memory=6935054825532540783 CPUtime=58.92 cores=0-7
/proc/31515/task/31517/stat : 31517 (cosoco) R 31512 31515 30716 0 -1 4202560 65866 0 0 0 5883 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259430963816 5148916 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31518] ppid=31512 vsize=703092 memory=452600 CPUtime=58.47 cores=0-7
/proc/31515/task/31518/stat : 31518 (cosoco) R 31512 31515 30716 0 -1 4202560 69882 0 0 0 5840 7 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259422570920 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31519] ppid=31512 vsize=703092 memory=465472 CPUtime=58.89 cores=0-7
/proc/31515/task/31519/stat : 31519 (cosoco) R 31512 31515 30716 0 -1 4202560 70536 0 0 0 5880 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259414178944 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31520] ppid=31512 vsize=703092 memory=484240 CPUtime=58.51 cores=0-7
/proc/31515/task/31520/stat : 31520 (cosoco) R 31512 31515 30716 0 -1 4202560 53608 0 0 0 5845 6 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259405785784 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31521] ppid=31512 vsize=703092 memory=485288 CPUtime=58.91 cores=0-7
/proc/31515/task/31521/stat : 31521 (cosoco) R 31512 31515 30716 0 -1 4202560 59783 0 0 0 5882 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259397393328 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31522] ppid=31512 vsize=703092 memory=485288 CPUtime=58.92 cores=0-7
/proc/31515/task/31522/stat : 31522 (cosoco) R 31512 31515 30716 0 -1 4202560 65925 0 0 0 5883 9 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259389000376 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31523] ppid=31512 vsize=703092 memory=3624 CPUtime=58.93 cores=0-7
/proc/31515/task/31523/stat : 31523 (cosoco) R 31512 31515 30716 0 -1 4202560 65497 0 0 0 5885 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259380607592 5409508 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
[pid=31515/tid=31524] ppid=31512 vsize=703092 memory=485288 CPUtime=58.92 cores=0-7
/proc/31515/task/31524/stat : 31524 (cosoco) R 31512 31515 30716 0 -1 4202560 59456 0 0 0 5884 8 0 0 20 0 9 0 558523173 719966208 121322 33554432000 4194304 6211132 140734695666608 140259372215424 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38805504 140734695670801 140734695670893 140734695670893 140734695673806 0
Current children cumulated CPU time: 470.7 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 485288 KiB
Child status: 0
Real time (s): 59.1671
CPU time (s): 470.852
CPU user time (s): 470.08
CPU system time (s): 0.772509
CPU usage (%): 795.8
Max. virtual memory (cumulated for all children) (KiB): 719508
Max. memory (cumulated for all children) (KiB): 485288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 470.08
system time used= 0.772509
maximum resident set size= 485384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533594
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= 18702
involuntary context switches= 3800
# summary of solver processes directly reported to runsolver:
# pid: 31515
# total CPU time (s): 470.852
# total CPU user time (s): 470.08
# total CPU system time (s): 0.772509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.33329 second user time and 0.547064 second system time
The end
Begin job on node105 at 2019-09-30 06:49:13 IDJOB=4409614 IDBENCH=124151 IDSOLVER=2877 FILE ID=node105/4409614-1569822657 RUNJOBID= node105-1569814250-30743 PBS_JOBID= 21705921 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-0.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409614-1569822657/watcher-4409614-1569822657 -o /tmp/evaluation-result-4409614-1569822657/solver-4409614-1569822657 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1569814250-30743 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409614-1569822657.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=488910126 node105.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.00 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.00 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.00 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.00 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: 31707132 kB MemAvailable: 31835696 kB Buffers: 99792 kB Cached: 370112 kB SwapCached: 47996 kB Active: 326096 kB Inactive: 193708 kB Active(anon): 4736 kB Inactive(anon): 124528 kB Active(file): 321360 kB Inactive(file): 69180 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66957944 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 113088 kB Mapped: 26940 kB Shmem: 70748 kB Slab: 136052 kB SReclaimable: 107716 kB SUnreclaim: 28336 kB KernelStack: 3536 kB PageTables: 5924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node105 at 2019-09-30 06:50:12