Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 130 | 286.324 | 36.1475 |
| 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.15235 |
| 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-4409914-1569828756.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.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 118.26/15.05 c enable optimization 118.26/15.05 c ========================================[ Problem Statistics ]=========================================== 118.26/15.05 c | 118.26/15.05 c | Parse time : 0.11 s 118.26/15.05 c | 118.26/15.05 c | Variables: 3738 118.26/15.05 c | Domain Sizes: 2..22 118.26/15.05 c | 118.26/15.05 c | Constraints: 553 118.26/15.05 c | Arity: 2..178 -- Binary: 177 118.26/15.05 c | 118.26/15.05 c | Types: 118.26/15.05 c | (X -Y <= k): 177 118.26/15.05 c | Lex: 177 118.26/15.05 c | Sum: 199 118.26/15.05 c | 118.26/15.05 c | Objective: Minimize Sum 118.26/15.05 118.26/15.05 c ========================================================================================================= 118.26/15.05 c Parallel mode: Portfolio 118.26/15.05 c [pFactory][Group N°0] created (threads:8). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 118.26/15.05 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 118.26/15.05 c [pFactory][Group N°0] concurrent mode: enabled. 118.26/15.05 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 118.26/15.05 c [pFactory][Group N°0] task 7 launched on thread 0. 118.26/15.05 c [pFactory][Group N°0] task 6 launched on thread 4. 118.26/15.05 c [pFactory][Group N°0] task 5 launched on thread 6. 118.26/15.05 c [pFactory][Group N°0] task 4 launched on thread 2. 118.26/15.05 c [pFactory][Group N°0] task 3 launched on thread 3. 118.26/15.05 c [pFactory][Group N°0] task 2 launched on thread 5. 118.26/15.05 c [pFactory][Group N°0] task 1 launched on thread 7. 118.26/15.05 c [pFactory][Group N°0] task 0 launched on thread 1. 118.26/15.05 o 178 208.44/26.35 o 133 215.63/27.22 o 132 224.41/28.34 o 131 240.38/30.35 o 130 285.95/36.10 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 5. 285.95/36.10 c [pFactory][Group N°0] Thread N°0 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°1 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°2 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°3 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°4 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°5 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°6 is joined. 285.95/36.10 c [pFactory][Group N°0] Thread N°7 is joined. 285.95/36.10 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6) 285.95/36.10 s OPTIMUM FOUND 285.95/36.10 c call to solver : 3 285.95/36.10 c 285.95/36.10 c restarts : 784 285.95/36.10 c conflicts : 5267 (18 /sec) 285.95/36.10 c decisions : 570689 (2000 /sec) 285.95/36.10 c propagations : 2326869 (8154 /sec) 285.95/36.10 c root propagations : 30616 285.95/36.10 c filter calls : 3324403 (11650 /sec) 285.95/36.10 c useless filter calls : 3086824 (92 %) 285.95/36.10 c Memory used : 654.60 MB 285.95/36.10 c Best bound time (wc) : 30.3549 s 285.95/36.10 c CPU time : 285.355 s 285.95/36.10 c real time : 36.1038 s 285.95/36.10 285.95/36.10 285.95/36.10 v <instantiation type='solution' cost='130'> 285.95/36.10 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> 285.95/36.10 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 0 0 0 1 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 1 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 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 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 1 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 0 1 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 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 1 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 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 1 1 0 0 0 0 0 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 1 1 0 0 0 0 0 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 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 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 1 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 1 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 1 0 0 1 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 1 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 1 0 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 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 0 0 0 0 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 1 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> 285.95/36.10 v </instantiation> 285.95/36.10
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 (12434 MiB free)
memory of node 1: 16384 MiB (15699 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409914-1569828756/watcher-4409914-1569828756 -o /tmp/evaluation-result-4409914-1569828756/solver-4409914-1569828756 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409914-1569828756.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1416, runsolver pid=1413
[startup+0.100151 s]*
/proc/loadavg: 2.27 4.15 6.36 3/193 1417
/proc/meminfo: memFree=28762164/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=87608 memory=63784 CPUtime=0.1 cores=0-7
/proc/1416/stat : 1416 (cosoco) R 1413 1416 31337 0 -1 4202496 16171 0 0 0 8 2 0 0 20 0 1 0 559037124 89710592 15946 33554432000 4194304 6211132 140733872756704 140733872753240 140187507375077 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 21902 15946 845 493 0 15207 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87608 KiB
Current children cumulated memory: 63784 KiB
[startup+0.210311 s]*
/proc/loadavg: 2.27 4.15 6.36 11/201 1425
/proc/meminfo: memFree=28720568/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=703092 memory=100448 CPUtime=0.7 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 25399 0 0 0 66 4 0 0 20 0 9 0 559037124 719966208 25112 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 25112 896 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=8318255677412212789 CPUtime=0.06 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 342 0 0 0 6 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187500272184 5397255 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=339 CPUtime=0.07 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 343 0 0 0 7 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187491879624 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=288370463330842240 CPUtime=0.07 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187483486776 5397255 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=-1 CPUtime=0.07 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187475094072 5397267 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=0 CPUtime=0.07 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 347 0 0 0 7 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187466701368 5397258 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=0 CPUtime=0.07 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187458308664 5397255 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=-1 CPUtime=0.06 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 342 0 0 0 6 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187449915960 5397258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=0 CPUtime=0.07 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 9 0 559037138 719966208 25112 33554432000 4194304 6211132 140733872756704 140187441523256 5397255 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 100448 KiB
[startup+0.310303 s]*
/proc/loadavg: 2.27 4.15 6.36 6/201 1425
/proc/meminfo: memFree=28672924/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=719508 memory=152904 CPUtime=1.41 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 39828 0 0 0 132 9 0 0 20 0 9 0 559037124 736776192 38226 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 179877 38226 898 493 0 173182 0
[pid=1416/tid=1418] ppid=1413 vsize=719508 memory=1398722017469774279 CPUtime=0.16 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 2438 0 0 0 15 1 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187500272040 140187507370814 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=719508 memory=0 CPUtime=0.15 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 3619 0 0 0 15 0 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187491879528 140187507370814 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=719508 memory=0 CPUtime=0.15 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 1460 0 0 0 15 0 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187483486824 140187507444267 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 2358 0 0 0 15 1 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187475093928 140187507370814 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=719508 memory=0 CPUtime=0.15 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) D 1413 1416 31337 0 -1 4202560 2509 0 0 0 15 0 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187466701224 140187507850839 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=719508 memory=0 CPUtime=0.15 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) D 1413 1416 31337 0 -1 4202560 1948 0 0 0 15 0 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187458308520 140187507370814 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=719508 memory=0 CPUtime=0.14 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 1663 0 0 0 14 0 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187449915848 140187507850839 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=719508 memory=0 CPUtime=0.16 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 1364 0 0 0 15 1 0 0 20 0 9 0 559037138 736776192 38556 33554432000 4194304 6211132 140733872756704 140187441523144 5009142 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 152904 KiB
[startup+0.708313 s]
/proc/loadavg: 2.27 4.15 6.36 9/201 1425
/proc/meminfo: memFree=28602396/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=719508 memory=305232 CPUtime=4.26 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 77886 0 0 0 405 21 0 0 20 0 9 0 559037124 736776192 76308 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 179877 76308 898 493 0 173182 0
[pid=1416/tid=1418] ppid=1413 vsize=719508 memory=1160 CPUtime=0.47 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 10165 0 0 0 45 2 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187500272040 5186344 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=719508 memory=1720 CPUtime=0.53 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 3877 0 0 0 53 0 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187491879528 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=719508 memory=1096 CPUtime=0.51 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 3888 0 0 0 50 1 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187483486824 5409493 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=719508 memory=6304 CPUtime=0.5 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 10032 0 0 0 47 3 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187475094120 5409481 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=719508 memory=14012 CPUtime=0.51 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 10215 0 0 0 49 2 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187466701256 5409493 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=719508 memory=8026303084046136368 CPUtime=0.47 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 9580 0 0 0 44 3 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187458308712 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=719508 memory=8026303079767946289 CPUtime=0.51 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 5040 0 0 0 50 1 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187449916008 5155844 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=719508 memory=8026303079617016881 CPUtime=0.53 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 2432 0 0 0 51 2 0 0 20 0 9 0 559037138 736776192 76308 33554432000 4194304 6211132 140733872756704 140187441523144 5148707 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 4.26 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 305232 KiB
[startup+1.50131 s]
/proc/loadavg: 2.27 4.15 6.36 10/203 1428
/proc/meminfo: memFree=28527072/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=719508 memory=315776 CPUtime=10.4 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 110461 0 0 0 1011 29 0 0 20 0 9 0 559037124 736776192 78944 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 179877 78944 899 493 0 173182 0
[pid=1416/tid=1418] ppid=1413 vsize=719508 memory=-2748367524519556131 CPUtime=1.23 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 14799 0 0 0 119 4 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187500272040 5409489 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=719508 memory=7739276948478192745 CPUtime=1.28 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 8842 0 0 0 127 1 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187491879368 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=719508 memory=-7745171780068671106 CPUtime=1.24 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 8677 0 0 0 121 3 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187483486664 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=719508 memory=6948609358279228240 CPUtime=1.3 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 13938 0 0 0 125 5 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187475094120 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=719508 memory=7739276947938502486 CPUtime=1.29 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 11971 0 0 0 127 2 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187466701256 5148719 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=719508 memory=6155685578397922622 CPUtime=1.24 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 13716 0 0 0 120 4 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187458308840 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=719508 memory=7162806249446391120 CPUtime=1.29 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 10359 0 0 0 128 1 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187449916008 5148725 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=719508 memory=6079955611194709301 CPUtime=1.33 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 5502 0 0 0 130 3 0 0 20 0 9 0 559037138 736776192 78944 33554432000 4194304 6211132 140733872756704 140187441523128 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 10.4 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 315776 KiB
[startup+3.11031 s]
/proc/loadavg: 2.73 4.21 6.37 9/200 1428
/proc/meminfo: memFree=29080216/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=719508 memory=348868 CPUtime=23.25 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 165284 0 0 0 2290 35 0 0 20 0 9 0 559037124 736776192 87217 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 179877 87217 899 493 0 173182 0
[pid=1416/tid=1418] ppid=1413 vsize=719508 memory=589981701609771201 CPUtime=2.84 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 19337 0 0 0 279 5 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187500272040 5397258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=719508 memory=140087069288865 CPUtime=2.89 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 14637 0 0 0 288 1 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187491879352 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=719508 memory=6077700535110631300 CPUtime=2.85 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 14701 0 0 0 282 3 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187483486648 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=719508 memory=308400 CPUtime=2.9 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 19433 0 0 0 285 5 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187475094120 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=719508 memory=8026303079650571313 CPUtime=2.9 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 20311 0 0 0 287 3 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187466701416 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=719508 memory=8026303079667348529 CPUtime=2.85 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 19246 0 0 0 280 5 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187458308840 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=719508 memory=8026303079684125745 CPUtime=2.87 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 22120 0 0 0 285 2 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187449915848 5091739 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=719508 memory=320760 CPUtime=2.93 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 12848 0 0 0 290 3 0 0 20 0 9 0 559037138 736776192 87217 33554432000 4194304 6211132 140733872756704 140187441523304 5008940 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 23.25 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 348868 KiB
[startup+6.30131 s]
/proc/loadavg: 2.73 4.21 6.37 9/200 1428
/proc/meminfo: memFree=29040304/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=719508 memory=391764 CPUtime=48.74 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 267479 0 0 0 4822 52 0 0 20 0 9 0 559037124 736776192 97941 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 179877 97941 899 493 0 173182 0
[pid=1416/tid=1418] ppid=1413 vsize=719508 memory=304429739 CPUtime=6.03 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 31883 0 0 0 597 6 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187500272040 5151022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=719508 memory=316240 CPUtime=6.08 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 27191 0 0 0 606 2 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187491879528 5149706 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=719508 memory=140091474097791 CPUtime=6 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 32105 0 0 0 591 9 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187483486824 5091354 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=719508 memory=164 CPUtime=6.09 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 26732 0 0 0 603 6 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187475094120 5149224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=719508 memory=0 CPUtime=6.09 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 29346 0 0 0 605 4 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187466701224 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=719508 memory=5933310688526376839 CPUtime=6.05 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 31450 0 0 0 598 7 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187458308712 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=719508 memory=0 CPUtime=6.06 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 37365 0 0 0 600 6 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187449916008 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=719508 memory=0 CPUtime=6.13 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 28752 0 0 0 607 6 0 0 20 0 9 0 559037138 736776192 97941 33554432000 4194304 6211132 140733872756704 140187441523112 5186484 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 48.74 s
Current children cumulated vsize: 719508 KiB
Current children cumulated memory: 391764 KiB
[startup+12.7013 s]
/proc/loadavg: 3.69 4.37 6.40 9/200 1428
/proc/meminfo: memFree=29009936/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=719508 memory=418916 CPUtime=99.85 cores=0-7
################
# More data... #
################
[pid=1416] ppid=1413 vsize=703092 memory=417800 CPUtime=202.85 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 473388 0 0 0 20204 81 0 0 20 0 9 0 559037124 719966208 104450 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 104450 899 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=0 CPUtime=25.33 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 55222 0 0 0 2523 10 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187500272040 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=0 CPUtime=25.38 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 54200 0 0 0 2534 4 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187491880264 5409476 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=280174138750144 CPUtime=25.02 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 55625 0 0 0 2489 13 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187483486824 5148716 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=7092998341664985709 CPUtime=25.39 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 47249 0 0 0 2530 9 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187475094856 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=5787214926557827170 CPUtime=25.39 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 63152 0 0 0 2532 7 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187466701416 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=416988 CPUtime=25.35 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 51927 0 0 0 2527 8 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187458309448 5155373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=4004 CPUtime=25.35 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 72296 0 0 0 2519 16 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187449916008 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=2832 CPUtime=25.43 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 51060 0 0 0 2535 8 0 0 20 0 9 0 559037138 719966208 104450 33554432000 4194304 6211132 140733872756704 140187441524040 5409508 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 202.85 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 417800 KiB
[startup+32.0013 s]*
/proc/loadavg: 5.20 4.67 6.46 9/200 1430
/proc/meminfo: memFree=28986720/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=703092 memory=441324 CPUtime=254 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 539599 0 0 0 25311 89 0 0 20 0 9 0 559037124 719966208 110331 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 110331 899 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=1398722017469774279 CPUtime=31.74 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 67425 0 0 0 3162 12 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187500272768 5409471 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=55 CPUtime=31.8 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 62497 0 0 0 3175 5 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187491879352 5186484 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=0 CPUtime=31.32 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 60130 0 0 0 3119 13 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187483487360 5149224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=0 CPUtime=31.8 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 55059 0 0 0 3170 10 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187475094120 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=0 CPUtime=31.8 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 74704 0 0 0 3171 9 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187466701416 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=0 CPUtime=31.76 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 57789 0 0 0 3167 9 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187458309136 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=0 CPUtime=31.76 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 83617 0 0 0 3159 17 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187449916544 5409489 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=0 CPUtime=31.83 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 55722 0 0 0 3175 8 0 0 20 0 9 0 559037138 719966208 110331 33554432000 4194304 6211132 140733872756704 140187441523840 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 254 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 441324 KiB
[startup+33.6013 s]
/proc/loadavg: 5.20 4.67 6.46 9/200 1430
/proc/meminfo: memFree=28973328/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=703092 memory=458612 CPUtime=266.74 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 549409 0 0 0 26583 91 0 0 20 0 9 0 559037124 719966208 114653 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 114653 899 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=6944656592455350634 CPUtime=33.33 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 69263 0 0 0 3321 12 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187500272232 5185175 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=-7035114785800479027 CPUtime=33.39 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 62512 0 0 0 3334 5 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187491879352 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=10636 CPUtime=32.9 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 65928 0 0 0 3276 14 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187483486952 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=984 CPUtime=33.39 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 56433 0 0 0 3329 10 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187475094120 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=1940 CPUtime=33.39 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 74810 0 0 0 3330 9 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187466701416 5009016 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=1416 CPUtime=33.35 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 57840 0 0 0 3326 9 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187458309136 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=1556 CPUtime=33.34 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 84233 0 0 0 3317 17 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187449916544 5148716 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=0 CPUtime=33.42 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 55734 0 0 0 3334 8 0 0 20 0 9 0 559037138 719966208 114653 33554432000 4194304 6211132 140733872756704 140187441523840 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 266.74 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 458612 KiB
[startup+35.2013 s]
/proc/loadavg: 5.20 4.67 6.46 9/200 1430
/proc/meminfo: memFree=28969112/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=703092 memory=459072 CPUtime=279.5 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 550963 0 0 0 27859 91 0 0 20 0 9 0 559037124 719966208 114768 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 114768 899 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=13252 CPUtime=34.93 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 69545 0 0 0 3481 12 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187500272232 5193742 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=776 CPUtime=34.98 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 62535 0 0 0 3493 5 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187491879528 5158121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=1160 CPUtime=34.47 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 65959 0 0 0 3433 14 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187483486952 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=1720 CPUtime=34.99 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 56727 0 0 0 3489 10 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187475094120 5156014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=441208 CPUtime=34.99 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 74896 0 0 0 3490 9 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187466701416 5380299 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=438400 CPUtime=34.95 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 57849 0 0 0 3486 9 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187458309136 5148730 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=429860 CPUtime=34.95 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 85060 0 0 0 3477 18 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187449916008 5149253 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=-7035114785800479027 CPUtime=35.02 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 55735 0 0 0 3494 8 0 0 20 0 9 0 559037138 719966208 114768 33554432000 4194304 6211132 140733872756704 140187441523840 5149256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 279.5 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 459072 KiB
[startup+35.6013 s]
/proc/loadavg: 5.20 4.67 6.46 9/200 1430
/proc/meminfo: memFree=28969112/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=703092 memory=459160 CPUtime=282.7 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 553618 0 0 0 28179 91 0 0 20 0 9 0 559037124 719966208 114790 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 114790 899 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=419168 CPUtime=35.33 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 69575 0 0 0 3521 12 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187500272232 5148711 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=-7035114785800479027 CPUtime=35.38 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 62564 0 0 0 3533 5 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187491879528 5091904 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=1416 CPUtime=34.87 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 65974 0 0 0 3473 14 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187483487248 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=1556 CPUtime=35.39 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 56745 0 0 0 3529 10 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187475094656 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=740 CPUtime=35.39 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 75011 0 0 0 3530 9 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187466701240 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=1052 CPUtime=35.35 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 57915 0 0 0 3526 9 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187458309136 5409456 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=7548 CPUtime=35.35 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 85182 0 0 0 3517 18 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187449916304 5149067 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=-7035114785800479027 CPUtime=35.42 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 57995 0 0 0 3534 8 0 0 20 0 9 0 559037138 719966208 114790 33554432000 4194304 6211132 140733872756704 140187441523840 5008944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 282.7 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 459160 KiB
[startup+36.0013 s]*
/proc/loadavg: 5.20 4.67 6.46 9/200 1431
/proc/meminfo: memFree=28959920/32770624 swapFree=67002708/67108860
[pid=1416] ppid=1413 vsize=703092 memory=468488 CPUtime=285.95 cores=0-7
/proc/1416/stat : 1416 (cosoco) S 1413 1416 31337 0 -1 1077944320 559893 0 0 0 28503 92 0 0 20 0 9 0 559037124 719966208 117122 33554432000 4194304 6211132 140733872756704 140733872754960 140187523415799 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
/proc/1416/statm: 175773 117122 899 493 0 169078 0
[pid=1416/tid=1418] ppid=1413 vsize=703092 memory=1398722017469774279 CPUtime=35.74 cores=0-7
/proc/1416/task/1418/stat : 1418 (cosoco) R 1413 1416 31337 0 -1 4202560 69646 0 0 0 3562 12 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187500272232 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1419] ppid=1413 vsize=703092 memory=740 CPUtime=35.79 cores=0-7
/proc/1416/task/1419/stat : 1419 (cosoco) R 1413 1416 31337 0 -1 4202560 62578 0 0 0 3574 5 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187491879528 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1420] ppid=1413 vsize=703092 memory=1052 CPUtime=35.27 cores=0-7
/proc/1416/task/1420/stat : 1420 (cosoco) R 1413 1416 31337 0 -1 4202560 65975 0 0 0 3513 14 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187483487248 5148711 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1421] ppid=1413 vsize=703092 memory=0 CPUtime=35.8 cores=0-7
/proc/1416/task/1421/stat : 1421 (cosoco) R 1413 1416 31337 0 -1 4202560 56746 0 0 0 3570 10 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187475094656 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1422] ppid=1413 vsize=703092 memory=17828 CPUtime=35.8 cores=0-7
/proc/1416/task/1422/stat : 1422 (cosoco) R 1413 1416 31337 0 -1 4202560 75057 0 0 0 3571 9 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187466701240 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1423] ppid=1413 vsize=703092 memory=4713745541279610410 CPUtime=35.76 cores=0-7
/proc/1416/task/1423/stat : 1423 (cosoco) R 1413 1416 31337 0 -1 4202560 57917 0 0 0 3567 9 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187458309248 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1424] ppid=1413 vsize=703092 memory=-8341965534556230502 CPUtime=35.76 cores=0-7
/proc/1416/task/1424/stat : 1424 (cosoco) R 1413 1416 31337 0 -1 4202560 85291 0 0 0 3558 18 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187449916304 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
[pid=1416/tid=1425] ppid=1413 vsize=703092 memory=9047017150487036571 CPUtime=35.83 cores=0-7
/proc/1416/task/1425/stat : 1425 (cosoco) R 1413 1416 31337 0 -1 4202560 64035 0 0 0 3574 9 0 0 20 0 9 0 559037138 719966208 117122 33554432000 4194304 6211132 140733872756704 140187441523304 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24657920 140733872759830 140733872759922 140733872759922 140733872762830 0
Current children cumulated CPU time: 285.95 s
Current children cumulated vsize: 703092 KiB
Current children cumulated memory: 468488 KiB
[startup+36.11 s]*
/proc/loadavg: 5.20 4.67 6.46 2/192 1431
/proc/meminfo: memFree=28963180/32770624 swapFree=67002708/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 36.1475
CPU time (s): 286.324
CPU user time (s): 285.357
CPU system time (s): 0.96743
CPU usage (%): 792.099
Max. virtual memory (cumulated for all children) (KiB): 719508
Max. memory (cumulated for all children) (KiB): 468488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.357
system time used= 0.96743
maximum resident set size= 468824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560096
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= 19989
involuntary context switches= 2520
# summary of solver processes directly reported to runsolver:
# pid: 1416
# total CPU time (s): 286.324
# total CPU user time (s): 285.357
# total CPU system time (s): 0.96743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208627 second user time and 0.373556 second system time
The end
Begin job on node148 at 2019-09-30 09:31:59 IDJOB=4409914 IDBENCH=124151 IDSOLVER=2878 FILE ID=node148/4409914-1569828756 RUNJOBID= node148-1569816318-31364 PBS_JOBID= 21705905 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-4409914-1569828756/watcher-4409914-1569828756 -o /tmp/evaluation-result-4409914-1569828756/solver-4409914-1569828756 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409914-1569828756.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=1383662550 node148.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.13 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.13 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.13 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.13 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: 28808708 kB MemAvailable: 31829724 kB Buffers: 136800 kB Cached: 3210524 kB SwapCached: 3492 kB Active: 1791772 kB Inactive: 1561240 kB Active(anon): 3424 kB Inactive(anon): 82656 kB Active(file): 1788348 kB Inactive(file): 1478584 kB Unevictable: 110988 kB Mlocked: 110988 kB SwapTotal: 67108860 kB SwapFree: 67002708 kB Dirty: 3352 kB Writeback: 56372 kB AnonPages: 114656 kB Mapped: 27932 kB Shmem: 71772 kB Slab: 197208 kB SReclaimable: 139840 kB SUnreclaim: 57368 kB KernelStack: 3360 kB PageTables: 5072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 541388 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62028 MiB End job on node148 at 2019-09-30 09:32:35